graph
34516 papers tagged with this keyword
A polynomial bound on the number of minimal separators and potential maximal cliques in $P_6$-free graphs of bounded clique number
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:2, Graph Theory (March 18, 2025) dmtcs:12438
• View Publication
• BIB
In this note we show a polynomial bound on the number of minimal separators and potential maximal cliques in $P_6$-free graphs of bounded clique number.
Optimal Hamilton covers and linear arboricity for random graphs
In his seminal 1976 paper, Pósa showed that for all $p\geq C\log n/n$, the binomial random graph $G(n,p)$ is with high probability Hamiltonian. This leads to the following natural questions, which have been extensively studied: How well is it typically possible to cover all edges of $G(n,p)$ with Hamilton cycles? How many cycles are necessary? In this paper we show that for $ p\geq C\log n/n$, we can cover $G\sim G(n,p)$ with precisely $\lceilΔ(G)/2\rceil$ Hamilton cycles. Our result is clearly best possible both in terms of the number of required cycles, and the asymptotics of the edge probability $p$, since it starts working at the weak threshold needed for Hamiltonicity. This resolves a problem of Glebov, Krivelevich and Szabó, and improves upon previous work of Hefetz, Kühn, Lapinskas and Osthus, and of Ferber, Kronenberg and Long, essentially closing a long line of research on Hamiltonian packing and covering problems in random graphs.
Random-order Contention Resolution via Continuous Induction: Tightness for Bipartite Matching under Vertex Arrivals
We introduce a new approach for designing Random-order Contention Resolution Schemes (RCRS) via exact solution in continuous time. Given a function $c(y):[0,1] \rightarrow [0,1]$, we show how to select each element which arrives at time $y \in [0,1]$ with probability exactly $c(y)$. We provide a rigorous algorithmic framework for achieving this, which discretizes the time interval and also needs to sample its past execution to ensure these exact selection probabilities. We showcase our framework in the context of online contention resolution schemes for matching with random-order vertex arrivals. For bipartite graphs with two-sided arrivals, we design a $(1+e^{-2})/2 \approx 0.567$-selectable RCRS, which we also show to be tight. Next, we show that the presence of short odd-length cycles is the only barrier to attaining a (tight) $(1+e^{-2})/2$-selectable RCRS on general graphs. By generalizing our bipartite RCRS, we design an RCRS for graphs with odd-length girth $g$ which is $(1+e^{-2})/2$-selectable as $g \rightarrow \infty$. This convergence happens very rapidly: for triangle-free graphs (i.e., $g \ge 5$), we attain a $121/240 + 7/16 e^2 \approx 0.563$-selectable RCRS. Finally, for general graphs we improve on the $8/15 \approx 0.533$-selectable RCRS of Fu et al. (ICALP, 2021) and design an RCRS which is at least $0.535$-selectable. Due to the reduction of Ezra et al. (EC, 2020), our bounds yield a $0.535$-competitive (respectively, $(1+e^{-2})/2$-competitive) algorithm for prophet secretary matching on general (respectively, bipartite) graphs under vertex arrivals.
Toughness and existence of $2$-factors
A graph is $t$-tough if the deletion of any set of, say, $m$ vertices from the graph leaves a graph with at most $\frac{m}{t}$ components. In 1973, Chvátal suggested the problem of relating toughness to factors in graphs. In 1985, Enomoto et al. showed that each $2$-tough graph with at least three vertices has a $2$-factor, but for any $ε>0$, there exists a $(2-ε)$-tough graph on at least $3$ vertices having no $2$-factor. In recent years, the study of sufficient conditions for graphs with toughness less than $2$ having a $2$-factor has received a paramount interest. In this paper, we give new tight sufficient conditions for a $t$-tough graph having a $2$-factor when $1\le t<2$ by involving independence number, minimum degree, connectivity and forbidden forests.
Detecting Graphical and Digraphical Regular Representations in groups of squarefree order
A necessary condition for a Cayley digraph Cay$(R,S)$ to be a regular representation is that there are no non-trivial group automorphisms of $R$ that fix $S$ setwise. A group is DRR-detecting or GRR-detecting if this condition is also sufficient for all Cayley digraphs or graphs on the group, respectively. In this paper, we determine precisely which groups of squarefree order are DRR-detecting, and which are GRR-detecting.
On eigenfunctions of the block graphs of geometric Steiner systems
Published
• View Publication
• BIB
This paper lies in the context of the studies of eigenfunctions of graphs having minimum cardinality of support. One of the tools is the weight-distribution bound, a lower bound on the cardinality of support of an eigenfunction of a distance-regular graph corresponding to a non-principal eigenvalue. The tightness of the weight-distribution bound was previously shown in general for the smallest eigenvalue of a Grassmann graph. However, a characterisation of optimal eigenfunctions was not obtained. Motivated by this open problem, we consider the class of strongly regular Grassmann graphs and give the required characterisation in this case. We then show the tightness of the weight-distribution bound for block graphs of affine designs (defined on the lines of an affine space with two lines being adjacent when intersect) and obtain a similar characterisation of optimal eigenfunctions.
Computation of Grundy dominating sequences in (co-)bipartite graphs
A sequence $S$ of vertices of a graph $G$ is called a dominating sequence of $G$ if $(i)$ each vertex $v$ of $S$ dominates a vertex of $G$ that was not dominated by any of the vertices preceding vertex $v$ in $S$, and $(ii)$ every vertex of $G$ is dominated by at least one vertex of $S$. The Grundy Domination problem is to find a longest dominating sequence for a given graph $G$. It has been known that the decision version of the Grundy Domination problem is NP-complete even when restricted to chordal graphs. In this paper, we prove that the decision version of the Grundy Domination problem is NP-complete for bipartite graphs and co-bipartite graphs. On the positive side, we present a linear-time algorithm that solves the Grundy Domination problem for chain graphs, which form a subclass of bipartite graphs.
On the ubiquity of oriented double rays
A digraph $H$ is called ubiquitous if every digraph that contains arbitrarily many vertex-disjoint copies of $H$ also contains infinitely many vertex-disjoint copies of $H$. We study oriented double rays, that is, digraphs $H$ whose underlying undirected graphs are double rays. Calling a vertex of an oriented double ray a turn if it has in-degree or out-degree 2, we prove that an oriented double ray with at least one turn is ubiquitous if and only if it has a (finite) odd number of turns. It remains an open problem to determine whether the consistently oriented double ray is ubiquitous.
Cohen-Macaulayness of Total Simplicial Complexes
We first construct the total simplicial complex (TSC) of a finite simple graph $G$ in order to generalize the total graph $T(G)$. We show that $Δ_T(G)$ is not Cohen-Macaulay (CM) in general. For a connected graph $G$, we prove that the TSC is Buchsbaum. We demonstrate that the vanishing of first homology group of TSC associated to a connected graph $G$ is both a necessary and sufficient condition for it to be CM. We find the primary decomposition of the TSC associated to a family of friendship graphs $F_{5n+1}$ and prove it to be CM.
Extending edge colorings of distance-3 matchings in the Cartesian product of graphs
We investigate the problem of extending partial edge colorings in Cartesian products of graphs, with a particular focus on cases where the precolored edges form a matching. Casselgren, Granholm, and Petros conjectured that any precolored distance-3 matching in $G = C^d_{2k}$ can be extended to a $2d$-edge coloring. In this paper, we prove a theorem that implies this conjecture. Especially, our main result establishes that a precolored distance-3 matching in the Cartesian product of certain class 1 graphs can be extended to an edge coloring that uses at most as many colors as the chromatic index, provided that certain degree conditions are satisfied. In the second part of the paper, we extend these results to Cartesian products of other types of graphs as well.
On subgroups of finite classical groups with exactly two orbits on singular or isotropic points
In this paper, we classify the groups of semisimilarities of finite classical polar spaces with exactly two orbits on the singular or isotropic points. As a byproduct, we obtain many highly symmetric regular sets in the point graphs of finite classical polar spaces.
Toughness and spectral radius in graphs
The Brouwer's toughness conjecture states that every $d$-regular connected graph always has $t(G)>\frac{d}λ-1$ where $λ$ is the second largest absolute eigenvalue of the adjacency matrix. In 1988, Enomoto introduced a variation of toughness $τ(G)$ of a graph $G$. By incorporating the variation of toughness and spectral conditions, we provide spectral conditions for a graph to be $τ$-tough ($τ\geq 2$ is an integer) and to be $τ$-tough ($\frac{1}τ$ is a positive integer) with minimum degree $δ$, respectively. Additionally, we also investigate a analogous problem concerning balanced bipartite graphs.
Local recognition of the point graphs of some Lie incidence geometries
Given a finite Lie incidence geometry which is either a polar space of rank at least $3$ or a strong parapolar space of symplectic rank at least $4$ and diameter at most $4$, or the parapolar space arising from the line Grassmannian of a projective space of dimension at least $4$, we show that its point graph is determined by its local structure. This follows from a more general result which classifies graphs whose local structure can vary over all local structures of the point graphs of the aforementioned geometries. In particular, this characterises the strongly regular graphs arising from the line Grassmannian of a finite projective space, from the half spin geometry related to the quadric $Q^+(10,q)$ and from the exceptional group of type $\mathsf{E_6}(q)$ by their local structure.
Loops in surfaces, chord diagrams, interlace graphs: operad factorisations and generating grammars
A filoop is a generic immersion of a circle in a closed oriented surface, whose complement is a disjoint union of discs, considered up to orientation preserving diffeomorphisms. It gives rise to a chord diagram C which has an interlace graph G, called a chordiagraph. For a graph G with even degrees, we compute a quantity mg(G) which yields, for every chord diagram $C$ with interlace graph G, the minimal genus of filoops with chord diagram C. If mg(G)=0 then C admits exactly two framings of genus 0, corresponding to spheriloops. After recalling the Cunningham factorisation of connected graphs, we describe a canonical factorisation of filoops into spheric sums followed by toric sums, for which the genus is additive. This is analogous to the factorisation of compact connected 3-manifolds along spheres and tori. We describe unambiguous context-sensitive grammars generating the set of all graphs and with mg(G)=0 and deduce stability properties with respect to spheric and toric factorisations. Similar results hold for chordiagraphs with mg(G) = 0 and their corresponding spheriloops.
On the sum of the first two largest signless Laplacian eigenvalues of a graph
For a graph $G$, let $S_2(G)$ be the sum of the first two largest signless Laplacian eigenvalues of $G$, and $f(G)=e(G)+3-S_2(G)$. Oliveira, Lima, Rama and Carvalho conjectured that $K^+_{1,n-1}$ (the star graph with an additional edge) is the unique graph with minimum value of $f(G)$ on $n$ vertices. In this paper, we prove this conjecture, which also confirm a conjecture for the upper bound of $S_2(G)$ proposed by Ashraf et al.
The Complexity of Homomorphism Reconstructibility
Representing graphs by their homomorphism counts has led to the beautiful theory of homomorphism indistinguishability in recent years. Moreover, homomorphism counts have promising applications in database theory and machine learning, where one would like to answer queries or classify graphs solely based on the representation of a graph $G$ as a finite vector of homomorphism counts from some fixed finite set of graphs to $G$. We study the computational complexity of the arguably most fundamental computational problem associated to these representations, the homomorphism reconstructability problem: given a finite sequence of graphs and a corresponding vector of natural numbers, decide whether there exists a graph $G$ that realises the given vector as the homomorphism counts from the given graphs.
We show that this problem yields a natural example of an $\mathsf{NP}^{#\mathsf{P}}$-hard problem, which still can be $\mathsf{NP}$-hard when restricted to a fixed number of input graphs of bounded treewidth and a fixed input vector of natural numbers, or alternatively, when restricted to a finite input set of graphs. We further show that, when restricted to a finite input set of graphs and given an upper bound on the order of the graph $G$ as additional input, the problem cannot be $\mathsf{NP}$-hard unless $\mathsf{P} = \mathsf{NP}$. For this regime, we obtain partial positive results. We also investigate the problem's parameterised complexity and provide fpt-algorithms for the case that a single graph is given and that multiple graphs of the same order with subgraph instead of homomorphism counts are given.
Tetravalent distance magic graphs of small order and an infinite family of examples
Published in Published in AMC, Volume 25, Issue 4, 2025
• Search Publication
A graph of order $n$ is distance magic if it admits a bijective labeling of its vertices with integers from $1$ to $n$ such that each vertex has the same sum of the labels of its neighbors.
This paper contributes to the long term project of characterizing all tetravalent distance magic graphs. With the help of a computer we find that out of almost nine million connected tetravalent graphs up to order $16$ only nine are distance magic. In fact, besides the six well known wreath graphs there are only three other examples, one of each of the orders $12$, $14$ and $16$. We introduce a generalization of wreath graphs, the so-called quasi wreath graphs, and classify all distance magic graphs among them. This way we obtain infinitely many new tetravalent distance magic graphs. Moreover, the two non-wreath graphs of orders $12$ and $14$ are quasi wreath graphs while the one of order $16$ can be obtained from a quasi wreath graph of order $14$ using a simple construction due to Kovář, Fronček and Kovářová.
A Note on Eigenvalues of Cayley Graphs
Published
• View Publication
• BIB
A graph is called integral if all its eigenvalues are integers. A Cayley graph is called normal if its connection set is a union of conjugacy classes. We show that a non-empty integral normal Cayley graph for a group of odd order has an odd eigenvalue.
Laplacian eigenvalue distribution for unicyclic graphs
Let $G$ be a unicyclic graph. In this paper, we provide an upper bound for the number of Laplacian eigenvalues of $G$ within the interval $[0,1)$ in terms of the diameter and the girth of $G$.
Isolation of squares in graphs
Published in Discrete Mathematics 347 (2024), article number 114161
• Search Publication
Given a set $\mathcal{F}$ of graphs, we call a copy of a graph in $\mathcal{F}$ an $\mathcal{F}$-graph. The $\mathcal{F}$-isolation number of a graph $G$, denoted by $ι(G,\mathcal{F})$, is the size of a smallest subset $D$ of the vertex set $V(G)$ such that the closed neighbourhood of $D$ intersects the vertex sets of the $\mathcal{F}$-graphs contained by $G$ (equivalently, $G - N[D]$ contains no $\mathcal{F}$-graph). Thus, $ι(G,\{K_1\})$ is the domination number of $G$. The second author showed that if $\mathcal{F}$ is the set of cycles and $G$ is a connected $n$-vertex graph that is not a triangle, then $ι(G,\mathcal{F}) \leq \left \lfloor \frac{n}{4} \right \rfloor$. This bound is attainable for every $n$ and solved a problem of Caro and Hansberg. A question that arises immediately is how much smaller an upper bound can be if $\mathcal{F} = \{C_k\}$ for some $k \geq 3$, where $C_k$ is a cycle of length $k$. The problem is to determine the smallest real number $c_k$ (if it exists) such that for some finite set $\mathcal{E}_k$ of graphs, $ι(G, \{C_k\}) \leq c_k |V(G)|$ for every connected graph $G$ that is not an $\mathcal{E}_k$-graph. The above-mentioned result yields $c_3 = \frac{1}{4}$ and $\mathcal{E}_3 = \{C_3\}$. The second author also showed that if $k \geq 5$ and $c_k$ exists, then $c_k \geq \frac{2}{2k + 1}$. We prove that $c_4 = \frac{1}{5}$ and determine $\mathcal{E}_4$, which consists of three $4$-vertex graphs and six $9$-vertex graphs. The $9$-vertex graphs in $\mathcal{E}_4$ were fully determined by means of a computer program. A method that has the potential of yielding similar results is introduced.