graph
34516 papers tagged with this keyword
Algorithm for Constructing Related Spanning Directed Forests of Minimum Weight
An algorithm is proposed for constructing directed spanning forests of the minimum weight, in which the maximum possible degree of affinity between the minimum forests is preserved when the number of trees changes. The correctness of the algorithm is checked and its complexity is determined, which does not exceed $ O (N ^ 3) $ for dense graphs. The result of the algorithm is a set of related spanning minimal forests consisting of $ k $ trees for all admissible $ k $.
Homology in Combinatorial Refraction Billiards
Given a graph $G$ with vertex set $\{1,\ldots,n\}$, we can project the graphical arrangement of $G$ to an $(n-1)$-dimensional torus to obtain a toric hyperplane arrangement. Adams, Defant, and Striker constructed a toric combinatorial refraction billiard system in which beams of light travel in the torus, refracting (with refraction coefficient $-1$) whenever they hit one of the toric hyperplanes in this toric arrangement. Each billiard trajectory in this system is periodic. We adopt a topological perspective and view the billiard trajectories as closed loops in the torus. We say $G$ is ensnaring if all of the billiard trajectories are contractible, and we say $G$ is expelling if none of the billiard trajectories is contractible. Our first main result states that a graph is expelling if and only if it is bipartite. We then provide several necessary conditions and several sufficient conditions for a graph to be ensnaring. For example, we show that the complement of an ensnaring graph cannot have a clique as a connected component. We also discuss ways to construct ensnaring graphs from other ensnaring graphs. For example, gluing two ensnaring graphs at a single vertex always yields another ensnaring graph.
Hardness of Hypergraph Edge Modification Problems
For a fixed graph $F$, let $ex_F(G)$ denote the size of the largest $F$-free subgraph of $G$. Computing or estimating $ex_F(G)$ for various pairs $F,G$ is one of the central problems in extremal combinatorics. It is thus natural to ask how hard is it to compute this function. Motivated by an old problem of Yannakakis from the 80's, Alon, Shapira and Sudakov [ASS'09] proved that for every non-bipartite graph $F$, computing $ex_F(G)$ is NP-hard. Addressing a conjecture of Ailon and Alon (2007), we prove a hypergraph analogue of this theorem, showing that for every $k \geq 3$ and every non-$k$-partite $k$-graph $F$, computing $ex_F(G)$ is NP-hard. Furthermore, we conjecture that our hardness result can be extended to all $k$-graphs $F$ other than a matching of fixed size. If true, this would give a precise characterization of the $k$-graphs $F$ for which computing $ex_F(G)$ is NP-hard, since we also prove that when $F$ is a matching of fixed size, $ex_F(G)$ is computable in polynomial time. This last result can be considered an algorithmic version of the celebrated Erdős-Ko-Rado Theorem.
The proof of [ASS'09] relied on a variety of tools from extremal graph theory, one of them being Turán's theorem. One of the main challenges we have to overcome in order to prove our hypergraph extension is the lack of a Turán-type theorem for $k$-graphs. To circumvent this, we develop a completely new graph theoretic approach for proving such hardness results.
Verified Certificates via SAT and Computer Algebra Systems for the Ramsey $R(3, 8)$ and $R(3, 9)$ Problems
Published
• View Publication
• BIB
The Ramsey problem $R(3, k)$ seeks to determine the smallest value of $n$ such that any red/blue edge coloring of the complete graph on $n$ vertices must either contain a blue triangle (3-clique) or a red clique of size $k$. Despite its significance, many previous computational results for the Ramsey $R(3, k)$ problem such as $R(3, 8)$ and $R(3, 9)$ lack formal verification. To address this issue, we use the software MathCheck to generate certificates for Ramsey problems $R(3, 8)$ and $R(3, 9)$ (and symmetrically $R(8, 3)$ and $R(9, 3)$) by integrating a Boolean satisfiability (SAT) solver with a computer algebra system (CAS). Our SAT+CAS approach significantly outperforms traditional SAT-only methods, demonstrating an improvement of several orders of magnitude in runtime. For instance, our SAT+CAS approach solves $R(3, 8)$ (resp., $R(8, 3)$) sequentially in 59 hours (resp., in 11 hours), while a SAT-only approach using state-of-the-art CaDiCaL solver times out after 7 days. Additionally, in order to be able to scale to harder Ramsey problems $R(3, 9)$ and $R(9, 3)$ we further optimized our SAT+CAS tool using a parallelized cube-and-conquer approach. Our results provide the first independently verifiable certificates for these Ramsey numbers, ensuring both correctness and completeness of the exhaustive search process of our SAT+CAS tool.
On the number of edges in saturated partial embeddings of maximal planar graphs
We investigate the extremal properties of saturated partial plane embeddings of maximal planar graphs. For a planar graph $G$, the plane-saturation number $\mathrm{sat}_{\mathcal{P}}(G)$ denotes the minimum number of edges in a plane subgraph of $G$ such that the addition of any edge either violates planarity or results in a graph that is not a subgraph of $G$. We focus on maximal planar graphs and establish an upper bound on $\mathrm{sat}_{\mathcal{P}}(G)$ by showing there exists a universal constant $ε> 0$ such that $\mathrm{sat}_{\mathcal{P}}(G) < (3-ε)v(G)$ for any maximal planar graph $G$ with $v(G) \geq 16$. This answers a question posed by Clifton and Simon. Additionally, we derive lower bound results and demonstrate that for maximal planar graphs with sufficiently large number of vertices, the minimum ratio $\mathrm{sat}_{\mathcal{P}}(G)/e(G)$ lies within the interval $(1/16, 1/9 + o(1)]$.
Modularity of random intersection graphs
Modularity was introduced by Newman and Girvan in 2004 and is used as a measure of community structure of networks represented by graphs. In our work we study modularity of the random intersection graph model first considered by Karoński, Scheinerman, and Singer--Cohen in 1999. Since their introduction, random intersection graphs has attracted much attention, mostly due to their application as networks models. In our work we determine the range of parameters in which modularity detects well the community structure of the random intersection graphs, as well as give a range of parameters for which there is a community structure present but not revealed by modularity. We also relate modularity of the random intersection graph to the modularity of other known random graph models.
A Bose-Laskar-Hoffman theory for $μ$-bounded graphs with fixed smallest eigenvalue
In 2018, by Ramsey and Hoffman theory, Koolen, Yang, and Yang presented a structural result on graphs with smallest eigenvalue at least $-3$ and large minimum degree. In this study, we depart from the conventional use of Ramsey theory and instead employ a novel approach that combines the Bose-Laskar type argument with Hoffman theory to derive structural insights into $μ$-bounded graphs with fixed smallest eigenvalue. Our method establishes a reasonable bound on the minimum degree. Note that local graphs of distance-regular graphs are $μ$-bounded. We apply these results to characterize the structure for any local graph of a distance-regular graph with classical parameters $(D,b,α,β)$. Consequently, we show that the parameter $α$ is bounded by a cubic polynomial in $b$ if $D \geq 9$ and $b \geq 2$. We also show that $α\leq 2$ if $b =2$ and $D \geq 12$.
Graph Powers of Groups
The Lights Out Puzzle, played on a graph $Γ$, has been studied using linear algebra over $\mathbb{F}_2$ and more generally over $\mathbb{Z}/k\mathbb{Z}$. We generalize the setting by allowing the states of vertices to be the elements of a group $G$, where a \textit{click} in vertex $v$ multiplies the state of $v$ and its neighbors by an element $g \in G$ on the right.
Starting with the identity element $e \in G$ for all vertices, the totality of all achievable state configurations forms a group $G^Γ$. This group generalizes parallel products of group actions and provides a rich structure for analysis. For many graphs, which we term ``RA'' (reducible to abelian), the problem reduces -- regardless of $G$ -- to a linear algebra question over $\mathbb{Z}$. We discuss a chain of five different subgroups consisting of commutators and introduce techniques for showing that families of graphs are RA using each. In particular, using Heisenberg groups, we establish that a graph is RA precisely when a certain lattice spans $\mathbb{Z}^{|Γ|}$. While most graphs appear to be RA, we show the odd-dimensional cube graphs $Q_{2n+1}$ and folded cube graphs $\square_d$, for $d$ odd or 2, are not.
Spectral Properties of the Zeon Combinatorial Laplacian
Published in Int J Theor Phys 64, 163 (2025)
• View Publication
• BIB
Given a finite simple graph $G$ on $m$ vertices, the zeon combinatorial Laplacian $Λ$ of $G$ is an $m\times m$ graph having entries in the complex zeon algebra $\mathbb{C}\mathfrak{Z}$. It is shown here that if the graph has a unique vertex $v$ of degree $k$, then the Laplacian has a unique zeon eigenvalue $λ$ whose scalar part is $k$. Moreover, the canonical expansion of the nilpotent (dual) part of $λ$ counts the cycles based at vertex $v$ in $G$. With an appropriate generalization of the zeon combinatorial Laplacian of $G$, all cycles in $G$ are counted by $Λ$. Moreover when a generalized zeon combinatorial Laplacian $Λ$ can be viewed as a self-adjoint operator on the $\mathbb{C}\mathfrak{Z}$-module of $m$-tuples of zeon elements, it can be interpreted as a quantum random variable whose values reveal the cycle structure of the underlying graph.
Consistent sampling of Paley-Wiener functions on graphons
We study sampling methods for Paley-Wiener functions on graphons, thereby adapting and generalizing methods initially developed for graphs to the graphon setting. We then derive conditions under which such a sampling estimate is consistent with graphon convergence.
Lollipops, dense cycles and chords
In 1980, Gupta, Kahn and Robertson proved that every graph $G$ with minimum degree at least $k\geq 2$ contains a cycle $C$ containing at least $k+1$ vertices each having at least $k$ neighbors in $C$ (so $C$ has at least $\frac{(k+1)(k-2)}{2}$ chords). In this work, we go further by showing that some of its edges can be contracted to obtain a graph with high minimum degree (we call such a minor of $C$ a \emph{cyclic minor}). We then investigate further cycles having cliques as cyclic minors, and show that minimum degree at least $O(k^2)$ guarantees a cyclic $K_k$-minor.
Explorations on the number of realizations of minimally rigid graphs
Rigid graphs have only finitely many realizations. In the recent years significant progress was made in computing the number of such realizations. With this progress it was also possible for the first time to do computations on large sets of graphs. In this paper we show what we can conclude from the data we got from these computations. This includes new lower bounds on the maximal realization count for a given number of vertices, upper bounds for the minimal realization count in higher dimensions and effects of rigidity preserving construction rules on the realization number. In all cases we give certificate graphs which prove the respective results.
Embedding loose trees in $k$-uniform hypergraphs
A classical result of Komlós, Sárközy and Szemerédi shows that every large $n$-vertex graph with minimum degree at least $(1/2+γ)n$ contains all spanning trees of bounded degree. We generalised this result to loose spanning hypertrees in $k$-uniform hypergraphs, that is, linear hypergraphs obtained by subsequently adding edges sharing a single vertex with a previous edge.
We give a general sufficient condition for embedding loose trees with bounded degree. In particular, we show that for all $k\ge 4$, every $n$-vertex $k$-uniform hypergraph with $n\ge n_0(k,γ, Δ)$ and minimum $(k-2)$-degree at least $(1/2+γ)\binom{n}{k-2}$ contains every spanning loose tree with maximum vertex degree at most $Δ$. This bound is asymptotically tight. This generalises a result of Pehova and Petrova, who proved the case when $k=3$ and of Pavez-Signé, Sanhueza-Matamala and Stein, who considered the codegree threshold for bounded degree tight trees.
Diagrammatic Categories which arise from Representation Graphs
The main result of this paper utilizes the representation graph of a group $G$, $R(V,G)$, and gives a general construction of a diagrammatic category $\mathbf{Dgrams}_{R(V,G)}$. The proof of the main theorem shows that, given explicit criteria, there is an equivalence of categories between a quotient category of $\mathbf{Dgrams}_{R(V,G)}$ and a full subcategory of $G-\textbf{mod}$ with objects being the tensor products of finitely many irreducible $G$-modules.
On the minimum number of distinct eigenvalues of triangle-free strongly regular graphs
Among the seven known (non-degenerate) triangle-free strongly regular graphs, we prove that the Clebsch graph describes a matrix with exactly two distinct eigenvalues while five of the graphs do not. In showing that the minimum number of distinct eigenvalues of the Sims-Gewirtz graph is three, we answer a recently stated open question.
Finest positroid subdivisions from maximal weakly separated collections
We adopt a formal and algebraic approach of Early \cite{E2} to study the positive tropical Grassmannian $\operatorname{Trop}^+ Gr_{k,n}$. Specifically, we deal with positroid subdivision of hypersimplex induced by translated blades from any maximal weakly separated collection. One of our main results gives a necessary and sufficient condition on a maximal weakly separated collection to form a positroid subdivision of a hypersimplex corresponding to a simplicial cone in $\rm Trop^+Gr_{k,n}$. For k = 2 our condition says that any weakly separated collection of two-elements sets gives such a simplicial cone, and all cones are of such a form. We also show that the maximality of any weakly separated collection is preserved under the boundary map, which armatively answers a question by Early in \cite{E1}. Plabic graphs, invented by Postnikov \cite{P}, are of use in proving this result. As a corollary, we get that all those positroid subdivisions are the finest. Thus, the flip of two maximal weakly separatedcollections corresponds to a pair of adjacent maximal cones in positive tropical Grassmannian.
Regularity of edge ideals of powers of graphs
We prove that the regularity of edge ideals of powers of forests is weakly decreasing. We then compute the regularity of edge ideals of powers of cycles.
Induced Disjoint Paths Without an Induced Minor
We exhibit a new obstacle to the nascent algorithmic theory for classes excluding an induced minor. We indeed show that on the class of string graphs -- which avoids the 1-subdivision of, say, $K_5$ as an induced minor -- Induced 2-Disjoint Paths is NP-complete. So, while $k$-Disjoint Paths, for a fixed $k$, is polynomial-time solvable in general graphs, the absence of a graph as an induced minor does not make its induced variant tractable, even for $k=2$. This answers a question of Korhonen and Lokshtanov [SODA '24], and complements a polynomial-time algorithm for Induced $k$-Disjoint Paths in classes of bounded genus by Kobayashi and Kawarabayashi [SODA '09]. In addition to being string graphs, our produced hard instances are subgraphs of a constant power of bounded-degree planar graphs, hence have bounded twin-width and bounded maximum degree.
We also leverage our new result to show that there is a fixed subcubic graph $H$ such that deciding if an input graph contains $H$ as an induced subdivision is NP-complete. Until now, all the graphs $H$ for which such a statement was known had a vertex of degree at least 4. This answers a question by Chudnovsky, Seymour, and the fourth author [JCTB '13], and by Le [JGT '19]. Finally we resolve another question of Korhonen and Lokshtanov by exhibiting a subcubic graph $H$ without two adjacent degree-3 vertices and such that deciding if an input $n$-vertex graph contains $H$ as an induced minor is NP-complete, and unless the Exponential-Time Hypothesis fails, requires time $2^{Ω(\sqrt n)}$. This complements an algorithm running in subexponential time $2^{O(n^{2/3} \log n)}$ by these authors [SODA '24] under the same technical condition.
Optimal Constructions for DNA Self-Assembly of $k$-Regular Graphs
Within biology, it is of interest to construct DNA complexes of a certain shape. These complexes can be represented through graph theory, using edges to model strands of DNA joined at junctions, represented by vertices. Because guided construction is inefficient, design strategies for DNA self-assembly are desirable. In the flexible tile model, branched DNA molecules are referred to as tiles, each consisting of flexible unpaired cohesive ends with the ability to form bond-edges. We thus consider the minimum number of tile and bond-edge types necessary to construct a graph $G$ (i.e. a target structure) without allowing the formation of graphs of lesser order, or nonisomorphic graphs of equal order. We emphasize the concept of (un)swappable graphs, establishing lower bounds for unswappable graphs. We also introduce a method of establishing upper bounds via vertex covers. We apply both of these methods to prove new bounds on rook's graphs and Kneser graphs.
On the characterization of graphs with tree 3-spanners
The tree spanner problem for a graph $G$ is as follows: For a given integer $k$, is there a spanning tree $T$ of $G$ (called a tree $k$-spanner) such that the distance in $T$ between every pair of vertices is at most $k$ times their distance in $G$? The minimum $k$ that $G$ admits a tree $k$-spanner is denoted by $σ(G)$. It is well known in the literature that determining $σ(G)\leq 2$ is polynomially solvable, while determining $σ(G)\leq k$ for $k\geq 4$ is NP-complete. A long-standing open problem is to characterize graphs with $σ(G)=3$. This paper settles this open problem by proving that it is polynomially solvable.