graph
34516 papers tagged with this keyword
Galois points for a finite graph
This paper introduces the notion of a Galois point for a finite graph, using the theory of linear systems of divisors for graphs discovered by Baker and Norine. We present a new characterization of complete graphs in terms of Galois points.
Note on Hamiltonicity of basis graphs of even delta-matroids
Published in J. Graph Theory, 109(4):446-453, August 2025
• View Publication
• BIB
We show that the basis graph of an even delta-matroid is Hamiltonian if it has more than two vertices. More strongly, we prove that for two distinct edges $e$ and $f$ sharing a common end, it has a Hamiltonian cycle using $e$ and avoiding $f$ unless it has at most two vertices or it is a cycle of length at most four. We also prove that if the basis graph is not a hypercube graph, then each vertex belongs to cycles of every length $\ell\ge 3$, and each edge belongs to cycles of every length $\ell \ge 4$. For the last theorem, we provide two proofs, one of which uses the result of Naddef (1984) on polytopes and the result of Chepoi (2007) on basis graphs of even delta-matroids, and the other is a direct proof using various properties of even delta-matroids. Our theorems generalize the analogous results for matroids by Holzmann and Harary (1972) and Bondy and Ingleton (1976).
Optimal chromatic bound for ($P_3\cup P_2$, house)-free graphs
Let $G$ and $H$ be two vertex disjoint graphs. The {\em union} $G\cup H$ is the graph with $V(G\cup H)=V(G)\cup V(H)$ and $E(G\cup H)=E(G)\cup E(H)$. We use $P_k$ to denote a {\em path} on $k$ vertices, use {\em house} to denote the complement of $P_5$. In this paper, we show that $χ(G)\le2ω(G)$ if $G$ is ($P_3\cup P_2$, house)-free. Moreover, this bound is optimal when $ω(G)\ge2$.
Sullivant-Talaska ideal of the cyclic Gaussian Graphical Model
In this paper, we settle a conjecture due to Sturmfels and Uhler concerning generation of the prime ideal of the variety associated to the Gaussian graphical model of any cycle graph. Our methods are general and applicable to a large class of ideals with radical initial ideals.
Erdős-Gyárfás Conjecture for $P_{10}$-free Graphs
Let $P_{10}$ be a path on $10$ vertices. A graph is said to be $P_{10}$-free if it does not contain $P_{10}$ as an induced subgraph. The well-known Erdős-Gyárfás Conjecture states that every graph with minimum degree at least three has a cycle whose length is a power of $2$. In this paper, we show that every $P_{10}$-free graph with minimum degree at least three contains a cycle of length $4$ or $8$. This implies that the conjecture is true for $P_{10}$-free graphs.
Comparing Width Parameters on Graph Classes
We study how the relationship between non-equivalent width parameters changes once we restrict to some special graph class. As width parameters, we consider treewidth, clique-width, twin-width, mim-width, sim-width and tree-independence number, whereas as graph classes we consider $K_{t,t}$-subgraph-free graphs, line graphs and their common superclass, for $t \geq 3$, of $K_{t,t}$-free graphs.
We first provide a complete comparison when restricted to $K_{t,t}$-subgraph-free graphs, showing in particular that treewidth, clique-width, mim-width, sim-width and tree-independence number are all equivalent. This extends a result of Gurski and Wanke (2000) stating that treewidth and clique-width are equivalent for the class of $K_{t,t}$-subgraph-free graphs.
Next, we provide a complete comparison when restricted to line graphs, showing in particular that, on any class of line graphs, clique-width, mim-width, sim-width and tree-independence number are all equivalent, and bounded if and only if the class of root graphs has bounded treewidth. This extends a result of Gurski and Wanke (2007) stating that a class of graphs ${\cal G}$ has bounded treewidth if and only if the class of line graphs of graphs in ${\cal G}$ has bounded clique-width.
We then provide an almost-complete comparison for $K_{t,t}$-free graphs, leaving one missing case. Our main result is that $K_{t,t}$-free graphs of bounded mim-width have bounded tree-independence number. This result has structural and algorithmic consequences. In particular, it proves a special case of a conjecture of Dallard, Milanič and Štorgel.
Finally, we consider the question of whether boundedness of a certain width parameter is preserved under graph powers. We show that the question has a positive answer for sim-width precisely in the case of odd powers.
Posiform Planting: Generating QUBO Instances for Benchmarking
Published in Frontiers in Computer Science, 2023 Sec. Theoretical Computer Science
• View Publication
• BIB
We are interested in benchmarking both quantum annealing and classical algorithms for minimizing Quadratic Unconstrained Binary Optimization (QUBO) problems. Such problems are NP-hard in general, implying that the exact minima of randomly generated instances are hard to find and thus typically unknown. While brute forcing smaller instances is possible, such instances are typically not interesting due to being too easy for both quantum and classical algorithms. In this contribution, we propose a novel method, called posiform planting, for generating random QUBO instances of arbitrary size with known optimal solutions, and use those instances to benchmark the sampling quality of four D-Wave quantum annealers utilizing different interconnection structures (Chimera, Pegasus, and Zephyr hardware graphs) as well as the simulated annealing algorithm. Posiform planting differs from many existing methods in two key ways. It ensures the uniqueness of the planted optimal solution, thus avoiding groundstate degeneracy, and it enables the generation of QUBOs that are tailored to a given hardware connectivity structure, provided that the connectivity is not too sparse. Posiform planted QUBOs are a type of 2-SAT boolean satisfiability combinatorial optimization problems. Our experiments demonstrate the capability of the D-Wave quantum annealers to sample the optimal planted solution of combinatorial optimization problems with up to $5627$ qubits.
Note on disjoint faces in simple topological graphs
We prove that every $n$-vertex complete simple topological graph generates at least $Ω(n)$ pairwise disjoint $4$-faces. This improves upon a recent result by Hubard and Suk. As an immediate corollary, every $n$-vertex complete simple topological graph drawn in the unit square generates a $4$-face with area at most $O(1/n)$. This can be seen as a topological variant of the Heilbronn problem for quadrilaterals. We construct examples showing that our result is asymptotically tight. We also discuss the similar problem for $k$-faces with arbitrary $k\geq 3$.
A new approach to pancyclicity of Paley graphs I
Let $G$ be an undirected graph of order $n$ and let $C_i$ be an $i$-cycle graph. $G$ is called pancyclic if $G$ contains a $C_i$ for any $i\in \{3,4,\ldots,n\}$. We show that the pancyclicity of specific Cayley graphs and the Cartesian product of specific two graphs. As a corollary of these two theorems, we provide a new proof of the pancyclicity of the Paley graph.
Induced-Minor-Free Graphs: Separator Theorem, Subexponential Algorithms, and Improved Hardness of Recognition
A graph $G$ contains a graph $H$ as an induced minor if $H$ can be obtained from $G$ by vertex deletions and edge contractions. The class of $H$-induced-minor-free graphs generalizes the class of $H$-minor-free graphs, but unlike $H$-minor-free graphs, it can contain dense graphs. We show that if an $n$-vertex $m$-edge graph $G$ does not contain a graph $H$ as an induced minor, then it has a balanced vertex separator of size $O_{H}(\sqrt{m})$, where the $O_{H}(\cdot)$-notation hides factors depending on $H$. More precisely, our upper bound for the size of the balanced separator is $O(\min(|V(H)|^2, \log n) \cdot \sqrt{|V(H)|+|E(H)|} \cdot \sqrt{m})$. We give an algorithm for finding either an induced minor model of $H$ in $G$ or such a separator in randomized polynomial-time. We apply this to obtain subexponential $2^{O_{H}(n^{2/3} \log n)}$ time algorithms on $H$-induced-minor-free graphs for a large class of problems including maximum independent set, minimum feedback vertex set, 3-coloring, and planarization.
For graphs $H$ where every edge is incident to a vertex of degree at most 2, our results imply a $2^{O_{H}(n^{2/3} \log n)}$ time algorithm for testing if $G$ contains $H$ as an induced minor. Our second main result is that there exists a fixed tree $T$, so that there is no $2^{o(n/\log^3 n)}$ time algorithm for testing if a given $n$-vertex graph contains $T$ as an induced minor unless the Exponential Time Hypothesis (ETH) fails. Our reduction also gives NP-hardness, which solves an open problem asked by Fellows, Kratochvíl, Middendorf, and Pfeiffer [Algorithmica, 1995], who asked if there exists a fixed planar graph $H$ so that testing for $H$ as an induced minor is NP-hard.
Cycles in graphs and in hypergraphs: results and problems
This is an expository paper. A $1$-cycle in a graph is a set $C$ of edges such that every vertex is contained in an even number of edges from $C$. E.g., a cycle in the sense of graph theory is a $1$-cycle, but not vice versa. It is easy to check that the sum (modulo $2$) of $1$-cycles is a $1$-cycle. In this text we study the following problems: to find
$\bullet$ the number of all 1-cycles in a given graph;
$\bullet$ a small number of 1-cycles in a given graph such that any 1-cycle is the sum of some of them.
We also consider generalizations (of these problems) to graphs with symmetry, and to $2$-cycles in $2$-dimensional hypergraphs.
The Widths of Strict Outerconfluent Graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:3, Graph Theory (December 5, 2024) dmtcs:12862
• View Publication
• BIB
Strict outerconfluent drawing is a style of graph drawing in which vertices are drawn on the boundary of a disk, adjacencies are indicated by the existence of smooth curves through a system of tracks within the disk, and no two adjacent vertices are connected by more than one of these smooth tracks. We investigate graph width parameters on the graphs that have drawings in this style. We prove that the clique-width of these graphs is unbounded, but their twin-width is bounded.
A class of trees determined by their chromatic symmetric functions
Published
• View Publication
• BIB
Stanley introduced the concept of chromatic symmetric functions of graphs which extends and refines the notion of chromatic polynomials of graphs, and asked whether trees are determined up to isomorphism by their chromatic symmetric functions. Using the technique of differentiation with respect to power-sum symmetric functions, we give a positive answer to Stanley's question for the class of trees with exactly two vertices of degree at least 3. In addition, we prove that for any tree $T$, the generalized degree sequence for subtrees of $T$ is determined by the chromatic symmetric function of $T$, providing evidence to a conjecture of Crew.
Characterization of rings with genus two prime ideal sum graphs
Let $R$ be a commutative ring with unity. The prime ideal sum graph of the ring $R$ is a simple undirected graph whose vertex set is the set of nonzero proper ideals of $R$ and two distinct vertices $I$ and $J$ are adjacent if and only if $I + J$ is a prime ideal of $R$. In this paper, we characterize all the finite non-local commutative rings whose prime ideal sum graph is of genus $2$.
A short note on the order of the double reduced 2-factor transfer digraph for rectangular grid graphs
We prove that the order of the double reduced 2-factor transfer digraph ${\cal R}^{**}_{m}$ which is needed for the enumeration of the spanning unions of cycles in the rectangular grid graph $P_m \times P_n$ ($m,n \in N$), when $m$ is odd, is equal to $\displaystyle \mid V({\cal R}^{**}_{m}) \mid = \frac{1}{2} \left[{m+1 \choose (m-1)/2 } + {(m+1)/2 \choose \lfloor (m+1)/4 \rfloor}\right].$
The parametrix construction of the heat kernel on a graph
In this paper we develop the parametrix approach for constructing the heat kernel on a graph $G$. In particular, we highlight two specific cases. First, we consider the case when $G$ is embedded in a Eulidean domain or manifold $Ω$, and we use a heat kernel associated to $Ω$ to obtain a formula for the heat kernel on $G$. Second, we consider when $G$ is a subgraph of a larger graph $\widetilde{G}$, and we obtain a formula for the heat kernel on $G$ from the heat kernel on $\widetilde{G}$ restricted to $G$.
Stirling Decomposition of Graph Homology in Genus 1
We prove that commutative graph homology in genus $g=1$ with $n\geq 3$ markings has a direct sum decomposition whose summands have rank given by Stirling numbers of the first kind. These summands are computed as the homology of complexes of certain decorated trees. This paper was written with a non-expert audience in mind, and an emphasis is placed on an elementary combinatorial description of these decorated tree complexes.
A Littlewood-Offord kind of problem in $\mathbb{Z}_p$ and $Γ$-sequenceability
The Littlewood-Offord problem is a classical question in probability theory and discrete mathematics, proposed, firstly by Littlewood and Offord in the 1940s. Given a set $A$ of integer, this problem asks for an upper bound on the probability that a randomly chosen subset $X$ of $A$ sums to an integer $x$.
This article proposes a variation of the problem, considering a subset $A$ of a cyclic group of prime order and examining subsets $X\subseteq A$ of a given cardinality $\ell$. The main focus of this paper is then on bounding the probability distribution of the sum $Y$ of $\ell$ i.i.d. $Y_1,\dots, Y_{\ell}$ whose support is contained in $\mathbb{Z}_p$. The main result here presented is that, if the probability distributions of the variables $Y_i$ are bounded by $λ\leq 9/10$, then, assuming that $p> \frac{2}λ\left(\frac{\ell_0}{3}\right)^ν$ (for some $\ell_0\leq\ell$), the distribution of $Y$ is bounded by $λ\left(\frac{3}{\ell_0}\right)^ν$ for some positive absolute constant $ν$. Then an analogous result is implied for the Littlewood-Offord problem over $\mathbb{Z}_p$ on subsets $X$ of a given cardinality $\ell$ in the regime where $n$ is large enough.
Finally, as an application of our results, we propose a variation of the set-sequenceability problem: that of $Γ$-sequenceability. Given a graph $Γ$ on the vertex set $\{1,2,\dots,n\}$ and given a subset $A\subseteq \mathbb{Z}_p$ of size $n$, here we want to find an ordering of $A$ such that the partial sums $s_i$ and $s_j$ are different whenever $\{i,j\}\in E(Γ)$. As a consequence of our results on the Littlewood-Offord problem, we have been able to prove that, if the maximum degree of $Γ$ is at most $d$, $n$ is large enough, and $p>n^2$, any subset $A\subseteq \mathbb{Z}_p$ of size $n$ is $Γ$-sequenceable.
Sums of squares of eigenvalues and the vector chromatic number
In this short paper we prove that the sum of the squares of negative (or positive) eigenvalues of the adjacency matrix of a graph is lower bounded by the sum of the degrees divided by the vector chromatic number, resolving a conjecture by Wocjan, Elphick and Anekstein (2018).
A survey on constructive methods for the Oberwolfach problem and its variants
The generalized Oberwolfach problem asks for a decomposition of a graph $G$ into specified 2-regular spanning subgraphs $F_1,\ldots, F_k$, called factors. The classic Oberwolfach problem corresponds to the case when all of the factors are pairwise isomorphic, and $G$ is the complete graph of odd order or the complete graph of even order with the edges of a $1$-factor removed. When there are two possible factor types, it is called the Hamilton-Waterloo problem.
In this paper we present a survey of constructive methods which have allowed recent progress in this area. Specifically, we consider blow-up type constructions, particularly as applied to the case when each factor consists of cycles of the same length. We consider the case when the factors are all bipartite (and hence consist of even cycles) and a method for using circulant graphs to find solutions. We also consider constructions which yield solutions with well-behaved automorphisms.