graph
34828 papers tagged with this keyword
Lambda number of the power graph of a finite group
Published
• View Publication
• BIB
The power graph $Γ_G$ of a finite group $G$ is the graph with the vertex set $G$, where two distinct elements are adjacent if one is a power of the other. An $L(2, 1)$-labeling of a graph $Γ$ is an assignment of labels from nonnegative integers to all vertices of $Γ$ such that vertices at distance two get different labels and adjacent vertices get labels that are at least $2$ apart. The lambda number of $Γ$, denoted by $λ(Γ)$, is the minimum span over all $L(2, 1)$-labelings of $Γ$. In this paper, we obtain bounds for $λ(Γ_G)$, and give necessary and sufficient conditions when the bounds are attained. As applications, we compute the exact value of $λ(Γ_G)$ if $G$ is a dihedral group, a generalized quaternion group, a $\mathcal{P}$-group or a cyclic group of order $pq^n$, where $p$ and $q$ are distinct primes and $n$ is a positive integer.
Topological Graph Persistence
Published
• View Publication
• BIB
Graphs are a basic tool for the representation of modern data. The richness of the topological information contained in a graph goes far beyond its mere interpretation as a one-dimensional simplicial complex. We show how topological constructions can be used to gain information otherwise concealed by the low-dimensional nature of graphs. We do that by extending previous work of other researchers in homological persistence, by proposing novel graph-theoretical constructions. Beyond cliques, we use independent sets, neighborhoods, enclaveless sets and a Ramsey-inspired extended persistence.
Dual Ramsey theorems for relational structures
In this paper we provide explicit dual Ramsey statements for several classes of finite relational structures (such as finite linearly ordered graphs, finite linearly ordered metric spaces and finite posets with a linear extension) and conclude the paper with an explicit dual of the Nešetřil-Rödl Theorem for relational structures. Instead of embeddings which are crucial for "direct" Ramsey results, for each class of structures under consideration we propose a special class of surjective maps and prove a dual Ramsey theorem in such a setting. In contrast to on-going Ramsey classification projects where the research is focused on fine-tuning the objects, in this paper we advocate the idea that fine-tuning the morphisms is the key to proving dual Ramsey results. Since the setting we are interested in involves both structures and morphisms, all our results are spelled out using the reinterpretation of the (dual) Ramsey property in the language of category theory.
The diameter of KPKVB random graphs
Published in Adv. Appl. Probab. 51 (2019) 358-377
• View Publication
• BIB
We consider a model for complex networks that was recently proposed as a model for complex networks by Krioukov et al. In this model, nodes are chosen randomly inside a disk in the hyperbolic plane and two nodes are connected if they are at most a certain hyperbolic distance from each other. It has been previously shown that this model has various properties associated with complex networks, including a power-law degree distribution and a strictly positive clustering coefficient. The model is specified using three parameters : the number of nodes $N$, which we think of as going to infinity, and $α, ν> 0$ which we think of as constant. Roughly speaking $α$ controls the power law exponent of the degree sequence and $ν$ the average degree.
Earlier work of Kiwi and Mitsche has shown that when $α< 1$ (which corresponds to the exponent of the power law degree sequence being $< 3$) then the diameter of the largest component is a.a.s.~polylogarithmic in $N$. Friedrich and Krohmer have shown it is a.a.s.~$Ω(\log N)$ and they improved the exponent of the polynomial in $\log N$ in the upper bound. Here we show the maximum diameter over all components is a.a.s.~$O(\log N)$ thus giving a bound that is tight up to a multiplicative constant.
New bounds on the Ramsey number $r(I_m, L_n)$
We investigate the Ramsey numbers $r(I_m, L_n)$ which is the minimal natural number $k$ such that every oriented graph on $k$ vertices contains either an independent set of size $m$ or a transitive tournament on $n$ vertices. Apart from the finitary combinatorial interest, these Ramsey numbers are of interest to set theorists since it is known that $r(ωm, n) = ωr(I_m, L_n)$, where $ω$ is the lowest transfinite ordinal number, and $r(κm, n) = κr(I_m, L_n)$ for all initial ordinals $κ$. Continuing the research by Bermond from 1974 who did show $r(I_3, L_3) = 9$, we prove $r(I_4, L_3) = 15$ and $r(I_5, L_3) = 23$. The upper bounds for both the estimates above are obtained by improving the upper bound of $m^2$ on $r(I_m, L_3)$ due to Larson and Mitchell (1997) to $m^2 - m + 3$. Additionally, we provide asymptotic upper bounds on $r(I_m, L_n)$ for all $n \geq 3$. In particular, we show that $r(I_m, L_3) \in Θ(m^2 / \log m)$.
The critical group of the Kneser graph on $2$-subsets of an $n$-element set
Published in Linear Algebra and its Applications (2018) Volume 546, Pages 154-168
• View Publication
• BIB
In this paper we compute the critical group of the Kneser graph $KG(n,2)$. This is equivalent to computing the Smith normal form of a Laplacian matrix of this graph.
Maximal Bootstrap Percolation Time on the Hypercube via Generalised Snake-in-the-Box
Published in 2018, Electronic Journal of Combinatorics, 25 Paper 3.10
• View Publication
• BIB
In $r$-neighbour bootstrap percolation, vertices (sites) of a graph $G$ are infected, round-by-round, if they have $r$ neighbours already infected. Once infected, they remain infected. An initial set of infected sites is said to percolate if every site is eventually infected. We determine the maximal percolation time for $r$-neighbour bootstrap percolation on the hypercube for all $r \geq 3$ as the dimension $d$ goes to infinity up to a logarithmic factor. Surprisingly, it turns out to be $\frac{2^d}{d}$, which is in great contrast with the value for $r=2$, which is quadratic in $d$, as established by Przykucki. Furthermore, we discover a link between this problem and a generalisation of the well-known Snake-in-the-Box problem.
Independent Feedback Vertex Sets for Graphs of Bounded Diameter
Published
• View Publication
• BIB
The Near-Bipartiteness problem is that of deciding whether or not the vertices of a graph can be partitioned into sets $A$ and $B$, where $A$ is an independent set and $B$ induces a forest. The set $A$ in such a partition is said to be an independent feedback vertex set. Yang and Yuan proved that Near-Bipartiteness is polynomial-time solvable for graphs of diameter 2 and NP-complete for graphs of diameter 4. We show that Near-Bipartiteness is NP-complete for graphs of diameter 3, resolving their open problem. We also generalise their result for diameter 2 by proving that even the problem of computing a minimum independent feedback vertex is polynomial-time solvable for graphs of diameter 2.
Bipartite spanning sub(di)graphs induced by 2-partitions
Published
• View Publication
• BIB
For a given $2$-partition $(V_1,V_2)$ of the vertices of a (di)graph $G$, we study properties of the spanning bipartite subdigraph $B_G(V_1,V_2)$ of $G$ induced by those arcs/edges that have one end in each $V_i$. We determine, for all pairs of non-negative integers $k_1,k_2$, the complexity of deciding whether $G$ has a 2-partition $(V_1,V_2)$ such that each vertex in $V_i$ has at least $k_i$ (out-)neighbours in $V_{3-i}$. We prove that it is ${\cal NP}$-complete to decide whether a digraph $D$ has a 2-partition $(V_1,V_2)$ such that each vertex in $V_1$ has an out-neighbour in $V_2$ and each vertex in $V_2$ has an in-neighbour in $V_1$. The problem becomes polynomially solvable if we require $D$ to be strongly connected. We give a characterisation, based on the so-called strong component digraph of a non-strong digraph of the structure of ${\cal NP}$-complete instances in terms of their strong component digraph. When we want higher in-degree or out-degree to/from the other set the problem becomes ${\cal NP}$-complete even for strong digraphs. A further result is that it is ${\cal NP}$-complete to decide whether a given digraph $D$ has a $2$-partition $(V_1,V_2)$ such that $B_D(V_1,V_2)$ is strongly connected. This holds even if we require the input to be a highly connected eulerian digraph.
Independent Feedback Vertex Set for $P_5$-free Graphs
Published
• View Publication
• BIB
The NP-complete problem Feedback Vertex Set is that of deciding whether or not it is possible, for a given integer $k\geq 0$, to delete at most $k$ vertices from a given graph so that what remains is a forest. The variant in which the deleted vertices must form an independent set is called Independent Feedback Vertex Set and is also NP-complete. In fact, even deciding if an independent feedback vertex set exists is NP-complete and this problem is closely related to the $3$-Colouring problem, or equivalently, to the problem of deciding whether or not a graph has an independent odd cycle transversal, that is, an independent set of vertices whose deletion makes the graph bipartite. We initiate a systematic study of the complexity of Independent Feedback Vertex Set for $H$-free graphs. We prove that it is NP-complete if $H$ contains a claw or cycle. Tamura, Ito and Zhou proved that it is polynomial-time solvable for $P_4$-free graphs. We show that it remains polynomial-time solvable for $P_5$-free graphs. We prove analogous results for the Independent Odd Cycle Transversal problem, which asks whether or not a graph has an independent odd cycle transversal of size at most $k$ for a given integer $k\geq 0$. Finally, in line with our underlying research aim, we compare the complexity of Independent Feedback Vertex Set for $H$-free graphs with the complexity of $3$-Colouring, Independent Odd Cycle Transversal and other related problems.
Tetravalent Vertex- and Edge-Transitive Graphs Over Doubled Cycles
Published
• View Publication
• BIB
In order to complete (and generalize) results of Gardiner and Praeger on 4-valent symmetric graphs (European J. Combin, 15 (1994)) we apply the method of lifting automorphisms in the context of elementary-abelian covering projections. In particular, the vertex- and edge-transitive graphs whose quotient by a normal $p$-elementary abelian group of automorphisms, for $p$ an odd prime, is a cycle, are described in terms of cyclic and negacyclic codes. Specifically, the symmetry properties of such graphs are derived from certain properties of the generating polynomials of cyclic and negacyclic codes, that is, from divisors of $x^n \pm 1 \in {\mathbb Z}_p[x]$. As an application, a short and unified description of resolved and unresolved cases of Gardiner and Praeger are given.
The distance Laplacian spectral radius of unicyclic graphs
For a connected graph $G$, the distance Laplacian spectral radius of $G$ is the spectral radius of its distance Laplacian matrix $\mathcal{L}(G)$ defined as $\mathcal{L}(G)=Tr(G)-D(G)$, where $Tr(G)$ is a diagonal matrix of vertex transmissions of $G$ and $D(G)$ is the distance matrix of $G$. In this paper, we determine the unique graphs with maximum distance Laplacian spectral radius among unicyclic graphs.
Coloring ($P_5$, bull)-free graphs
We give a polynomial-time algorithm that computes the chromatic number of any graph that contains no path on five vertices and no bull as an induced subgraph (where the bull is the graph with five vertices $a,b,c,d,e$ and edges $ab,bc,cd,be,ce$).
Multi-critical behaviour of 4-dimensional tensor models up to order 6
Published in Nucl. Phys. B 941 (2019) 600-635
• View Publication
• BIB
Tensor models generalize the matrix-model approach to 2-dimensional quantum gravity to higher dimensions. Some models allowing a $1/N$ expansion have been explored, most of them generating branched-polymer geometries. Recently, enhancements yielding an additional 2d quantum-gravity (planar) phase and an intermediate regime of proliferating baby-universes have been found. It remains an open issue to find models escaping these lower dimensionality universality classes.
Here we analyse the dominant regime and critical behaviour of a range of new models which are candidates for such effective geometries, in particular interactions based on the utility graph $K_{3,3}$. We find that, upon proper enhancement, the two-phase structure of a branched-polymer and a 2d gravity regime is the common case in $U(N)$-invariant rank $D=4$ tensor models of small orders. Not only the well known so-called necklace interactions but also $K_{3,3}$-type interactions turn out as the source for the planar regime. We give a systematic account of the enhancement scaling, the counting of leading-order diagrams and the multi-critical behaviour of a wide range of interactions, in particular for all order-6 interactions of rank 3 and 4. These findings support the claim of universality of such mixtures of branched-polymer and planar diagrams at criticality. In particular, this hints at the necessity to consider new ingredients, or interactions of higher order and rank, in order to obtain higher dimensional continuum geometry from tensor models.
On the unbalanced cut problem and the generalized Sherrington-Kirkpatrick model
Published
• View Publication
• BIB
We establish a strict asymptotic inequality between a class of graph partition problems on the sparse End\H{o]s-Rényi and random regular graph ensembles with the same average degree. Along the way, we establish a variational representation for the ground state energy for generalized mixed $p$-spin glasses and derive strict comparison inequalities for such models as the alphabet changes.
Star 5-edge-colorings of subcubic multigraphs
Published in Discrete Mathematics, 341 (2018) 950--956
• View Publication
• BIB
The star chromatic index of a multigraph $G$, denoted $χ'_{s}(G)$, is the minimum number of colors needed to properly color the edges of $G$ such that no path or cycle of length four is bi-colored. A multigraph $G$ is star $k$-edge-colorable if $χ'_{s}(G)\le k$. Dvořák, Mohar and Šámal [Star chromatic index, J Graph Theory 72 (2013), 313--326] proved that every subcubic multigraph is star $7$-edge-colorable, and conjectured that every subcubic multigraph should be star $6$-edge-colorable. Kerdjoudj, Kostochka and Raspaud considered the list version of this problem for simple graphs and proved that every subcubic graph with maximum average degree less than $7/3$ is star list-$5$-edge-colorable. It is known that a graph with maximum average degree $14/5$ is not necessarily star $5$-edge-colorable. In this paper, we prove that every subcubic multigraph with maximum average degree less than $12/5$ is star $5$-edge-colorable.
On the packing numbers in graphs
Published in Australasian Journal of Combinatorics, 71 (3) (2018), 468-475
• Search Publication
In this paper, we find upper bounds on the open packing and $k$-limited packing numbers with emphasis on the cases $k=1$ and $k=2$. We solve the problem of characterizing all connected graphs on $n$ vertices with $ρ_{o}(G)=n/δ(G)$ which was presented in 2015 by Hamid and Saravanakumar. Also, by establishing a relation between the $k$-limited packing number and double domination number we improve two upper bounds given by Chellali and Haynes in 2005.
The application of representation theory in directed strongly regular graphs
Published
• View Publication
• BIB
The concept of directed strongly regular graphs (DSRG) was introduced by Duval in 1988 \cite{A}.In the present paper,we use representation theory of finite groups in order to investigate the directed strongly regular Cayley graphs.We first show that a Cayley graph $\mathcal{C}(G,S)$ is not a directed strongly regular graph if $S$ is a union of some conjugate classes of $G$.This generalizes an earlier result of Leif K.Jørgensen \cite{J1} on abelian groups.Secondly,by using induced representations,we have a look at the Cayley graph $\mathcal{C}(N\rtimes_θH, N_1\times H_1)$ with $N_1\subseteq N$ and $H_1\subseteq H$,determining its characteristic polynomial and its minimal polynomial.Based on this result,we generalize the semidirect product method of Art M. Duval and Dmitri Iourinski in \cite{D} and obtain a larger family of directed strongly regular graphs.Finally,we construct some directed strongly regular Cayley graphs on dihedral groups,which partially generalize the earlier results of Mikhail Klin,Akihiro Munemasa,Mikhail Muzychuk,and Paul Hermann Zieschang in \cite{K1}.By using character theory,we also give the characterization of directed strongly regular Cayley graphs $\mathcal{C}(D_n,X\cup Xa)$ with $X\cap X^{(-1)}=\emptyset$.
On the Falk invariant of hyperplane arrangements attached to gain graphs
The fundamental group of the complement of a hyperplane arrangement in a complex vector space is an important topological invariant. The third rank of successive quotients in the lower central series of the fundamental group was called Falk invariant of the arrangement since Falk gave the first formula and asked to give a combinatorial interpretation. In this article, we give a combinatorial formula for the Falk invariant of hyperplane arrangements attached to certain gain graphs.
Spanning universality in random graphs
Published
• View Publication
• BIB
A graph is said to be $\mathcal{H}(n, Δ)$-universal if it contains every graph on $n$ vertices with maximum degree at most $Δ$. Using a `matching-based' embedding technique introduced by Alon and Füredi, Dellamonica, Kohayakawa, Rödl and Ruciński showed that the random graph $G_{n,p}$ is asymptotically almost surely $\mathcal{H}(n, Δ)$-universal for $p = \tilde Ω(n^{-1/Δ})$ - a threshold for the property that every subset of $Δ$ vertices has a common neighbour. This bound has become a benchmark in the field and many subsequent results on embedding spanning structures of maximum degree $Δ$ in random graphs are proven only up to this threshold. We take a step towards overcoming limitations of former techniques by showing that $G_{n,p}$ is almost surely $\mathcal{H}(n, Δ)$-universal for $p = \tilde Ω(n^{- 1/(Δ-1/2)})$.