graph
35252 papers tagged with this keyword
A study on $T$-equivalent graphs
Published
• View Publication
• BIB
In his article [J. Comb. Theory Ser. B 16 (1974), 168-174], Tutte called two graphs $T$-equivalent (i.e., codichromatic) if they have the same Tutte polynomial and showed that graphs $G$ and $G'$ are $T$-equivalent if $G'$ is obtained from $G$ by flipping a rotor (i.e., replacing it by its mirror) of order at most $5$, where a rotor of order $k$ in $G$ is an induced subgraph $R$ having an automorphism $ψ$ with a vertex orbit $\{ψ^i(u): i\ge 0\}$ of size $k$ such that every vertex of $R$ is only adjacent to vertices in $R$ unless it is in this vertex orbit. In this article, we first show the above result due to Tutte can be extended to a rotor $R$ of order $k\ge 6$ if the subgraph of $G$ induced by all those edges of $G$ which are not in $R$ satisfies certain conditions. Also, we provide a new method for generating infinitely many non-isomorphic $T$-equivalent pairs of graphs.
Tiling $H$ in dense graphs
We determine asymptotically the two extremal constructions for the tiling problem of the $H$-shaped tree. In particular, the first extremal construction is close to the complement of two cliques, in contrast to previously studied bipartite graphs, where the first extremal construction is close to the complement of a single clique. This result refutes one of Lang's conjectures [arXiv:2308.12281], which seeks to generalize the Erdős Matching Conjecture.
Newton-Okounkov bodies obtained from certain orbits of plabic graphs
We investigate the plabic graphs corresponding to the quadrilateral Postnikov arrangements used by J.Scott to equip the homogeneous coordinate rings of Grassmannians with a cluster structure. More precisely we describe their orbits under the natural action of the dihedral group and show that the associated Newton-Okounkov bodies are all unimodular equivalent to Gelfand-Tsetlin polytopes.
Extremal distance spectra of graphs and essential connectivity
Published
• View Publication
• BIB
A graph is non-trivial if it contains at least one nonloop edge. The essential connectivity of $G$, denoted by $κ'(G)$, is the minimum number of vertices of $G$ whose removal produces a disconnected graph with at least two components are non-trivial. In this paper, we determine the $n$-vertex graph of given essential connectivity with minimum distance spectral radius. We also characterize the extremal graphs attaining the minimum distance spectral radius among all connected graphs with fixed essential connectivity and minimum degree. Furthermore, we characterize the extremal digraphs with minimum distance spectral radius among the strongly connected digraphs with given essential connectivity.
Excluding a rectangular grid
For every positive integer $k$, we define the $k$-treedepth as the largest graph parameter $\mathrm{td}_k$ satisfying (i) $\mathrm{td}_k(\emptyset)=0$; (ii) $\mathrm{td}_k(G) \leq 1+ \mathrm{td}_k(G-u)$ for every graph $G$ and every vertex $u \in V(G)$; and (iii) if $G$ is a $(<k)$-clique-sum of $G_1$ and $G_2$, then $\mathrm{td}_k(G) \leq \max \{\mathrm{td}_k(G_1),\mathrm{td}_k(G_2)\}$, for all graphs $G_1,G_2$. This parameter coincides with treedepth if $k=1$, and with treewidth plus $1$ if $k \geq |V(G)|$. We prove that for every positive integer $k$, a class of graphs $\mathcal{C}$ has bounded $k$-treedepth if and only if there is a positive integer $\ell$ such that for every tree $T$ on $k$ vertices, no graph in $\mathcal{C}$ contains $T \square P_\ell$ as a minor. This implies for $k=1$ that a minor-closed class of graphs has bounded treedepth if and only if it excludes a path, for $k=2$ that a minor-closed class of graphs has bounded $2$-treedepth if and only if it excludes as a minor a ladder (Huynh, Joret, Micek, Seweryn, and Wollan; Combinatorica, 2021), and for large values of $k$ that a minor-closed class of graphs has bounded treewidth if and only if it excludes a grid (Grid-Minor Theorem, Robertson and Seymour; JCTB, 1986). As a corollary, we obtain the following qualitative strengthening of the Grid-Minor Theorem in the case of bounded-height grids. For all positive integers $k, \ell$, every graph that does not contain the $k \times \ell$ grid as a minor has $(2k-1)$-treedepth at most a function of $(k, \ell)$.
Forcing Quasirandomness in a Regular Tournament
Published
• View Publication
• BIB
A tournament $H$ is said to force quasirandomness if it has the property that a sequence $(T_n)_{n\in \mathbb{N}}$ of tournaments of increasing orders is quasirandom if and only if the homomorphism density of $H$ in $T_n$ tends to $(1/2)^{\binom{v(H)}{2}}$ as $n\to\infty$. It was recently shown that there is only one non-transitive tournament with this property. This is in contrast to the analogous problem for graphs, where there are numerous graphs that are known to force quasirandomness and the well known Forcing Conjecture suggests that there are many more. To obtain a richer family of characterizations of quasirandomness in tournaments, we propose a variant in which the tournaments $(T_n)_{n\in \mathbb{N}}$ are assumed to be "nearly regular." We characterize the tournaments on at most 5 vertices which force quasirandomness under this stronger assumption.
Antidirected trees in directed graphs
The Komlós-Sárközy-Szemerédi (KSS) theorem establishes that a certain bound on the minimum degree of a graph guarantees it contains all bounded degree trees of the same order. Recently several authors put forward variants of this result, where the tree is of smaller order than the host graph, and the host graph also obeys a maximum degree condition. Also, Kathapurkar and Montgomery extended the KSS theorem to digraphs. We bring these two directions together by establishing minimum and maximum degree bounds for digraphs that ensure the containment of oriented trees of smaller order. Our result is restricted to balanced antidirected trees of bounded degree. More precisely, we show that for every $γ> 0$, $c\in\mathbb{R}$, $\ell\geq 2$ sufficiently large $n$ and all $k\geqγn$, the following holds for every $n$-vertex digraph $D$ and every balanced antidirected tree $T$ with $k$ arcs whose total maximum degree is bounded by $(\log n)^c$. If $D$ has a vertex of outdegree at least $(1+γ)(\ell -1)k$, a vertex of indegree at least $(1+γ)(\ell -1)k$ and minimum semidegree $δ^0(D)\geq\left(\frac{\ell}{2\ell -1}+γ\right)k$, then $D$ contains $T$.
Packing Dijoins in Weighted Chordal Digraphs
In a digraph, a dicut is a cut where all the arcs cross in one direction. A dijoin is a subset of arcs that intersects every dicut. Edmonds and Giles conjectured that in a weighted digraph, the minimum weight of a dicut is equal to the maximum size of a packing of dijoins. This has been disproved. However, the unweighted version conjectured by Woodall remains open. We prove that the Edmonds-Giles conjecture is true if the underlying undirected graph is chordal. We also give a strongly polynomial time algorithm to construct such a packing.
Semicomplete multipartite weakly distance-regular digraphs
Published
• View Publication
• BIB
A digraph is semicomplete multipartite if its underlying graph is a complete multipartite graph. As a special case of semicomplete multipartite digraphs, Jørgensen et al. \cite{JG14} initiated the study of doubly regular team tournaments. As a natural extension, we introduce doubly regular team semicomplete multipartite digraphs and show that such digraphs fall into three types. Furthermore, we give a characterization of all semicomplete multipartite commutative weakly distance-regular digraphs.
On generalizing cryptographic results to Sidon sets in $\mathbb{F}_2^n$
A Sidon set $S$ in $\mathbb{F}_2^n$ is a set such that $x+y=z+w$ has no solutions $x,y,z,w \in S$ with $x,y,z,w$ all distinct. In this paper, we prove various results on Sidon sets by using or generalizing known cryptographic results. In particular, we generalize known results on the Walsh transform of almost perfect nonlinear (APN) functions to Sidon sets. One such result is that we classify Sidon sets with minimal linearity as those that are $k$-covers. That is, Sidon sets with minimal linearity are those Sidon sets $S \subseteq \mathbb{F}_2^n$ such that there exists $k > 0$ such that for any $p \in \mathbb{F}_2^n \setminus S$, there are exactly $k$ subsets $\{x,y,z\} \subseteq S$ such that $x+y+z = p$. From this, we also classify $k$-covers by means of the Cayley graph of a particular Boolean function, and we construct the unique rank $3$ strongly regular graph with parameters $(2048, 276, 44, 36)$ as the Cayley graph of a Boolean function. Finally, by computing the linearity of a particular family of Sidon sets, we increase the best-known lower bound of the largest Sidon set in $\mathbb{F}_2^{4t+1}$ by $1$ for all $t \geq 4$.
Non-crossing $H$-graphs: a generalization of proper interval graphs admitting FPT algorithms
Published
• View Publication
• BIB
We prove new parameterized complexity results for the FO Model Checking problem on a well-known generalization of interval and circular-arc graphs: the class of $H$-graphs, for any fixed multigraph $H$. In particular, we research how the parameterized complexity differs between two subclasses of $H$-graphs: proper $H$-graphs and non-crossing $H$-graphs, each generalizing proper interval graphs and proper circular-arc graphs. We first generalize a known result of Bonnet et al. (IPEC 2022) from interval graphs to $H$-graphs, for any (simple) forest $H$, by showing that for such $H$, the class of $H$-graphs is delineated. This implies that for every hereditary subclass ${\cal D}$ of $H$-graphs, FO Model Checking is in FPT if ${\cal D}$ has bounded twin-width and AW[$*$]-hard otherwise. As proper claw-graphs have unbounded twin-width, this means that FO Model Checking is AW[$*$]-hard for proper $H$-graphs for certain forests $H$ like the claw. In contrast, we show that even for every multigraph $H$, non-crossing $H$-graphs have bounded proper mixed-thinness and hence bounded twin-width, and thus FO Model Checking is in FPT on non-crossing $H$-graphs when parameterized by $\Vert H \Vert+\ell$, where $\Vert H \Vert$ is the size of $H$ and $\ell$ is the size of a formula. It is known that a special case of FO Model Checking, Independent Set, is $\mathsf{W}[1]$-hard on $H$-graphs when parameterized by $\Vert H \Vert +k$, where $k$ is the size of a solution. We strengthen this $\mathsf{W}[1]$-hardness result to proper $H$-graphs. Hence, we solve, in two different ways, an open problem of Chaplick (Discrete Math. 2023), who asked about problems that can be solved faster for non-crossing $H$-graphs than for proper $H$-graphs.
Answering Related Questions
We introduce the meta-problem Sidestep$(Π, \mathsf{dist}, d)$ for a problem $Π$, a metric $\mathsf{dist}$ over its inputs, and a map $d: \mathbb N \to \mathbb R_+ \cup \{\infty\}$. A solution to Sidestep$(Π, \mathsf{dist}, d)$ on an input $I$ of $Π$ is a pair $(J, Π(J))$ such that $\mathsf{dist}(I,J) \leqslant d(|I|)$ and $Π(J)$ is a correct answer to $Π$ on input $J$. This formalizes the notion of answering a related question (or sidestepping the question), for which we give some practical and theoretical motivations, and compare it to the neighboring concepts of smoothed analysis, planted problems, and edition problems. Informally, we call hardness radius the ``largest'' $d$ such that Sidestep$(Π, \mathsf{dist}, d)$ is NP-hard. This framework calls for establishing the hardness radius of problems $Π$ of interest for the relevant distances $\mathsf{dist}$.
We exemplify it with graph problems and two distances $\mathsf{dist}_Δ$ and $\mathsf{dist}_e$ (the edge edit distance) such that $\mathsf{dist}_Δ(G,H)$ (resp. $\mathsf{dist}_e(G,H)$) is the maximum degree (resp. number of edges) of the symmetric difference of $G$ and $H$ if these graphs are on the same vertex set, and $+\infty$ otherwise. We show that the decision problems Independent Set, Clique, Vertex Cover, Coloring, Clique Cover have hardness radius $n^{\frac{1}{2}-o(1)}$ for $\mathsf{dist}_Δ$, and $n^{\frac{4}{3}-o(1)}$ for $\mathsf{dist}_e$, that Hamiltonian Cycle has hardness radius 0 for $\mathsf{dist}_Δ$, and somewhere between $n^{\frac{1}{2}-o(1)}$ and $n/3$ for $\mathsf{dist}_e$, and that Dominating Set has hardness radius $n^{1-o(1)}$ for $\mathsf{dist}_e$. We leave several open questions.
Strong isometric path complexity of graphs: Asymptotic minors, restricted holes, and graph operations
The (strong) isometric path complexity is a recently introduced graph invariant that captures how arbitrary isometric paths (i.e., shortest paths) of a graph can be viewed as a union of a few ``rooted" isometric paths (i.e., isometric paths with a common end-vertex).
We show that important graph classes studied in \emph{coarse graph theory} have bounded strong isometric path complexity. Let $U_t$ denote the graph obtained by adding a universal vertex to a path of $t-1$ edges. We show that the strong isometric path complexity of $U_t$-asymptotic minor-free graphs is bounded. This implies that $K_4^-$-asymptotic minor-free graphs, i.e., graphs that are quasi-isometric to a cactus [Fujiwara \& Papasoglu '23], have bounded strong isometric path complexity. On the other hand, $K_4$-minor-free graphs have unbounded strong isometric path complexity. Hence, for a graph $H$ on at most four vertices, $H$-asymptotic minor-free graphs have bounded (strong) isometric path complexity if and only if $H\not=K_4$.
We show that graphs whose all induced cycles of length at least 4 have the same length (also known as monoholed graphs as defined by [Cook et al., \textsc{JCTB '24}]) form a subclass of $U_4$-asymptotic minor-free graphs. Hence, the strong isometric path complexity of monoholed graphs is bounded. On the other hand, we show that even-hole free graphs have unbounded strong isometric path complexity.
We investigate which graph operations preserve strong isometric path complexity. We show that the strong isometric path complexity is preserved under the \emph{fixed power} and \emph{line graph} operators, two important graph operations.
We also show that the \emph{clique-sums} of finitely many graphs with strong isometric path complexity at most $k$, yield a graph with strong isometric path complexity at most $3k+18$.
Graphs that are quasi-isometric to graphs with bounded treewidth
In this paper, we characterise graphs that are quasi-isometric to graphs with bounded treewidth. Specifically, we prove that a graph is quasi-isometric to a graph with bounded treewidth if and only if it has a tree-decomposition where each bag consists of a bounded number of balls of bounded diameter. This result extends a characterisation by Berger and Seymour (2024) of graphs that are quasi-isometric to trees. Additionally, we characterise graphs that are quasi-isometric to graphs with bounded pathwidth and graphs that are quasi-isometric to graphs with bounded linewidth. As an application of these results, we show that graphs with bounded rank-width, graphs with bounded tree independence number, and graphs with bounded sim-width are quasi-isometric to graphs with bounded treewidth.
Improved bound on the number of cycle sets
Published
• View Publication
• BIB
The cycle set of a graph $G$ is the set consisting of all sizes of cycles in $G$. Answering a conjecture of Erdős and Faudree, Verstraëte showed that there are at most $2^{n - n^{1/10}}$ different cycle sets of graphs with $n$ vertices. We improve this bound to $2^{n - n^{1/2 - o(1)}}$. Our proof follows the general strategy of Verstraëte of reducing the problem to counting cycle sets of Hamiltonian graphs with many chords or a large maximum degree. The key new ingredients are near-optimal container lemmata for cycle sets of such graphs.
Graph colouring and Steenrod's problem for Stanley-Reisner rings
It is a classical problem in algebraic topology asked by Steenrod which graded rings occur as the cohomology ring of a space.
In this paper, we define an algebraic version of the graph colouring, span colouring, and observe the relation between span colourings and Steenrod's problem for graded Stanley-Reisner rings, in other words polynomial rings divided by an ideal generated by square-free monic monomials.
Word-representability of co-bipartite graph
Published
• View Publication
• BIB
A graph $G = (V, E)$ is word-representable, if there exists a word $w$ over the alphabet $V$ such that for letters $\{x,y\}\in V$, $x$ and $y$ alternate in $w$ if and only if $xy \in E$. A graph is co-bipartite if its complement is a bipartite graph. Therefore, the vertex set of a co-bipartite graph can be partitioned into two disjoint cliques.
The concept of word-representability for co-bipartite graphs has not yet been fully studied. In the book Words and Graphs written by Sergey Kitaev and Vadim Lozin, examples of co-bipartite graphs that are not word-representable are provided. The authors have stated that it remains an open problem to characterize word-representable co-bipartite graphs. It is known that taking the complement of word-representable graphs does not preserve their word-representability. In this paper, we first identify certain classes of bipartite graphs for which word-representation is preserved after the complement operation. We found that the complement of the path graphs, even cycle graphs and generalized crown graphs are also word-representable. Next, we aim to find word-representable co-bipartite graphs in which the size of one clique partition is fixed while the other one can vary. We studied the word-representability of co-bipartite graphs where the sizes of one clique partition are $2$ and $3$. We found that any co-bipartite graphs where the size of the one clique partition is $2$ are word-representable. Also, when the size of the one clique partition is $3$, we found certain co-bipartite graphs are word-representable. Additionally, for word-representable graphs, it has been established that a graph is word-representable if and only if it can be oriented in a specific manner, known as semi-transitive orientation. We provide the necessary and sufficient conditions for a co-bipartite graph to have a semi-transitive orientation.
p-Strong Roman Domination in Graphs
Domination in graphs is a widely studied field, where many different definitions have been introduced in the last years to respond to different network requirements. This paper presents a new dominating parameter based on the well-known strong Roman domination model. Given a positive integer $p$, we call a $p$-strong Roman domination function ($p$-StRDF) in a graph $G$ to a function $f:V(G)\rightarrow \{0,1,2, \ldots , \left\lceil \frac{Δ+p}{p} \right\rceil \}$ having the property that if $f(v)=0$, then there is a vertex $u\in N(v)$ such that $f(u) \ge 1+ \left\lceil \frac{ |B_0\cap N(u)|}{p} \right\rceil $, where $B_0$ is the set of vertices with label $0$. The $p$-strong Roman domination number $γ_{StR}^p(G)$ is the minimum weight (sum of labels) of a $p$-StRDF on $G$. We study the NP-completeness of the \emph{$p$-StRD}-problem, we also provide general and tight upper and lower bounds depending on several classical invariants of the graph and, finally, we determine the exact values for some families of graphs.
Cutwidth and Crossings
We provide theoretical insights around the cutwidth of a graph and the One-Sided Crossing Minimization (OSCM) problem. OSCM was posed in the Parameterized Algorithms and Computational Experiments Challenge 2024, where the cutwidth of the input graph was the parameter in the parameterized track. We prove an asymptotically sharp upper bound on the size of a graph in terms of its order and cutwidth. As the number of so-called unsuited pairs is one of the factors that determine the difficulty of an OSCM instance, we provide a sharp upper bound on them in terms of the order $n$ and the cutwidth of the input graph. If the cutwidth is bounded by a constant, this implies an $\mathcal{O}(2^n)$-time algorithm, while the trivial algorithm has a running time of $\mathcal{O}(2^{n^2})$. At last, we prove structural properties of the so-called crossing numbers in an OSCM instance.
The density of maximal IC-plane graphs and maximal NIC-plane graphs
In this paper, we show that any maximal IC-plane graph of order $n$ has at least $\left\lceil\frac{7}{3}n-\frac{14}{3}\right\rceil$ edges, and any maximal NIC-plane graph of order $n$ has at least $\left\lceil\frac{11}{5}n-\frac{18}{5}\right\rceil$ edges. Moreover, we show that both results are tight for infinitely many integers $n$.