graph
34516 papers tagged with this keyword
The synchronisation hierarchy via coherent configurations
We describe the spreading property for finite transitive permutation groups in terms of properties of their associated coherent configurations, in much the same way that separating and synchronising groups can be described via properties of their orbital graphs. We also show how the other properties in the synchronisation hierarchy naturally fit inside this framework. This combinatorial description allows for more efficient computational tools, and we deduce that every spreading permutation group of degree at most $8191$ is a $\mathbb{Q}$I-group. We also consider design-orthogonality more generally for noncommutative homogeneous coherent configurations.
On the size multipartite Ramsey numbers involving complete graphs
Given two graphs H and G, the size multipartite Ramsey number mj (H, G) is the smallest natural number t such that an arbitrary coloring of the edges of Kjt, complete multipartite graph whose vertex set is partitioned into j parts each of size t, using two colors red and blue, necessarily forces a red copy of H or a blue copy of G as a subgraph. The notion of size multipartite Ramsey number has been introduced by Burger and Vuuren in 2004. It is worth noting that, this concept is derived by using the idea of the original classical Ramsey number, multipartite Ramsey number and the size Ramsey number. In this paper, we focus on mj(H, G) and find a lower bound for mj (H, G) based on the chromatic number of H and the order of G. Also, for graphs G with large maximum degree, we obtain a tight lower bound for mj(Km, G). Furthermore, we determine the order of magnitude of mj(Km, K1,n), for j >= m >= 3 and n >= 2. Then we specify the exact values of mj(Km, K1,n) for the cases m = j, m = 3 and j = 0 or m-2 (mod m-2).
Further Results and Questions on $S$-Packing Coloring of Subcubic Graphs
For non-decreasing sequence of integers $S=(a_1,a_2, \dots, a_k)$, an $S$-packing coloring of $G$ is a partition of $V(G)$ into $k$ subsets $V_1,V_2,\dots,V_k$ such that the distance between any two distinct vertices $x,y \in V_i$ is at least $a_{i}+1$, $1\leq i\leq k$. We consider the $S$-packing coloring problem on subclasses of subcubic graphs: For $0\le i\le 3$, a subcubic graph $G$ is said to be $i$-saturated if every vertex of degree 3 is adjacent to at most $i$ vertices of degree 3. Furthermore, a vertex of degree 3 in a subcubic graph is called heavy if all its three neighbors are of degree 3, and $G$ is said to be $(3,i)$-saturated if every heavy vertex is adjacent to at most $i$ heavy vertices. We prove that every 1-saturated subcubic graph is $(1,1,3,3)$-packing colorable and $(1,2,2,2,2)$-packing colorable. We also prove that every $(3,0)$-saturated subcubic graph is $(1,2,2,2,2,2)$-packing colorable.
Spectra of Group Vertex Magic Graphs
Let G be a simple undirected graph and let A be an additive Abelian group with identity 0. In this paper, we introduce the concept of group magic spectrum of a graph G with respect to a given Abelian group A and is defined as spec(G, A):= {λ : λ is a magic constant of some A-vertex magic labeling f }. In their recent work, K. M. Sabeel et al. in Australas. J. Combin. 85(1) (2023), 49-60 proved a forbidden subgraph characterization for the group vertex magic graph. In this work, we present a new method which uses minimum number of vertices required for this graph. We obtain a necessary and sufficient condition for the spectrum of a graph G to be a subgroup when A = V4 or Zp, where p is a prime number. Also we introduce the notion of reduced spectrum redspec(G, A) and study the relation between spec(G, A) and redspec(G, A).
Graph Reconstruction with Connectivity Queries
We study a problem of reconstruction of connected graphs where the input gives all subsets of size k that induce a connected subgraph. Originally introduced by Bastide et al. (WG 2023) for triples ($k=3$), this problem received comprehensive attention in their work, alongside a study by Qi, who provided a complete characterization of graphs uniquely reconstructible via their connected triples, i.e. no other graphs share the same set of connected triples. Our contribution consists in output-polynomial time algorithms that enumerate every triangle-free graph (resp. every graph with bounded maximum degree) that is consistent with a specified set of connected $k$-sets. Notably, we prove that triangle-free graphs are uniquely reconstructible, while graphs with bounded maximum degree that are consistent with the same $k$-sets share a substantial common structure, differing only locally. We suspect that the problem is NP-hard in general and provide a NP-hardness proof for a variant where the connectivity is specified for only some $k$-sets (with $k$ at least 4).
Fourier analysis on distance-regular Cayley graphs over abelian groups
The problem of constructing or characterizing strongly regular Cayley graphs (or equivalently, regular partial difference sets) has garnered significant attention over the past half-century. In 2003, Miklavič and Potočnik [European J. Combin. 24 (2003) 777--784] expanded upon this field by achieving a complete characterization of distance-regular Cayley graphs over cyclic groups through the method of Schur rings. Building on this work, Miklavič and Potočnik [J. Combin. Theory Ser. B 97 (2007) 14--33] formally proposed the problem of characterizing distance-regular Cayley graphs for arbitrary classes of groups. Within this framework, abelian groups hold particular significance, as numerous distance-regular graphs with classical parameters are precisely Cayley graphs over abelian groups. In this paper, we employ Fourier analysis on abelian groups to establish connections between distance-regular Cayley graphs over abelian groups and combinatorial objects in finite geometry. By combining these insights with classical results from finite geometry, we classify all distance-regular Cayley graphs over the group $\mathbb{Z}_n \oplus \mathbb{Z}_p$, where $p$ is an odd prime.
Birational maps, PBW degenerate flags and poset polytopes
We extend the results on the graph closures of the birational maps between projective spaces and Grassmannians to the case of PBW degenerate flag varieties. The advantage of the PBW degenerate flags (as opposed to their classical analogues) is the existence of a large group of symmetries for the graph closures. We discuss the combinatorial, algebraic and geometric sides of the picture. In particular, we show that toric degenerations of Borovik, Sturmfels and Sverrisdóttir are still available in the general settings. We also derive a description of the graph closures for flag varieties in terms of quiver representations.
Binary LCD Codes and Their Graph Representations
We establish a bijection between binary even LCD codes and simple graphs whose adjacency matrices are idempotent over $\FF_2$. This bijection preserves equivalence: permutation equivalence of codes corresponds exactly to graph isomorphism. Based on this framework, we characterize which distance-regular graphs yield LCD codes via intersection array parameters, prove that non-isomorphic conference graphs yield inequivalent codes, and classify LCD-derived graphs of small orders.
Directed Transit Functions
Transit functions were introduced as models of betweenness on undirected structures. Here we introduce directed transit function as the directed analogue on directed structures such as posets and directed graphs. We first show that betweenness in posets can be expressed by means of a simple set of first order axioms. Similar characterizations can be obtained for graphs with natural partial orders, in particular, forests, trees, and mangroves. Relaxing the acyclicity conditions leads to a generalization of the well-known geometric transit function to the directed structures. Moreover, we discuss some properties of the directed analogues of prominent transit functions, including the all-paths, induced paths, and shortest paths (or interval) transit functions. Finally we point out some open questions and directions for future work.
Edge-dominance games on graphs
We consider zero-sum games in which players move between adjacent states, where in each pair of adjacent states one state dominates the other. The states in our game can represent positional advantages in physical conflict such as high ground or camouflage, or product characteristics that lend an advantage over competing sellers in a duopoly. We study the equilibria of the game as a function of the topological and geometric properties of the underlying graph. Our main result characterizes the expected payoff of both players starting from any initial position, under the assumption that the graph does not contain certain types of small cycles. This characterization leverages the block-cut tree of the graph, a construction that describes the topology of the biconnected components of the graph. We identify three natural types of (on-path) pure equilibria, and characterize when these equilibria exist under the above assumptions. On the geometric side, we show that strongly connected outerplanar graphs with undirected girth at least 4 always support some of these types of on-path pure equilibria. Finally, we show that a data structure describing all pure equilibria can be efficiently computed for these games.
Square pegs between two graphs
We show that there always exists an inscribed square in a Jordan curve given as the union of two graphs of functions of Lipschitz constant less than $1 + \sqrt{2}$. We are motivated by Tao's result that there exists such a square in the case of Lipschitz constant less than $1$. In the case of Lipschitz constant $1$, we show that the Jordan curve inscribes rectangles of every similarity class. Our approach involves analysing the change in the spectral invariants of the Jordan Floer homology under perturbations of the Jordan curve.
Estimating the stability number of a random graph using convolutional neural networks
Graph combinatorial optimization problems are widely applicable and notoriously difficult to compute; for example, consider the traveling salesman or facility location problems. In this paper, we explore the feasibility of using convolutional neural networks (CNNs) on graph images to predict the cardinality of combinatorial properties of random graphs and networks. Specifically, we use image representations of modified adjacency matrices of random graphs as training samples for a CNN model to predict the stability number of random graphs; where the stability number is the cardinality of a maximum set of vertices in a graph that contains no pairwise adjacency between vertices. The model and results presented in this study suggest potential for applying deep learning in combinatorial optimization problems previously not considered by simple deep learning techniques.
Edge and mixed metric dimension of Johnson graphs
In this paper, both edge and mixed metric dimensions of Johnson graphs $J_{n,k}$ are considered. A new tight lower bound for $β_E(J_{n,k})$ based on hitting sets has been obtained. Using this bound, exact values for $β_E(J_{n,2})$ and $β_M(J_{n,2})$ have been derived, and it is proved that $β_E(J_{n,2}) = β_M(J_{n,2})$.
Abrams' stabilization theorem for no-k-equal configuration spaces on graphs
Published in Final version published in Homology, Homotopy and Applications, Vol. 28, Issue 1 (2026), pp. 1-22
• View Publication
• BIB
For a graph $G$, let Conf$(G,n)$ denote the classical configuration space of $n$ labelled points in $G$. Abrams introduced a cubical complex, denoted here by DConf$(G,n)$, sitting inside Conf$(G,n)$ as a strong deformation retract provided $G$ is suitably subdivided. Using discrete Morse Theory techniques, we extend Abrams' result to the realm of configurations having no $k$-fold collisions.
An algebraic approach to asymptotics of the number of unlabelled bicolored graphs
We define and study two structures associated to permutation groups: Dirichlet characters on permutation groups, and the "cycle form," a bilinear form on the group algebras of permutation groups. We use Dirichlet characters and the cycle form to find a new upper bound on the number of unlabelled bicolored graphs with $p$ red vertices and $q$ blue vertices. We use this bound to calculate the asymptotic growth rate of the number of such graphs as $p,q\rightarrow\infty$, answering a 1973 question of Harrison in the case where $q-p$ is fixed. As an application, we show that, in an asymptotic sense, "most" elements of the power set $P(\{ 1, \dots ,p\} \times \{ 1, \dots ,q\})$ are in free $Σ_p\times Σ_q$-orbits.
If you are the smartest person in the room, you are in the wrong room
Published in Graphs and Combinatorics, 41(5), pp.1-10
• View Publication
• BIB
If taken seriously, the advice in the title leads to interesting combinatorics. Consider $N$ people moving between $M$ rooms as follows: at each step, simultaneously, the smartest person in each room moves to a different room of their choice, while no one else moves. The process repeats. In this paper we determine which configurations are reachable, from which other configurations, and provide bounds on the number of moves. Namely, let $G(N,M)$ be the directed graph with vertices representing all $M^N$ configurations and edges representing possible moves. We prove that the graph $G(N,M)$ is weakly connected, and that it is strongly connected if and only if $M\geq N+1$ (one extra room for maneuvering is both required and sufficient). For $M\leq N$, we show that the graph has a giant strongly connected component with $Θ(M^N)$ vertices and diameter $\mathcal O(N^2)$.
Golden ratio in graph theory: A survey
Much has been written about the golden ratio $φ=\frac{1+\sqrt{5}}{2}$ and this strange number appears mysteriously in many mathematical calculations. In this article, we review the appearance of this number in the graph theory. More precisely, we review the relevance of this number in topics such as the number of spanning trees, topological indices, energy, chromatic roots, domination roots and the number of domatic partitions of graphs.
On the strong domination number of proper enhanced power graphs of finite groups
The enhanced power graph of a group G is a graph with vertex set G, where two distinct vertices x and y are adjacent if and only if there exists an element w in G such that both x and y are powers of w. To obtain the proper enhanced power graph, we consider the induced subgraph on the set G\D, where D represents the set of dominating vertices in the enhanced power graph. In this paper, we aim to determine the strong domination number of the proper enhanced power graphs of finite nilpotent groups.
Semi-Degree Condition for Arbitrary $H$-Linked Oriented Graphs
Let $ H $ be a multi-digraph on $ h $ vertices with $ q $ arcs. An \textbf{$H$-subdivision} in a digraph $D$ is a subdigraph obtained by replacing every arc $uv$ of $H$ with a path from $u$ to $v$ in $D$ such that these paths are pairwise internally vertex-disjoint. A digraph $ D $ is \textbf{arbitrary $ H $-linked} if, for every injection $ f: V(H) \to V(D) $, there exists an $ H $-subdivision in $ D $ such that each vertex $ v \in V(H) $ is mapped to $ f(v) \in V(D) $, and the length of every subdivision path can be arbitrarily specified as {an integer \(l \geq 4\)}. An oriented graph is a digraph without 2-cycles. Keevash, Kühn, and Osthus proved that every sufficiently large oriented graph $ D $ of order $ n $ with $δ^0(D) \geq \frac{3n-4}{8}$ contains a Hamilton cycle (i.e., a $\overset{\leftrightarrow}{K_2}$-subdivision). Subsequently, Kelly, Kühn, and Osthus showed that such oriented graphs {are also arbitrary $ H $-linked, where $H$ is a loop}. Motivated by these results, we establish a minimum semi-degree condition for arbitrary $ H $-linked oriented graphs: there exists $ n_0 = n_0(h,q) $ such that every oriented graph $ D $ of order $ n \geq n_0 $ with $δ^0(D) \geq \frac{3n + 3h + 3q - 5}{8}$ is arbitrary $ H $-linked; specifically, if $H$ is a loop, this holds under the weaker condition $δ^0(D) \geq \frac{3n - 4}{8}$. The result provides an oriented graph analogue of Wang's conjecture on cycle-factors in graphs [J. Korean Math. Soc. 51 (2014) 919--940] and determines the tight semi-degree bounds for both strongly Hamiltonian-connected and arbitrary $q$-linked oriented graphs.
The Signed Roman Domination Number of Ladder graphs, circular Ladder graphs and their complements
Let $G=(V,E)$ be a finite connected simple graph with vertex set $V$ and edge set $E$. A signed Roman dominating function (SRDF) on a graph $G$ is a function $f: V \rightarrow \{-1, 1, 2\}$ that satisfies two conditions: (i) $\sum_{y\in N[x]} f(y)\geq1$ for each $x\in V$, where the set $N[x]$ is the closed neighborhood of $x$ consisting of $x$ and vertices of $V$ that are adjacent to $x$, and (ii) each vertex $x\in V$ where $f(x) = -1$ is adjacent to at least one vertex $y\in V$ where $f(y)=2$. The weight of a SRDF is the sum of its function values over all vertices. The signed Roman domination number of $G$, denoted by $γ_{SR}(G)$, is the minimum weight of a SRDF on $G$. In this paper, we investigate the signed Roman domination number of the Ladder graph $LG_n$, the circular Ladder graph $CL_n$ and their complements.