graph
35299 papers tagged with this keyword
Cycles of quadratic Latin squares and anti-perfect $1$-factorisations
Published in J. Combin. Des. 31, (2023), 447-475
• View Publication
• BIB
A Latin square of order $n$ is an $n \times n$ matrix of $n$ symbols, such that each symbol occurs exactly once in each row and column. For an odd prime power $q$ let $\mathbb{F}_q$ denote the finite field of order $q$. A quadratic Latin square is a Latin square $\mathcal{L}[a, b]$ defined by, $$(\mathcal{L}[a, b])_{i, j} = \begin{cases} i + a(j-i) & \text{if } j-i \text{ is a quadratic residue in } \mathbb{F}_q, \\ i + b(j-i) & \text{otherwise}, \end{cases}$$ for some $\{a, b\} \subseteq \mathbb{F}_q$ such that $ab$ and $(a-1)(b-1)$ are quadratic residues in $\mathbb{F}_q$. Quadratic Latin squares have previously been used to construct perfect $1$-factorisations, mutually orthogonal Latin squares and atomic Latin squares. We first characterise quadratic Latin squares which are devoid of $2 \times 2$ Latin subsquares. Let $G$ be a graph and $\mathcal{F}$ a $1$-factorisation of $G$. If the union of every pair of $1$-factors in $\mathcal{F}$ induces a Hamiltonian cycle in $G$ then $\mathcal{F}$ is called perfect, and if there is no pair of $1$-factors in $\mathcal{F}$ which induce a Hamiltonian cycle in $G$ then $\mathcal{F}$ is called anti-perfect. We use quadratic Latin squares to construct new examples of anti-perfect $1$-factorisations of complete graphs and complete bipartite graphs. We also demonstrate that for each odd prime $p$, there are only finitely many orders $q$, which are powers of $p$, such that quadratic Latin squares of order $q$ could be used to construct perfect $1$-factorisations of complete graphs or complete bipartite graphs.
Self-Assembling DNA Complexes with a Wheel Graph Structure
The Watson-Crick complementary properties of DNA make DNA a useful tool for the self-assembly of various target complexes. Concepts from graph theory can be used to model the self-assembling process in which the vertices of the graph represent $k$-armed branched junction molecules, called tiles. We seek to determine the minimum number of tile and cohesive-end types necessary to create the desired self-assembled complex. Although results are known for a few infinite classes of graphs, many classes of graphs remain unsolved. We present results for the wheel graph within the restrictions of three different settings.
Cosecure Domination: Hardness Results and Algorithm
Published
• View Publication
• BIB
For a simple graph $G=(V,E)$ without any isolated vertex, a cosecure dominating set $D$ of $G$ satisfies the following two properties (i) $S$ is a dominating set of $G$, (ii) for every vertex $v \in S$ there exists a vertex $u \in V \setminus S$ such that $uv \in E$ and $(S \setminus \{v\}) \cup \{u\}$ is a dominating set of $G$. The minimum cardinality of a cosecure dominating set of $G$ is called cosecure domination number of $G$ and is denoted by $γ_{cs}(G)$. The Minimum Cosecure Domination problem is to find a cosecure dominating set of a graph $G$ of cardinality $γ_{cs}(G)$. The decision version of the problem is known to be NP-complete for bipartite, planar, and split graphs. Also, it is known that the Minimum Cosecure Domination problem is efficiently solvable for proper interval graphs and cographs.
In this paper, we work on various important graph classes in an effort to reduce the complexity gap of the Minimum Cosecure Domination problem. We show that the decision version of the problem remains NP-complete for circle graphs, doubly chordal graphs, chordal bipartite graphs, star-convex bipartite graphs and comb-convex bipartite graphs. On the positive side, we give an efficient algorithm to compute the cosecure domination number of chain graphs, which is an important subclass of bipartite graphs. In addition, we show that the problem is linear-time solvable for bounded tree-width graphs. Further, we prove that the computational complexity of this problem varies from the domination problem.
Construction numbers: How to build a graph?
Published
• View Publication
• BIB
A construction sequence for a graph is a listing of the elements of the graph (the set of vertices and edges) such that each edge follows both its endpoints. The construction number of the graph is the number of such sequences. We determine this number for various graph families.
The number of descendants in a random directed acyclic graph
Published
• View Publication
• BIB
We consider a well known model of random directed acyclic graphs of order $n$, obtained by recursively adding vertices, where each new vertex has a fixed outdegree $d\ge2$ and the endpoints of the $d$ edges from it are chosen uniformly at random among previously existing vertices.
Our main results concern the number $X$ of vertices that are descendants of $n$. We show that $X/\sqrt n$ converges in distribution; the limit distribution is, up to a constant factor, given by the $d$th root of a Gamma distributed variable. $Γ(d/(d-1))$. When $d=2$, the limit distribution can also be described as a chi distribution $χ(4)$. We also show convergence of moments, and find thus the asymptotics of the mean and higher moments.
The least distance eigenvalue of the complements of graphs of diameter greater than three
Suppose $G$ is a connected simple graph with the vertex set $V( G ) = \{ v_1,v_2,\cdots ,v_n \} $. Let $d_G( v_i,v_j ) $ be the least distance between $v_i$ and $v_j$ in $G$. Then the distance matrix of $G$ is $D( G ) =( d_{ij} ) _{n\times n}$, where $d_{ij}=d_G( v_i,v_j ) $. Since $D( G )$ is a non-negative real symmetric matrix, its eigenvalues can be arranged as $λ_1(G)\ge λ_2(G)\ge \cdots \ge λ_n(G)$, where eigenvalue $λ_n(G)$ is called the least distance eigenvalue of $G$. In this paper we determine the unique graph whose least distance eigenvalue attains maximum among all complements of graphs of diameter greater than three.
Identifying contact graphs of sphere packings with generic radii
Ozkan et al. conjectured that any packing of $n$ spheres with generic radii will be stress-free, and hence will have at most $3n-6$ contacts. In this paper we prove that this conjecture is true for any sphere packing with contact graph of the form $G \oplus K_2$, i.e., the graph formed by connecting every vertex in a graph $G$ to every vertex in the complete graph with two vertices. We also prove the converse of the conjecture holds in this special case: specifically, a graph $G \oplus K_2$ is the contact graph of a generic radii sphere packing if and only if $G$ is a penny graph with no cycles.
Neighborhood complexity of planar graphs
Published in Combinatorica, 44:1115--1148, 2024
• View Publication
• BIB
Reidl, Sánchez Villaamil, and Stravopoulos (2019) characterized graph classes of bounded expansion as follows: A class $\mathcal{C}$ closed under subgraphs has bounded expansion if and only if there exists a function $f:\mathbb{N} \to \mathbb{N}$ such that for every graph $G \in \mathcal{C}$, every nonempty subset $A$ of vertices in $G$ and every nonnegative integer $r$, the number of distinct intersections between $A$ and a ball of radius $r$ in $G$ is at most $f(r) |A|$. When $\mathcal{C}$ has bounded expansion, the function $f(r)$ coming from existing proofs is typically exponential. In the special case of planar graphs, it was conjectured by Sokołowski (2021) that $f(r)$ could be taken to be a polynomial.
In this paper, we prove this conjecture: For every nonempty subset $A$ of vertices in a planar graph $G$ and every nonnegative integer $r$, the number of distinct intersections between $A$ and a ball of radius $r$ in $G$ is $O(r^4 |A|)$. We also show that a polynomial bound holds more generally for every proper minor-closed class of graphs.
A generalization of Bondy's pancyclicity theorem
The bipartite independence number of a graph $G$, denoted as $\tildeα(G)$, is the minimal number $k$ such that there exist positive integers $a$ and $b$ with $a+b=k+1$ with the property that for any two sets $A,B\subseteq V(G)$ with $|A|=a$ and $|B|=b$, there is an edge between $A$ and $B$. McDiarmid and Yolov showed that if $δ(G)\geq\tilde α(G)$ then $G$ is Hamiltonian, extending the famous theorem of Dirac which states that if $δ(G)\geq |G|/2$ then $G$ is Hamiltonian. In 1973, Bondy showed that, unless $G$ is a complete bipartite graph, Dirac's Hamiltonicity condition also implies pancyclicity, i.e., existence of cycles of all the lengths from $3$ up to $n$. In this paper we show that $δ(G)\geq\tilde α(G)$ implies that $G$ is pancyclic or that $G=K_{\frac{n}{2},\frac{n}{2}}$, thus extending the result of McDiarmid and Yolov, and generalizing the classic theorem of Bondy.
Maximal Clique and Edge-Ranking Bounds of Biclique Cover Number
The biclique cover number $(\text{bc})$ of a graph $G$ denotes the minimum number of complete bipartite (biclique) subgraphs to cover all the edges of the graph. In this paper, we show that $\text{bc}(G) \geq \lceil \log_2(\text{mc}(G^c)) \rceil \geq \lceil \log_2(χ(G)) \rceil$ for an arbitrary graph $G$, where $χ(G)$ is the chromatic number of $G$ and $\text{mc}(G^c)$ is the number of maximal cliques of the complementary graph $G^c$, i.e., the number of maximal independent sets of $G$. We also show that $\lceil \log_2(\text{mc}(G^c)) \rceil$ could be a strictly tighter lower bound of the biclique cover number than other existing lower bounds. We can also provide a bound of $\text{bc}(G)$ with respect to the biclique partition number ($\text{bp}$) of $G$: $\text{bc}(G) \geq \lceil \log_2(\text{bp}(G) + 1) \rceil$ or $\text{bp}(G) \leq 2^{\text{bc}(G)} - 1$ if $G$ is co-chordal. Furthermore, we show that $\text{bc}(G) \leq χ_r'(T_{{K}^c})$, where $G$ is a co-chordal graph such that each vertex is in at most two maximal independent sets and $χ_r'({T}_{{K}^c})$ is the optimal edge-ranking number of a clique tree of $G^c$.
A proof using Böhme's Lemma that no Petersen family graph has a flat embedding
Published
• View Publication
• BIB
Sachs and Conway-Gordon used linking number and a beautiful counting argument to prove that every graph in the Petersen family is intrinsically linked (have a pair of disjoint cycles that form a nonsplit link in every spatial embedding) and thus each family member has no flat spatial embedding (an embedding for which every cycle bounds a disk with interior disjoint from the graph). We give an alternate proof that every Petersen family graph has no flat embedding by applying Böhme's Lemma and the Jordan-Brouwer Separation Theorem.
Vizing's edge-recoloring conjecture holds
Published
• View Publication
• BIB
In 1964 Vizing proved that starting from any k-edge-coloring of a graph G one can reach, using only Kempe swaps, a ($Δ$ + 1)-edge-coloring of G where $Δ$ is the maximum degree of G. One year later he conjectured that one can also reach a $Δ$-edge-coloring of G if there exists one. Bonamy et. al proved that the conjecture is true for the case of triangle-free graphs. In this paper we prove the conjecture for all graphs.
Spectral extrema of graphs: Forbidden star-path forests
Published
• View Publication
• BIB
A path of order $n$ is denoted by $P_n$, and a star of order $n$ is denoted by $S_{n-1}$. A star-path forest is a forest whose connected components are paths and stars. In this paper we determine the maximum spectral radius of graphs that contain no copy of $kS_{\ell-1}\cup P_{\ell}$, $k_1S_{2\ell -1}\cup k_2P_{2\ell}$ or $kS_{4}\cup 2P_{5}$ for $n$ appropriately large.
Bounds on Functionality and Symmetric Difference -- Two Intriguing Graph Parameters
Functionality ($\mathrm{fun}$) is a graph parameter that generalizes graph degeneracy defined by Alecu et al. [JCTB, 2021]. They research the relation of functionality to many other graphs parameters (tree-width, clique-width, VC-dimension, etc.). Extending their research, we completely characterize the functionality of random graph $G(n,p)$ for all possible $p$. We provide matching (up to a constant factor) lower and upper bound for a large range of $p$. It follows from our bounds for $G(n,p)$, that the maximum functionality (roughly $\sqrt{n}$) is achieved for $p \approx 1/\sqrt{n}$. We complement this by showing that every graph $G$ on $n$ vertices have $\mathrm{fun}(G) \le O(\sqrt{ n \ln n})$ and we give a nearly matching $Ω(\sqrt{n})$-lower bound provided by incident graphs of projective planes. Previously known lower bounds for functionality were only logarithmic in the number of vertices.
Further, we study a related graph parameter symmetric difference ($\mathrm{sd}$), the minimum of $|N(u) ~Δ~ N(v)|$ over all pairs of vertices of the ``worst possible'' induced subgraph. It was observed by Alecu et al. that $\mathrm{fun}(G) \le \mathrm{sd}(G)+1$ for every graph $G$. They asked whether the functionality of interval graphs is bounded. Recently, Dallard et al. [RiM, 2024] answered this positively and they constructed an interval graph $G$ with $\mathrm{sd}(G) = Θ(\sqrt[4]{n})$ (even though they did not mention the explicit bound), i.e., they separate the functionality and symmetric difference of interval graphs. We show that $\mathrm{sd}$ of interval graphs is at most $O(\sqrt[3]{n})$ and we provide a different example of an interval graph $G$ with $\mathrm{sd}(G) = Θ(\sqrt[4]{n})$. Further, we show that $\mathrm{sd}$ of circular arc graphs is $Θ(\sqrt{n})$.
On Computing Large Temporal (Unilateral) Connected Components
Published
• View Publication
• BIB
A temporal (directed) graph is a graph whose edges are available only at specific times during its lifetime, $τ$. Paths are sequences of adjacent edges whose appearing times are either strictly increasing or non-strictly increasingly (i.e., non-decreasing) depending on the scenario. Then, the classical concept of connected components and also of unilateral connected components in static graphs and digraphs naturally extends to the temporal setting.
In this paper, we answer to the following fundamental questions in temporal graphs. (i) What is the complexity of deciding the existence of a component of size $k$, parameterized by $τ$, by $k$, and by $k+τ$? We show that this question has a different answer depending on the considered definition of component and whether the temporal graph is directed or undirected. (ii) What is the minimum running time required to check whether a subset of vertices are pairwise reachable? A quadratic algorithm is known but, contrary to the static case, we show that a better running time is unlikely unless SETH fails. (iii) Is it possible to verify whether a subset of vertices is a component in polynomial time? We show that depending on the definition of temporal component this test is NP-complete.
On tree decompositions whose trees are minors
Published
• View Publication
• BIB
In 2019, Dvořák asked whether every connected graph $G$ has a tree decomposition $(T, \mathcal{B})$ so that $T$ is a subgraph of $G$ and the width of $(T, \mathcal{B})$ is bounded by a function of the treewidth of $G$. We prove that this is false, even when $G$ has treewidth $2$ and $T$ is allowed to be a minor of $G$.
Weight systems and invariants of graphs and embedded graphs
We describe recent achievements in the theory of weight systems, which are functions on chord diagrams satisfying so-called $4$-term relations. Our main attention is devoted to constructions of weight systems. The two main sources of these constructions that are discussed in the paper are invariants of intersection graphs of chord diagrams that satisfy $4$-term relations for graphs and metrized Lie algebras.
For the simplest nontrivial metrized Lie algebra $\mathfrak {sl}(2)$, we present recent results about the explicit form of generating functions for the values of the corresponding weight system on important families of chord diagrams. We also explain another recent result: construction of recurrence relations for computing the values of the $\mathfrak{gl}(N)$-weight system. These relations are based on M. Kazarian's extension of the $\mathfrak{gl}(N)$-weight system to arbitrary permutations.
Certain recent papers suggest an approach to extending weight systems and graph invariants to arbitrary embedded graphs, which is based on the study of the corresponding Hopf algebra structures; we describe this approach. Weight systems defined on arbitrary embedded graphs correspond to finite type invariants of links (multicomponent knots).
Minimal H-factors and covers
Published in J. Appl. Probab. 62 (2025) 136-152
• View Publication
• BIB
Given a fixed small graph H and a larger graph G, an H-factor is a collection of vertex-disjoint subgraphs $H'\subset G$, each isomorphic to H, that cover the vertices of G.
If G is the complete graph $K_n$ equipped with independent U(0,1) edge weights, what is the lowest total weight of an H-factor? This problem has previously been considered for e.g.\ $H=K_2$.
We show that if H contains a cycle, then the minimum weight is sharply concentrated around some $L_n = Θ(n^{1-1/d^*})$ (where $d^*$ is the maximum 1-density of any subgraph of H). Some of our results also hold for H-covers, where the copies of H are not required to be vertex-disjoint.
Equiangular lines and large multiplicity of fixed second eigenvalue
Answering a question of Jiang and Polyanskii as well as Jiang, Tidor, Yao, Zhang, and Zhao, we show the existence of infinitely many angles $θ$ for which the maximum number of lines in $\mathbb R^n$ meeting at the origin with pairwise angles $θ$ exceeds $n+Ω(\log\log n)$ but is at most $n+o(n)$. To accomplish this, we construct, for various real $λ$ and integer $d$, $d$-regular graphs with second eigenvalue exactly $λ$ and arbitrarily large second eigenvalue multiplicity. Central to our construction is a distribution on factors of bipartite graphs which possesses concentration properties.
Harmonic-Arithmetic Index of (Molecular) Trees
Let $G$ be a graph. Denote by $d_x$, $E(G)$, and $D(G)$ the degree of a vertex $x$ in $G$, the set of edges of $G$, and the degree set of $G$, respectively. This paper proposes to investigate (both from mathematical and applications points of view) those graph invariants of the form $\sum_{uv\in E(G)}\varphi(d_v,d_w)$ in which $\varphi$ can be defined either using well-known means of $d_v$ and $d_w$ (for example: arithmetic, geometric, harmonic, quadratic, and cubic means) or by applying a basic arithmetic operation (addition, subtraction, multiplication, and division) on any of two such means, provided that $\varphi$ is a non-negative and symmetric function defined on the Cartesian square of $D(G)$. Many existing well-known graph invariants can be defined in this way; however, there are many exceptions too. One of such uninvestigated graph invariants is the harmonic-arithmetic (HA) index, which is obtained from the aforementioned setting by taking $\varphi$ as the ratio of the harmonic and arithmetic means of $d_v$ and $d_w$. A molecular tree is a tree whose maximum degree does not exceed four. Given the class of all (molecular) trees with a fixed order, graphs that have the largest or least value of the HA index are completely characterized in this paper.