graph
35299 papers tagged with this keyword
Complexity and algorithms for Arc-Kayles and Non-Disconnecting Arc-Kayles
Published
• View Publication
• BIB
Arc-Kayles is a game where two players alternate removing two adjacent vertices until no move is left, the winner being the player who played the last move. Introduced in 1978, its computational complexity is still open. More recently, subtraction games, where the players cannot disconnect the graph while removing vertices, were introduced. In particular, Arc-Kayles admits a non-disconnecting variant that is a subtraction game. We study the computational complexity of subtraction games on graphs, proving that they are PSPACE-complete even on very structured graph classes (split, bipartite of any even girth). We give a quadratic kernel for Non-Disconnecting Arc-Kayles when parameterized by the feedback edge number, as well as polynomial-time algorithms for clique trees and a subclass of threshold graphs. We also show that a sufficient condition for a second player-win on Arc-Kayles is equivalent to the graph isomorphism problem.
An upper bound on the number of relevant variables for Boolean functions on the Hamming graph
Published
• View Publication
• BIB
The spectrum of a complex-valued function $f$ on $\mathbb{Z}_{q}^n$ is the set $\{|u|:u\in \mathbb{Z}_q^n~\mathrm{and}~\widehat{f}(u)\neq 0\}$, where $|u|$ is the Hamming weight of $u$ and $\widehat{f}$ is the Fourier transform of $f$. Let $1\leq d'\leq d\leq n$. In this work, we study Boolean functions on $\mathbb{Z}_{q}^n$, $q\geq 3$, whose spectrum is a subset of $\{0\}\cup \{d',\ldots,d\}$. We prove that such functions have at most $\frac{d}{2}\cdot \frac{q^{d+d'}}{2^{d'}(q-1)^{d'}}$ relevant variables for $d'+d\leq n+1$. In particular, we prove that any Boolean function of degree $d$ on $\mathbb{Z}_{q}^n$, $q\geq 3$, has at most $\frac{dq^{d+1}}{4(q-1)}$ relevant variables. We also show that any equitable 2-partition of the Hamming graph $H(n,q)$, $q\geq 3$, associated with the eigenvalue $n(q-1)-qd$ has at most $\frac{d}{2}\cdot \frac{q^{2d}}{2^d(q-1)^{d}}$ relevant variables for $d\leq \frac{n+1}{2}$.
Exploring Homological Properties of Independent Complexes of Kneser Graphs
Published
• View Publication
• BIB
We discuss the topological properties of the independence complex of Kneser graphs, Ind(KG$(n, k))$, with $n\geq 3$ and $k\geq 1$. By identifying one kind of maximal simplices through projective planes, we obtain homology generators for the $6$-dimensional homology of the complex Ind(KG$(3, k))$. Using cross-polytopal generators, we provide lower bounds for the rank of $p$-dimensional homology of the complex Ind(KG$(n, k))$ where $p=1/2\cdot {2n+k\choose 2n}$.
Denote $\mathcal{F}_n^{[m]}$ to be the collection of $n$-subsets of $[m]$ equipped with the symmetric difference metric. We prove that if $\ell$ is the minimal integer with the $q$th dimensional reduced homology $\tilde{H}_q(\mathcal{VR}(\mathcal{F}^{[\ell]}_n; 2(n-1)))$ being non-trivial, then $$\text{rank} (\tilde{H}_q(\mathcal{VR}(\mathcal{F}_n^{[m]}; 2(n-1)))\geq \sum_{i=\ell}^m{i-2\choose \ell-2}\cdot \text{rank} (\tilde{H}_q(\mathcal{VR}(\mathcal{F}_n^{[\ell]}; 2(n-1))). $$ Since the independence complex Ind(KG$(n, k))$ and the Vietoris-Rips complex $\mathcal{VR}(\mathcal{F}^{[2n+k]}_n; 2(n-1))$ are the same, we obtain a homology propagation result in the setting of independence complexes of Kneser graphs. Connectivity of these complexes is also discussed in this paper.
A note on inverting the dijoin of oriented graphs
Published in Electronic Journal of Combinatorics Volume 32, Issue 1 (2025)
• View Publication
• BIB
For an oriented graph $D$ and a set $X\subseteq V(D)$, the inversion of $X$ in $D$ is the graph obtained from $D$ by reversing the orientation of each edge that has both endpoints in $X$. Define the inversion number of $D$, denoted $\mathrm{inv}(D)$, to be the minimum number of inversions required to obtain an acyclic oriented graph from $D$. The dijoin, denoted $D_1\rightarrow D_2$, of two oriented graphs $D_1$ and $D_2$ is constructed by taking vertex-disjoint copies of $D_1$ and $D_2$ and adding all edges from $D_1$ to $D_2$. We show that $\mathrm{inv}({D_1 \rightarrow D_2}) > \mathrm{inv}(D_1)$, for any oriented graphs $D_1$ and $D_2$ such that $\mathrm{inv}(D_1) = \mathrm{inv}(D_2) \ge 1$. This resolves a question of Aubian, Havet, Hörsch, Klingelhoefer, Nisse, Rambaud and Vermande. Our proof proceeds via a natural connection between the graph inversion number and the subgraph complementation number.
The Simultaneous Interval Number: A New Width Parameter that Measures the Similarity to Interval Graphs
We propose a novel way of generalizing the class of interval graphs, via a graph width parameter called the simultaneous interval number. This parameter is related to the simultaneous representation problem for interval graphs and defined as the smallest number $d$ of labels such that the graph admits a $d$-simultaneous interval representation, that is, an assignment of intervals and label sets to the vertices such that two vertices are adjacent if and only if the corresponding intervals, as well as their label sets, intersect. We show that this parameter is $\mathsf{NP}$-hard to compute and give several bounds for the parameter, showing in particular that it is sandwiched between pathwidth and linear mim-width. For classes of graphs with bounded parameter values, assuming that the graph is equipped with a simultaneous interval representation with a constant number of labels, we give $\mathsf{FPT}$ algorithms for the clique, independent set, and dominating set problems, and hardness results for the independent dominating set and coloring problems. The $\mathsf{FPT}$ results for independent set and dominating set are for the simultaneous interval number plus solution size. In contrast, both problems are known to be $\mathsf{W}[1]$-hard for linear mim-width plus solution size.
Antidirected trees in dense digraphs
Published
• View Publication
• BIB
We show that if $D$ is an $n$-vertex digraph with more than $(k-1)n$ arcs that does not contain any of three forbidden digraphs, then $D$ contains every antidirected tree on $k$ arcs. The forbidden digraphs are those orientations of $K_{2, \lceil k/12\rceil}$ where each of the vertices in the class of size two has either out-degree $0$ or in-degree $0$. This proves a conjecture of Addario-Berry et al. for a broad class of digraphs, and generalises a result for $K_{2, \lfloor k/12\rfloor}$-free graphs by Balasubramanian and Dobson.
We also show that every digraph $D$ on $n$ vertices with more than $(k-1)n$ arcs contains every antidirected $k$-arc caterpillar, thus solving the above conjecture for caterpillars. This generalises a result of Perles.
The sandwich problem for odd-hole-free and even-hole-free graphs
Published
• View Publication
• BIB
For a property $\mathcal{P}$ of graphs, the $\mathcal{P}$-\textsc{Sandwich-Problem}, introduced by Golumbic and Shamir (1993), is the following: Given a pair of graphs $(G_1, G_2)$ on the same vertex set $V$, does there exist a graph $G$ such that $V(G)=V$, $E(G_{1})\subseteq E(G) \subseteq E(G_{2})$, and $G$ satisfies $\mathcal{P}$? A {\em hole} in a graph is an induced subgraph which is a cycle of length at least four. An odd (respectively even) hole is a hole of odd (respectively even) length. Given a class of graphs $\mathcal{C}$ and a graph $G$ we say that $G$ is {\em $\mathcal{C}$-free} if it contains no induced subgraph isomorphic to a member of $\mathcal{C}$. In this paper we prove that if $\mathcal{P}$ is the property of being odd-hole-free or the property of being even-hole-free, then the $\mathcal{P}$-\textsc{Sandwich-Problem} is NP-hard.
Limit points of $A_α$-matrices of graphs
Published
• View Publication
• BIB
We study limit points of the spectral radii of $A_α$-matrices of graphs. Adapting a method used by J. B. Shearer in 1989, we prove a density property of $A_α$-limit points of caterpillars for $α$ close to zero. Precisely, we show that for $α\in [0, 1/2)$ there exists a positive number $τ_2(α)>2$ such that any value $λ> τ_2(α)$ is an $A_α$-limit point. We also determine the existence of other intervals for which all its points are $A_α$-limit points.
Main $\mathbf{Q}$-eigenvalues of quasi-threshold graphs
In this note, we present a structural description of certain connected cographs having $k \geq 2$ main signless Laplacian eigenvalues. This result allows us to characterize the cographs which are quasi-threshold graphs with two main $\mathbf{Q}$-eigenvalues. In addition, we describe all the quasi-threshold graphs belonging to the subclass of generalized core-satellite graphs with $k \geq 2$ main $\mathbf{Q}$-eigenvalues.
A new infinite family of 4-regular crossing-critical graphs
Published
• View Publication
• BIB
A graph $G$ is said to be crossing-critical if $cr(G-e)< cr(G)$ for every edge $e$ of $G$, where $cr(G)$ is the crossing number of $G$. Richter and Thomassen [Journal of Combinatorial Theory, Series B 58 (1993), 217-224] constructed an infinite family of 4-regular crossing-critical graphs with crossing number $3$. In this article, we present a new infinite family of 4-regular crossing-critical graphs.
On the geometry of exponential random graphs and applications
In a seminal paper in 2009, Borcea, Brändén, and Liggett described the connection between probability distributions and the geometry of their generating polynomials. Namely, they characterized that stable generating polynomials correspond to distributions with the strongest form of negative dependence. This motivates us to investigate other distributions that can have this property, and our focus is on random graph models. In this article, we will lay the groundwork to investigate Markov random graphs, and more generally exponential random graph models (ERGMs), from this geometric perspective. In particular, by determining when their corresponding generating polynomials are either stable and/or Lorentzian. The Lorentzian property was first described in 2020 by Brändén and Huh and independently by Anari, Oveis-Gharan, and Vinzant where the latter group called it the completely log-concave property. The theory of stable polynomials predates this, and is commonly thought of as the multivariate notion of real-rootedness. Brändén and Huh proved that stable polynomials are always Lorentzian. Although it is a strong condition, verifying stability is not always feasible. We will characterize when certain classes of Markov random graphs are stable and when they are only Lorentzian. We then shift our attention to applications of these properties to real-world networks.
A stability result for almost perfect matchings
Published
• View Publication
• BIB
Let $n,k,s$ be three integers and $β$ be a sufficiently small positive number such that $k\geq 3$, $0<1/n\ll β\ll 1/k$ and $ks+k\leq n\leq (1+β)ks+k-2$. A $k$-graph is called non-trivial if it has no isolated vertex. In this paper, we determine the maximum number of edges in a non-trivial $k$-graph with $n$ vertices and matching number at most $s$. This result confirms a conjecture proposed by Frankl (On non-trivial families without a perfect matching, \emph{European J. Combin.}, \textbf{84} (2020), 103044) for the case when $s$ is sufficiently large.
The Fine-Grained Complexity of Graph Homomorphism Problems: Towards the Okrasa and Rzążewski Conjecture
In this paper we are interested in the fine-grained complexity of deciding whether there is a homomorphism from an input graph $G$ to a fixed graph $H$ (the $H$-Coloring problem). The starting point is that these problems can be viewed as constraint satisfaction problems (CSPs), and that (partial) polymorphisms of binary relations are of paramount importance in the study of complexity classes of such CSPs.
Thus, we first investigate the expressivity of binary symmetric relations $E_H$ and their corresponding (partial) polymorphisms pPol($E_H$). For irreflexive graphs we observe that there is no pair of graphs $H$ and $H'$ such that pPol($E_H$) $\subseteq$ pPol($E_{H'}$), unless $E_{H'}= \emptyset$ or $H =H'$. More generally we show the existence of an $n$-ary relation $R$ whose partial polymorphisms strictly subsume those of $H$ and such that CSP($R$) is NP-complete if and only if $H$ contains an odd cycle of length at most $n$. Motivated by this we also describe the sets of total polymorphisms of nontrivial cliques, odd cycles, as well as certain cores, and we give an algebraic characterization of projective cores. As a by-product, we settle the Okrasa and Rzążewski conjecture for all graphs of at most 7 vertices.
Divisible design graphs from the symplectic graph
Published
• View Publication
• BIB
A divisible design graph is a graph whose adjacency matrix is an incidence matrix of a (group) divisible design. Divisible design graphs were introduced in 2011 as a generalization of $(v,k,λ)$-graphs. Here we describe four new infinite families that can be obtained from the symplectic strongly regular graph $Sp(2e,q)$ ($q$ odd, $e\geq 2$) by modifying the set of edges. To achieve this we need two kinds of spreads in $PG(2e-1,q)$ with respect to the associated symplectic form: the symplectic spread consisting of totally isotropic subspaces and, when $e=2$, a special spread consisting of lines which are not totally isotropic. Existence of symplectic spreads is known, but the construction of a special spread for every odd prime power $q$ is a major result of this paper. We have included relevant back ground from finite geometry, and when $q=3,5$ and $7$ we worked out all possible special spreads.
Perfect matchings and spanning trees: squarishness, bijections and independence
A number which is either the square of an integer or two times the square of an integer is called squarish. There are two main results in the literature on graphs whose number of perfect matchings is squarish: one due to Jockusch (for planar graphs invariant under rotation by 90 degrees) and the other due to the second author (concerning planar graphs with two perpendicular symmetry axes). We present in this paper a new such class, consisting of certain planar graphs that are only required to have one symmetry axis. Our proof relies on a natural bijection between the set of perfect matchings of two closely related (but not isomorphic!) families of graphs, which is interesting in its own right. The rephrasing of this bijection in terms of spanning trees turns out to be the most natural way to present this result.
The basic move in the construction of the above bijection (which we call gliding) can also be used to extend Temperley's classical bijection between spanning trees of a planar graph and perfect matchings of a closely related graph. We present this, and as an application we answer an open question posed by Corteel, Huang and Krattenthaler.
We also discuss another dimer bijection (used in the proof of the second author's result mentioned above), and deduce from a refinement of it new results for spanning trees. These include a finitary version of an independence result for the uniform spanning tree on $\Z^2$ due to Johansson, a counterpart of it, and a bijective proof of an independence result on edge inclusions in the uniform spanning tree on $\Z^2$ due to Lyons.
$k$-leaky double Hurwitz descendants
Published
• View Publication
• BIB
We define a new class of enumerative invariants called $k$-leaky double Hurwitz descendants, generalizing both descendant integrals of double ramification cycles and the $k$-leaky double Hurwitz numbers introduced in previous work of Cavalieri, Markwig and Ranganathan. These numbers are defined as intersection numbers of the logarithmic DR cycle against $ψ$-classes and logarithmic classes coming from piecewise polynomials encoding fixed branch point conditions. We give a tropical graph sum formula for these new invariants, allowing us to show their piecewise polynomiality and a wall-crossing formula in genus zero. We also prove that in genus zero the invariants are always non-negative and give a complete classification of the cases where they vanish.
Combinatorial upper bounds for the smallest eigenvalue of a graph
Published
• View Publication
• BIB
Let $G$ be a graph, and let $λ(G)$ denote the smallest eigenvalue of $G$. First, we provide an upper bound for $λ(G)$ based on induced bipartite subgraphs of $G$. Consequently, we extract two other upper bounds, one relying on the average degrees of induced bipartite subgraphs and a more explicit one in terms of the chromatic number and the independence number of $G$. In particular, motivated by our bounds, we introduce two graph invariants that are of interest on their own. Finally, special attention goes to the investigation of the sharpness of our bounds in various classes of graphs as well as the comparison with an existing well-known upper bound.
Every subcubic graph is packing $(1,1,2,2,3)$-colorable
Published
• View Publication
• BIB
For a sequence $S=(s_1, \ldots, s_k)$ of non-decreasing integers, a packing $S$-coloring of a graph $G$ is a partition of its vertex set $V(G)$ into $V_1, \ldots, V_k$ such that for every pair of distinct vertices $u,v \in V_i$, where $1 \le i \le k$, the distance between $u$ and $v$ is at least $s_i+1$. The packing chromatic number, $χ_p(G)$, of a graph $G$ is the smallest integer $k$ such that $G$ has a packing $(1,2, \ldots, k)$-coloring. Gastineau and Togni asked an open question ``Is it true that the $1$-subdivision ($D(G)$) of any subcubic graph $G$ has packing chromatic number at most $5$?'' and later Brešar, Klavžar, Rall, and Wash conjectured that it is true.
In this paper, we prove that every subcubic graph has a packing $(1,1,2,2,3)$-coloring and it is sharp due to the existence of subcubic graphs that are not packing $(1,1,2,2)$-colorable. As a corollary of our result, $χ_p(D(G)) \le 6$ for every subcubic graph $G$, improving a previous bound ($8$) due to Balogh, Kostochka, and Liu in 2019, and we are now just one step away from fully solving the conjecture.
The Norton-balanced condition for $Q$-polynomial distance-regular graphs
Published
• View Publication
• BIB
Let $Γ$ denote a $Q$-polynomial distance-regular graph, with vertex set $X$ and diameter $D\geq 3$.
The standard module $V$ has a basis $\lbrace {\hat x} \vert x \in X\rbrace$, where ${\hat x}$ denotes column $x$ of the identity matrix $I \in {\rm Mat}_X(\mathbb C)$. Let $E$ denote a $Q$-polynomial primitive idempotent of $Γ$. The eigenspace $EV$ is spanned by the vectors
$\lbrace E {\hat x} \vert x \in X\rbrace$.
It was previously known that these vectors satisfy a condition called the balanced set condition. In this paper, we introduce a variation on the balanced set condition called the Norton-balanced condition. The Norton-balanced condition involves the Norton algebra product on $EV$. We define $Γ$ to be Norton-balanced whenever $Γ$ has a $Q$-polynomial primitive idempotent $E$ such that the set $\lbrace E {\hat x} \vert x \in X\rbrace$ is Norton-balanced.
We show that $Γ$ is Norton-balanced in the following cases:
(i)
$Γ$ is bipartite; (ii) $Γ$ is almost bipartite; (iii) $Γ$ is dual-bipartite; (iv) $Γ$ is almost dual-bipartite; (v) $Γ$ is tight; (vi)
$Γ$ is a Hamming graph; (vii) $Γ$ is a Johnson graph; (viii) $Γ$ is the Grassmann graph $J_q(2D,D)$;
(ix) $Γ$ is a halved bipartite dual-polar graph; (x) $Γ$ is a halved Hemmeter graph; (xi) $Γ$ is a halved hypercube; (xii) $Γ$ is a folded-half hypercube;
(xiii) $Γ$ has $q$-Racah type and affords a spin model.
Some theoretical results about the Norton-balanced condition are obtained, and some open problems are given.
Matroid variant of Matiyasevich formula and its application
Published
• View Publication
• BIB
In 1977, Yu. V. Matiyasevich proposed a formula expressing the chromatic polynomial of an arbitrary graph as a linear combination of flow polynomials of subgraphs of the original graph. In this paper, we prove that this representation is a particular case of one (easily verifiable) formula, namely, the representation of the characteristic polynomial of an arbitrary matroid as a linear combination of characteristic polynomials of dual matroids. As an application, we represent the flow polynomial of a complete graph with $n$ vertices as the sum of elementary terms with respect to all partitions of positive integer $n$. Since the growth rate of the number of all partitions is less than exponential, this technique allows us to evaluate the flow polynomial for values of $n\approx 50$. We also get an explicit expression for the characteristic polynomial of the matroid dual to the matroid of the projective geometry over a finite field. We prove, in particular, that major coefficients of all these polynomials coincide with the beginning of the row in the Pascal triangle, whose number equals the quantity of elements in the corresponding matroid. At the end part of the paper, we consider one more approach, which allows us to obtain the same results of application of our main theoren by using properties of the Tutte polynomial and the classical Rota formula for coefficients of the characteristic polynomial of a matroid. In addition, we describe the connection between the matroid variant of the Matiyasevich formula and convolution formulas for Tutte polynomials.