graph
34629 papers tagged with this keyword
Termination of Multipartite Graph Series Arising from Complex Network Modelling
Published
• View Publication
• BIB
An intense activity is nowadays devoted to the definition of models capturing the properties of complex networks. Among the most promising approaches, it has been proposed to model these graphs via their clique incidence bipartite graphs. However, this approach has, until now, severe limitations resulting from its incapacity to reproduce a key property of this object: the overlapping nature of cliques in complex networks. In order to get rid of these limitations we propose to encode the structure of clique overlaps in a network thanks to a process consisting in iteratively factorising the maximal bicliques between the upper level and the other levels of a multipartite graph. We show that the most natural definition of this factorising process leads to infinite series for some instances. Our main result is to design a restriction of this process that terminates for any arbitrary graph. Moreover, we show that the resulting multipartite graph has remarkable combinatorial properties and is closely related to another fundamental combinatorial object. Finally, we show that, in practice, this multipartite graph is computationally tractable and has a size that makes it suitable for complex network modelling.
On the Termination of Some Biclique Operators on Multipartite Graphs
Published in Discrete Applied Mathematics 195, 2015
• View Publication
• BIB
We define a new graph operator, called the weak-factor graph, which comes from the context of complex network modelling. The weak-factor operator is close to the well-known clique-graph operator but it rather operates in terms of bicliques in a multipartite graph. We address the problem of the termination of the series of graphs obtained by iteratively applying the weak-factor operator starting from a given input graph. As for the clique-graph operator, it turns out that some graphs give rise to series that do not terminate. Therefore, we design a slight variation of the weak-factor operator, called clean-factor, and prove that its associated series terminates for all input graphs. In addition, we show that the multipartite graph on which the series terminates has a very nice combinatorial structure: we exhibit a bijection between its vertices and the chains of the inclusion order on the intersections of the maximal cliques of the input graph.
An arithmetic criterion for graphs being determined by their generalized $A_α$-spectrum
Published
• View Publication
• BIB
Let $G$ be a graph on $n$ vertices, its adjacency matrix and degree diagonal matrix are denoted by $A(G)$ and $D(G)$, respectively. In 2017, Nikiforov \cite{0007} introduced the matrix $A_α(G)=αD(G)+(1-α)A(G)$ for $α\in [0, 1].$ The $A_α$-spectrum of a graph $G$ consists of all the eigenvalues (including the multiplicities) of $A_α(G).$ A graph $G$ is said to be determined by the generalized $A_α$-spectrum (or, DGA$_α$S for short) if whenever $H$ is a graph such that $H$ and $G$ share the same $A_α$-spectrum and so do their complements, then $H$ is isomorphic to $G$. In this paper, when $α$ is rational, we present a simple arithmetic condition for a graph being DGA$_α$S. More precisely, put $A_{c_α}:={c_α}A_α(G),$ here ${c_α}$ is the smallest positive integer such that $A_{c_α}$ is an integral matrix. Let $\tilde{W}_{α}(G)=\left[{\bf 1},\frac{A_{c_α}{\bf 1}}{c_α},\ldots, \frac{A_{c_α}^{n-1}{\bf 1}}{c_α}\right]$, where ${\bf 1}$ denotes the all-ones vector. We prove that if $\frac{\det \tilde{W}_{α}(G)}{2^{\lfloor\frac{n}{2}\rfloor}}$ is an odd and square-free integer and the rank of $\tilde{W}_{α}(G)$ is full over $\mathbb{F}_p$ for each odd prime divisor $p$ of $c_α$, then $G$ is DGA$_α$S except for even $n$ and odd $c_α\,(\geqslant 3)$. By our obtained results in this paper we may deduce the main results in \cite{0005} and \cite{0002}.
On the first three minimum Mostar indices of tree-like phenylenes
Published
• View Publication
• BIB
Let $G =(V_{G}, E_{G})$ be a simple connected graph with its vertex set $V_{G}$ and edge set $E_{G}$. The Mostar index $Mo(G)$ was defined as $Mo(G)=\sum\limits_{e=uv\in E(G)}|n_{u}-n_{v}|$, where $n_{u}$ (resp., $n_{v}$) is the number of vertices whose distance to vertex $u$ (resp., $v$) is smaller than the distance to vertex $v$ (resp., $u$). In this study, we determine the first three minimum Mostar indices of tree-like phenylenes and characterize all the tree-like phenylenes attaining these values. At last, we give some numerical examples and discussion.
On coloring digraphs with forbidden induced subgraphs
Published
• View Publication
• BIB
We prove a conjecture by Aboulker, Charbit and Naserasr by showing that every oriented graph in which the out-neighborhood of every vertex induces a transitive tournament can be partitioned into two acyclic induced subdigraphs. We prove multiple extensions of this result to larger classes of digraphs defined by a finite list of forbidden induced subdigraphs. We thereby resolve several special cases of an extension of the famous Gyárfás-Sumner conjecture to directed graphs by Aboulker et al.
Uniformly connected graphs
In this article we investigate the structure of uniformly $k$-connected and uniformly $k$-edge-connected graphs. Whereas both types have previously been studied independent of each other, we analyze relations between these two classes. We prove that any uniformly $k$-connected graph is also uniformly $k$-edge-connected for $k\le 3$ and demonstrate that this is not the case for $k>3$. Furthermore, uniformly $k$-connected and uniformly $k$-edge-connected graphs are well understood for $k\le 2$ and it is known how to construct uniformly $3$-edge-connected graphs. We contribute here a constructive characterization of uniformly $3$-connected graphs that is inspired by Tuttes Wheel Theorem. Eventually, these results help us to prove a tight bound on the number of vertices of minimum degree in uniformly $3$-connected graphs.
Greedy Causal Discovery is Geometric
Published
• View Publication
• BIB
Finding a directed acyclic graph (DAG) that best encodes the conditional independence statements observable from data is a central question within causality. Algorithms that greedily transform one candidate DAG into another given a fixed set of moves have been particularly successful, for example the GES, GIES, and MMHC algorithms. In 2010, Studený, Hemmecke and Lindner introduced the characteristic imset polytope, $\operatorname{CIM}_p$, whose vertices correspond to Markov equivalence classes, as a way of transforming causal discovery into a linear optimization problem. We show that the moves of the aforementioned algorithms are included within classes of edges of $\operatorname{CIM}_p$ and that restrictions placed on the skeleton of the candidate DAGs correspond to faces of $\operatorname{CIM}_p$. Thus, we observe that GES, GIES, and MMHC all have geometric realizations as greedy edge-walks along $\operatorname{CIM}_p$. Furthermore, the identified edges of $\operatorname{CIM}_p$ strictly generalize the moves of these algorithms. Exploiting this generalization, we introduce a greedy simplex-type algorithm called \emph{greedy CIM}, and a hybrid variant, \emph{skeletal greedy CIM}, that outperforms current competitors among hybrid and constraint-based algorithms.
2-nested matrices: towards understanding the structure of circle graphs
Published
• View Publication
• BIB
A $(0,1)$-matrix has the consecutive-ones property (C1P) if its columns can be permuted to make the $1$'s in each row appear consecutively. This property was characterised in terms of forbidden submatrices by Tucker in 1972. Several graph classes were characterised by means of this property, including interval graphs and strongly chordal digraphs. In this work, we define and characterise 2-nested matrices, which are $(0,1)$-matrices with a variant of the C1P and for which there is also certain assignment of one of two colors to each block of consecutive $1$'s in each row. The characterization of 2-nested matrices in the present work is of key importance to characterise split graphs that are also circle by minimal forbidden induced subgraphs.
Ricci curvature of Bruhat orders
Published
• View Publication
• BIB
We study the Ricci curvature of the Hasse diagrams of the Bruhat order of finite irreducible Coxeter groups. For this purpose we compute the maximum degree of these graphs for types $B_n$ and $D_n$. The proof uses a new graph $Γ(π)$ defined for any element $π$ in the corresponding group.
A combinatorial statistic for labeled threshold graphs
Published in ECA 1:3 (2021) Article S2R22, http://ecajournal.haifa.ac.il/Volume2021/ECA2021_S2A22.pdf
• View Publication
• BIB
Consider the collection of hyperplanes in $\mathbb{R}^n$ whose defining equations are given by $\{x_i + x_j = 0\mid 1\leq i<j\leq n\}$. This arrangement is called the threshold arrangement since its regions are in bijection with labeled threshold graphs on $n$ vertices. Zaslavsky's theorem implies that the number of regions of this arrangement is the sum of coefficients of the characteristic polynomial of the arrangement. In the present article we give a combinatorial meaning to these coefficients as the number of labeled threshold graphs with a certain property, thus answering a question posed by Stanley.
Colorful Hamilton cycles in random graphs
Published
• View Publication
• BIB
Given an $n$ vertex graph whose edges have colored from one of $r$ colors $C=\{c_1,c_2,\ldots,c_r\}$, we define the Hamilton cycle color profile $hcp(G)$ to be the set of vectors $(m_1,m_2,\ldots,m_r)\in [0,n]^r$ such that there exists a Hamilton cycle that is the concatenation of $r$ paths $P_1,P_2,\ldots,P_r$, where $P_i$ contains $m_i$ edges of color $c_i$. We study $hcp(G_{n,p})$ when the edges are randomly colored. We discuss the profile close to the threshold for the existence of a Hamilton cycle and the threshold for when $hcp(G_{n,p})=\{(m_1,m_2,\ldots,m_r)\in [0,n]^r: m_1+m_2+\cdots+m_r=n\}$.
Weisfeiler--Leman and Graph Spectra
Published in Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA)
• View Publication
• BIB
Two simple undirected graphs are cospectral if their respective adjacency matrices have the same multiset of eigenvalues. Cospectrality yields an equivalence relation on the family of graphs which is provably weaker than isomorphism. In this paper, we study cospectrality in relation to another well-studied relaxation of isomorphism, namely $k$-dimensional Weisfeiler-Leman ($k$-WL) indistinguishability.
Cospectrality with respect to standard graph matrices such as the adjacency or the Laplacian matrix yields a strictly finer equivalence relation than $2$-WL indistinguishability. We show that individualising one vertex plus running $1$-WL already subsumes cospectrality with respect to all such graph matrices. Building on this result, we resolve an open problem of Fürer (2010) about spectral invariants.
Looking beyond $2$-WL, we devise a hierarchy of graph matrices generalising the adjacency matrix such that $k$-WL indistinguishability after a fixed number of iterations can be captured as a spectral condition on these matrices. Precisely, we provide a spectral characterisation of $k$-WL indistinguishability after $d$ iterations, for $k,d \in \mathbb{N}$.
Our results can be viewed as characterisations of homomorphism indistinguishability over certain graph classes in terms of matrix equations. The study of homomorphism indistinguishability is an emerging field, to which we contribute by extending the algebraic framework of Mančinska and Roberson (2020) and Grohe et al. (2022).
Graphs with disjoint 2-dominating sets
A subset $D\subseteq V_G$ is a dominating set of $G$ if every vertex in $V_G\setminus D$ has a neighbor in $D$, while $D$ is a 2-dominating set of $G$ if every vertex belonging to $V_G\setminus D$ is joined by at least two edges with a vertex or vertices in $D$. A graph $G$ is a $(2,2)$-dominated graph if it has a pair $(D,D')$ of disjoint $2$-dominating sets of vertices of $G$. In this paper we present two characterizations of minimal $(2,2)$-dominated graphs.
Avoiding Monochromatic Solutions to 3-term Equations
Published
• View Publication
• BIB
Given an equation, the integers $[n] = \{1, 2, \dots, n\}$ as inputs, and the colors red and blue, how can we color $[n]$ in order to minimize the number of monochromatic solutions to the equation, and what is the minimum? The answer is only known for a handful of equations, but much progress has been made on improving upper and lower bounds on minima for various equations. A well-studied characteristic an equation, which has its roots in graph Ramsey theory, is to determine if the minimum number of monochromatic solutions can be achieved (asymptotically) by uniformly random colorings. Such equations are called common. We prove that no 3-term equations are common and provide a lower bound for a specific class of 3-term equations.
Semifinite harmonic functions on the Gnedin-Kingman graph
Published
• View Publication
• BIB
We study the Gnedin-Kingman graph, which corresponds to Pieri's rule for the monomial basis $\{M_λ\}$ in the algebra $\mathrm{QSym}$ of quasisymmetric functions. The paper contains a detailed announcement of results concerning the classification of indecomposable semifinite harmonic functions on the Gnedin-Kingman graph. For these functions, we also establish a multiplicativity property, which is an analog of the Vershik-Kerov ring theorem.
Pseudoline arrangement graphs: degree sequences and eccentricities
A pseudoline arrangement graph is a planar graph induced by an embedding of a (simple) pseudoline arrangement. We study the corresponding graph realization problem and properties of pseudoline arrangement graphs. In the first part, we give a simple criterion based on the degree sequence that says whether a degree sequence will have a pseudoline arrangement graph as one of its realizations. In the second part, we study the eccentricities of vertices in such graphs. We observe that the diameter (maximum eccentricity of a vertex in the graph) of any pseudoline arrangement graph on $n$ pseudolines is $n-2$. Then we characterize the diametrical vertices (whose eccentricity is equal to the graph diameter) of pseudoline arrangement graphs. These results hold for line arrangement graphs as well.
On the Relation Between Wiener Index and Eccentricity of a Graph
Published
• View Publication
• BIB
The relation between the Wiener index $W(G)$ and the eccentricity $\varepsilon(G)$ of a graph $G$ is studied. Lower and upper bounds on $W(G)$ in terms of $\varepsilon(G)$ are proved and extremal graphs characterized. A Nordhaus-Gaddum type result on $W(G)$ involving $\varepsilon(G)$ is given. A sharp upper bound on the Wiener index of a tree in terms of its eccentricity is proved. It is shown that in the class of trees of the same order, the difference $W(T) - \varepsilon(T)$ is minimized on caterpillars. An exact formula for $W(T) - \varepsilon(T)$ in terms of the radius of a tree $T$ is obtained. A lower bound on the eccentricity of a tree in terms of its radius is also given. Two conjectures are proposed. The first asserts that the difference $W(G) - \varepsilon(G)$ does not increase after contracting an edge of $G$. The second conjecture asserts that the difference between the Wiener index of a graph and its eccentricity is largest on paths.
Two characterizations of the grid graphs
Published in B. Gebremichel, M. Y. Cao, J. H. Koolen, Two characterizations of the grid graphs, Discrete Mathematics, 344(2021) 112550
• View Publication
• BIB
In this paper we give two characterizations of the $p \times q$-grid graphs as co-edge-regular graphs with four distinct eigenvalues.
Maximal and Maximum Dissociation Sets in General and Triangle-Free Graphs
Published
• View Publication
• BIB
A subset of vertices $F$ in a graph $G$ is called a \emph{dissociation set} if the induced subgraph $G[F]$ of $G$ has maximum degree at most 1. A \emph{maximal dissociation set} of $G$ is a dissociation set which is not a proper subset of any other dissociation sets. A \emph{maximum dissociation set} is a dissociation set of maximum size. We show that every graph of order $n$ has at most $10^{\frac{n}{5}}$ maximal dissociation sets, and that every triangle-free graph of order $n$ has at most $6^{\frac{n}{4}}$ maximal dissociation sets. We also characterize the extremal graphs on which these upper bounds are attained. The tight upper bounds on the number of maximum dissociation sets in general and triangle-free graphs are also obtained.
The Secure Domination Number of Cartesian Products of Small Graphs with Paths and Cycles
Published
• View Publication
• BIB
The secure domination numbers of the Cartesian products of two small graphs with paths or cycles is determined, as well as for Mobius ladder graphs. Prior to this work, in all cases where the secure domination number has been determined, the proof has either been trivial, or has been derived from lower bounds established by considering different forms of domination. However, the latter mode of proof is not applicable for most graphs, including those considered here. Hence, this work represents the first attempt to determine secure domination numbers via the properties of secure domination itself, and it is expected that these methods may be used to determine further results in the future.