graph
35150 papers tagged with this keyword
Community detection in network using Szegedy quantum walk
In a network, the vertices with similar characteristics construct communities. The vertices in a community are well-connected. Detecting the communities in a network is a challenging and important problem in the theory of complex networks. One approach to solving this problem uses the classical random walks on graphs. In quantum computing, quantum walks are the quantum mechanical counterparts of classical random walks. In this article, we employ a variant of Szegedy's quantum walk to develop a procedure for discovering the communities in networks. The limiting probability distribution of quantum walks assists us in determining the inclusion of a vertex in a community. We apply our community detection procedure to a variety of graphs and social networks, including the relaxed caveman graph, $l$-partition graph, Karate club graph, and the dolphin's social network, among others.
Classifying integer hypertilings
There are two objectives to this work: to classify all tame integer tilings and to classify all tame integer hypertilings. Motivation for the first objective comes from Conway and Coxeter's modelling of positive integer friezes using triangulated polygons, which has received significant attention since the discovery of cluster algebras by Fomin and Zelevinsky in 2002. Assem, Reutenauer, and Smith introduced $\text{SL}_2$-tilings as generalisations of friezes, and Bessenrodt, Holm, and Jørgensen classified positive integer $\text{SL}_2$-tilings using infinite triangulated polygons. Here we consider $N$-tilings, of which $\text{SL}_2$-tilings are the case $N=1$. We provide a geometric model for all tame integer $N$-tilings using a generalisation of the Farey graph in the hyperbolic plane. Highlights of this model include classifications of all positive integer $N$-tilings and of all quiddity sequences of positive rational friezes using triangulated polygons.
The second objective is motivated by Bhargava's celebrated study of binary quadratic forms using integer cubes and by an observation of Demonet et al.\ that there is essentially only one three-dimensional positive integer tiling with $\text{SL}_2$ cross sections. We consider a richer class of three-dimensional tilings, which we call hypertilings, using the Cayley hyperdeterminant. We classify all tame integer hypertilings using generalised Farey graphs; remarkably, those with Cayley hyperdeterminant 1 prove to have a simple description in terms of triple Hadamard products of integer pairs.
Seymour's Second Neighbourhood Conjecture for Oriented Graphs of Order at Most Seven and Split-Twin Extensions
For an oriented graph $D$, let $N_1^+(v)$ denote the out-neighborhood of a vertex $v$, and let $N_2^+(v)$ be the set of vertices reachable from $v$ by a directed path of length two that are neither out-neighbors of $v$ nor equal to $v$. The Second Neighborhood Conjecture of Seymour asserts that every oriented graph contains a vertex $v$ with $|N_2^+(v)| \ge |N_1^+(v)|$. Equivalently, if one defines the second neighborhood invariant \[ Δ(D)=\max_{v\in V(D)}\bigl(|N_2^+(v)|-|N_1^+(v)|\bigr), \] the conjecture asserts that $Δ(D)\ge 0$ for all oriented graphs.
We prove by exhaustive computation that $Δ(D)\ge 0$ for every oriented graph on at most seven vertices. We also introduce a local graph operation, called a split--twin extension, and prove that it preserves the inequality $Δ(D)\ge 0$. Consequently, $Δ(D)\ge 0$ holds for infinite inductively generated families of oriented graphs.
On minimal graphs for hamiltonian groups and their fixing set
A finite non-abelian group $H$ is hamiltonian if all of its subgroups are normal. We compute the minimal orders of graphs having a hamiltonian group as their automorphism group. The fixing number of a graph $Γ$ is the minimum cardinality of a subset $S$ of $V(Γ)$ such that the stabilizer of $S$ is trivial. For a given finite group $G$, the fixing set is defined as the set comprising all possible fixing numbers of graphs having group $G$ as their automorphism groups. We determine the fixing sets corresponding to finite hamiltonian groups.
On the minimum doubly resolving set problem in line graphs
Published
• View Publication
• BIB
Given a connected graph $G$ with at least three vertices, let $d_G(u,v)$ denote the distance between vertices $u,v\in V(G)$. A subset $S\subseteq V$ is called a doubly resolving set (DRS) of $G$ if for any two distinct vertices $u, v \in V(G)$, there exists a pair $\{x,y\}\subseteq S$ such that $d_G(u,x)-d_G(u,y)\neq d_G(v,x)-d_G(v,y)$. This paper studies the minimum cardinality of a DRS in the line graph of $G$, denoted by $Ψ(L(G))$. First, we prove that computing $Ψ(L(G))$ is NP-hard, even when $G$ is a bipartite graph. Second, we establish that $\lceil \log_2 (1+Δ(G))\rceil \le Ψ(L(G)) \le |V(G)| - 1$ holds for all $G$ with maximum degree $Δ(G)$, and show that both inequalities are tight. Finally, we determine the exact value of $Ψ(L(G))$ provided $G$ is a tree.
Metric Approximations of Consistent Path Systems
A path system $\mathscr{P}$ in a graph $G=(V,E)$ is a collection of paths, with exactly one path between any two vertices in $V$. A path system is said to be consistent if it is closed under subpaths. We say that a path system $\mathscr{P}$ is $α$-metric if there exists a metric $ρ$ on $V$ such that $\sum_{i=1}^{k}ρ(x_{i-1},x_{i}) \le αρ(x_0,x_k)$ for every path $(x_0,x_1,\dots,x_k)\in \mathscr{P}$. Also, we denote by $Δ(\mathscr{P})$ the infimum of $α$ for which $\mathscr{P}$ is $α$-metric. We construct here infinitely many $n$-point consistent path systems $\mathscr{P}_n$ with $Δ(\mathscr{P}_n) \ge n^{\frac{1}{2}-o(1)}$. We also show how to efficiently compute $Δ(\mathscr{P})$ for a given path system.
Monochromatic cycle partitions of $r$-edge-coloured graphs with high minimum degree
A question posed independently by Letzter and Pokrovskiy asks: how many vertex-disjoint monochromatic cycles are needed to cover the vertex set of an $r$-edge-coloured graph, as a function of its minimum (uncoloured) degree? We resolve this problem up to a $(\log r)$-factor. Specifically, we prove that, for any $r \geq 2$ and $δ\in (0,1/2)$, any $n$-vertex $r$-edge-coloured graph $G$ with $δ(G) \geq (1- δ)n$ can be covered with $\mathcal{O}(r \log r \cdot \lceil r/\log(1/δ)\rceil)$ vertex-disjoint monochromatic cycles. We construct graphs that show this is tight up to the $(\log r)$-factor for all values of $r$ and $δ$, and along the way disprove a conjecture of Bal and DeBiasio about monochromatic tree covering.
Symmetries of regular $q$-graphs
Given a finite vector space $V=\mathbb{F}_q^n$, the $q$-analogue of a graph, called a $q$-graph, is a pair $Γ=(\mathcal{V},\mathcal{E})$, where $\mathcal{V}$ is the set of $1$-dimensional subspaces of $V$ and $\mathcal{E}$ is a subset of the $2$-dimensional subspaces of $V$. Elements of $\mathcal{V}$ and $\mathcal{E}$ are called vertices and edges, respectively. If the edges through a vertex $X$ consist of all $2$-spaces of a $(k+1)$-dimensional space which contain $X$, regardless of the choice of vertex, then $Γ$ is $k$-regular. Moreover, $Γ$ is flag-transitive if there is a subgroup of $Γ{\rm L}_n(q)$ preserving $\mathcal{E}$ and acting transitively on the set of all incident vertex-edge pairs; and symmetric if there is a subgroup of $Γ{\rm L}_n(q)$ preserving $\mathcal{E}$ and acting transitively on the set of all ordered pairs of adjacent vertices.
This paper classifies all $k$-regular $q$-graphs that are either flag-transitive or symmetric. The $q$-graphs in the classification are constructed from familiar objects in finite geometry, including spreads, symplectic polar spaces, and generalised hexagons. The classification depends essentially on the classification of transitive linear groups, and thus ultimately on the classification of finite simple groups.
The Interplay Between Domination and Separation in Graphs
Published
• View Publication
• BIB
In the literature, several identification problems in graphs have been studied, of which, the most widely studied are the ones based on dominating sets as a tool of identification. Hereby, the objective is to separate any two vertices of a graph by their unique neighborhoods in a suitably chosen dominating or total-dominating set. Such a (total-)dominating set endowed with a separation property is often referred to as a code of the graph. In this paper, we study the four separation properties location, closed-separation, open-separation and full-separation. We address the complexity of finding minimum separating sets in a graph and study the interplay of these separation properties with several codes (establishing a particularly close relation between separation and codes based on domination) as well as the interplay of separation and complementation (showing that location and full-separation are the same on a graph and its complement, whereas closed-separation in a graph corresponds to open-separation in its complement).
An asymptotically tight upper bound for the domination number of the $2$-token graph of path graphs
In this note, we show that the domination number of the $2$-token graph of the path graph of order $n\geq 2$ is equal to $\frac{n^2}{10}+Θ(n)$.
On Patterns and Languages in 1-11-Representations of Graphs
A 1-11-representation of a graph $G(V,E)$ is a word over the alphabet $V$ such that two distinct vertices $x$ and $y$ are adjacent if and only if the restricted word $w{x,y}$ (obtained from $w$ by deleting all letters except $x$ and $y$) contains at most one occurrence of $xx$ or $yy$. Although every graph admits a 1-11-representation, the repetition patterns that may or must appear in such representations have not been fully studied.
In this paper, we study cube-free and square-free 1-11-representations of graphs. We first show that cubes cannot always be avoided in 1-11-representations of minimum length by providing a graph for which every minimum-length 1-11-representation necessarily contains a cube. We then focus on permutational 1-11-representations, where the representing word is a concatenation of permutations of the vertex set. In this setting, we prove that any cube appearing in a permutational 1-11-representation can be removed without changing the represented graph. As a consequence, every permutational 1-11-representation attaining the permutational 1-11-representation number is cube-free. We further show that this behaviour does not extend to squares by providing a graph for which every permutational 1-11-representation with the minimum number of permutations necessarily contains a square.
Finally, we prove that the language of all 1-11-representations of a given graph is regular. Moreover, we show that the language of all permutational 1-11-representations of a graph is also regular.
New Results on Difference Distance Magic Labelings
A graph labeling assigns values to the components of a graph (vertices, edges, etc.). In particular, distance magic labelings have been widely studied in undirected graphs. In such a labeling, the vertices are labeled with unique values from one up to the number of vertices so that the sum of labels on the neighbors of any vertex is the same across all vertices. For oriented graphs, a related concept of distance difference magic has been studied. In a distance difference magic labeling, each vertex is given a unique value from one up to the number of vertices such that for each vertex the sums of the labels of vertices in the in-neighborhood minus the sums of the labels of vertices in the out-neighborhood equals zero. In this paper, we expand on this concept by showing a connected difference distance magic oriented graph on $n$ vertices exists for each integer $n \geq 5$. We also construct arbitrarily large difference distance magic oriented graphs from smaller ones using a new graph sum and exhibit a connection between linear algebra and this type of labeling.
An equivalence between a conjecture of Neumann-Praeger on Kronecker classes and a conjecture on cliques of derangement graphs
We prove an equivalence between a conjecture of Neumann and Praeger on Kronecker classes in algebraic number fields, and a conjecture on cliques of derangement graphs in combinatorics.
Optimal matching under size priority
Past studies on the local limit of maximal weight matchings in edge-weighted large random graphs rely fundamentally on the assumption that the weights are atomless, which ensures that the maximal weight matching is unique. This excludes de facto maximal size matchings that correspond to equal edge-weights. In this work, we overcome this difficulty by assigning i.i.d.~atomless weights to edges and choosing the maximal size matching that maximises the weight. We call these doubly constrained matchings \emph{optimal matchings}. The natural generalisation of optimal matchings for infinite unimodular random graphs are unimodular matchings of maximal density at the root that maximise the expected weight at the root when it is matched.
For unimodular Bienaymé-Galton-Watson (UBGW) trees and for a broad class of weight distributions, we show existence and uniqueness in law of such matchings. We also prove that if a sequence of finite random weighted graphs converges locally to an UBGW tree with i.i.d.~weights, then there exists a sequence of matchings on the finite graphs that converges locally to the optimal matching on the limiting tree. Finally, we identify a regime, depending only on the offspring distribution of the limiting tree, in which correlations between edge states in the optimal matching decay exponentially with their graph distance. In this regime, we strengthen the previous convergence to the convergence of optimal matchings of the finite graphs. As a by-product, we can explicitly compute the asymptotic densities of edges that belong to all maximal-density matchings, and of edges that belong to none.
On the orbital diameter of classical groups in standard action
Let $G$ be a primitive permutation group acting on a finite set $X$. The orbital diameter $\mathrm{diam}(X,G)$ is defined to be the supremum of the diameters of the (connected) orbital graphs of $G$ after disregarding the directions of all edges in the graphs. This invariant is studied in the case when $G$ is an almost simple group in a standard action. A lower bound is given for $\mathrm{diam}(X,G)$ and we provide a partial classification of pairs $(X,G)$ for which the orbital diameter is at most $2$.
Maximizing subgraph counts in regular graphs
Given a graph $H$, we investigate the $d$-regular graphs $G$ with the highest $H$-density. We reframe the problem as a continuous optimization problem on the eigenvalues of $G$ by relating injective homomorphism numbers from $H$ and homomorphism numbers from quotient graphs of $H$. For almost all $H$, this relation has non-spectral terms, which require bounding by spectral terms in a way that is sharp at the optimal graph.
For bipartite $H$ and $d$ large enough, we show $G$ consists of disjoint copies of $K_{d,d}$. For non-bipartite $H$ and $d$ sufficiently large, $G$ is a collection of disjoint $K_{d+1}$ graphs. For $H=C_5$ and $d=3$, disjoint Petersen graphs emerge.
Borel Homomorphisms from Forests to Kneser Graphs
We answer a recent question of Csóka and Vidnyánszky [arXiv:2407.10006] and give an alternate proof of one of their results. The subject of both is which finite graphs admit factor of i.i.d. homomorphisms from the 3-regular tree. We then give yet another proof of the result in the Borel setting which leads to the following: For each $d > 2$ and $k \in \mathbb{N}$, there is a Borel hyperfinite $d$-regular forest $G$ and a finite graph with chromatic number $k$, $H$, so that $G$ does not admit a Borel homomorphism to $H$. All of this is tied together by a focus on the case when the target graph $H$ is a (subgraph of a) Kneser graph.
LCLs in the Borel Hierarchy
A locally checkable labeling problem (LCL) on a group $Γ$ asks one to find a labeling of the Cayley graph of $Γ$ satisfying a fixed, finite set of "local" constraints. Typical examples include proper coloring and perfect matching problems. In descriptive combinatorics, one often considers the existence of solutions to LCLs in the setting of descriptive set theory. For example, given a free action of $Γ$ on a Polish space $X$, we might be interested in solving a given LCL on each orbit in a continuous, Borel, measurable, etc. way.
In an attempt to understand more finely the gap between Borel and continuous combinatorics, we consider the existence of Baire class $m$ solutions to LCLs. For all $n > 1$ and $m \in ω$, we produce an LCL on $\mathbb{F}_n$ which always admits Baire class $m+1$ solutions, but not necessarily Baire class $m$ solutions.
The linear Turán number of the 3-graph $P_5$
We prove that for any linear 3-graph on $n$ vertices without a path of length 5, the number of edges is at most $\frac{15}{11}n$, and the equality holds if and only if the graph is the disjoint union of $G_0$, a graph with 11 vertices and 15 edges. Thus, $ex_L(n,P_5)\leq \frac{15}{11}n$, and the equality holds if and only if $11|n$.
Strengthening the balanced set condition for the distance-regular graph of the bilinear forms
We consider a distance-regular graph $Γ=(X, \mathcal R)$ called the bilinear forms graph $H_q(D,N-D)$; we assume $N>2D\geq 6$ and $q \not=2$. We show that $Γ$ satisfies the following strengthened version of the balanced set condition.
For a vertex $x \in X$ and $0 \leq i \leq D$ define $Γ_i(x)=\lbrace y \in X\vert \partial(x,y)=i\rbrace$, where $\partial$ denotes the path-length distance function.
Abbreviate $Γ(x)=Γ_1(x)$.
Let $V={\mathbb R}^X$ denote the standard module for ${\rm Mat}_X(\mathbb R)$.
For $x\in X$ let $\hat x \in V$ have $x$-coordinate 1 and all other coordinates 0.
Let $E \in {\rm Mat}_X(\mathbb R)$ denote the primitive idempotent that corresponds to the second largest eigenvalue of the adjacency matrix of $Γ$.
For a subset $Ω\subseteq X$ define $\widehat Ω= \sum_{x \in Ω} \hat x$.
We fix two vertices $x,y \in X$ and write $k=\partial(x,y)$. To avoid degenerate situations, we assume
$2 \leq k \leq D-1$. Using $y$ we obtain an equitable partition $\lbrace O_i \rbrace_{i=1}^6$ of the local graph $Γ(x)$.
By construction $O_1 = Γ(x) \cap Γ_{k-1}(y)$ and $O_6 = Γ(x) \cap Γ_{k+1}(y)$.
We call $\lbrace O_i \rbrace_{i=1}^6$ the $y$-partition of $Γ(x)$. Let $\lbrace O'_i \rbrace_{i=1}^6$ denote the $x$-partition of $Γ(y)$.
According to the original balanced set condition, for $i \in \lbrace 1,6\rbrace$ the vector $ E \widehat O_i - E \widehat O'_i$ is a scalar multiple of $E{\hat x}-E{\hat y}$. We show that for $1 \leq i \leq 6$ the vector $ E \widehat O_i - E \widehat O'_i$ is a scalar multiple of $E{\hat x}-E{\hat y}$. We investigate the consequences of this result.