graph
34516 papers tagged with this keyword
Convex minorant trees associated with Brownian paths and the continuum limit of the minimum spanning tree
We give an explicit construction of the scaling limit of the minimum spanning tree of the complete graph. The limit object is described using a recursive construction involving the convex minorants of a Brownian motion with parabolic drift (and countably many i.i.d. uniform random variables); we call it the Brownian parabolic tree.
Aside from the new representation, this point of view has multiple consequences. For instance, it permits us to prove that its Hausdorff dimension is almost surely 3. It also intrinsically contains information related to some underlying dynamics: one notable by-product is the construction of a standard metric multiplicative coalescent which couples the scaling limits of random graphs at different points of the critical window in terms of the same simple building blocks.
The above results actually fit in a more general framework. They result from the introduction of a new family of continuum random trees associated with functions via their convex minorants, that we call convex minorant trees. We initiate the study of these structures in the case of Brownian-like paths. In passing, we prove that the convex minorant tree of a Brownian excursion is a Brownian continuum ranndom tree, and that it provides a coupling between the Aldous--Pitman fragmentation of the Brownian continuum random tree and its representation by Bertoin.
Homotopy type of the independence complex of some categorical products of graphs
Published
• View Publication
• BIB
It was conjectured by Goyal, Shukla and Singh that the independence complex of the categorical product $K_2\times K_3\times K_n$ has the homotopy type of a wedge of $(n-1)(3n-2)$ spheres of dimension $3$. Here we prove this conjecture by calculating the homotopy type of the independence complex of the graphs $C_{3r}\times K_n$ and $K_2\times K_m\times K_n$. For $C_m \times K_n$ when $m$ is not a multiple of $3$, we calculate the homotopy type for $m = 4, 5$ and show that for other values it has to have the homotopy type of a wedge of spheres of at most $2$ consecutive dimensions and maybe some Moore spaces.
Coloring_of_some_crown-free_graphs
Let $G$ and $H$ be two vertex disjoint graphs. The {\em union} $G\cup H$ is the graph with $V(G\cup H)=V(G)\cup (H)$ and $E(G\cup H)=E(G)\cup E(H)$. The {\em join} $G+H$ is the graph with $V(G+H)=V(G)+V(H)$ and $E(G+H)=E(G)\cup E(H)\cup\{xy\;|\; x\in V(G), y\in V(H)$$\}$. We use $P_k$ to denote a {\em path} on $k$ vertices, use {\em fork} to denote the graph obtained from $K_{1,3}$ by subdividing an edge once, and use {\em crown} to denote the graph $K_1+K_{1,3}$. In this paper, we show that (\romannumeral 1) $χ(G)\le\frac{3}{2}(ω^2(G)-ω(G))$ if $G$ is (crown, $P_5$)-free, (\romannumeral 2) $χ(G)\le\frac{1}{2}(ω^2(G)+ω(G))$ if $G$ is (crown, fork)-free, and (\romannumeral 3) $χ(G)\le\frac{1}{2}ω^2(G)+\frac{3}{2}ω(G)+1$ if $G$ is (crown, $P_3\cup P_2$)-free.
Extremal problems for a matching and any other graph
For a family of graphs $\F$, a graph is called $\F$-free if it does not contain any member of $\F$ as a subgraph. The generalized Turán number $\ex(n,K_r,\F)$ is the maximum number of $K_r$ in an $n$-vertex $\F$-free graph and $\ex(n,K_2,\F)=\ex(n,\F)$, i.e., the classical Turán number. Let $M_{s+1}$ be a matching on $s+1$ edges and $F$ be any graph. In this paper, we determine $\ex(n,K_r, \{M_{s+1},F\})$ apart from a constant additive term and also give a condition when the error constant term can be determined. In particular, we give the exact value of $\ex(n,\{M_{s+1},F\})$ for $F$ being any non-bipartite graph or some bipartite graphs. Furthermore, we determine $\ex(n,K_r,\{M_{s+1},F\})$ when $F$ is color critical with $χ(F)\ge \max\{r+1,4\}$.
These extend the results in [2,11,18].
Size-Ramsey numbers of structurally sparse graphs
Size-Ramsey numbers are a central notion in combinatorics and have been widely studied since their introduction by Erdős, Faudree, Rousseau and Schelp in 1978. Research has mainly focused on the size-Ramsey numbers of $n$-vertex graphs with constant maximum degree $Δ$. For example, graphs which also have constant treewidth are known to have linear size-Ramsey numbers. On the other extreme, the canonical examples of graphs of unbounded treewidth are the grid graphs, for which the best known bound has only very recently been improved from $O(n^{3/2})$ to $O(n^{5/4})$ by Conlon, Nenadov and Trujić. In this paper, we prove a common generalization of these results by establishing new bounds on the size-Ramsey numbers in terms of treewidth (which may grow as a function of $n$). As a special case, this yields a bound of $\tilde{O}(n^{3/2 - 1/2Δ})$ for proper minor-closed classes of graphs. In particular, this bound applies to planar graphs, addressing a question of Kamcev, Liebenau, Wood and Yepremyan.
Our proof combines methods from structural graph theory and classic Ramsey-theoretic embedding techniques, taking advantage of the product structure exhibited by graphs with bounded treewidth.
Generating Graphs of Finite Dihedral Groups
Published in Results in Mathematics, 2023
• View Publication
• BIB
For a group $G$, the generating graph $Γ(G)$ is defined as the graph with the vertex set $G$, and any two distinct vertices of $Γ(G)$ are adjacent if they generate $G$. In this paper, we study the generating graph of $D_n,$ where $D_n$ is a Dihedral group of order $2n$. We explore various graph theoretic properties, and determine complete spectrum of the adjacency and the Laplacian matrix of $Γ(D_n)$. Moreover, we compute some distance and degree based topological indices of $Γ(D_n)$.
Graphs with isolation number equal to one third of the order
Published in Discrete Mat. 347 (2024) 113903
• View Publication
• BIB
A set $D$ of vertices of a graph $G$ is isolating if the set of vertices not in $D$ or with no neighbor in $D$ is independent. The isolation number of $G$, denoted by $ι(G)$, is the minimum cardinality of an isolating set of $G$. It is known that $ι(G)\le n/3$, if $G$ is a connected graph of order $n$, $n\ge 3$, distinct from $C_5$. The main result of this work is the characterisation of unicyclic and block graphs of order $n$ with isolating number equal to $n/3$. Moreover, we provide a family of general graphs attaining this upper bound on the isolation number.
Competition graphs of degree bounded digraphs
If each vertex of an acyclic digraph has indegree at most $i$ and outdegree at most $j$, then it is called an $(i,j)$ digraph, which was introduced by Hefner~{\it et al.}~(1991). Whereas Hefner~{\it et al.} characterized $(i,j)$ digraphs whose competition graphs are interval, characterizing the competition graphs of $(i,j)$ digraphs is not an easy task. In this paper, we introduce the concept of $\langle i,j \rangle$ digraphs, which relax the acyclicity condition of $(i,j)$ digraphs, and study their competition graphs. By doing so, we obtain quite meaningful results. Firstly, we give a necessary and sufficient condition for a loopless graph being an $\langle i,j \rangle$ competition graph for some positive integers $i$ and $j$. Then we study on an $\langle i,j \rangle$ competition graph being chordal and present a forbidden subdigraph characterization. Finally, we study the family of $\langle i,j \rangle$ competition graphs, denoted by $\mathcal{G}_{\langle i,j \rangle}$, and identify the set containment relation on $\{\mathcal{G}_{\langle i,j \rangle}\colon\, i,j \ge 1\}$.
On commutative association schemes and associated (directed) graphs
Let ${\cal M}$ denote the Bose--Mesner algebra of a commutative $d$-class association scheme ${\mathfrak X}$ (not necessarily symmetric), and $Γ$ denote a (strongly) connected (directed) graph with adjacency matrix $A$. Under the assumption that $A$ belongs to ${\cal M}$, we describe the combinatorial structure of $Γ$. Moreover, we provide an algebraic-combinatorial characterization of $Γ$ when $A$ generates ${\cal M}$.
Among else, we show that, if ${\mathfrak X}$ is a commutative $3$-class association scheme that is not an amorphic symmetric scheme, then we can always find a (directed) graph $Γ$ such that the adjacency matrix $A$ of $Γ$ generates the Bose--Mesner algebra ${\cal M}$ of ${\mathfrak X}$.
Generalized Heawood Graphs and Triangulations of Tori
The Heawood graph is a remarkable graph that played a fundamental role in the development of the theory of graph colorings on surfaces in the 19th and 20th centuries.
Based on permutahedral tilings, we introduce a generalization of the classical Heawood graph indexed by a sequence of positive integers.
We show that the resulting generalized Heawood graphs are toroidal graphs, which are dual to higher dimensional triangulated tori. We also present explicit combinatorial formulas for their $f$-vectors and study their automorphism groups.
Mutual-visibility in distance-hereditary graphs: a linear-time algorithm
The concept of mutual-visibility in graphs has been recently introduced. If $X$ is a subset of vertices of a graph $G$, then vertices $u$ and $v$ are $X$-visible if there exists a shortest $u,v$-path $P$ such that $V(P)\cap X \subseteq \{u, v\}$. If every two vertices from $X$ are $X$-visible, then $X$ is a mutual-visibility set. The mutual-visibility number of $G$ is the cardinality of a largest mutual-visibility set of $G$. It is known that computing the mutual-visibility number of a graph is NP-complete, whereas it has been shown that there are exact formulas for special graph classes like paths, cycles, blocks, cographs, and grids. In this paper, we study the mutual-visibility in distance-hereditary graphs and show that the mutual-visibility number can be computed in linear time for this class.
Shortest Dominating Set Reconfiguration under Token Sliding
In this paper, we present novel algorithms that efficiently compute a shortest reconfiguration sequence between two given dominating sets in trees and interval graphs under the Token Sliding model. In this problem, a graph is provided along with its two dominating sets, which can be imagined as tokens placed on vertices. The objective is to find a shortest sequence of dominating sets that transforms one set into the other, with each set in the sequence resulting from sliding a single token in the previous set. While identifying any sequence has been well studied, our work presents the first polynomial algorithms for this optimization variant in the context of dominating sets.
Maximal colourings for graphs
We consider two different notions of graph colouring, namely, the $t$-periodic colouring for vertices that has been introduced in 1974 by Bondy and Simonovits, and the periodic colouring for oriented edges that has been recently introduced in the context of spectral theory of non-backtracking operators. For each of these two colourings, we introduce the corresponding colouring number which is given by maximising the possible number of colours. We first investigate these two new colouring numbers individually, and we then show that there is a deep relationship between them.
Small But Unwieldy: A Lower Bound on Adjacency Labels for Small Classes
Published in SIAM Journal on Computing, Vol. 53, No. 5, 1578-1601, 2024
• View Publication
• BIB
We show that for any natural number $s$, there is a constant $γ$ and a subgraph-closed class having, for any natural $n$, at most $γ^n$ graphs on $n$ vertices up to isomorphism, but no adjacency labeling scheme with labels of size at most $s \log n$. In other words, for every $s$, there is a small (even tiny) monotone class without universal graphs of size $n^s$. Prior to this result, it was not excluded that every small class has an almost linear universal graph, or equivalently a labeling scheme with labels of size $(1+o(1))\log n$. The existence of such a labeling scheme, a scaled-down version of the recently disproved Implicit Graph Conjecture, was repeatedly raised [Gavoille and Labourel, ESA '07; Dujmović et al., JACM '21; Bonamy et al., SIDMA '22; Bonnet et al., Comb. Theory '22]. Furthermore, our small monotone classes have unbounded twin-width, thus simultaneously disprove the already-refuted Small conjecture; but this time with a self-contained proof, not relying on elaborate group-theoretic constructions.
The clique graphs of the hexagonal lattice -- an explicit construction and a short proof of divergence
We present a new, explicit and very geometric construction for the iterated clique graphs of the hexagonal lattice $\mathrm{Hex}$ which makes apparent its clique-divergence and sheds light on some previous observations, such as the boundedness of the degrees and clique sizes of $k^n \mathrm{Hex}$ as $n\to\infty$.
On the minisymposium problem
The generalized Oberwolfach problem asks for a factorization of the complete graph $K_v$ into prescribed $2$-factors and at most a $1$-factor. When all $2$-factors are pairwise isomorphic and $v$ is odd, we have the classic Oberwolfach problem, which was originally stated as a seating problem: given $v$ attendees at a conference with $t$ circular tables such that the $i$th table seats $a_i$ people and ${\sum_{i=1}^t a_i = v}$, find a seating arrangement over the $\frac{v-1}{2}$ days of the conference, so that every person sits next to each other person exactly once.
In this paper we introduce the related {\em minisymposium problem}, which requires a solution to the generalized Oberwolfach problem on $v$ vertices that contains a subsystem on $m$ vertices. That is, the decomposition restricted to the required $m$ vertices is a solution to the generalized Oberwolfach problem on $m$ vertices. In the seating context above, the larger conference contains a minisymposium of $m$ participants, and we also require that pairs of these $m$ participants be seated next to each other for $\left\lfloor\frac{m-1}{2}\right\rfloor$ of the days.
When the cycles are as long as possible, i.e.\ $v$, $m$ and $v-m$, a flexible method of Hilton and Johnson provides a solution. We use this result to provide further solutions when $v \equiv m \equiv 2 \pmod 4$ and all cycle lengths are even. In addition, we provide extensive results in the case where all cycle lengths are equal to $k$, solving all cases when $m\mid v$, except possibly when $k$ is odd and $v$ is even.
Multipartite Ramsey numbers of complete bipartite graphs arising from algebraic combinatorial structures
In 2019, Perondi and Carmelo determined the set multipartite Ramsey number of particular complete bipartite graphs by establishing a relationship between the set multipartite Ramsey number, Hadamard matrices, and strongly regular graphs, which is a breakthrough in Ramsey theory. However, since Hadamard matrices of order not divisible by 4 do not exist, many open problems have arisen.
In this paper, we generalize Perondi and Carmelo's results by introducing the $[α]$-Hadamard matrix that we conjecture exists for arbitrary order. Finally, we determine set and size multipartite Ramsey numbers for particular complete bipartite graphs.
Neighbour-transitive codes in Kneser graphs
A code $C$ is a subset of the vertex set of a graph and $C$ is $s$-neighbour-transitive if its automorphism group ${\rm Aut}(C)$ acts transitively on each of the first $s+1$ parts $C_0,C_1,\ldots,C_s$ of the distance partition $\{C=C_0,C_1,\ldots,C_ρ\}$, where $ρ$ is the covering radius of $C$. While codes have traditionally been studied in the Hamming and Johnson graphs, we consider here codes in the Kneser graphs. Let $Ω$ be the underlying set on which the Kneser graph $K(n,k)$ is defined. Our first main result says that if $C$ is a $2$-neighbour-transitive code in $K(n,k)$ such that $C$ has minimum distance at least $5$, then $n=2k+1$ (i.e., $C$ is a code in an odd graph) and $C$ lies in a particular infinite family or is one particular sporadic example. We then prove several results when $C$ is a neighbour-transitive code in the Kneser graph $K(n,k)$. First, if ${\rm Aut}(C)$ acts intransitively on $Ω$ we characterise $C$ in terms of certain parameters. We then assume that ${\rm Aut}(C)$ acts transitively on $Ω$, first proving that if $C$ has minimum distance at least $3$ then either $K(n,k)$ is an odd graph or ${\rm Aut}(C)$ has a $2$-homogeneous (and hence primitive) action on $Ω$. We then assume that $C$ is a code in an odd graph and ${\rm Aut}(C)$ acts imprimitively on $Ω$ and characterise $C$ in terms of certain parameters. We give examples in each of these cases and pose several open problems.
On rings whose prime ideal sum graphs are line graphs
Let $R$ be a commutative ring with unity. The prime ideal sum graph of the ring $R$ is the simple undirected graph whose vertex set is the set of all nonzero proper ideals of $R$ and two distinct vertices $I$, $J$ are adjacent if and only if $I + J$ is a prime ideal of $R$. In this paper, we characterize all commutative Artinian rings whose prime ideal sum graphs are line graphs. Finally, we give a description of all commutative Artinian rings whose prime ideal sum graph is the complement of a line graph.
Generalized Pitman-Stanley polytope: vertices and faces
Published
• View Publication
• BIB
In 1999, Pitman and Stanley introduced the polytope bearing their name along with a study of its faces, lattice points, and volume. The Pitman-Stanley polytope is well-studied due to its connections to probability, parking functions, the generalized permutahedra, and flow polytopes. Its lattice points correspond to plane partitions of skew shape with entries 0 and 1. Pitman and Stanley remarked that their polytope can be generalized so that lattice points correspond to plane partitions of skew shape with entries $0,1, \ldots , m$. Since then, this generalization has been untouched. We study this generalization and show that it can also be realized as a flow polytope of a grid graph. We give multiple characterizations of its vertices in terms of plane partitions of skew shape and integer flows. For a fixed skew shape, we show that the number of vertices of this polytope is a polynomial in $m$ whose leading term, in certain cases, counts standard Young tableaux of a shifted shape. Moreover, we give formulas for the number of faces, as well as generating functions for the number of vertices.