SearcharxivSearch

arXiv subjects

Sagnik Sen

Publications and source records attributed to Sagnik Sen.

At least 19 recordsLinked to original sources

On identifying codes on oriented graphs

This article studies identifying codes in oriented graphs from a computational complexity perspective. We investigate the $\mathcal{F}$-Id Code problem, where given a simple graph $G$ and a vertex subset $C$, which induces a subgraph in the family $\mathcal{F}$, as inputs and ask whether it is possible to orient $G$ in such a way that $C$ becomes its oriented identifying code. Focusing on the family $\mathcal{F}_d$ of $d$-regular graphs, we establish a complete dichotomy by proving that the problem is polynomial-time solvable for $d\leq1$ and NP-complete for all $d\geq2$.

cs.DM

On multiplicativity of directed graphs

A graph category is a category with a set of graphs or similar structures (such as, directed graphs, signed graphs, etc.) playing the role of objects, and an appropriate notion of homomorphism playing the role of morphisms. The characterization of multiplicative objects are important open problems in categories of undirected and directed graphs. While the recent disproving of the Hedetniemi's conjecture due to Shitov (Ann. Math. 2019), which claimed that all complete graphs are multiplicative, provided a breakthrough in the study of multiplicative undirected graphs, the characterization of multiplicative undirected graphs remains known only for cycles, circular cliques $K_{{n/k}}$ where ${n/k} \in (2,4]$, complete graphs, and graphs whose each edge is part of at most one $4$-cycle. Similarly, whether a given directed graph is multiplicative or not is known only for some oriented paths, oriented cycles, and transitive tournaments. We study multiplicative graphs in the category of directed graphs where pushable homomorphism plays the role of morphism. We provide full multiplicativity characterization for directed bipartite graphs, oriented cycles, and transitive tournaments. As a consequence we find new (infinite) classes of non-multiplicative directed graphs in the usual directed graphs category. We also resolve an open question posed by Das \textit{et al.} (CALDAM 2026) related to the existence of exponential directed graphs with respect to pushable homomorphisms, and use our solution as a tool for our proofs.

cs.DM

A proof of Seymour's second neighborhood conjecture for oriented graphs with minimum out-degree equal to 7

We prove Seymour's second neighborhood conjecture on oriented graphs whose minimum out-degree is equal to $7$. This gives, to our knowledge, the first improvement of the minimum out-degree threshold in two decades, since the work of Kaneko and Locke in 2001, who resolved the conjecture for oriented graphs whose minimum out-degree is at most $6$. The proof is partially computer-assisted: after a sequence of local reductions, the remaining finite obstruction models are eliminated by reproducible OR-Tools CP-SAT infeasibility checks.

math.CO

On arc-density of pushably $3$-critical oriented graphs

An oriented graph $\overrightarrow{G}$ is pushably $k$-critical if it is not pushably $k$-colorable, but every proper subgraph of $\overrightarrow{G}$ is. The main result of this article is that every pushably $3$-critical oriented graph on $n$ vertices, but for four exceptions, has at least $\frac{15n+2}{13}$ arcs, and that this bound is tight. As an application of this result, we show that the class of oriented graphs with maximum average degree strictly less than $\frac{30}{13}$ and girth at least $5$, which includes all oriented planar and projective planar graphs with girth at least $15$, have pushable chromatic number at most $3$. Moreover, we provide an exhaustive list of pushably $3$-critical graphs with maximum average degree equal to $\frac{30}{13}$ and a pushably $3$-critical orientation of a $4$-cycle to prove the tightness of our bound with respect to both maximum average degree and girth. We also show that these classes of oriented graphs admit a homomorphism to an oriented planar graph on six vertices (an orientation of $K_{2,2,2}$) which (tightly) improves a result due to Borodin \textit{et al.} [Discrete Mathematics 1998]. Furthermore, for these classes of oriented graphs, we prove that the $2$-dipath $L(p,q)$ and the oriented $L(p,q)$ spans are upper bounded by $2p+3q$ for all $q \leq p$. All these implications improve previously known results.

cs.DM

Algorithms and complexity for monitoring edge-geodetic sets in graphs

A monitoring edge-geodetic set of a graph is a subset $M$ of its vertices such that for every edge $e$ in the graph, deleting $e$ increases the distance between at least one pair of vertices in $M$. We study the following computational problem \textsc{MEG-set}: given a graph $G$ and an integer $k$, decide whether $G$ has a monitoring edge geodetic set of size at most $k$. We prove that the problem is NP-hard even for 2-apex 3-degenerate graphs, improving a result by Haslegrave (Discrete Applied Mathematics 2023). Additionally, we prove that the problem cannot be solved in subexponential-time, assuming the Exponential-Time Hypothesis, even for 3-degenerate graphs. Further, we prove that the optimization version of the problem is APX-hard, even for 4-degenerate graphs. Complementing these hardness results, we prove that the problem admits a polynomial-time algorithm for interval graphs, a fixed-parameter tractable algorithm for general graphs with clique-width plus diameter as the parameter, and a fixed-parameter tractable algorithm for chordal graphs with treewidth as the parameter. We also provide an approximation algorithm with factor $\ln m\cdot OPT$ and $\sqrt{n\ln m}$ for the optimization version of the problem, where $m$ is the number of edges, $n$ the number of vertices, and $OPT$ is the size of a minimum monitoring edge-geodetic set of the input graph.

cs.CC

Large planar $(n,m)$-cliques

An \textit{$(n,m)$-graph} $G$ is a graph having both arcs and edges, and its arcs (resp., edges) are labeled using one of the $n$ (resp., $m$) different symbols. An \textit{$(n,m)$-complete graph} $G$ is an $(n,m)$-graph without loops or multiple edges in its underlying graph such that identifying any pair of vertices results in a loop or parallel adjacencies with distinct labels. We show that a planar $(n,m)$-complete graph cannot have more than $3(2n+m)^2+(2n+m)+1$ vertices, for all $(n,m) \neq (0,1)$ and that the bound is tight. This positively settles a conjecture by Bensmail \textit{et al.}~[Graphs and Combinatorics 2017].

math.CO

Monitoring arc-geodetic sets of oriented graphs

Monitoring edge-geodetic sets in a graph are subsets of vertices such that every edge of the graph must lie on all the shortest paths between two vertices of the monitoring set. These objects were introduced in a work by Foucaud, Krishna and Ramasubramony Sulochana with relation to several prior notions in the area of network monitoring like distance edge-monitoring. In this work, we explore the extension of those notions unto oriented graphs, modelling oriented networks, and call these objects monitoring arc-geodetic sets. We also define the lower and upper monitoring arc-geodetic number of an undirected graph as the minimum and maximum of the monitoring arc-geodetic number of all orientations of the graph. We determine the monitoring arc-geodetic number of fundamental graph classes such as bipartite graphs, trees, cycles, etc. Then, we characterize the graphs for which every monitoring arc-geodetic set is the entire set of vertices, and also characterize the solutions for tournaments. We also cover some complexity aspects by studying two algorithmic problems. We show that the problem of determining if an undirected graph has an orientation with the minimal monitoring arc-geodetic set being the entire set of vertices, is NP-hard. We also show that the problem of finding a monitoring arc-geodetic set of size at most $k$ is $NP$-complete when restricted to oriented graphs with maximum degree $4$.

cs.DM

Bounds and extremal graphs for monitoring edge-geodetic sets in graphs

A monitoring edge-geodetic set, or simply an MEG-set, of a graph $G$ is a vertex subset $M \subseteq V(G)$ such that given any edge $e$ of $G$, $e$ lies on every shortest $u$-$v$ path of $G$, for some $u,v \in M$. The monitoring edge-geodetic number of $G$, denoted by $meg(G)$, is the minimum cardinality of such an MEG-set. This notion provides a graph theoretic model of the network monitoring problem. In this article, we compare $meg(G)$ with some other graph theoretic parameters stemming from the network monitoring problem and provide examples of graphs having prescribed values for each of these parameters. We also characterize graphs $G$ that have $V(G)$ as their minimum MEG-set, which settles an open problem due to Foucaud \textit{et al.} (CALDAM 2023), and prove that some classes of graphs fall within this characterization. We also provide a general upper bound for $meg(G)$ for sparse graphs in terms of their girth, and later refine the upper bound using the chromatic number of $G$. We examine the change in $meg(G)$ with respect to two fundamental graph operations: clique-sum and subdivisions. In both cases, we provide a lower and an upper bound of the possible amount of changes and provide (almost) tight examples.

cs.DM

A theoretical expansion of the Sprout game

Sprout is a two-player pen and paper game which starts with $n$ vertices, and the players take turns to join two pre-existing dots by a subdivided edge while keeping the graph sub-cubic planar at all times. The first player not being able to move loses. A major conjecture claims that Player 1 has a winning strategy if and only if $n \equiv 3,4,5$ ($\bmod~6$). The conjecture is verified until $44$, and a few isolated values of $n$, usually with the help of a computer. However, to the best of our understanding, not too much progress could be made towards finding a theoretical proof of the conjecture till now. In this article, we try to take a bottom-up approach and start building a theory around the problem. We start by expanding a related game called Brussels Sprout (where dots are replaced by crosses) introduced by Conway, possibly to help the understanding of Sprout. In particular, we introduce and study a generalized version of Brussels Sprout where crosses are replaced by a dot having an arbitrary number of ``partial edges'' (say, general cross) coming out, and planar graphs are replaced by any (pre-decided) hereditary class of graphs. We study the game for forests, graphs on surfaces, and sparse planar graphs. We also do a nimber characterization of the game when the hereditary class is taken to be triangle-free planar graphs, and we have started the game with two arbitrary generalized crosses. Moreover, while studying this particular case, we naturally stumble upon a circular version of the same game and solve a difficult nimber characterization using the method of structural induction. The above mentioned proof may potentially be one approach to solving the Sprout conjecture.

math.CO

On fundamental results for pushable homomorphisms of oriented graphs

This article deals with homomorphisms of oriented graphs with respect to push equivalence. Here homomorphisms refer to arc preserving vertex mappings, and push equivalence refers to the equivalence class of orientations of a graph $G$ those can be obtained from one another by reversing arcs of an edge cut. We study and prove some fundamental properties of pushable homomorphisms, and establish its connections to homomorphisms of signed graphs and graph coloring. To list a few highlights of this work: $\bullet$ We characterize orientations of a graph up to push equivalence and show that it is possible to decide whether they are equivalent or not in polynomial time. $\bullet$ We give a canonical definition of pushable homomorphism - this answers a natural open question. $\bullet$ We build a one-to-one correspondence between the equivalence classes of oriented and signed bipartite graphs. Thus, it is possible to translate a number of important results directly from the theory of signed graphs to oriented graphs. In particular, we show that pushable homomorphisms of bipartite graphs capture the entire theory of graph coloring as a subcase. $\bullet$ Given a graph $G$, we build a gadget oriented graph $\overrightarrow{G}^{(k)}$ which admits a pushable homomorphism to a directed odd cycle of length $(2k+1)$ if and only if $G$ admits a $(2k+1)$-coloring. We also show that it is NP-complete to determine whether an oriented (sparse) graph admits a pushable homomorphism to a directed odd cycle or not.

math.CO

Density of $3$-critical signed graphs

We say that a signed graph is $k$-critical if it is not $k$-colorable but every one of its proper subgraphs is $k$-colorable. Using the definition of colorability due to Naserasr, Wang, and Zhu that extends the notion of circular colorability, we prove that every $3$-critical signed graph on $n$ vertices has at least $\frac{3n-1}{2}$ edges, and that this bound is asymptotically tight. It follows that every signed planar or projective-planar graph of girth at least $6$ is (circular) $3$-colorable, and for the projective-planar case, this girth condition is best possible. To prove our main result, we reformulate it in terms of the existence of a homomorphism to the signed graph $C_{3}^*$, which is the positive triangle augmented with a negative loop on each vertex.

math.CO

Cops and robber on variants of retracts and subdivisions of oriented graphs

\textsc{Cops and Robber} is one of the most studied two-player pursuit-evasion games played on graphs, where multiple \textit{cops}, controlled by one player, pursue a single \textit{robber}. The main parameter of interest is the \textit{cop number} of a graph, which is the minimum number of cops that can ensure the \textit{capture} of the robber. \textsc{Cops and Robber} is also well-studied on directed/oriented graphs. In directed graphs, two kinds of moves are defined for players: \textit{strong move}, where a player can move both along and against the orientation of an arc to an adjacent vertex; and \textit{weak move}, where a player can only move along the orientation of an arc to an \textit{out-neighbor}. We study three variants of \textsc{Cops and Robber} on oriented graphs: \textit{strong cop model}, where the cops can make strong moves while the robber can only make weak moves; \textit{normal cop model}, where both cops and the robber can only make weak moves; and \textit{weak cop model}, where the cops can make weak moves while the robber can make strong moves. We study the cop number of these models with respect to several variants of retracts on oriented graphs and establish that the strong and normal cop number of an oriented graph remains invariant in their strong and distributed retracts, respectively. Next, we go on to study all three variants with respect to the subdivisions of graphs and oriented graphs. Finally, we establish that all these variants remain computationally difficult even when restricted to the class of 2-degenerate bipartite graphs.

math.CO

On coloring parameters of triangle-free planar $(n,m)$-graphs

An $(n,m)$-graph is a graph with $n$ types of arcs and $m$ types of edges. A homomorphism of an $(n,m)$-graph $G$ to another $(n,m)$-graph $H$ is a vertex mapping that preserves the adjacencies along with their types and directions. The order of a smallest (with respect to the number of vertices) such $H$ is the $(n,m)$-chromatic number of $G$.Moreover, an $(n,m)$-relative clique $R$ of an $(n,m)$-graph $G$ is a vertex subset of $G$ for which no two distinct vertices of $R$ get identified under any homomorphism of $G$. The $(n,m)$-relative clique number of $G$, denoted by $\omega_{r(n,m)}(G)$, is the maximum $|R|$ such that $R$ is an $(n,m)$-relative clique of $G$. In practice, $(n,m)$-relative cliques are often used for establishing lower bounds of $(n,m)$-chromatic number of graph families. Generalizing an open problem posed by Sopena [Discrete Mathematics 2016] in his latest survey on oriented coloring, Chakroborty, Das, Nandi, Roy and Sen [Discrete Applied Mathematics 2022] conjectured that $\omega_{r(n,m)}(G) \leq 2 (2n+m)^2 + 2$ for any triangle-free planar $(n,m)$-graph $G$ and that this bound is tight for all $(n,m) \neq (0,1)$.In this article, we positively settle this conjecture by improving the previous upper bound of $\omega_{r(n,m)}(G) \leq 14 (2n+m)^2 + 2$ to $\omega_{r(n,m)}(G) \leq 2 (2n+m)^2 + 2$, and by finding examples of triangle-free planar graphs that achieve this bound. As a consequence of the tightness proof, we also establish a new lower bound of $2 (2n+m)^2 + 2$ for the $(n,m)$-chromatic number for the family of triangle-free planar graphs.

math.CO

On $(n,m)$-chromatic numbers of graphs having bounded sparsity parameters

An $(n,m)$-graph is characterised by having $n$ types of arcs and $m$ types of edges. A homomorphism of an $(n,m)$-graph $G$ to an $(n,m)$-graph $H$, is a vertex mapping that preserves adjacency, direction, and type. The $(n,m)$-chromatic number of $G$, denoted by $\chi_{n,m}(G)$, is the minimum value of $|V(H)|$ such that there exists a homomorphism of $G$ to $H$. The theory of homomorphisms of $(n,m)$-graphs have connections with graph theoretic concepts like harmonious coloring, nowhere-zero flows; with other mathematical topics like binary predicate logic, Coxeter groups; and has application to the Query Evaluation Problem (QEP) in graph database. In this article, we show that the arboricity of $G$ is bounded by a function of $\chi_{n,m}(G)$ but not the other way around. Additionally, we show that the acyclic chromatic number of $G$ is bounded by a function of $\chi_{n,m}(G)$, a result already known in the reverse direction. Furthermore, we prove that the $(n,m)$-chromatic number for the family of graphs with a maximum average degree less than $2+ \frac{2}{4(2n+m)-1}$, including the subfamily of planar graphs with girth at least $8(2n+m)$, equals $2(2n+m)+1$. This improves upon previous findings, which proved the $(n,m)$-chromatic number for planar graphs with girth at least $10(2n+m)-4$ is $2(2n+m)+1$. It is established that the $(n,m)$-chromatic number for the family $\mathcal{T}_2$ of partial $2$-trees is both bounded below and above by quadratic functions of $(2n+m)$, with the lower bound being tight when $(2n+m)=2$. We prove $14 \leq \chi_{(0,3)}(\mathcal{T}_2) \leq 15$ and $14 \leq \chi_{(1,1)}(\mathcal{T}_2) \leq 21$ which improves both known lower bounds and the former upper bound. Moreover, for the latter upper bound, to the best of our knowledge we provide the first theoretical proof.

math.CO

Counting the minimum number of arcs in an oriented graph having weak diameter 2

An oriented graph has weak diameter at most $d$ if every non-adjacent pair of vertices are connected by a directed $d$-path. The function $f_d(n)$ denotes the minimum number of arcs in an oriented graph on $n$ vertices having weak diameter $d$. Finding the exact value of $f_d(n)$ is a challenging problem even for $d = 2$. This function was introduced by Katona and Szemeredi (1967), and after that several attempts were made to find its exact value by Znam (1970), Dawes and Meijer (1987), Furedi, Horak, Pareek and Zhu (1998), and Kostochka, Luczak, Simonyi and Sopena (1999) through improving its best known bounds. In that process, it was proved that this function is asymptotically equal to $n\log_2 n$ and hence, is an asymptotically increasing function. However, the exact value and behaviour of this function was not known. In this article, we observe that the oriented graphs with weak diameter at most $2$ are precisely the absolute oriented cliques, that is, analogues of cliques for oriented graphs in the context of oriented coloring. Through studying arc-minimal absolute oriented cliques we prove that $f_2(n)$ is a strictly increasing function. Furthermore, we improve the best known upper bound of $f_2(n)$ and conjecture that our upper bound is tight. This improvement of the upper bound improves known bounds involving the oriented achromatic number.

cs.DM

On locating and neighbor-locating colorings of sparse graphs

A proper $k$-coloring of a graph $G$ is a \emph{neighbor-locating $k$-coloring} if for each pair of vertices in the same color class, the two sets of colors found in their respective neighborhoods are different. The \textit{neighbor-locating chromatic number} $\chi_{NL}(G)$ is the minimum $k$ for which $G$ admits a neighbor-locating $k$-coloring. A proper $k$-vertex-coloring of a graph $G$ is a \emph{locating $k$-coloring} if for each pair of vertices $x$ and $y$ in the same color-class, there exists a color class $S_i$ such that $d(x,S_i)\neq d(y,S_i)$. The locating chromatic number $\chi_{L}(G)$ is the minimum $k$ for which $G$ admits a locating $k$-coloring. Our main results concern the largest possible order of a sparse graph of given neighbor-locating chromatic number. More precisely, we prove that if $G$ has order $n$, neighbor-locating chromatic number $k$ and average degree at most $2a$, where $2a\le k-1$ is a positive integer, then $n$ is upper-bounded by $\mathcal{O}(a^2(k^{2a+1}))$. We also design a family of graphs of bounded maximum degree whose order is close to reaching this upper bound. Our upper bound generalizes two previous bounds from the literature, which were obtained for graphs of bounded maximum degree and graphs of bounded cycle rank, respectively. Also, we prove that determining whether $\chi_L(G)\le k$ and $\chi_{NL}(G)\le k$ are NP-complete for sparse graphs: more precisely, for graphs with average degree at most 7, maximum average degree at most 20 and that are $4$-partite. We also study the possible relation between the ordinary chromatic number, the locating chromatic number and the neighbor-locating chromatic number of a graph.

math.CO

Triangle-free projective-planar graphs with diameter two: domination and characterization

In 1975, Plesn\'ik characterized all triangle-free planar graphs as having a diameter $2$. We characterize all triangle-free projective-planar graphs having a diameter $2$ and discuss some applications. In particular, the main result is applied to calculate the analogue of clique numbers for graphs, namely, colored mixed graphs, having different types of arcs and edges.

math.CO

On homomorphism related parameters of oriented triangle-free planar graphs

The first major contribution of this work is proving that the oriented relative clique number of oriented triangle-free planar graphs is $10$, which completely answers and closes an open problem posed by Sopena (Discrete Mathematics 2016) in the most recent survey on oriented colorings. The second major contribution of the paper is to prove that if all oriented triangle-free planar graphs admit a homomorphism to a particular oriented graph $\overrightarrow{T}$, then its underlying graph $T$ must have minimum degree at least $10$. This result implies that, for the family of oriented triangle-free planar graphs, the lower bounds of the parameters oriented chromatic number, pushable chromatic number, $2$-dipath $L(p,1)$-labeling span, and oriented $L(p,1)$-labeling span are at least $11$, $6$, $p+8$, and $2p+8$, respectively, where $p \geq 1$. That is, we are able to obtain improved lower bounds of a number of other parameters restricted to the family of oriented triangle-free planar graphs using our second major contribution.

cs.DM