graph
35299 papers tagged with this keyword
The combinatorial geometry of stresses in frameworks
Published
• View Publication
• BIB
In this paper we formulate and prove necessary and sufficient geometric conditions for existence of generic tensegrities in the plane for arbitrary graphs. The conditions are written in terms of "meet-join" relations for the configuration spaces of fixed points and non-fixed lines through fixed points.
Minimal supports of eigenfunctions of Hamming graphs
Published
• View Publication
• BIB
We find minimal supports of eigenfunctions of Hamming graphs for eigenvalue n(q-1)-q and describe eigenfunctions with minimal support.
On Konig-Egervary Collections of Maximum Critical Independent Sets
Published
• View Publication
• BIB
Let G be a simple graph with vertex set V(G). A set S is independent if no two vertices from S are adjacent. The graph G is known to be a Konig-Egervary if alpha(G)+mu(G)= |V(G)|, where alpha(G) denotes the size of a maximum independent set and mu(G) is the cardinality of a maximum matching. The number d(X)= |X|-|N(X)| is the difference of X, and an independent set A is critical if d(A) = max{d(I):I is an independent set in G} (Zhang; 1990). Let Omega(G) denote the family of all maximum independent sets. Let us say that a family Gamma of independent sets is a Konig-Egervary collection if |Union of Gamma| + |Intersection of Gamma| = 2alpha(G) (Jarden, Levit, Mandrescu; 2015). In this paper, we show that if the family of all maximum critical independent sets of a graph G is a Konig-Egervary collection, then G is a Konig-Egervary graph. It generalizes one of our conjectures recently validated in (Short; 2015).
On the vertex Folkman numbers $F_v(a_1, ..., a_s; m - 1)$ when $\max\{a_1, ..., a_s\} = 6$ or $7$
Published in Journal of Combinatorial Mathematics and Combinatorial Computing, 109:213-243, 2019
• Search Publication
Let $G$ be a graph and $a_1, ..., a_s$ be positive integers. Then $G \overset{v}{\rightarrow} (a_1, ..., a_s)$ means that for every coloring of the vertices of $G$ in $s$ colors there exists $i \in \{1, ..., s\}$, such that there is a monochromatic $a_i$-clique of color $i$. The vertex Folkman number $F_v(a_1, ..., a_s; q)$ is defined by the equality: $$ F_v(a_1, ..., a_s; q) = \min\{|V(G)| : G \overset{v}{\rightarrow} (a_1, ..., a_s) \mbox{ and } K_q \not\subseteq G\}. $$ Let $m = \sum\limits_{i=1}^s (a_i - 1) + 1$. It is easy to see that $F_v(a_1, ..., a_s; q) = m$ if $q \geq m + 1$. In [11] it is proved that $F_v(a_1, ..., a_s; m) = m + \max\{a_1, ..., a_s\}$. We know all the numbers $F_v(a_1, ..., a_s; m - 1)$ when $\max\{a_1, ..., a_s\} \leq 5$ and none of these numbers is known if $\max\{a_1, ..., a_s\} \geq 6$. In this paper we compute the numbers $F_v(a_1, ..., a_s; m - 1)$ when $\max\{a_1, ..., a_s\} = 6$.
The Class of Random Graphs Arising from Exchangeable Random Measures
We introduce a class of random graphs that we argue meets many of the desiderata one would demand of a model to serve as the foundation for a statistical analysis of real-world networks. The class of random graphs is defined by a probabilistic symmetry: invariance of the distribution of each graph to an arbitrary relabelings of its vertices. In particular, following Caron and Fox, we interpret a symmetric simple point process on $\mathbb{R}_+^2$ as the edge set of a random graph, and formalize the probabilistic symmetry as joint exchangeability of the point process. We give a representation theorem for the class of random graphs satisfying this symmetry via a straightforward specialization of Kallenberg's representation theorem for jointly exchangeable random measures on $\mathbb{R}_+^2$. The distribution of every such random graph is characterized by three (potentially random) components: a nonnegative real $I \in \mathbb{R}_+$, an integrable function $S: \mathbb{R}_+ \to \mathbb{R}_+$, and a symmetric measurable function $W: \mathbb{R}_+^2 \to [0,1]$ that satisfies several weak integrability conditions. We call the triple $(I,S,W)$ a graphex, in analogy to graphons, which characterize the (dense) exchangeable graphs on $\mathbb{N}$. Indeed, the model we introduce here contains the exchangeable graphs as a special case, as well as the "sparse exchangeable" model of Caron and Fox. We study the structure of these random graphs, and show that they can give rise to interesting structure, including sparse graph sequences. We give explicit equations for expectations of certain graph statistics, as well as the limiting degree distribution. We also show that certain families of graphexes give rise to random graphs that, asymptotically, contain an arbitrarily large fraction of the vertices in a single connected component.
Extremal k-apex Trees for Randic Index
The Randic (connectivity) index is one of the most successful molecular descriptors in structure-property and structure-activity relationships studies. J. Gao found the sharp upper bound for the Randic index of apex trees. In this paper, we proved that k-apex trees are not regular graphs for k\ge2 and proposed a sharp upper bound for the Randic index of k-apex trees for k>1.
On star-forest ascending subgraph decomposition
The Ascending Subgraph Decomposition (ASD) Conjecture asserts that every graph $G$ with ${n+1\choose 2}$ edges admits an edge decomposition $G=H_1\oplus\cdots \oplus H_n$ such that $H_i$ has $i$ edges and it is isomorphic to a subgraph of $H_{i+1}$, $i=1,\ldots ,n-1$. We show that every bipartite graph $G$ with ${n+1\choose 2}$ edges such that the degree sequence $d_1,\ldots ,d_k$ of one of the stable sets satisfies $ d_{k-i}\ge n-i\; \text{for each}\; 0\le i\le k-1,$, admits an ascending subgraph decomposition with star forests. We also give a necessary condition on the degree sequence which is not far from the above sufficient one.
The complexity of partitioning into disjoint cliques and a triangle-free graph
Published
• View Publication
• BIB
Motivated by Chudnovsky's structure theorem of bull-free graphs, Abu-Khzam, Feghali, and Müller have recently proved that deciding if a graph has a vertex partition into disjoint cliques and a triangle-free graph is NP-complete for five graph classes. The problem is trivial for the intersection of these five classes. We prove that the problem is NP-complete for the intersection of two subsets of size four among the five classes. We also show NP-completeness for other small classes, such as graphs with maximum degree 4 and line graphs.
On an ordering-dependent generalization of Tutte polynomial
Published in J. Stat. Phys. 168, 5 pp. 1105-1124 (2017)
• View Publication
• BIB
A generalization of Tutte polynomial involved in the evaluation of the moments of the integrated geometric Brownian in the Ito formalism is discussed. The new combinatorial invariant depends on the order in which the sequence of contraction-deletions have been performed on the graph. Thus, this work provides a motivation for studying an order-dependent Tutte polynomial in the context of stochastic differential equations. We show that in the limit of the control parameters encoding the ordering going to zero, the multivariate Tutte-Fortuin-Kasteleyn polynomial is recovered.
Equivalent Properties of CD Inequality on Graph
We study some equivalent properties of the curvature-dimension conditions $CD(n,K)$ inequality on infinite, but locally finite graph. These equivalences are gradient estimate, Poincaré type inequalities and reverse Poincaré inequalities. And we also obtain one equivalent property of gradient estimate for a new notion of curvature-dimension conditions $CDE'(\infty, K)$ at the same assumption of graphs.
Fourientation activities and the Tutte polynomial
Published in European Journal of Combinatorics 67, 40-60 (2018)
• View Publication
• BIB
A fourientation of a graph $G$ is a choice for each edge of the graph whether to orient that edge in either direction, leave it unoriented, or biorient it. We may naturally view fourientations as a mixture of subgraphs and graph orientations where unoriented and bioriented edges play the role of absent and present subgraph edges, respectively. Building on work of Backman and Hopkins (2015), we show that given a linear order and a reference orientation of the edge set, one can define activities for fourientations of $G$ which allow for a new 12 variable expansion of the Tutte polynomial $T_G$. Our formula specializes to both the Las Vergnas (1984) orientation activites expansion of the Tutte polynomial and the generalized activities expansion of Gordon and Traldi (1990).
A Novel Paradigm for Calculating Ramsey Number via Artificial Bee Colony Algorithm
Published
• View Publication
• BIB
The Ramsey number is of vital importance in Ramsey's theorem. This paper proposed a novel methodology for constructing Ramsey graphs about R(3,10), which uses Artificial Bee Colony optimization(ABC) to raise the lower bound of Ramsey number R(3,10). The r(3,10)-graph contains two limitations, that is, neither complete graphs of order 3 nor independent sets of order 10. To resolve these limitations, a special mathematical model is put in the paradigm to convert the problems into discrete optimization whose smaller minimizers are correspondent to bigger lower bound as approximation of inf R(3,10). To demonstrate the potential of the proposed method, simulations are done to to minimize the amount of these two types of graphs. For the first time, four r(3,9,39) graphs with best approximation for inf R(3,10) are reported in simulations to support the current lower bound for R(3,10). The experiments' results show that the proposed paradigm for Ramsey number's calculation driven by ABC is a successful method with the advantages of high precision and robustness.
An algorithm for finding Hamiltonian Cycles in Cubic Planar Graphs
We first prove a one-to-one correspondence between finding Hamiltonian cycles in a cubic planar graphs and finding trees with specific properties in dual graphs. Using this information, we construct an exact algorithm for finding Hamiltonian cycles in cubic planar graphs. The worst case time complexity of our algorithm is O$(2^n)$.
On the Rectilinear Crossing Number of Complete Uniform Hypergraphs
Published
• View Publication
• BIB
In this paper, we consider a generalized version of the rectilinear crossing number problem of drawing complete graphs on a plane. The minimum number of crossing pairs of hyperedges in the $d$-dimensional rectilinear drawing of a $d$-uniform hypergraph is known as the $d$-dimensional rectilinear crossing number of the hypergraph. The currently best-known lower bound on the $d$-dimensional rectilinear crossing number of a complete $d$-uniform hypergraph with $n$ vertices in general position in $\mathbb{R}^d$ is $Ω(\frac{2^d}{\sqrt{d}} \log d) {n \choose 2d}$. In this paper, we improve this lower bound to $Ω(2^d) {n \choose 2d}$. We also consider the special case when all the vertices of a $d$-uniform hypergraph are placed on the $d$-dimensional moment curve. For such complete $d$-uniform hypergraphs with $n$ vertices, we show that the number of pairwise crossing hyperedges is $Θ(\frac{4^d}{\sqrt{d}}) {n \choose 2d}$.
On the possible values of the entropy of undirected graphs
Published
• View Publication
• BIB
The entropy of a digraph is a fundamental measure which relates network coding, information theory, and fixed points of finite dynamical systems. In this paper, we focus on the entropy of undirected graphs. We prove that for any integer $k$ the number of possible values of the entropy of an undirected graph up to $k$ is finite. We also determine all the possible values for the entropy of an undirected graph up to the value of four.
On connected simple graphs and their degree sequences
This note describes necessary and sufficient conditions for a sequence of positive integers to be the degree sequence of a connected simple graph. Conditions are also given under which a sequence is necessarily connected i.e. the sequence can only be realised as a connected graph. A matrix is introduced whose non-empty entries partition the set of connected graphs. The note concludes with a result relating the number of edges in a simple graph to the connectedness of the graph.
The category of matroids
Published in Applied Categorical Structures 26(2):205-237, 2017
• View Publication
• BIB
The structure of the category of matroids and strong maps is investigated: it has coproducts and equalizers, but not products or coequalizers; there are functors from the categories of graphs and vector spaces, the latter being faithful; there is a functor to the category of geometric lattices, that is nearly full; there are various adjunctions and free constructions on subcategories, inducing a simplification monad; there are two orthogonal factorization systems; some, but not many, combinatorial constructions from matroid theory are functorial.
Maximum Rank and Asymptotic Rank of Finite Dynamical Systems
Published
• View Publication
• BIB
A finite dynamical system is a system of multivariate functions over a finite alphabet used to model a network of interacting entities. The main feature of a finite dynamical system is its interaction graph, which indicates which local functions depend on which variables; the interaction graph is a qualitative representation of the interactions amongst entities on the network. The rank of a finite dynamical system is the cardinality of its image; the periodic rank is the number of its periodic points. In this paper, we determine the maximum rank and the maximum periodic rank of a finite dynamical system with a given interaction graph over any non-Boolean alphabet. We also obtain a similar result for Boolean finite dynamical systems (also known as Boolean networks) whose interaction graphs are contained in a given digraph. We then prove that the average rank is relatively close (as the size of the alphabet is large) to the maximum. The results mentioned above only deal with the parallel update schedule. We finally determine the maximum rank over all block-sequential update schedules and the supremum periodic rank over all complete update schedules.
Game Distinguishing Numbers of Cartesian Products of Graphs
Published
• View Publication
• BIB
The distinguishing number of a graph $H$ is a symmetry related graph invariant whose study started two decades ago. The distinguishing number $D(H)$ is the least integer $d$ such that $H$ has a $d$-distinguishing coloring. A $d$-distinguishing coloring is a coloring $c:V(H)\rightarrow\{1,\dots,d\}$ invariant only under the trivial automorphism. In this paper, we continue the study of a game variant of this parameter, recently introduced. The distinguishing game is a game with two players, Gentle and Rascal, with antagonist goals. This game is played on a graph $H$ with a fixed set of $d\in\mathbb N^*$ colors. Alternately, the two players choose a vertex of $H$ and color it with one of the $d$ colors. The game ends when all the vertices have been colored. Then Gentle wins if the coloring is $d$-distinguishing and Rascal wins otherwise. This game defines two new invariants, which are the minimum numbers of colors needed to ensure that Gentle has a winning strategy, depending who starts the game. The invariant could eventually be infinite. In this paper, we focus on cartesian product, a graph operation well studied in the classical case. We give sufficient conditions on the order of two connected factors $H$ and $F$ relatively prime, which ensure that one of the game distinguishing numbers of the cartesian product $H\square F$ is finite. If $H$ is a so-called involutive graph, we give an upper bound of order $D^2(H)$ for one of the game distinguishing numbers of $H\square F$. Finally, using in part the previous result, we compute the exact value of these invariants for cartesian products of relatively prime cycles. It turns out that the value is either infinite or equal to $2$, depending on the parity of the product order.
Matroid invariants and counting graph homomorphisms
Published
• View Publication
• BIB
The number of homomorphisms from a finite graph $F$ to the complete graph $K_n$ is the evaluation of the chromatic polynomial of $F$ at $n$. Suitably scaled, this is the Tutte polynomial evaluation $T(F;1-n,0)$ and an invariant of the cycle matroid of $F$. De la Harpe and Jaeger \cite{dlHJ95} asked more generally when is it the case that a graph parameter obtained from counting homomorphisms from $F$ to a fixed graph $G$ depends only on the cycle matroid of $F$. They showed that this is true when $G$ has a generously transitive automorphism group (examples include Cayley graphs on an abelian group, and Kneser graphs).
Using tools from multilinear algebra, we prove the converse statement, thus characterizing finite graphs $G$ for which counting homomorphisms to $G$ yields a matroid invariant. We also extend this result to finite weighted graphs $G$ (where to count homomorphisms from $F$ to $G$ includes such problems as counting nowhere-zero flows of $F$ and evaluating the partition function of an interaction model on $F$).