graph
35299 papers tagged with this keyword
Large monochromatic components in hypergraphs with large minimum codegree
Published
• View Publication
• BIB
A result of Gyárfás says that for every $3$-coloring of the edges of the complete graph $K_n$, there is a monochromatic component of order at least $\frac{n}{2}$, and this is best possible when $4$ divides $n$. Furthermore, for all $k\geq 3$ and every $(k+1)$-coloring of the edges of the complete $k$-uniform hypergraph $K_n^{k}$, there is a monochromatic component of order at least $\frac{kn}{k+1}$ and this is best possible for all $n$.
Recently, Guggiari and Scott and independently Rahimi proved a strengthening of the graph case in the result above which says that the same conclusion holds if $K_n$ is replaced by any graph on $n$ vertices with minimum degree at least $\frac{5n}{6}-1$; furthermore, this bound on the minimum degree is best possible.
We prove a strengthening of the $k\geq 3$ case in the result above which says that the same conclusion holds if $K_n^k$ is replaced by any $k$-uniform hypergraph on $n$ vertices with minimum $(k-1)$-degree at least $\frac{kn}{k+1}-(k-1)$; furthermore, this bound on the $(k-1)$-degree is best possible.
A "network of networks" (from history to algebra)
Recall first the algebraic treatment of flows or tensions in a transportation network $N$, i.e. a connected antisymmetric 1-graph $G(X, U)$. Assume that, unusually, we take the values of flows (resp. tensions) in $\mathbb{C}$. So the algebraic lattices $Γ$ of flow (resp. tension) values associated to $G(X, U)$ are lattices of $\mathbb{C}$. These lattices are congruent modulo the action of the special linear group SL($2, \mathbb{C}$). Then, it is well known one can define a lattice function $G_{k}(Γ)$, as a modular function of weight $2k$, on the set $\mathcal{R}$ of all lattices of $\mathbb{C}$. Let now $N_{1}, N_{2}, ..., N_{p}$ be connected antisymmetric 1-graphs and $C_{n}$, the set of hermitian symmetric matrices $n \times n$. Let also $\mathcal{R'} $ be the set of all the lattices of $C_{n}$. The previous structure can be transposed to any $ n \times n $ symmetric hermitian matrices of flow (or tension) values of the $G_{i}$. In this case, the Siegel space $S_{n}= C_{n}$ replaces the Poincaré half-plane, and the symplectic group Sp$(2n, \mathbb{R})$ takes the place of the special linear group SL($2, \mathbb{C}$). We get now the new lattice function as a function of all the lattices of $S_{n}$, i.e. a model of the "network of networks" $\mathcal{R'}$. In the end, we study the tree of minimal length of $\mathcal{R'}$.
Edge Constrained Eulerian Extensions
Published
• View Publication
• BIB
In this paper we study Eulerian extensions with edge constraints and use the probabilistic method to establish sufficient conditions for a given connected graph to be a subgraph of a Eulerian graph containing $m$ edges, for a given number $m$.
Two spectral extremal results for graphs with given order and rank
Published
• View Publication
• BIB
The spectral radius and rank of a graph are defined to be the spectral radius and rank of its adjacency matrix, respectively. It is an important problem in spectral extremal graph theory to determine the extremal graph that has the maximum or minimum spectral radius over certain families of graphs. Monsalve and Rada [Extremal spectral radius of graphs with rank 4, Linear Algebra Appl. 609 (2021) 1-11] obtained the extremal graphs with maximum and minimum spectral radii among all graphs with order n and rank 4. In this paper, we first determine the extremal graph which attains the maximum spectral radius among all graphs with any given order n and rank r, and further determine the extremal graph which attains the minimum spectral radius among all graphs with order n and rank 5.
Application of Causal Inference Techniques to the Maximum Weight Independent Set Problem
A powerful technique for solving combinatorial optimization problems is to reduce the search space without compromising the solution quality by exploring intrinsic mathematical properties of the problems. For the maximum weight independent set (MWIS) problem, using an upper bound lemma which says the weight of any independent set not contained in the MWIS is bounded from above by the weight of the intersection of its closed neighbor set and the MWIS, we give two extension theorems -- independent set extension theorem and vertex cover extension theorem. With them at our disposal, two types of causal inference techniques (CITs) are proposed on the assumption that a vertex is strongly reducible (included or not included in all MWISs) or reducible (contained or not contained in a MWIS). One is a strongly reducible state-preserving technique, which extends a strongly reducible vertex into a vertex set where all vertices have the same strong reducibility. The other, as a reducible state-preserving technique, extends a reducible vertex into a vertex set with the same reducibility as that vertex and creates some weighted packing constraints to narrow the search space. Numerical experiments show that our CITs can help reduction algorithms find much smaller remaining graphs, improve the ability of exact algorithms to find the optimal solutions and help heuristic algorithms produce approximate solutions of better quality. In particular, detailed tests on $12$ representative graphs generated from datasets in Network Data Repository demonstrate that, compared to the state-of-the-art algorithms, the size of remaining graphs is further reduced by more than 32.6%, and the number of solvable instances is increased from 1 to 5.
Primal-Dual Cops and Robber
Published in Computing in Geometry and Topology, 3(2), 4:1-4:12 (2024)
• View Publication
• BIB
Cops and Robber is a family of two-player games played on graphs in which one player controls a number of cops and the other player controls a robber. In alternating turns, each player moves (all) their figures. The cops try to capture the robber while the latter tries to flee indefinitely. In this paper we consider a variant of the game played on a planar graph where the robber moves between adjacent vertices while the cops move between adjacent faces. The cops capture the robber if they occupy all incident faces. We prove that a constant number of cops suffices to capture the robber on any planar graph of maximum degree $Δ$ if and only if $Δ\leq 4$.
Generalized Turán problem with bounded matching number
Published
• View Publication
• BIB
For a graph $T$ and a set of graphs $\mathcal{H}$, let $\mbox{ex}(n,T,\mathcal{H})$ denote the maximum number of copies of $T$ in an $n$-vertex $\mathcal{H}$-free graph. Recently, Alon and Frankl~(arXiv2210.15076) determined the exact value of $\mbox{ex}(n,K_2,\{K_{k+1},M_{s+1}\})$, where $K_{k+1}$ and $M_{s+1}$ are complete graph on $k+1$ vertices and matching of size $s+1$, respectively. Soon after, Gerbner~(arXiv2211.03272) continued the study by extending $K_{k+1}$ to general fixed graph $H$. In this paper, we continue the study of the function $\mbox{ex}(n, T,\{H,M_{s+1}\})$ when $T=K_r$ for $r\ge 3$. We determine the exact value of $\mbox{ex}(n,K_r,\{K_{k+1},M_{s+1}\})$ and give the value of $\mbox{ex}(n,K_r,\{H,M_{s+1}\})$ for general $H$ with an error term $O(1)$.
A localized approach to generalized Turán problems
Published in Electronic Journal of Combinatorics, Volume 31, Issue 3 (2024), P3.34
• View Publication
• BIB
Generalized Turán problems ask for the maximum number of copies of a graph $H$ in an $n$-vertex, $F$-free graph, denoted by ex$(n,H,F)$. We show how to extend the new, localized approach of Bradač, Malec, and Tompkins to generalized Turán problems. We weight the copies of $H$ (typically taking $H=K_t$), instead of the edges, based on the size of the largest clique, path, or star containing the vertices of the copy of $H$, and in each case prove a tight upper bound on the sum of the weights. A consequence of our new localized theorems is an asymptotic determination of ex$(n,H,K_{1,r})$ for every $H$ having at least one dominating vertex and mex$(m,H,K_{1,r})$ for every $H$ having at least two dominating vertices.
Artificial Benchmark for Community Detection with Outliers (ABCD+o)
Published in Kamiński, B., Prałat, P. & Théberge, F. Artificial benchmark for community detection with outliers (ABCD+o). Appl Netw Sci 8, 25 (2023)
• View Publication
• BIB
The Artificial Benchmark for Community Detection graph (ABCD) is a random graph model with community structure and power-law distribution for both degrees and community sizes. The model generates graphs with similar properties as the well-known LFR one, and its main parameter $ξ$ can be tuned to mimic its counterpart in the LFR model, the mixing parameter $μ$. In this paper, we extend the ABCD model to include potential outliers. We perform some exploratory experiments on both the new ABCD+o model as well as a real-world network to show that outliers possess some desired, distinguishable properties.
Coloured and Dependent Planar Matchings of Random Bipartite Graphs
In this paper, we study two problems related to planar matchings in random bipartite graphs. First, we colour each edge of the complete bipartite graph $K_{n,n}$ uniformly randomly from amongst ${r}$ colours and show that if ${r}$ grows linearly with ${n}$ then the maximum rainbow matching is a non-trivial fraction of ${r}$ with high probability, i.e. with probability converging to one as ${n \rightarrow \infty}$ Next we consider planar matchings in a dependent setting where each vertex is forced to choose exactly one neighbour from amongst all possible choices. We obtain estimates for the largest size of a planar matching and also discuss the implication of our results to longest increasing subsequences in enlarged random permutations.
Redundancy of Codes with Graph Constraints
Published
• View Publication
• BIB
In this paper, we study the redundancy of linear codes with graph constraints. First we consider linear parity check codes based on bipartite graphs with diversity and with generalized graph constraints. We describe sufficient conditions on the constraint probabilities and use the probabilistic method to obtain linear codes that achieve the Gilbert-Varshamov redundancy bound in addition to satisfying the constraints and the diversity index. In the second part we consider a generalization of graph capacity which we call as the fractional graph capacity and use the probabilistic method to determine bounds on the fractional capacity for arbitrary graphs. Specifically, we establish an upper bound in terms of the full graph capacity and a lower bound in terms of the average and maximum vertex degree of the graph.
Strengthening the Directed Brooks' Theorem for oriented graphs and consequences on digraph redicolouring
Published
• View Publication
• BIB
Let $D=(V,A)$ be a digraph. We define $Δ_{\max}(D)$ as the maximum of $\{ \max(d^+(v),d^-(v)) \mid v \in V \}$ and $Δ_{\min}(D)$ as the maximum of $\{ \min(d^+(v),d^-(v)) \mid v \in V \}$. It is known that the dichromatic number of $D$ is at most $Δ_{\min}(D) + 1$. In this work, we prove that every digraph $D$ which has dichromatic number exactly $Δ_{\min}(D) + 1$ must contain the directed join of $\overleftrightarrow{K_r}$ and $\overleftrightarrow{K_s}$ for some $r,s$ such that $r+s = Δ_{\min}(D) + 1$, except if $Δ_{\min}(D) = 2$ in which case $D$ must contain a digon. In particular, every oriented graph $\vec{G}$ with $Δ_{\min}(\vec{G}) \geq 2$ has dichromatic number at most $Δ_{\min}(\vec{G})$. Let $\vec{G}$ be an oriented graph of order $n$ such that $Δ_{\min}(\vec{G}) \leq 1$. Given two 2-dicolourings of $\vec{G}$, we show that we can transform one into the other in at most $n$ steps, by recolouring one vertex at each step while maintaining a dicolouring at any step. Furthermore, we prove that, for every oriented graph $\vec{G}$ on $n$ vertices, the distance between two $k$-dicolourings is at most $2Δ_{\min}(\vec{G})n$ when $k\geq Δ_{\min}(\vec{G}) + 1$. We then extend a theorem of Feghali, Johnson and Paulusma to digraphs. We prove that, for every digraph $D$ with $Δ_{\max}(D) = Δ\geq 3$ and every $k\geq Δ+1$, the $k$-dicolouring graph of $D$ consists of isolated vertices and at most one further component that has diameter at most $c_Δn^2$, where $c_Δ = O(Δ^2)$ is a constant depending only on $Δ$.
On perfect coverings of two-dimensional grids
Published
• View Publication
• BIB
We study perfect multiple coverings in translation invariant graphs with vertex set $\mathbb{Z}^2$ using an algebraic approach. In this approach we consider any such covering as a two-dimensional binary configuration which we then express as a two-variate formal power series. Using known results, we conclude that any perfect multiple covering has a non-trivial periodizer, that is, there exists a non-zero polynomial whose formal product with the power series presenting the covering is a two-periodic configuration. If a non-trivial periodizer has line polynomial factors in at most one direction, then the configuration is known to be periodic. Using this result, we find many setups where perfect multiple coverings of infinite grids are necessarily periodic. We also consider some algorithmic questions on finding perfect multiple coverings.
Progress towards the 1/2-Conjecture for the domination game
Published
• View Publication
• BIB
The domination game is played on a graph $G$ by two players, Dominator and Staller, who alternate in selecting vertices until each vertex in the graph $G$ is contained in the closed neighbourhood of the set of selected vertices. Dominator's aim is to reach this state in as few moves as possible, whereas Staller wants the game to last as long as possible. In this paper, we prove that if $G$ has $n$ vertices and minimum degree at least 2, then Dominator has a strategy to finish the domination game on $G$ within $10n/17+1/17$ moves, thus making progress towards a conjecture by Bujt{á}s, Iršič and Klavžar.
Induced forests in some distance-regular graphs
Published
• View Publication
• BIB
In this article, we study the order and structure of the largest induced forests in some families of graphs. First we prove a variation of the ratio bound that gives an upper bound on the order of the largest induced forest in a graph. Next we define a \textsl{canonical induced forest} to be a forest that is formed by adding a vertex to a coclique and give several examples of graphs where the maximal forest is a canonical induced forest. These examples are all distance-regular graphs with the property that the Delsarte-Hoffman ratio bound for cocliques holds with equality. We conclude with some examples of related graphs where there are induced forests that are larger than a canonical forest.
An MCMC sampling of densest $k$-sub-graphs of regular graphs with connected complement graph
We present an exclusion process based approach for sampling densest $k$-sub-graphs from regular graphs $L$ with connected complement. By interpreting an exclusion process as a Markov chain on a corresponding Token Graph $\mathfrak{L}_k$, we make use of classical Markov chain theory to obtain quantitative bounds on the convergence speed depending on the geometry of $L$, which are sharp in the sens that variations in the valency lead to an equality, which is $1$, for the geometric bounds in the case of a complete graph. We propose an algorithm which makes use of this particle view to avoid excessive memory use due to the state space size and discuss the regularity and connectivity condition on $L$ and $L^c$ in the Outlook.
Unavoidable structures in infinite tournaments
Published
• View Publication
• BIB
We prove a strong dichotomy result for countably-infinite oriented graphs; that is, we prove that for all countably-infinite oriented graphs $G$, either (i) there is a countably-infinite tournament $K$ such that $G\not\subseteq K$, or (ii) every countably-infinite tournament contains a \emph{spanning} copy of $G$. Furthermore, we are able to give a concise characterization of such oriented graphs. Our characterization becomes even simpler in the case of transitive acyclic oriented graphs (i.e. strict partial orders).
For uncountable oriented graphs, we are able to extend the dichotomy result mentioned above to all regular cardinals $κ$; however, we are only able to provide a concise characterization in the case when $κ=\aleph_1$.
Behaviors of pairs of dimensions and depths of edge ideals
Published
• View Publication
• BIB
Edge ideals of finite simple graphs $G$ on $n$ vertices are the ideals $I(G)$ of the polynomial ring $S$ in $n$ variables generated by the quadratic monomials associated with the edges of $G$. In this paper, we consider the possible pairs of dimensions and depths of $S/I(G)$ for connected graphs with a fixed number of vertices. We discuss such pairs in the case where dimension is relatively large. As a corollary, we completely determine the pairs for connected graphs with small number of vertices. We also study the possible pairs for connected chordal graphs.
Dowker Complexes and filtrations on self-relations
Given a relation on $ X \times Y $, we can construct two abstract simplicial complexes called Dowker complexes. The geometric realizations of these simplicial complexes are homotopically equivalent. We show that if two relations are conjugate, then they have homotopically equivalent Dowker complexes. From a self-relation on $ X $, this is a directed graph, and we use the Dowker complexes to study their properties. We show that if two relations are shift equivalent, then, at some power of the relation, their Dowker complexes are homotopically equivalent. Finally, we define a new filtration based on Dowker complexes with different powers of a relation.
Supersolvable saturated matroids and chordal graphs
Published
• View Publication
• BIB
A matroid is supersolvable if it has a maximal chain of flats each of which is modular. A matroid is saturated if every round flat is modular. In this article we present supersolvable saturated matroids as analogues to chordal graphs, and we show that several results for chordal graphs hold in this matroid context. In particular, we consider matroid analogues of the reduced clique graph and clique trees for chordal graphs. The latter is a maximum-weight spanning tree of the former. We also show that the matroid analogue of a clique tree is an optimal decomposition for the matroid parameter of tree-width.