graph
35367 papers tagged with this keyword
On the path partition of graphs
Published
• View Publication
• BIB
Let $G$ be a graph of order $n$. The maximum and minimum degree of $G$ are denoted by $Δ$ and $δ$ respectively.
The \emph{path partition number} $μ(G)$ of a graph $G$ is the minimum number of paths needed to partition the vertices of $G$. Magnant, Wang and Yuan conjectured that $μ(G)\leq \max \left \{ \frac{n}{δ+1}, \frac{\left( Δ-δ\right) n}{\left( Δ+δ\right) }\right \} .$ In this work, we give a positive answer to this conjecture, for $ Δ\geq 2 δ$.\medskip \end{abstract}
Positive co-degree Turán number for $C_5$ and $C_5^{-}$
Published
• View Publication
• BIB
The \emph{minimum positive co-degree} $δ^{+}_{r-1}(H)$ of a non-empty $r$-graph $H$ is the maximum $k$ such that if $S$ is an $(r-1)$-set contained in a hyperedge of $H$, then $S$ is contained in at least $k$ hyperedges of $H$. For any $r$-graph $F$, the \emph{positive degree Turán number} $\mathrm{co}^{+}\mathrm{ex}(n,F)$ is defined as the maximum value of $δ^{+}_{r-1}(H)$ over all $n$-vertex $F$-free non-empty $r$-graphs $H$. In this paper, we determine the positive degree Turán number for $C_5$ and $C_5^{-}$.
Storage codes on coset graphs with asymptotically unit rate
Published
• View Publication
• BIB
A storage code on a graph $G$ is a set of assignments of symbols to the vertices such that every vertex can recover its value by looking at its neighbors. We consider the question of constructing large-size storage codes on triangle-free graphs constructed as coset graphs of binary linear codes. Previously it was shown that there are infinite families of binary storage codes on coset graphs with rate converging to 3/4. Here we show that codes on such graphs can attain rate asymptotically approaching 1. Equivalently, this question can be phrased as a version of hat-guessing games on graphs (e.g., P.J. Cameron e.a., \emph{Electronic J. Comb.} 2016). In this language, we construct triangle-free graphs with success probability of the players approaching one as the number of vertices tends to infinity. Furthermore, finding linear index codes of rate approaching zero is also an equivalent problem. Another family of storage codes on triangle-free graphs of rate approaching 1 was constructed earlier by A. Golovnev and I. Haviv (36th Computational Complexity Conf., 2021) relying on a different family of graphs.
Some structural and enumerative aspects of discrete surfaces and PL-manifolds
This manuscript recounts some of the author's contributions to algebraic and enumerative combinatorics. We have focused on two types of generalizations of bipartite maps, which are bipartite graphs embedded on surfaces. Maps are known to appear in many areas of theoretical physics and discrete mathematics, but one key interest for fundamental computer science is how multi-facetted they are in the sense that multiple encodings exist which are not interchangeable, like Tutte's/loop equations, the topological recursion, the KP hierarchy and numerous bijections which made the field so rich. One generalization we considered is weighted Hurwitz numbers, including constellations, monotone Hurwitz numbers and the unoriented versions of Chapuy-Dołęga. We have investigated whether some universal structures of maps lift to weighted Hurwitz numbers, such that the topological recursion (it does, for oriented, double, weighted Hurwitz numbers), and the passage from the KP to the BKP hierarchy for some unoriented weighted Hurwitz numbers (like monotone ones). The other generalization of bipartite maps we considered is colored triangulations in dimensions three and higher. They provide a nice meeting ground for topology and combinatorics, where universality classes above dimension 2 can be investigated. In particular, we found that the gluings of 3-balls which maximize the number of edges at fixed number of tetrahedra are in bijection with trees. In even dimensions however, we found that more universality classes can be reached depending on the choice of building blocks. We also wondered whether some of the universal structures featured by maps lift to higher dimensions. In particular, we proved instances of the scheme decomposition in three-dimensional models and maps decorated with crossing loops, and we proved the blobbed topological recursion with only mild assumptions.
Matching Cuts in Graphs of High Girth and H-Free Graphs
Published
• View Publication
• BIB
The (Perfect) Matching Cut problem is to decide if a connected graph has a (perfect) matching that is also an edge cut. The Disconnected Perfect Matching problem is to decide if a connected graph has a perfect matching that contains a matching cut. Both Matching Cut and Disconnected Perfect Matching are NP-complete for planar graphs of girth 5, whereas Perfect Matching Cut is known to be NP-complete even for subcubic bipartite graphs of arbitrarily large fixed girth. We prove that Matching Cut and Disconnected Perfect Matching are also NP-complete for bipartite graphs of arbitrarily large fixed girth and bounded maximum degree. Our result for Matching Cut resolves a 20-year old open problem. We also show that the more general problem $d$-Cut, for every fixed $d \geq 1$, is NP-complete for bipartite graphs of arbitrarily large fixed girth and bounded maximum degree. Furthermore, we show that Matching Cut, Perfect Matching Cut and Disconnected Perfect Matching are NP-complete for $H$-free graphs whenever $H$ contains a connected component with two vertices of degree at least 3. Afterwards, we update the state-of-the-art summaries for $H$-free graphs and compare them with each other, and with a known and full classification of the Maximum Matching Cut problem, which is to determine a largest matching cut of a graph $G$. Finally, by combining existing results, we obtain a complete complexity classification of Perfect Matching Cut for $H$-subgraph-free graphs where $H$ is any finite set of graphs.
Deletion-Contraction and the Surface Tutte Polynomial
Published
• View Publication
• BIB
In this paper we unify two families of topological Tutte polynomials. The first family is that coming from the surface Tutte polynomial, a polynomial that arises in the theory of local flows and tensions. The second family arises from the canonical Tutte polynomials of Hopf algebras. Each family includes the Las Vergnas, Bollobás-Riordan, and Krushkal polynomials. As a consequence we determine a deletion-contraction definition of the surface Tutte polynomial and recursion relations for the number of local flows and tensions in an embedded graph.
Bakry-Émery curvature sharpness and curvature flow in finite weighted graphs. II. Implementation
Published
• View Publication
• BIB
In this second part of a sequence of two papers, we discuss the implementation of a curvature flow on weighted graphs based on the Bakry-Émery calculus. This flow can be adapted to preserve the Markovian property and its limits as time goes to infinity turn out to be curvature sharp weighted graphs. After reviewing some of the main results of the first paper concerned with the theoretical aspects, we present various examples (random graphs, paths, cycles, complete graphs, wedge sums and Cartesian products of complete graphs, hypercubes) and exhibit further properties of this flow. One particular aspect in our investigations is asymptotic stability and instability of curvature flow equilibria. The paper ends with a description of the available Python functions and routines available in the ancillary file. We hope that the explanations of the Python implementation via examples will help users to carry out their own curvature flow experiments.
On closed distance magic circulants of valency up to $5$
Let $Γ=(V,E)$ be a graph of order $n$. A {\em closed distance magic labeling} of $Γ$ is a bijection $\ell : V \to \{1,2, \ldots, n\}$ for which there exists a positive integer $r$ such that $\sum_{x \in N[u]} \ell(x) = r$ for all vertices $u \in V$, where $N[u]$ is the closed neighborhood of $u$. A graph is said to be {\em closed distance magic} if it admits a closed distance magic labeling.
In this paper, we classify all connected closed distance magic circulants with valency at most $5$, that is, Cayley graphs $\operatorname{Cay}(\mathbb{Z}_n;S)$ where $|S| \le 5$ and $S$ generates $\mathbb{Z}_n$.
Hosoya properties of power graphs over certain groups
The power graph denoted by $\mathcal{P}(\mathcal{G})$ of a finite group $\mathcal{G}$ is a graph with vertex set $\mathcal{G}$ and there is an edge between two distinct elements $u, v \in \mathcal{G}$ if and only if $u^m = v$ or $v^m = u$ for some $m \in \mathbb{N}$. Depending on the distance, the Hosoya polynomial contains a lot of knowledge about graph invariants which can be used to determine well-known chemical descriptors. The Hosoya index of a graph $Γ$ is the total number of matchings in $Γ$. In this article, the Hosoya properties of the power graphs associated with a finite group, including the Hosoya index, Hosoya polynomial, and its reciprocal are calculated.
Cofibration category of digraphs for path homology
Published in Algebr. Comb. 7 (2024), no. 2, 475-514
• View Publication
• BIB
We prove that the category of directed graphs and graph maps carries a cofibration category structure in which the weak equivalences are the graph maps inducing isomorphisms on path homology.
An Algebraic Approach for Counting DP-3-colorings of Sparse Graphs
Published
• View Publication
• BIB
DP-coloring (or correspondence coloring) is a generalization of list coloring that has been widely studied since its introduction by Dvořák and Postle in 2015. As the analogue of the chromatic polynomial of a graph $G$, $P(G,m)$, and the list color function, $P_{\ell}(G,m)$, the DP color function of $G$, denoted by $P_{DP}(G,m)$, counts the minimum number of DP-colorings over all possible $m$-fold covers. It follows that $P_{DP}(G,m) \le P_{\ell}(G,m) \le P(G,m)$. A function $f$ is chromatic-adherent if for every graph $G$, $f(G,a) = P(G,a)$ for some $a \geq χ(G)$ implies that $f(G,m) = P(G,m)$ for all $m \geq a$. It is known that the DP color function is not chromatic-adherent, but there are only two known graphs that demonstrate this. Suppose $G$ is an $n$-vertex graph and $\mathcal{H}$ is a 3-fold cover of $G$, in this paper we associate with $\mathcal{H}$ a polynomial $f_{G, \mathcal{H}} \in \mathbb{F}_3[x_1, \ldots, x_n]$ so that the number of non-zeros of $f_{G, \mathcal{H}}$ equals the number of $\mathcal{H}$-colorings of $G$. We then use a well-known result of Alon and Füredi on the number of non-zeros of a polynomial to establish a non-trivial lower bound on $P_{DP}(G,3)$ when $2n > |E(G)|$. An easy consequence of this is that $P_{DP}(G, 3) \geq 3^{n/6}$ for every $n$-vertex planar graph $G$ of girth at least 5, improving the previously known bounds on both $P_{DP}(G, 3)$ and $P_{\ell}(G, 3)$. Finally, we use this bound to show that there are infinitely many graphs that demonstrate the non-chromatic-adherence of the DP color function.
Equi-isoclinic subspaces, covers of the complete graph, and complex conference matrices
Published
• View Publication
• BIB
In 1992, Godsil and Hensel published a ground-breaking study of distance-regular antipodal covers of the complete graph that, among other things, introduced an important connection with equi-isoclinic subspaces. This connection seems to have been overlooked, as many of its immediate consequences have never been detailed in the literature. To correct this situation, we first describe how Godsil and Hensel's machine uses representation theory to construct equi-isoclinic tight fusion frames. Applying this machine to Mathon's construction produces $q+1$ planes in $\mathbb{R}^{q+1}$ for any even prime power $q>2$. Despite being an application of the 30-year-old Godsil-Hensel result, infinitely many of these parameters have never been enunciated in the literature. Following ideas from Et-Taoui, we then investigate a fruitful interplay with complex symmetric conference matrices.
Treewidth, Circle Graphs and Circular Drawings
Published
• View Publication
• BIB
A circle graph is an intersection graph of a set of chords of a circle. We describe the unavoidable induced subgraphs of circle graphs with large treewidth. This includes examples that are far from the `usual suspects'. Our results imply that treewidth and Hadwiger number are linearly tied on the class of circle graphs, and that the unavoidable induced subgraphs of a vertex-minor-closed class with large treewidth are the usual suspects if and only if the class has bounded rank-width. Using the same tools, we also study the treewidth of graphs $G$ that have a circular drawing whose crossing graph is well-behaved in some way. In this setting, we show that if the crossing graph is $K_t$-minor-free, then $G$ has treewidth at most $12t-23$ and has no $K_{2,4t}$-topological minor. On the other hand, we show that there are graphs with arbitrarily large Hadwiger number that have circular drawings whose crossing graphs are $2$-degenerate.
Extremed signed graphs for triangle
In this paper, we study the Turán problem of signed graphs version. Suppose that $\dot{G}$ is a connected unbalanced signed graph of order $n$ with $e(\dot{G})$ edges and $e^-(\dot{G})$ negative edges, and let $ρ(\dot{G})$ be the spectral radius of $\dot{G}.$ The signed graph $\dot{G}^{s,t}$ ($s+t=n-2$) is obtained from an all-positive clique $(K_{n-2},+)$ with $V(K_{n-2})=\{u_1,\dots,u_s,v_1,\dots,v_t\}$ ($s,t\ge 1$) and two isolated vertices $u$ and $v$ by adding negative edge $uv$ and positive edges $uu_1,\dots,uu_s,vv_1,\dots,vv_t.$ Firstly, we prove that if $\dot{G}$ is $C_3^-$-free, then $e(\dot{G})\le \frac{n(n-1)}{2}-(n-2),$ with equality holding if and only if $\dot{G}\sim \dot{G}^{s,t}.$ Moreover, $e^-(\dot{G}^{s,t})\le \lfloor\frac{n-2}{2}\rfloor\lceil\frac{n-2}{2}\rceil+n-2,$ with equality holding if and only if $\dot{G}^{s,t}= \dot{G}_U^{\lfloor\frac{n-2}{2}\rfloor,\lceil\frac{n-2}{2}\rceil},$ where $\dot{G}_U^{\lfloor\frac{n-2}{2}\rfloor,\lceil\frac{n-2}{2}\rceil}$ is obtained from $\dot{G}^{\lfloor\frac{n-2}{2}\rfloor,\lceil\frac{n-2}{2}\rceil}$ by switching at vertex set $U=\{v,u_1,\dots,u_{\lfloor\frac{n-2}{2}\rfloor}\}.$ Secondly, we prove that if $\dot{G}$ is $C_3^-$-free, then $ρ(\dot{G})\le \frac{1}{2}( \sqrt{ n^2-8}+n-4),$ with equality holding if and only if $\dot{G}\sim \dot{G}^{1,n-3}.$
Bounding the multiplicities of eigenvalues of graph matrices in terms of circuit rank using a new approach
Published
• View Publication
• BIB
Let $G$ be a simple undirected graph, $θ(G)$ be the circuit rank of $G$, $η_M(G)$ and $m_M(G,λ)$ be the nullity and the multiplicity of eigenvalue $λ$ of a graph matrix $M(G)$, respectively. In the case $M(G)$ is the adjacency matrix $A(G)$, (the Laplacian matrix $L(G)$, the signless Laplacian matrix $Q(G)$) we find bounds to $m_M(G,λ)$ in terms of $θ(G)$ when $λ$ is an integer (even integer, respectively). We also show that when $α$ and $λ$ are rational numbers similar bounds can be found for $m_{A_α}(G,λ)$ where $A_α(G)$ is the generalized adjaceny matrix of $G$. Our bounds contain only $θ(G)$, not a multiple of it. Up to now only bounds of $m_A(G,λ)$ (and later $m_{A_α}(G,λ)$) have been found in terms of the circuit rank and all of them contains $2θ(G)$. There is only one exception in the case $λ=0$. Wong et al. (2022) showed that $η_A(G_c)\leq θ(G_c)+1$, where $G_c$ is a connected cactus whose blocks are even cycles. Our result, in particular, generalizes and extends this result to the multiplicity of any even eigenvalue of A(G) of any even connected graph $G$, and of any even eigenvalue of $L(G)$ and $Q(G)$ of any connected graph $G$. They also showed that $η_A(G_c)\leq 1$ when every block of the cactus is an odd cycle. This also corresponds a special case of our bound.
Best possible bounds on the double-diversity of intersecting hypergraphs
Published in Comb. Number Th. 14 (2025) 91-112
• View Publication
• BIB
For a family $\mathcal{F}\subset \binom{[n]}{k}$ and two elements $x,y\in [n]$ define $\mathcal{F}(\bar{x},\bar{y})=\{F\in \mathcal{F}\colon x\notin F,\ y\notin F\}$. The double-diversity $γ_2(\mathcal{F})$ is defined as the minimum of $|\mathcal{F}(\bar{x},\bar{y})|$ over all pairs $x,y$. Let $\mathcal{L}\subset\binom{[7]}{3}$ consist of the seven lines of the Fano plane. For $n\geq 7$, $k\geq 3$ one defines the Fano $k$-graph $\mathcal{F}_{\mathcal{L}}$ as the collection of all $k$-subsets of $[n]$ that contain at least one line. It is proven that for $n\geq 13k^2$ the Fano $k$-graph is the essentially unique family maximizing the double diversity over all $k$-graphs without a pair of disjoint edges. Some similar, although less exact results are proven for triple and higher diversity as well.
Perfect State Transfer in Arbitrary Distance
Published
• View Publication
• BIB
Quantum Perfect State Transfer (PST) is a fundamental tool of quantum communication in a network. It is considered a rare phenomenon. The original idea of PST depends on the fundamentals of the continuous-time quantum walk. A path graph with at most three vertices allows PST. Based on the Markovian quantum walk, we introduce a significantly powerful method for PST in this article. We establish PST between the extreme vertices of a path graph of arbitrary length. Moreover, any pair of vertices $j$ and $n - j - 1$ in a path graph with $n$ vertices allow PST for $0 \leq j < \frac{n - 1}{2}$. Also, no cycle graph with more than $4$ vertices does not allow PST based on the continuous-time quantum walk. In contrast, we establish PSTs based on Markovian quantum walk between the pair of vertices $j$ and $j + m$ for $j = 0, 1, \dots (m - 1)$ in a cycle graph with $2m$ vertices.
Minimal counterexamples to Hendrickson's conjecture on globally rigid graphs
Published in Examples and Counterexamples, 2023
• View Publication
• BIB
In this paper we consider the class of graphs which are redundantly $d$-rigid and $(d+1)$-connected but not globally $d$-rigid, where $d$ is the dimension. This class arises from counterexamples to a conjecture by Bruce Hendrickson. It seems that there are relatively few graphs in this class for a given number of vertices. Using computations we show that $K_{5,5}$ is indeed the smallest counterexample to the conjecture.
Bridge Girth: A Unifying Notion in Network Design
Published
• View Publication
• BIB
A classic 1993 paper by Althőfer et al. proved a tight reduction from spanners, emulators, and distance oracles to the extremal function $γ$ of high-girth graphs. This paper initiated a large body of work in network design, in which problems are attacked by reduction to $γ$ or the analogous extremal function for other girth concepts. In this paper, we introduce and study a new girth concept that we call the bridge girth of path systems, and we show that it can be used to significantly expand and improve this web of connections between girth problems and network design. We prove two kinds of results:
1) We write the maximum possible size of an $n$-node, $p$-path system with bridge girth $>k$ as $β(n, p, k)$, and we write a certain variant for "ordered" path systems as $β^*(n, p, k)$. We identify several arguments in the literature that implicitly show upper or lower bounds on $β, β^*$, and we provide some polynomially improvements to these bounds. In particular, we construct a tight lower bound for $β(n, p, 2)$, and we polynomially improve the upper bounds for $β(n, p, 4)$ and $β^*(n, p, \infty)$.
2) We show that many state-of-the-art results in network design can be recovered or improved via black-box reductions to $β$ or $β^*$. Examples include bounds for distance/reachability preservers, exact hopsets, shortcut sets, the flow-cut gaps for directed multicut and sparsest cut, an integrality gap for directed Steiner forest.
We believe that the concept of bridge girth can lead to a stronger and more organized map of the research area. Towards this, we leave many open problems, related to both bridge girth reductions and extremal bounds on the size of path systems with high bridge girth.
Invertibility of digraphs and tournaments
Published in SIAM Journal on Discrete Mathematics, 38: 327-347 (2024)
• View Publication
• BIB
For an oriented graph $D$ and a set $X\subseteq V(D)$, the inversion of $X$ in $D$ is the digraph obtained by reversing the orientations of the edges of $D$ with both endpoints in $X$. The inversion number of $D$, $\textrm{inv}(D)$, is the minimum number of inversions which can be applied in turn to $D$ to produce an acyclic digraph. Answering a recent question of Bang-Jensen, da Silva, and Havet we show that, for each $k\in\mathbb{N}$ and tournament $T$, the problem of deciding whether $\textrm{inv}(T)\leq k$ is solvable in time $O_k(|V(T)|^2)$, which is tight for all $k$. In particular, the problem is fixed-parameter tractable when parameterised by $k$. On the other hand, we build on their work to prove their conjecture that for $k\geq 1$ the problem of deciding whether a general oriented graph $D$ has $\textrm{inv}(D)\leq k$ is NP-complete. We also construct oriented graphs with inversion number equal to twice their cycle transversal number, confirming another conjecture of Bang-Jensen, da Silva, and Havet, and we provide a counterexample to their conjecture concerning the inversion number of so-called 'dijoin' digraphs while proving that it holds in certain cases. Finally, we asymptotically solve the natural extremal question in this setting, improving on previous bounds of Belkhechine, Bouaziz, Boudabbous, and Pouzet to show that the maximum inversion number of an $n$-vertex tournament is $(1+o(1))n$.