graph
34516 papers tagged with this keyword
Chip-firing on graphs of groups
We define the Laplacian matrix and the Jacobian group of a finite graph of groups. We prove analogues of the matrix tree theorem and the class number formula for the order of the Jacobian of a graph of groups. Given a group $G$ acting on a graph $X$, we define natural pushforward and pullback maps between the Jacobian groups of $X$ and the quotient graph of groups $X/\!/G$. For the case $G=\mathbb{Z}/2\mathbb{Z}$, we also prove a combinatorial formula for the order of the kernel of the pushforward map.
Realizing the $s$-permutahedron via flow polytopes
Ceballos and Pons introduced the $s$-weak order on $s$-decreasing trees, for any weak composition $s$. They proved that it has a lattice structure and further conjectured that it can be realized as the $1$-skeleton of a polyhedral subdivision of a polytope. We answer their conjecture in the case where $s$ is a strict composition by providing three geometric realizations of the $s$-permutahedron. The first one is the dual graph of a triangulation of a flow polytope of high dimension. The second one, obtained using the Cayley trick, is the dual graph of a fine mixed subdivision of a sum of hypercubes that has the conjectured dimension. The third one, obtained using tropical geometry, is the $1$-skeleton of a polyhedral complex for which we can provide explicit coordinates of the vertices and whose support is a permutahedron as conjectured.
On the uniqueness of collections of pennies and marbles
Published in Examples and Counterexamples 7, 2025
• View Publication
• BIB
In this note we study the uniqueness problem for collections of pennies and marbles. More generally, consider a collection of unit $d$-spheres that may touch but not overlap. Given the existence of such a collection, one may analyse the contact graph of the collection. In particular we consider the uniqueness of the collection arising from the contact graph. Using the language of graph rigidity theory, we prove a precise characterisation of uniqueness (global rigidity) in dimensions 2 and 3 when the contact graph is additionally chordal. We then illustrate a wide range of examples in these cases. That is, we illustrate collections of marbles and pennies that can be perturbed continuously (flexible), are locally unique (rigid) and are unique (globally rigid). We also contrast these examples with the usual generic setting of graph rigidity.
Off-Diagonal Commonality of Graphs via Entropy
A graph $H$ is common if the limit as $n\to\infty$ of the minimum density of monochromatic labelled copies of $H$ in an edge colouring of $K_n$ with red and blue is attained by a sequence of quasirandom colourings. We apply an information-theoretic approach to show that certain graphs obtained from odd cycles and paths via gluing operations are common. In fact, for every pair $(H_1,H_2)$ of such graphs, there exists $p\in(0,1)$ such that an appropriate linear combination of red copies of $H_1$ and blue copies of $H_2$ is minimized by a quasirandom colouring in which $p\binom{n}{2}$ edges are red; such a pair $(H_1,H_2)$ is said to be $(p,1-p)$-common. Our approach exploits a strengthening of the common graph property for odd cycles that was recently proved using Schur convexity. We also exhibit a $(p,1-p)$-common pair $(H_1,H_2)$ such that $H_2$ is uncommon.
Shallow Hitting Edge Sets in Uniform Hypergraphs
A subset $M$ of the edges of a graph or hypergraph is hitting if $M$ covers each vertex of $H$ at least once, and $M$ is $t$-shallow if it covers each vertex of $H$ at most $t$ times. We consider the existence of shallow hitting edge sets and the maximum size of shallow edge sets in $r$-uniform hypergraph $H$ that are regular or have a large minimum degree. Specifically, we show the following. Every $r$-uniform regular hypergraph has a $t$-shallow hitting edge set with $t = O(r)$. Every $r$-uniform regular hypergraph with $n$ vertices has a $t$-shallow edge set of size $Ω(nt/r^{1+1/t})$. Every $r$-uniform hypergraph with $n$ vertices and minimum degree $δ_{r-1}(H) \geq n/((r-1)t+1)$ has a $t$-shallow hitting edge set. Every $r$-uniform $r$-partite hypergraph with $n$ vertices in each part and minimum degree $δ'_{r-1}(H) \geq n/((r-1)t+1) +1$ has a $t$-shallow hitting edge set. We complement our results with constructions of $r$-uniform hypergraphs that show that most of our obtained bounds are best-possible.
On the eccentric graph of trees
Published
• View Publication
• BIB
We consider the eccentric graph of a graph $G$, denoted by $ecc(G)$, which has the same vertex set as $G$, and two vertices in the eccentric graph are adjacent iff their distance in $G$ is equal to the eccentricity of one of them. In this paper, we present a fundamental requirement for the isomorphism between $ecc(G)$ and the complement of $G$, and show that the previous necessary condition given in the literature is inadequate. Also we obtain that diameter of $ecc(T)$ is at most $3$ for any tree and get some characterizations of the eccentric graph of trees.
A short proof of Seymour's 6-flow theorem
We give a compact variation of Seymour's proof that every $2$-edge-connected graph has a nowhere-zero $\mathbb{Z}_2 \times \mathbb{Z}_3$-flow.
The grid-minor theorem revisited
We prove that for every planar graph $X$ of treedepth $h$, there exists a positive integer $c$ such that for every $X$-minor-free graph $G$, there exists a graph $H$ of treewidth at most $f(h)$ such that $G$ is isomorphic to a subgraph of $H\boxtimes K_c$. This is a qualitative strengthening of the Grid-Minor Theorem of Robertson and Seymour (JCTB 1986), and treedepth is the optimal parameter in such a result. As an example application, we use this result to improve the upper bound for weak coloring numbers of graphs excluding a fixed graph as a minor.
On cocliques in commutative Schurian association schemes of the symmetric group
Given the symmetric group $G = \operatorname{Sym}(n)$ and a multiplicity-free subgroup $H\leq G$, the orbitals of the action of $G$ on $G/H$ by left multiplication induce a commutative association scheme. The irreducible constituents of the permutation character of $G$ acting on $G/H$ are indexed by partitions of $n$ and if $λ\vdash n$ is the second largest partition in dominance ordering among these, then the Young subgroup $\operatorname{Sym}(λ)$ admits two orbits in its action on $G/H$, which are $\mathcal{S}_λ$ and its complement.
In their monograph [Erdős-Ko-Rado theorems: Algebraic Approaches. {\it Cambridge University Press}, 2016] (Problem~16.13.1), Godsil and Meagher asked whether $\mathcal{S}_λ$ is a coclique of a graph in the commutative association scheme arising from the action of $G$ on $G/H$. If such a graph exists, then they also asked whether its smallest eigenvalue is afforded by the $λ$-module.
In this paper, we initiate the study of this question by taking $λ= [n-1,1]$.
We show that the answer to this question is affirmative for the pair of groups $\left(G,H\right)$, where $G = \operatorname{Sym}(2k+1)$ and $H = \operatorname{Sym}(2) \wr \operatorname{Sym}(k)$, or $G = \operatorname{Sym}(n)$ and $H$ is one of $\operatorname{Alt}(k) \times \operatorname{Sym}(n-k),\ \operatorname{Alt}(k) \times \operatorname{Alt}(n-k)$, or $\left(\operatorname{Alt}(k)\times \operatorname{Alt}(n-k)\right) \cap \operatorname{Alt}(n)$. For the pair $(G,H) = \left(\operatorname{Sym}(2k),\operatorname{Sym}(k)\wr \operatorname{Sym}(2)\right)$, we also prove that the answer to this question of Godsil and Meagher is negative.
Laplacian Spectra of Semigraphs
Consider a semigraph $G=(V,\,E)$; in this paper, we study the eigenvalues of the Laplacian matrix of $G$. We show that the Laplacian of $G$ is positive semi-definite, and $G$ is connected if and only if $λ_2 >0.$ Along the similar lines of graph theory bounds on the largest eigenvalue, we obtain upper and lower bounds on the largest Laplacian eigenvalue of G and enumerate the Laplacian eigenvalues of some special semigraphs such as star semigraph, rooted 3-uniform semigraph tree.
Lower (total) mutual visibility in graphs
Given a graph $G$, a set $X$ of vertices in $G$ satisfying that between every two vertices in $X$ (respectively, in $G$) there is a shortest path whose internal vertices are not in $X$ is a mutual-visibility (respectively, total mutual-visibility) set in $G$. The cardinality of a largest (total) mutual-visibility set in $G$ is known under the name (total) mutual-visibility number, and has been studied in several recent works.
In this paper, we propose two lower variants of the mentioned concepts, defined as the smallest possible cardinality among all maximal (total) mutual-visibility sets in $G$, and denote them by $μ^{-}(G)$ and $μ_t^{-}(G)$, respectively. While the total mutual-visibility number is never larger than the mutual-visibility number in a graph $G$, we prove that both differences $μ^{-}(G)-μ_t^{-}(G)$ and $μ_t^{-}(G)-μ^{-}(G)$ can be arbitrarily large. We characterize graphs $G$ with some small values of $μ^{-}(G)$ and $μ_t^{-}(G)$, and prove a useful tool called Neighborhood Lemma, which enables us to find upper bounds on the lower mutual-visibility number in several classes of graphs. We compare the lower mutual-visibility number with the lower general position number, and find a close relationship with Bollobás-Wessel theorem when this number is considered in Cartesian products of complete graphs. Finally, we also prove the NP-completeness of the decision problem related to $μ_t^{-}(G)$.
Regular and semi-regular representations of groups by posets
By a result of Babai, with finitely many exceptions, every group $G$ admits a semi-regular poset representation with three orbits, that is, a poset $P$ with automorphism group $\textrm{Aut}(P) \simeq G$ such that the action of $\textrm{Aut}(P)$ on the underlying set is free and with three orbits. Among finite groups, only the trivial group and $\mathbb{Z}_2$ have a regular poset representation (i.e. semi-regular with one orbit), however many infinite groups admit such a representation. In this paper we study non-necessarily finite groups which have a regular representation or a semi-regular representation with two orbits. We prove that if $G$ admits a Cayley graph which is locally the Cayley graph of a free group, then it has a semi-regular representation of height 1 with two orbits. In this case we will see that any extension of the integers by $G$ admits a regular representation. Applications are given to finite simple groups, hyperbolic groups, random groups and indicable groups.
Convex Hull Thrackles
A \emph{thrackle} is a graph drawn in the plane so that every pair of its edges meet exactly once, either at a common end vertex or in a proper crossing. Conway's thrackle conjecture states that the number of edges is at most the number of vertices. It is known that this conjecture holds for linear thrackles, i.e., when the edges are drawn as straight line segments.
We consider \emph{convex hull thrackles}, a recent generalization of linear thrackles from segments to convex hulls of subsets of points. We prove that if the points are in convex position then the number of convex hulls is at most the number of vertices, but in general there is a construction with one more convex hull. On the other hand, we prove that the number of convex hulls is always at most twice the number of vertices.
A network flow approach to a common generalization of Clar and Fries numbers
Clar number and Fries number are two thoroughly investigated parameters of plane graphs emerging from mathematical chemistry to measure stability of organic molecules. We consider first a common generalization of these two concepts for bipartite plane graphs, and then extend it to a framework on general (not necessarily planar) directed graphs. The corresponding optimization problem can be transformed into a maximum weight feasible tension problem which is the linear programming dual of a minimum cost network flow (or circulation) problem. Therefore the approach gives rise to a min-max theorem and to a strongly polynomial algorithm that relies exclusively on standard network flow subroutines. In particular, we give the first network flow based algorithm for an optimal Fries structure and its variants.
Oriented spanning trees and stationary distribution of digraphs
Published in Advances in Applied Mathematics 150 (2023) 102576
• View Publication
• BIB
By using biclique partitions of digraphs, this paper gives reduction formulas for the number of oriented spanning trees, stationary distribution vector and Kemeny's constant of digraphs. As applications, we give a method for enumerating spanning trees of undirected graphs by vertex degrees and biclique partitions. The biclique partition formula also extends the results of Knuth and Levine from line digraphs to general digraphs.
Exact and Parameterized Algorithms for the Independent Cutset Problem
The Independent Cutset problem asks whether there is a set of vertices in a given graph that is both independent and a cutset. Such a problem is $\textsf{NP}$-complete even when the input graph is planar and has maximum degree five. In this paper, we first present a $\mathcal{O}^*(1.4423^{n})$-time algorithm for the problem. We also show how to compute a minimum independent cutset (if any) in the same running time. Since the property of having an independent cutset is MSO$_1$-expressible, our main results are concerned with structural parameterizations for the problem considering parameters that are not bounded by a function of the clique-width of the input. We present $\textsf{FPT}$-time algorithms for the problem considering the following parameters: the dual of the maximum degree, the dual of the solution size, the size of a dominating set (where a dominating set is given as an additional input), the size of an odd cycle transversal, the distance to chordal graphs, and the distance to $P_5$-free graphs. We close by introducing the notion of $α$-domination, which allows us to identify more fixed-parameter tractable and polynomial-time solvable cases.
Maximum edge colouring problem on graphs that exclude a fixed minor
The maximum edge colouring problem considers the maximum colour assignment to edges of a graph under the condition that every vertex has at most a fixed number of distinct coloured edges incident on it. If that fixed number is $q$ we call the colouring a maximum edge $q$-colouring. The problem models a non-overlapping frequency channel assignment question on wireless networks. The problem has also been studied from a purely combinatorial perspective in the graph theory literature.
We study the question when the input graph is sparse. We show the problem remains $NP$-hard on $1$-apex graphs. We also show that there exists $PTAS$ for the problem on minor-free graphs. The $PTAS$ is based on a recently developed Baker game technique for proper minor-closed classes, thus avoiding the need to use any involved structural results. This further pushes the Baker game technique beyond the problems expressible in the first-order logic.
Maker-Breaker Strong Resolving Game
Let $G$ be a graph with vertex set $V$. A set $S \subseteq V$ is a \emph{strong resolving set} of $G$ if, for distinct $x,y\in V$, there exists $z\in S$ such that either $x$ lies on a $y-z$ geodesic or $y$ lies on an $x-z$ geodesic in $G$. In this paper, we study maker-breaker strong resolving game (MBSRG) played on a graph by two players, Maker and Breaker, where the two players alternately select a vertex of $G$ not yet chosen. Maker wins if he is able to choose vertices that form a strong resolving set of $G$ and Breaker wins if she is able to prevent Maker from winning in the course of MBSRG. We denote by $O_{\rm SR}(G)$ the outcome of MBSRG played on $G$. We obtain some general results on MBSRG and examine the relation between $O_{\rm SR}(G)$ and $O_{\rm R}(G)$, where $O_{\rm R}(G)$ denotes the outcome of the maker-breaker resolving game of $G$. We determine the outcome of MBSRG played on some graph classes, including corona product graphs, Cartesian product graphs, and modular product graphs.
Learning to Branch in Combinatorial Optimization with Graph Pointer Networks
Branch-and-bound is a typical way to solve combinatorial optimization problems. This paper proposes a graph pointer network model for learning the variable selection policy in the branch-and-bound. We extract the graph features, global features and historical features to represent the solver state. The proposed model, which combines the graph neural network and the pointer mechanism, can effectively map from the solver state to the branching variable decisions. The model is trained to imitate the classic strong branching expert rule by a designed top-k Kullback-Leibler divergence loss function. Experiments on a series of benchmark problems demonstrate that the proposed approach significantly outperforms the widely used expert-designed branching rules. Our approach also outperforms the state-of-the-art machine-learning-based branch-and-bound methods in terms of solving speed and search tree size on all the test instances. In addition, the model can generalize to unseen instances and scale to larger instances.
Graphs with girth 9 and without longer odd holes are 3-colorable
For a number $l\geq 2$, let ${\cal{G}}_l$ denote the family of graphs which have girth $2l+1$ and have no odd hole with length greater than $2l+1$. Wu, Xu and Xu conjectured that every graph in $\bigcup_{l\geq 2} {\cal{G}}_{l}$ is $3$-colorable. Chudnovsky et al., Wu et al., and Chen showed that every graph in ${\cal{G}}_2$, ${\cal{G}}_3$ and $\bigcup_{l\geq 5} {\cal{G}}_{l}$ is $3$-colorable respectively. In this paper, we prove that every graph in ${\cal{G}}_4$ is $3$-colorable. This confirms Wu, Xu and Xu's conjecture.