graph
34665 papers tagged with this keyword
Geometry and symmetry in biochemical reaction systems
Published in Theory in Biosciences (2021)
• View Publication
• BIB
Complex systems of intracellular biochemical reactions have a central role in regulating cell identities and functions. Biochemical reaction systems are typically studied using the language and tools of graph theory. However, graph representations only describe pairwise interactions between molecular species, and so are not well suited to modelling complex sets of reactions that may involve numerous reactants and/or products. Here we make use of a recently-developed hypergraph theory of chemical reactions that naturally allows for higher-order interactions to explore the geometry and quantify functional redundancy in biochemical reactions systems. Our results constitute a general theory of automorphisms for oriented hypergraphs and describe the effect of automorphism group structure on hypergraph Laplacian spectra.
Complexity and algorithms for constant diameter augmentation problems
Published
• View Publication
• BIB
We study the following problem: for given integers $d,k$ and graph $G$, can we obtain a graph with diameter $d$ via at most $k$ edge deletions ? We determine the computational complexity of this and related problems for different values of $d$.
Injective edge-coloring of graphs with given maximum degree
Published
• View Publication
• BIB
A coloring of edges of a graph $G$ is injective if for any two distinct edges $e_1$ and $e_2$, the colors of $e_1$ and $e_2$ are distinct if they are at distance $1$ in $G$ or in a common triangle. Naturally, the injective chromatic index of $G$, $χ'_{inj}(G)$, is the minimum number of colors needed for an injective edge-coloring of $G$. We study how large can be the injective chromatic index of $G$ in terms of maximum degree of $G$ when we have restrictions on girth and/or chromatic number of $G$. We also compare our bounds with analogous bounds on the strong chromatic index.
Characters and chromatic symmetric functions
Published
• View Publication
• BIB
Let $P$ be a poset, $inc(P)$ its incomparability graph, and $X_{inc(P)}$ the corresponding chromatic symmetric function, as defined by Stanley in {\em Adv. Math.}, {\bf 111} (1995) pp.~166--194. Certain conditions on $P$ imply that the expansions of $X_{inc(P)}$ in standard symmetric function bases yield coefficients which have simple combinatorial interpretations. By expressing these coefficients as character evaluations, we extend several of these interpretations to {\em all} posets $P$. Consequences include new combinatorial interpretations of the permanent and other immanants of totally nonnegative matrices, and of the sum of elementary coefficients in the Shareshian-Wachs chromatic quasisymmetric function $X_{inc(P),q}$ when $P$ is a unit interval order.
Grundy domination and zero forcing in regular graphs
Given a finite graph $G$, the maximum length of a sequence $(v_1,\ldots,v_k)$ of vertices in $G$ such that each $v_i$ dominates a vertex that is not dominated by any vertex in $\{v_1,\ldots,v_{i-1}\}$ is called the Grundy domination number, $γ_{\rm gr}(G)$, of $G$. A small modification of the definition yields the Z-Grundy domination number, which is the dual invariant of the well-known zero forcing number. In this paper, we prove that $γ_{\rm gr}(G) \geq \frac{n + \lceil \frac{k}{2} \rceil - 2}{k-1}$ holds for every connected $k$-regular graph of order $n$ different from $K_{k+1}$ and $\bar{2C_4}$. The bound in the case $k=3$ reduces to $γ_{\rm gr}(G) \geq \frac{n}{2}$, and we characterize the connected cubic graphs with $γ_{\rm gr}(G)=\frac{n}{2}$. If $G$ is different from $K_4$ and $K_{3,3}$, then $\frac{n}{2}$ is also an upper bound for the zero forcing number of a connected cubic graph, and we characterize the connected cubic graphs attaining this bound.
Upper Tails of Subgraph Counts in Sparse Regular Graphs
What is the probability that a sparse $n$-vertex random $d$-regular graph $G_n^d$, $n^{1-c}<d=o(n)$ contains many more copies of a fixed graph $K$ than expected? We determine the behavior of this upper tail to within a logarithmic gap in the exponent. For most graphs $K$ (for instance, for any $K$ of average degree greater than $4$) we determine the upper tail up to a $1+o(1)$ factor in the exponent. However, we also provide an example of a graph, given by adding an edge to $K_{2,4}$, where the upper tail probability behaves differently from previously studied behavior in both the sparse random regular and sparse Erdős-Rényi models in this sparsity regime.
Zero $A$-paths and the Erdős-Pósa property
Let $Γ$ be an Abelian group. In this paper I characterize the $A$-paths of weight $0\inΓ$ that have the Erdős-Pósa property. Using this in an auxiliary graph, one can also easily characterize the $A$-paths of weight $γ\inΓ$ that have the Erdős-Pósa property. These results also extend to long paths, that is paths of some minimum length.
A structural result on zero walls with non-zero linkages will be proven as a means to prove the main result of this paper. This immediately implies that zero cycles with respect to an Abelian group $Γ$ have the Erdős-Pósa property.
Hypergraph regularity and higher arity VC-dimension
We generalize the fact that graphs with small VC-dimension can be approximated by rectangles, showing that hypergraphs with small VC_k-dimension (equivalently, omitting a fixed finite (k+1)-partite (k+1)-uniform hypergraph) can be approximated by k-ary cylinder sets.
In the language of hypergraph regularity, this shows that when H is a k'-uniform hypergraph with small VC_k-dimension for some k<k', the decomposition of H given by hypergraph regularity only needs the first k levels---one can approximate H using sets of vertices, sets of pairs, and so on up to sets of k-tuples---and that on most of the resulting k-ary cylinder sets, the density of H is either close to 0 or close to 1.
We also show a suitable converse: k'-uniform hypergraphs with large VC_k-dimension cannot have such approximations uniformly under all measures on the vertices.
Square percolation and the threshold for quadratic divergence in random right-angled Coxeter groups
Published
• View Publication
• BIB
Given a graph $Γ$, its auxiliary \emph{square-graph} $\square(Γ)$ is the graph whose vertices are the non-edges of $Γ$ and whose edges are the pairs of non-edges which induce a square (i.e., a $4$-cycle) in $Γ$. We determine the threshold edge-probability $p=p_c(n)$ at which the Erd{\H o}s--Rényi random graph $Γ=Γ_{n,p}$ begins to asymptotically almost surely have a square-graph with a connected component whose squares together cover all the vertices of $Γ_{n,p}$. We show $p_c(n)=\sqrt{\sqrt{6}-2}/\sqrt{n}$, a polylogarithmic improvement on earlier bounds on $p_c(n)$ due to Hagen and the authors. As a corollary, we determine the threshold $p=p_c(n)$ at which the random right-angled Coxeter group $W_{Γ_{n,p}}$ asymptotically almost surely becomes strongly algebraically thick of order $1$ and has quadratic divergence.
Positional games on randomly perturbed graphs
Published
• View Publication
• BIB
Maker-Breaker games are played on a hypergraph $(X,\mathcal{F})$, where $\mathcal{F} \subseteq 2^X$ denotes the family of winning sets. Both players alternately claim a predefined amount of edges (called bias) from the board $X$, and Maker wins the game if she is able to occupy any winning set $F \in \mathcal{F}$. These games are well studied when played on the complete graph $K_n$ or on a random graph $G_{n,p}$. In this paper we consider Maker-Breaker games played on randomly perturbed graphs instead. These graphs consist of the union of a deterministic graph $G_α$ with minimum degree at least $αn$ and a binomial random graph $G_{n,p}$. Depending on $α$ and Breaker's bias $b$ we determine the order of the threshold probability for winning the Hamiltonicity game and the $k$-connectivity game on $G_α\cup G_{n,p}$, and we discuss the $H$-game when $b=1$. Furthermore, we give optimal results for the Waiter-Client versions of all mentioned games.
A Tight Bound for Conflict-free Coloring in terms of Distance to Cluster
Published
• View Publication
• BIB
Given an undirected graph $G = (V,E)$, a conflict-free coloring with respect to open neighborhoods (CFON coloring) is a vertex coloring such that every vertex has a uniquely colored vertex in its open neighborhood. The minimum number of colors required for such a coloring is the CFON chromatic number of $G$, denoted by $χ_{ON}(G)$.
In previous work [WG 2020], we showed the upper bound $χ_{ON}(G) \leq dc(G) + 3$, where $dc(G)$ denotes the distance to cluster parameter of $G$. In this paper, we obtain the improved upper bound of $χ_{ON}(G) \leq dc(G) + 1$. We also exhibit a family of graphs for which $χ_{ON}(G) > dc(G)$, thereby demonstrating that our upper bound is tight.
Extended chromatic symmetric functions and equality of ribbon Schur functions
Published in Adv. in Appl. Math. 128 29pp (2021)
• View Publication
• BIB
We prove a general inclusion-exclusion relation for the extended chromatic symmetric function of a weighted graph, which specializes to (extended) $k$-deletion, and we give two methods to obtain numerous new bases from weighted graphs for the algebra of symmetric functions.
Moreover, we classify when two weighted paths have equal extended chromatic symmetric functions by proving this is equivalent to the classification of equal ribbon Schur functions. This latter classification is dependent on the operation composition of compositions, which we generalize to composition of graphs. We then apply our generalization to obtain infinitely many families of weighted graphs whose members have equal extended chromatic symmetric functions.
Mixed Cages: monotony, connectivity and upper bounds
Published
• View Publication
• BIB
A \emph{$[z, r; g]$-mixed cage} is a mixed graph $z$-regular by arcs, $r$-regular by edges, with girth $g$ and minimum order. %In this paper we study structural properties of mixed cages: Let $n[z,r;g]$ denote the order of a $[z,r;g]$-mixed cage. In this paper we prove that $n[z,r;g]$ is a monotonicity function, with respect of $g$, for $z\in \{1,2\}$, and we use it to prove that the underlying graph of a $[z,r;g]$-mixed cage is 2-connected, for $z\in \{1,2\}$. We also prove that $[z,r;g]$-mixed cages are strong connected. We present bounds of $n[z,r;g]$ and constructions of $[z,r;5]$-mixed graphs and show a $[10,3;5]$-mixed cage of order $50$.
A novel method for inference of chemical compounds with prescribed topological substructures based on integer programming
Published
• View Publication
• BIB
Analysis of chemical graphs is becoming a major research topic in computational molecular biology due to its potential applications to drug design. One of the major approaches in such a study is inverse quantitative structure activity/property relationships (inverse QSAR/QSPR) analysis, which is to infer chemical structures from given chemical activities/properties. Recently, a novel framework has been proposed for inverse QSAR/QSPR using both artificial neural networks (ANN) and mixed integer linear programming (MILP). This method consists of a prediction phase and an inverse prediction phase. In the first phase, a feature vector $f(G)$ of a chemical graph $G$ is introduced and a prediction function $ψ_{\mathcal{N}}$ on a chemical property $π$ is constructed with an ANN $\mathcal{N}$. In the second phase, given a target value $y^*$ of the chemical property $π$, a feature vector $x^*$ is inferred by solving an MILP formulated from the trained ANN $\mathcal{N}$ so that $ψ_{\mathcal{N}}(x^*)$ is equal to $y^*$ and then a set of chemical structures $G^*$ such that $f(G^*)= x^*$ is enumerated by a graph enumeration algorithm. The framework has been applied to chemical compounds with a rather abstract topological structure such as acyclic or monocyclic graphs and graphs with a specified polymer topology with cycle index up to 2.
In this paper, we propose a new flexible modeling method to the framework so that we can specify a topological substructure of graphs and a partial assignment of chemical elements and bond-multiplicity to a target graph.
The star-structure connectivity and star-substructure connectivity of hypercubes and folded hypercubes
Published in The Computer Journal 2021
• View Publication
• BIB
As a generalization of vertex connectivity, for connected graphs $G$ and $T$, the $T$-structure connectivity $κ(G, T)$ (resp. $T$-substructure connectivity $κ^{s}(G, T)$) of $G$ is the minimum cardinality of a set of subgraphs $F$ of $G$ that each is isomorphic to $T$ (resp. to a connected subgraph of $T$) so that $G-F$ is disconnected. For $n$-dimensional hypercube $Q_{n}$, Lin et al. [6] showed $κ(Q_{n},K_{1,1})=κ^{s}(Q_{n},K_{1,1})=n-1$ and $κ(Q_{n},K_{1,r})=κ^{s}(Q_{n},K_{1,r})=\lceil\frac{n}{2}\rceil$ for $2\leq r\leq 3$ and $n\geq 3$. Sabir et al. [11] obtained that $κ(Q_{n},K_{1,4})=κ^{s}(Q_{n},K_{1,4})=\lceil\frac{n}{2}\rceil$ for $n\geq 6$, and for $n$-dimensional folded hypercube $FQ_{n}$, $κ(FQ_{n},K_{1,1})=κ^{s}(FQ_{n},K_{1,1})=n$, $κ(FQ_{n},K_{1,r})=κ^{s}(FQ_{n},K_{1,r})=\lceil\frac{n+1}{2}\rceil$ with $2\leq r\leq 3$ and $n\geq 7$. They proposed an open problem of determining $K_{1,r}$-structure connectivity of $Q_n$ and $FQ_n$ for general $r$. In this paper, we obtain that for each integer $r\geq 2$, $κ(Q_{n};K_{1,r})=κ^{s}(Q_{n};K_{1,r})=\lceil\frac{n}{2}\rceil$ and $κ(FQ_{n};K_{1,r})=κ^{s}(FQ_{n};K_{1,r})= \lceil\frac{n+1}{2}\rceil$ for all integers $n$ larger than $r$ in quare scale. For $4\leq r\leq 6$, we separately confirm the above result holds for $Q_n$ in the remaining cases.
Barabasi-Albert trees are hypoenergetic
Published
• View Publication
• BIB
We prove that graphs following the model of Barabasi-Albert tree with n vertices are hypoenergetic in the large n limit.
Normalized Laplacians for Gain Graphs
Published in American Journal of Combinatorics, Volume 1 (2022), Pages 20-39. Link: https://ajcombinatorics.org/articles.html
• View Publication
• BIB
We propose the notion of normalized Laplacian matrix $\mathcal{L}(Φ)$ for a gain graphs and study its properties in detail, providing insights and counterexamples along the way. We establish bounds for the eigenvalues of $\mathcal{L}(Φ)$ and characterize the classes of graphs for which equality holds. The relationships between the balancedness, bipartiteness, and their connection to the spectrum of $\mathcal{L}(Φ)$ are also studied. Besides, we extend the edge version of eigenvalue interlacing for the gain graphs. Thereupon, we determine the coefficients for the characteristic polynomial of $\mathcal{L}(Φ)$.
A complete multipartite basis for the chromatic symmetric function
Published in SIAM Journal on Discrete Mathematics, Volume 35, Issue 4, November 2021, 2647-2661
• View Publication
• BIB
In the vector space of symmetric functions, the elements of the basis of elementary symmetric functions are (up to a factor) the chromatic symmetric functions of disjoint unions of cliques. We consider their graph complements, the functions $\{r_λ: λ\text{ an integer partition}\}$ defined as chromatic symmetric functions of complete multipartite graphs. This basis was first introduced by Penaguiao [21]. We provide a combinatorial interpretation for the coefficients of the change-of-basis formula between the $r_λ$ and the monomial symmetric functions, and we show that the coefficients of the chromatic and Tutte symmetric functions of a graph $G$ when expanded in the $r$-basis enumerate certain intersections of partitions of $V(G)$ into stable sets.
Metric and ultrametric inequalities for resistances in directed graphs
Published
• View Publication
• BIB
Consider an electrical circuit $G$ each directed edge $e$ of which is a semiconductor with a monomial conductance function $y_e^* = f_e(y_e) = y_e^s / μ_e^r$ if $y_e \geq 0$ and $y_e^* = 0$ if $y_e \leq 0$. Here $e$ is a directed edge, $y_e$ is the potential difference (voltage), $y_e^*$ is the current in $e$, and $μ_e$ is the resistance of $e$; furthermore, $r$ and $s$ are two strictly positive real parameters common for all edges. In particular, case $r = s = 1$ corresponds to the Ohm law, while $r = \frac{1}{2}, s =1$ may be interpreted as the square law of resistance typical for hydraulics and gas dynamics. We will show that for every ordered pair of nodes $a, b$ of the circuit, the effective resistance $μ_{a,b}$ is well-defined. In other words, any two-pole network with poles $a$ and $b$ can be effectively replaced by two oppositely directed edges, from $a$ to $b$ of resistance $μ_{a,b}$ and from $b$ to $a$ of resistance $μ_{b,a}$. Furthermore, for every three nodes $a, b, c$ the inequality $μ_{a,c}^{s/r} + μ_{c,b}^{s/r} \geq μ_{a,b}^{s/r}$ holds, in which the equality is achieved if and only if every directed path from $a$ to $b$ contains $c$. MSC classes: 11J83, 90C25, 94C15,94C99
Tree densities in sparse graph classes
Published
• View Publication
• BIB
What is the maximum number of copies of a fixed forest $T$ in an $n$-vertex graph in a graph class $\mathcal{G}$ as $n\to \infty$? We answer this question for a variety of sparse graph classes $\mathcal{G}$. In particular, we show that the answer is $Θ(n^{α_d(T)})$ where $α_d(T)$ is the size of the largest stable set in the subforest of $T$ induced by the vertices of degree at most $d$, for some integer $d$ that depends on $\mathcal{G}$. For example, when $\mathcal{G}$ is the class of $k$-degenerate graphs then $d=k$; when $\mathcal{G}$ is the class of graphs containing no $K_{s,t}$-minor ($t\geq s$) then $d=s-1$; and when $\mathcal{G}$ is the class of $k$-planar graphs then $d=2$. All these results are in fact consequences of a single lemma in terms of a finite set of excluded subgraphs.