graph
35150 papers tagged with this keyword
On the existence of neutral graph
Graph is considered neutral if its assortativity coefficient $r$ is equal to zero. In this paper, we address an outstanding conjecture, i.e., whether is there a neutral graph on $n$ vertices? First, we show that for $n\geq7$, there is at least one neutral tree, which suggests that we find a representative of any order neutral graph. Additionally, we obtain that given $n\geq13$, there exists at least one neutral non-tree graph.
$k$-path graphs: experiments and conjectures about algebraic connectivity and $α$-index
This work presents conjectures about eigenvalues of matrices associated with $k$-path graphs, the algebraic connectivity, defined as the second smallest eigenvalue of the Laplacian matrix, and the $α$-index, as the largest eigenvalue of the $A_α$-matrix. For this purpose, a process based in Pereira et al., is presented to generate lists of $k$-path graphs containing all non-isomorphic 2-paths, 3-paths, and 4-paths of order $n$, for $6 \leq n \leq 26, 8 \leq n \leq 19$, and $10 \leq n \leq 18$, respectively. Using these lists, exhaustive searches for extremal graphs of fixed order for the mentioned eigenvalues were performed. Based on the empirical results, conjectures are suggested about the structure of extremal $k$-path graphs for these eigenvalues.
Relative Turán densities for ordered graphs: all and nothing
Reiher, Rödl, Sales, and Schacht initiated the study of relative Turán densities of ordered graphs and showed that it is more subtle and interesting than the unordered case. For an ordered graph $F$, its relative Turán density, $ρ_{<}(F)$, is the greatest $α$ such that every ordered graph $G$ has an $F$-free subgraph with at least $αe(G)$ edges.
This paper contains two main results about relative Turán densities. First, we find a family of host graphs that is optimal for all $F$. Second, we characterise the ordered graphs with zero relative Turán density: precisely those with no monotone path of length two.
A Combinatorial Characterization of Constant Mixing Time
Classical spectral graph theory characterizes graphs with logarithmic mixing time. In this work, we present a combinatorial characterization of graphs with constant mixing time. The combinatorial characterization is based on the small-set bipartite density condition, which is weaker than having near-optimal spectral radius and is stronger than having near-optimal small-set vertex expansion.
Misère Partizan Arc Kayles is PSPACE-complete, even on Planar Graphs
We show that Misère Partizan Arc Kayles is PSPACE-complete on planar graphs via a reduction from Bounded Two-Player Constraint Logic. Furthermore, we show how to embed our gadgets onto the square and triangular grids. In order to clearly explain these results, we get into the details of Bounded Two-Player Constraint Logic and find three PSPACE-complete variants of that as well.
How to Use Deep Learning to Identify Sufficient Conditions: A Case Study on Stanley's $e$-Positivity
In a study, published in \emph{Nature}, researchers from DeepMind and mathematicians demonstrated a general framework using machine learning to make conjectures in pure mathematics. Their work uses neural networks and attribution techniques to guide human intuition towards making provable conjectures. Here, we build upon this framework to develop a method for identifying sufficient conditions that imply a given mathematical statement. Our approach trains neural networks with a custom loss function that prioritizes high precision. Then uses attribution techniques and exploratory data analysis to make conjectures. As a demonstration, we apply this process to Stanley's problem of $e$-positivity of graphs--a problem that has been at the center of algebraic combinatorics for the past three decades. Guided by AI, we rediscover that one sufficient condition for a graph to be $e$-positive is that it is co-triangle-free, and that the number of claws is the most important factor for $e$-positivity. Based on the most important factors in Saliency Map analysis of neural networks, we suggest that the classification of $e$-positive graphs is more related to continuous graph invariants rather than the discrete ones. Furthermore, using neural networks and exploratory data analysis, we show that the claw-free and claw-contractible-free graphs with $10$ and $11$ vertices are $e$-positive, resolving a conjecture by Dahlberg, Foley, and van Willigenburg.
From data to concepts via wiring diagrams
A wiring diagram is a labeled directed graph that represents an abstract concept such as a temporal process. In this article, we introduce the notion of a quasi-skeleton wiring diagram graph, and prove that quasi-skeleton wiring diagram graphs correspond to Hasse diagrams. Using this result, we designed algorithms that extract wiring diagrams from sequential data. We used our algorithms in analyzing the behavior of an autonomous agent playing a computer game, and the algorithms correctly identified the winning strategies. We compared the performance of our main algorithm with two other algorithms based on standard clustering techniques (DBSCAN and agglomerative hierarchical), including when some of the data was perturbed. Overall, this article brings together techniques in category theory, graph theory, clustering, reinforcement learning, and data engineering.
Saturation numbers of $K_{2}\vee P_{k}$
Published
• View Publication
• BIB
A graph $G$ is called $H$-saturated if $G$ contains no copy of $H$, but $G+e$ contains a copy of $H$ for any edge $e\in E(\overline{G})$. The saturation number of $H$ is the minimum number of edges in an $H$-saturated graph of order $n$, denoted by $sat(n,H)$. In this paper, we investigate $sat(n,K_{2}\vee P_{k})$, where $k\geq 3$. Let $a_k$ be an integer, defined as follows: $a_k=k$ for $3\leq k\leq 5$; $a_k=3\cdot 2^{t-1}-2$ for $k=2t\geq 6$; and $a_k=2^{t+1}-2$ for $k=2t+1\geq 7$. We show that $sat(n, K_{2}\vee P_{k})=2n-3+sat(n-2,P_{k})$ for $n\geq a_k+2$ and $k\geq 3$, characterize the $K_{2}\vee P_{k}$-saturated graphs with $sat(n,K_{2}\vee P_{k})$ edges, the $K_{1}\vee P_{k}$-saturated graphs with $sat(n,K_{1}\vee P_{k})$ edges for $3\leq k\leq5$ and the $P_{k}$-saturated graphs with $sat(n, P_{k})$ edges for $3\leq k\leq4$. Furthermore, we propose some questions for further research.
Acyclic dichromatic number of oriented graphs
The dichromatic number $\vecχ(D)$ of a digraph $D=(V,A)$ is the minimum number of sets in a partition $V_1,\ldots{},V_k$ of $V$ into $k$ subsets so that the induced subdigraph $D[V_i]$ is acyclic for each $i\in [k]$. This is a generalization of the chromatic number for undirected graphs as a graph has chromatic number at most $k$ if and only if the complete biorientation of $G$ (replace each edge by a directed 2-cycle) has dichromatic number at most $k$. In this paper we introduce the acyclic dichromatic number $\vecχ_{\rm a}(D)$ of a digraph $D$ as the minimum number of sets in a partition $V_1,\ldots{},V_k$ of $V$ so that the induced subdigraph $D[V_i]$ is acyclic for each $i\in [k]$ and each of the bipartite induced subdigraphs $D[V_i,V_j]$ is acyclic for each $1\leq i<j\leq k$. This parameter, which resembles the definition of acyclic chromatic number for undirected graphs, has apparently not been studied before.
We derive a number of results which display the difference between the dichromatic number and the acyclic dichromatic number, in particular, there are digraphs $D$ with arbitrarily large $\vecχ_{\rm a}(D)-\vecχ(D)$, even among tournaments with dichromatic number 2 and bipartite tournaments (where the dichromatic number is always 2). We prove several complexity results, including that deciding whether $\vecχ_{\rm a}(D)\leq 2$ is NP-complete already for bipartite digraphs, while it is polynomial for tournaments (contrary to the case for dichromatic number). We also generalize the concept of heroes of a tournament to acyclic heroes of tournaments.
ChemicHull: an online tool for determining extremal chemical graphs of maximum degree at most 3 for any degree-based topological indices
Published
• View Publication
• BIB
Topological indices are graph-theoretic descriptors that play a crucial role in mathematical chemistry, capturing the structural characteristics of molecules and enabling the prediction of their physicochemical properties. A widely studied category of topological indices, known as degree-based topological indices, are calculated as the sum of the weights of a graph's edges, where each edge weight is determined by a formula that depends solely on the degrees of its endpoints.
This work focuses exclusively on chemical graphs in which no vertex has a degree greater than 3, a model for conjugated systems. Within a polyhedral framework, each chemical graph is mapped to a point in a three-dimensional space, enabling extremal values of any degree-based topological index to be determined through linear optimization over the corresponding polyhedron. Analysis within this framework reveals that extremality is limited to a small subset of chemical graph families, implying that certain chemical graphs can never attain extremality for any degree-based topological index.
The main objective of this paper is to present ChemicHull, an online tool we have developed to determine and display extremal chemical graphs for arbitrary degree-based topological indices. To illustrate the power of this tool, we easily recover established results, emphasizing its effectiveness for chemically significant graph classes such as chemical trees and unicyclic chemical graphs. This tool also enabled the identification of a counterexample to a previously published extremal result concerning the Randić index.
3-colorable planar graphs have an intersection segment representation using 3 slopes
In his PhD Thesis, E.R. Scheinerman conjectured that planar graphs are intersection graphs of line segments in the plane. This conjecture was proved with two different approaches by J. Chalopin and the author, and by the author, L. Isenmann, and C. Pennarun. In the case of 3-colorable planar graphs E.R. Scheinerman conjectured that it is possible to restrict the set of slopes used by the segments to only 3 slopes. Here we prove this conjecture by using an approach introduced by S. Felsner to deal with contact representations of planar graphs with homothetic triangles.
Quadratic-Time Algorithm for the Maximum-Weight $(k, \ell)$-Sparse Subgraph Problem
The family of $(k, \ell)$-sparse graphs, introduced by Lorea, plays a central role in combinatorial optimization and has a wide range of applications, particularly in rigidity theory. A key algorithmic challenge is to compute a maximum-weight $(k, \ell)$-sparse subgraph of a given edge-weighted graph. Although prior approaches have long provided an $O(nm)$-time solution, a previously proposed $O(n^2 + m)$ method was based on an incorrect analysis, leaving open whether this bound is achievable.
We answer this question affirmatively by presenting the first $O(n^2 + m)$-time algorithm for computing a maximum-weight $(k, \ell)$-sparse subgraph, which combines an efficient data structure with a refined analysis. This quadratic-time algorithm enables faster solutions to key problems in rigidity theory, including computing minimum-weight redundantly rigid and globally rigid subgraphs. Further applications include enumerating non-crossing minimally rigid frameworks and recognizing kinematic joints. Our implementation of the proposed algorithm is publicly available online.
Overlap Analysis of the Shortest Path Problem: Local Search, Landscapes, and Franz--Parisi Potential
Two directions in algorithms and complexity involve: (1) classifying which optimization problems can be solved in polynomial time, and (2) understanding which computational problems are hard to solve \emph{on average} in addition to the worst case. For many average-case problems, there does not currently exist strong evidence via reductions that they are hard. However, we can still attempt to predict their polynomial time tractability by proving lower bounds against restricted classes of algorithms.
Geometric approaches to predicting tractability typically study the \emph{optimization landscape}. For optimization problems with random objectives or constraints, ideas originating in statistical physics suggest we should study the \emph{overlap} between approximately-optimal solutions. Formally, properties of \emph{Gibbs measures} and the \emph{Franz--Parisi potential} imply lower bounds against natural local search algorithms, such as Langevin dynamics. A related theory, the \emph{Overlap Gap Property (OGP)}, proves rigorous lower bounds against classes of algorithms which are stable functions of their input.
A remarkable recent work of Li and Schramm showed that the shortest path problem in random graphs admits lower bounds against a class of stable algorithms, via the OGP. Yet this problem is polynomial time tractable. We further investigate this. We find that both the OGP and the Franz--Parisi potential predict that: (1) local search will fail in the optimization landscape of shortest paths, but (2) local search should succeed in the optimization landscape for shortest path \emph{trees}, which is true. Using the Franz--Parisi potential, we explain an analogy with results from combinatorial optimization -- submodular minimization is tractable via local search on the Lovász extension, even though ``naive'' local search over sets or the multilinear extension provably fails.
Improved Bounds for the Ultimate Independence Ratio of Odd Wheels
The ultimate independence ratio of a graph $G$ is defined as $\mathscr{I}(G) = \lim_{k\rightarrow\infty } \frac{α(G^{\Box k})}{|V(G)|^k},$ where $α(G^{\Box k})$ is the independence number of the Cartesian product of $k$ copies of $G$. For all graphs $G$, Hahn, Hell, and Poljak (1995) proved that $\frac{1}{χ(G)} \leq \mathscr{I}(G) \leq \frac{1}{ω(G)}$ where $χ(G)$ is the chromatic number, and $ω(G)$ is the clique number of $G$. So all graphs $G$ with $χ(G) = ω(G)$ satisfy $\mathscr{I}(G) = \frac{1}{χ(G)} = \frac{1}{ω(G)}$. A construction of Zhu demonstrates that there exists a graph $G$ with $\frac{1}{χ(G)} < \mathscr{I}(G) < \frac{1}{ω(G)}$, so neither equality holds in general. In response, Hahn, Hell, and Poljak conjectured that all wheel graphs $W_n$ satisfy $\mathscr{I}(W_n) = \frac{1}{χ(W_n)}$.
For even wheels $W_{2t}$ this follows from the fact $χ(W_{2t}) = ω(W_{2t}) = 3$. Odd wheels of length at least $5$ present a more challenging case, since $χ(W_{2t+1}) = 4$ and $ω(W_{2t+1}) = 3$. First, we prove that odd wheels of length at least $7$ satisfy $\mathscr{I}(W_{2t+1})\leq \frac{4t^2+6t}{3(2t+2)^2}<\frac{1}{3}$, which provides the best upper bound for large odd wheels. Next, we prove that $\mathscr{I}(W_5) \leq \frac{1019}{3888}$, improving an upper bound of Hahn, Hell, and Poljak that $\mathscr{I}(W_5) \leq \frac{11}{41}$. Our proofs combine counting arguments, recursive bounds on $α(W^{\Box k}_{2t+1})$, and computer-assisted calculation in the $W_5$ case.
Realization and classification of Hamiltonian-circle multisigns
We investigate the multisigns of Hamiltonian circles in the multisigned complete graph \(Σ_n := (K_n, σ, \mathbb{F}_2^m)\). The \emph{multisign} of a circle \(C\) is defined as the sum \[ σ(C) := \sum_{e \in E(C)} σ(e). \] For a fixed \(m\) and sufficiently large \(n\), we show that the set of multisigns of Hamiltonian circles \[ \{σ(H) : H \text{ is a Hamiltonian circle of } Σ_n)\} \] forms either a subspace, an affine subspace, or the entire space \(\mathbb{F}_2^m\), except in certain exceptional cases.
Hilton-Milner Theorem for the $r$-independent sets in a union of cliques
We give a Hilton-Milner Theorem for the $r$-independent sets in the graph that is the union of copies of $K_k$. That is, we determine the maximum intersecting families of $r$-independent sets in this graph, subject to the condition that the sets in a family do not all share a common element. As a by-product, we also find a tight upper bound for the sum of sizes of a pair of cross intersecting families made up of the same objects.
We apply our theorem to find the largest intersecting family of $r$-independent sets in a family of graphs called ``depth-two claws". This confirms the Holroyd--Talbot conjecture for depth-two claws, extending previous results on these graphs (which covered cases where $r$ was relatively small compared to the number of vertices) to all possible values of $r$.
Majority additive coloring and the maximum degree
Published
• View Publication
• BIB
Kamyczura introduced the notion of a majority additive $k$-coloring of a graph $G$ as a function $c: V(G) \to \{1,2,\ldots,k\}$ such that $$\left|\left\{u \in N_G(v):\sum_{w \in N_G(u)} c(w) = s \right\}\right|\leq \max\left\{1,\frac{d_G(v)}{2}\right\}$$ for every vertex $v$ of $G$ and every positive integer $s$. We show that every graph $G$ of maximum degree $Δ$ admitting a majority additive coloring has a majority additive $\mathcal{O}\left(Δ^2\right)$-coloring. Under additional restrictions we improve this to sublinear in $Δ$. We show that determining whether a majority additive $k$-coloring exists for a given graph is NP-complete for all $k\geq 2$.
Packing spanning arborescences with extra large one
The celebrated Nash-Williams and Tutte's theorem states that a graph $G=(V, E)$ contains $k$ edge disjoint spanning trees if and only if $ν_{f}(G) \geq k$, where $$ν_{f}(G):=\min_{|\mathcal{\mathcal{P}}|>1, \text{$\mathcal{P}$ is a partition of $V(G)$}}\frac{|E( \mathcal{P})|}{|\mathcal{P}|-1}.$$ Inspired by the NDT theorem as structural explanations for the fractional part of Nash-Williams' forest decomposition theorem, Fang and Yang extended Nash-Williams and Tutte's theorem and proved that if $ν_{f}(G) > k+ \frac{d-1}{d}$, then $G$ contains $k$ edge disjoint spanning trees and another forest $F$ with $ |E(F)|> \frac{d-1}{d} (|V(G)|-1)|$, and if $F$ is not a spanning tree, then $F$ has a component with at least $d$ edges. In this paper, we give a digraphic version of their result; however, the mixed graphic version remains open.
Odd and even cycle lengths, minimum degree and chromatic number in graphs
In this paper, we prove similar results for odd and even cycle lengths. Let $L_o(G)$ denote the set of odd cycle lengths of $G$ and $\ell_o(G)$ denote the longest odd cycle length. In 1992, Gyárfás proved that $χ(G)\leq 2|L_o(G)|+2$, and if $w(G)\leq 2|L_o(G)|+1$, then $χ(G)\leq 2|L_o(G)|+1$. We first prove that if $G$ is a 2-connected non-bipartite graph with $δ(G)\geq 2k$, then $|L_o(G)|\geq k$. Moreover, if $|L_o(G)|=k$, then $2|L_o(G)|+1=\ell_o(G)$, and either $K_{2k+1}\subseteq G$ or $χ(G)\leq 2k$. Applying this result, we prove that if $w(G)\leq 2|L_o(G)|$, then $χ(G)\leq 2|L_o(G)|$ for $|L_o(G)|\geq 2$, improving the result of Gyárfás. We also construct a class of graphs with $w(G)=2|L_o(G)|-1$ but $χ(G)=2|L_o(G)|$ for every $|L_o(G)|\geq 2$. Using our result, we give a short proof of a similar result of $χ(G)$ and $\ell_o(G)$ proved by Kenkre and Vishwanathan.
Our second part is about even cycle lengths. Let $L_e(G)$ denote the set of even cycle lengths of $G$ and $\ell_e(G)$ denote the longest even cycle length. In 2004, Mihók and Schiermeyer proved that $χ(G)\leq 2|L_e(G)|+3$, and if $w(G)\leq 2|L_e(G)|+2$, then $χ(G)\leq 2|L_e(G)|+2$. We first prove that if $G$ is a 2-connected graph with $δ(G)\geq 2k+1$, then $|L_e(G)|\geq k$. Moreover, if $|L_e(G)|=k$, then $2|L_e(G)|+2=\ell_e(G)$, and either $K_{2k+2}\subseteq G$ or $χ(G)\leq 2k+1$. Applying this result, we prove that if $w(G)\leq 2|L_e(G)|+1$, then $χ(G)\leq 2|L_e(G)|+1$ for $|L_e(G)|\geq 2$, improving the result of Mihók and Schiermeyer. We also construct a class of graphs with $w(G)=2|L_e(G)|$ but $χ(G)=2|L_e(G)|+1$ for every $|L_e(G)|\geq 2$. Our result can deduce a similar result of $χ(G)$ and $\ell_e(G)$.
The above results also improve some results of consecutive odd or even cycle lengths.
On gonality-tight graphs
We address a question posed by Fessler-Jensen-Kelsey-Owen regarding graphs whose second gonality is greater than the first by exactly 1. We answer the question affirmatively under a stronger condition, thereby characterising the entire gonality sequence for a large family of graphs. We prove a structure theorem for the graphs satisfying the condition, and show that they are all obtained via an inductive process by gluing together complete and banana graphs under certain rules.