graph
34516 papers tagged with this keyword
r-orientation of a signed graph and its application on coronae of signed graphs
For unsigned graphs G and H, the characteristic polynomial of different graph matrices for edge corona, subdivision vertex neighbourhood corona and subdivision edge neighbourhood corona has already been studied using the concept of coronal. However, till date no work regarding the spectrum of these products has been studied for signed graphs. In our work, we have filled this gap and defined these variants of coronae by introducing the concept of reverse orientation (r-orientation). We analyzed the structural properties of these product. Also, the characteristic polynomial of adjacency matrix, Laplacian matrices (signed and signless) and normalized Laplacian matrix of these variants of corona product of regular signed graphs under $r$-orientation is obtained using the concept of signed coronal. These results help us to construct infinitely many families of pairs of cospectral signed graphs.
Coloring Grids Avoiding Bicolored Paths
Published
• View Publication
• BIB
The star chromatic number on a graph is the minimum number of colors in a proper vertex coloring forbidding any $P_4$ with two colors (bicolored). This problem was introduced by Grünbaum (1973) together with the acyclic coloring of graphs, where bicolored cycles are avoided. In this paper, we study a generalization of this problem, by considering proper vertex coloring on graphs forbidding bicolored paths of a fixed length, which was initially discussed by Alon, McDiarmid, and Reed (1991). Here, we study this problem on products of two paths. We show that at least 4 colors are needed to properly color the product of paths, $P_m\square P_n$, avoiding a bicolored $P_k,$ unless $n<k-2$ or $m<k-2.$ With this result, the above question is settled for all $k$ on 2-dimensional grids.
On directed and undirected diameters of vertex-transitive graphs
Published in Combinatorica 44 (2024), 1353-1366
• View Publication
• BIB
A directed diameter of a directed graph is the maximum possible distance between a pair of vertices, where paths must respect edge orientations, while undirected diameter is the diameter of the undirected graph obtained by symmetrizing the edges. In 2006 Babai proved that for a connected directed Cayley graph on $n$ vertices the directed diameter is bounded above by a polynomial in undirected diameter and $\log n$. Moreover, Babai conjectured that a similar bound holds for vertex-transitive graphs. We prove this conjecture of Babai, in fact, it follows from a more general bound for connected relations of homogeneous coherent configurations. The main novelty of the proof is a generalization of Ruzsa's triangle inequality from additive combinatorics to the setting of graphs.
Frieze patterns and Farey complexes
Published
• View Publication
• BIB
Frieze patterns have attracted significant attention recently, motivated by their relationship with cluster algebras. A longstanding open problem has been to provide a combinatorial model for frieze patterns over the ring of integers modulo $n$ akin to Conway and Coxeter's celebrated model for positive integer frieze patterns. Here we solve this problem using the Farey complex of the ring of integers modulo $n$; in fact, using more general Farey complexes we provide combinatorial models for frieze patterns over any rings whatsoever.
Our strategy generalises that of the first author and of Morier-Genoud et al. for integers and that of Felikson et al. for Eisenstein integers. We also generalise results of Singerman and Strudwick on diameters of Farey graphs, we recover a theorem of Morier-Genoud on enumerating friezes over finite fields, and we classify those frieze patterns modulo $n$ that lift to frieze patterns over the integers in terms of the topology of the corresponding Farey complexes.
Maximizing Matching Cuts
Published
• View Publication
• BIB
A matching cut in a graph G is an edge cut of G that is also a matching. This short survey gives an overview of old and new results and open problems for Maximum Matching Cut, which is to determine the size of a largest matching cut in a graph. We also compare this problem with the related problems Matching Cut, Minimum Matching Cut, and Perfect Matching Cut, which are to determine if a graph has a matching cut; the size of a smallest matching cut in a graph; and if a graph has a matching cut that is a perfect matching, respectively. Moreover, we discuss a relationship between Maximum Matching Cut and Max Cut, which is to determine the size of a largest edge cut in a graph, as well as a relationship between Minimum Matching Cut and Min Cut, which is to determine the size of a smallest edge cut in a graph.
Hardness of linearly ordered 4-colouring of 3-colourable 3-uniform hypergraphs
A linearly ordered (LO) $k$-colouring of a hypergraph is a colouring of its vertices with colours $1, \dots, k$ such that each edge contains a unique maximal colour. Deciding whether an input hypergraph admits LO $k$-colouring with a fixed number of colours is NP-complete (and in the special case of graphs, LO colouring coincides with the usual graph colouring).
Here, we investigate the complexity of approximating the `linearly ordered chromatic number' of a hypergraph. We prove that the following promise problem is NP-complete: Given a 3-uniform hypergraph, distinguish between the case that it is LO $3$-colourable, and the case that it is not even LO $4$-colourable. We prove this result by a combination of algebraic, topological, and combinatorial methods, building on and extending a topological approach for studying approximate graph colouring introduced by Krokhin, Opršal, Wrochna, and Živný (2023).
Precoloring extension in planar near-Eulerian-triangulations
We consider the 4-precoloring extension problem in \emph{planar near-Eulerian-triangulations}, i.e., plane graphs where all faces except possibly for the outer one have length three, all vertices not incident with the outer face have even degree, and exactly the vertices incident with the outer face are precolored. We give a necessary topological condition for the precoloring to extend, and give a complete characterization when the outer face has length at most five and when all vertices of the outer face have odd degree and are colored using only three colors.
Solving the Mostar index inverse problem
Published
• View Publication
• BIB
A nonnegative integer $p$ is realizable by a graph-theoretical invariant $I$ if there exist a graph $G$ such that $I(G) = p$. The inverse problem for $I$ consists of finding all nonnegative integers $p$ realizable by $I$. In this paper, we consider and solve the inverse problem for the Mostar index, a recently introduced graph-theoretical invariant which attracted a lot of attention in recent years in both the mathematical and the chemical community. We show that a nonnegative integer is realizable by the Mostar index if and only if it is not equal to one. Besides presenting the complete solution to the problem, we also present some empirical observations and outline several open problems and possible directions for further research.
Formulas for the Number of Weak Homomorphisms from Paths to Rectangular Grid Graphs
Published
• View Publication
• BIB
A weak homomorphism from a graph G to a graph H is a mapping f from V(G) to V(H), where either f(x) = f(y) or {f(x), f(y)} is an element of E(H), and this holds for all {x, y} in E(G). A rectangular grid graph is formed by taking the Cartesian product of two paths. In this paper, we present a formula for calculating the number of weak homomorphisms from paths to rectangular grid graphs.
Special divisors in special divisor classes on graphs
Published
• View Publication
• BIB
As in algebraic geometry, an effective divisor class on a vertex-weighted graph is called special if also its residual class is effective. We study the question, when this is true already on the level of divisors; that is, when there exists an effective divisor in the class whose residual is effective as well, so called uniform divisors. We show that uniform divisors exist in any special class on graphs with all vertex weights non-zero; we show that in general a representative can be chosen, whose value is off by at most one on vertices of weight zero. To prove this, we generalize the notion of divisors that are reduced with respect to a vertex to divisors that are reduced with respect to a set of vertices. We compare this notion to a previous generalization due to Luo. As an application, we obtain a new algorithm to determine whether a divisor class is effective.
Dimer piling problems and interacting field theory
Published
• View Publication
• BIB
The dimer tiling problem asks in how many ways can the edges of a graph be covered by dimers so that each site is covered once. In the special case of a planar graph, this problem has a solution in terms of a free fermionic field theory. We rediscover and explore an expression for the number of coverings of an arbitrary graph by arbitrary objects in terms of an interacting fermionic field theory first proposed by Samuel. Generalizations of the dimer tiling problem, which we call `dimer piling problems,' demand that each site be covered N times by indistinguishable dimers. Our field theory provides a solution of these problems in the large-N limit. We give a similar path integral representation for certain lattice coloring problems.
Central measures of the jump graph for Young--Fibonacci graph
For fixed $k$, we consider the subgraph $YF_k=(V_k,E_k)$ of the famous Young--Fibonacci graph formed by the words with at most $k$ 2-s. The jump graph is a graded graph is defined as follows: each level is identified with $V_k$, and an edge between two vertices $(v_1,i)$ and $(v_{2},i+1)$, $v_1,v_2\in V_k$, of neighbouring levels us drawn iff $v_2$ is a descendant of $v_1$ in $YF_k$. The goal of this paper is to describe all central measures on the path space of $YF_k$.
Quantum automorphisms of matroids
Published
• View Publication
• BIB
Motivated by the vast literature of quantum automorphism groups of graphs, we define and study quantum automorphism groups of matroids. A key feature of quantum groups is that there are many quantizations of a classical group, and this phenomenon manifests in the cryptomorphic characterizations of matroids. Our primary goals are to understand, using theoretical and computational techniques, the relationship between these quantum groups and to find when these quantum groups exhibit quantum symmetry. Finally, we prove a matroidal analog of Lovász's theorem characterizing graph isomorphisms in terms of homomorphism counts.
Average hitting times in some $f$-equitable graphs
Published
• View Publication
• BIB
It is known that the average hitting times of simple random walks from any vertex to any other vertex in distance-regular graphs are determined by their intersection array. In this paper, we introduce a new graph classification called $f$-equitable, utilizing both the equitable partition and the function $f$, which represents a generalization of distance-regular graphs. We determine the average hitting times from any vertex to any other vertex in $f$-equitable graphs by using their parameter referred to as the quotient matrix. Furthermore, we prove that there is some function $f$ such that the Cartesian product of two strongly regular graphs is $f$-equitable. We then calculate the quotient matrix for these graphs and determine the average hitting times from any vertex to any other vertex in these graphs. In the same manner, we determine the average hitting times on some generalized Paley graphs.
On recognition algorithms and structure of graphs with restricted induced cycles
This is my PhD thesis which was defended in May 2021.
We call an induced cycle of length at least four a hole. The parity of a hole is the parity of its length. Forbidding holes of certain types in a graph has deep structural implications. In 2006, Chudnovksy, Seymour, Robertson, and Thomas famously proved that a graph is perfect if and only if it does not contain an odd hole or a complement of an odd hole. In 2002, Conforti, Cornuéjols, Kapoor and Vuškovíc provided a structural description of the class of even-hole-free graphs. In Chapter 3, we provide a structural description of all graphs that contain only holes of length $\ell$ for every $\ell \geq 7$.
Analysis of how holes interact with graph structure has yielded detection algorithms for holes of various lengths and parities. In 1991, Bienstock showed it is NP-Hard to test whether a graph G has an even (or odd) hole containing a specified vertex $v \in V(G)$. In 2002, Conforti, Cornuéjols, Kapoor and Vuškovíc gave a polynomial-time algorithm to recognize even-hole-free graphs using their structure theorem. In 2003, Chudnovsky, Kawarabayashi and Seymour provided a simpler and slightly faster algorithm to test whether a graph contains an even hole. In 2019, Chudnovsky, Scott, Seymour and Spirkl provided a polynomial-time algorithm to test whether a graph contains an odd hole. Later that year, Chudnovsky, Scott and Seymour strengthened this result by providing a polynomial-time algorithm to test whether a graph contains an odd hole of length at least $\ell$ for any fixed integer $\ell \geq 5$. In Chapter 2, we provide a polynomial-time algorithm to test whether a graph contains an even hole of length at least $\ell$ for any fixed integer $\ell \geq 4$.
Offensive Alliances in Signed Graphs
Published
• View Publication
• BIB
Signed graphs have been introduced to enrich graph structures expressing relationships between persons or general social entities, introducing edge signs to reflect the nature of the relationship, e.g., friendship or enmity. Independently, offensive alliances have been defined and studied for undirected, unsigned graphs. We join both lines of research and define offensive alliances in signed graphs, hence considering the nature of relationships. Apart from some combinatorial results, mainly on k-balanced and k-anti-balanced signed graphs (where the latter is a newly introduced family of signed graphs), we focus on the algorithmic complexity of finding smallest offensive alliances, looking at a number of parameterizations. While the parameter solution size leads to an FPT result for unsigned graphs, we obtain W[2]-completeness for the signed setting. We introduce new parameters for signed graphs, e.g., distance to weakly balanced signed graphs, that could be of independent interest. We show that these parameters yield FPT results. Here, we make use of the recently introduced parameter neighborhood diversity for signed graphs.
An Isoperimetric Inequality and Pursuit-Evasion Games on Triangular Grid Graphs
Published
• View Publication
• BIB
In this paper, we prove an isoperimetric inequality for the triangular grid graph which was conjectured by Adams, Gibson, and Pfaffinger, using the compression technique of Bollobás and Leader. Moreover, we apply the isoperimetric inequality to the Zero-Visibility Search game and Lions and Contamination game in order to obtain lower bounds for the inspection number and lion number respectively. We also provide searching strategies to prove upper bounds for both the inspection number and lion number.
Rigidity of symmetric linearly constrained frameworks in the plane
Published
• View Publication
• BIB
A bar-joint framework $(G,p)$ is the combination of a finite simple graph $G=(V,E)$ and a placement $p:V\rightarrow \mathbb{R}^d$. The framework is rigid if the only edge-length preserving continuous motions of the vertices arise from isometries of the space. Motivated by applications where boundary conditions play a significant role, one may generalise and consider linearly constrained frameworks where some vertices are constrained to move on fixed affine subspaces. Streinu and Theran characterised exactly which linearly constrained frameworks are generically rigid in 2-dimensional space. In this article we extend their characterisation to symmetric frameworks. In particular necessary combinatorial conditions are given for a symmetric linearly constrained framework in the plane to be isostatic (i.e. minimally infinitesimally rigid) under any finite point group symmetry. In the case of rotation symmetry groups whose order is either 2 or odd, these conditions are then shown to be sufficient under suitable genericity assumptions, giving precise combinatorial descriptions of symmetric isostatic graphs in these contexts.
Power domination with random sensor failure
The power domination problem seeks to determine the minimum number of phasor measurement units (PMUs) needed to monitor an electric power network. We introduce random sensor failure before the power domination process occurs and call this the fragile power domination process. For a given graph, PMU placement, and probability of PMU failure $q$, we study the expected number of observed vertices at the termination of the fragile power domination process. This expected value is a polynomial in $q$, which we relate to fault-tolerant and PMU-defect-robust power domination. We also study the probability of that the entire graph becomes observed and give results for some graph families.
Connectedness in weighted consensus division of graphical cakes between two agents
Published in Mathematical Social Sciences Mathematical Social Sciences, Volume 138, December 2025, 102463
• View Publication
• BIB
Austin's moving knife procedure was originally introduced to find a consensus division of an interval/circular cake between two agents, each of whom believes that they receive exactly half of the cake. We generalise this in two ways: we consider cakes modelled by graphs, and let the two agents have unequal, arbitrary entitlements. In this setting, we seek a weighted consensus division -- one where each agent believes they received exactly the share they are entitled to -- which also minimises the number of connected components that each agent receives. First, we review the weighted consensus division of a circular cake, which gives exactly one connected piece to each agent. Next, by judiciously mapping a circle to a graph, we produce a weighted consensus division of a star graph cake that gives at most two connected pieces to each agent -- and show that this bound on the number of connected pieces is tight. For a tree, each agent receives at most h+1 connected pieces, where h is the minimal height of the tree. For a connected graphical cake, each agent receives r+2 connected pieces, where r is the radius of the graph. Finally, for a graphical cake with s connected components, the division involves at most s+2r+4 connected pieces, where r is the maximum radius among all connected components.