graph
35299 papers tagged with this keyword
Triangle-free graphs with the maximum number of cycles
Published
• View Publication
• BIB
It is shown that for $n\geq 141$, among all triangle-free graphs on $n$ vertices, the complete equibipartite graph is the unique triangle-free graph with the greatest number of cycles.
Some probabilistic trees with algebraic roots
Published
• View Publication
• BIB
In this article we consider several probabilistic processes defining random grapha. One of these processes appeared recently in connection with a factorization problem in the symmetric group. For each of the probabilistic processes, we prove that the probability for the random graph to be a tree has an extremely simple expression, which is independent of most parameters of the problem. This raises many open questions.
Multigraph Hyperplane Arrangements and Parking Functions
Published
• View Publication
• BIB
Back in the nineties Pak and Stanley introduced a labeling of the regions of a k-Shi arrangement by k-parking functions and proved its bijectivity. Duval, Klivans, and Martin considered a modification of this construction associated with a graph G. They introduced the G-Shi arrangement and a labeling of its regions by G-parking functions. They conjectured that their labeling is surjective, i.e. that every G-parking function appears as a label of a region of the G-Shi arrangement. Later Hopkins and Perkinson proved this conjecture. In particular, this provided a new proof of the bijectivity of Pak-Stanley labeling in the k=1 case. We generalize Hopkins-Perkinson's construction to the case of arrangements associated with oriented multigraphs. In particular, our construction provides a simple straightforward proof of the bijectivity of the original Pak-Stanley labeling for arbitrary k.
A note on fine graphs and homological isoperimetric inequalities
Published in Canad. Math. Bull. 59(2016), 170-181
• View Publication
• BIB
In the framework of homological characterizations of relative hyperbolicity, Groves and Manning posed the question of whether a simply connected $2$-complex $X$ with a linear homological isoperimetric inequality, a bound on the length of attaching maps of $2$-cells and finitely many $2$-cells adjacent to any edge must have a fine $1$-skeleton. We provide a positive answer to this question. We revisit a homological characterization of relative hyperbolicity, and show that a group $G$ is hyperbolic relative to a collection of subgroups $\mathcal P$ if and only if $G$ acts cocompactly with finite edge stabilizers on an connected $2$-dimensional cell complex with a linear homological isoperimetric inequality and $\mathcal P$ is a collection of representatives of conjugacy classes of vertex stabilizers.
All face 2-colorable d-angulations are Grünbaum colorable
Published in Journal of Combinatorial Mathematics and Combinatorial Computing, 95 (2015), 301-307
• Search Publication
A $d$-angulation of a surface is an embedding of a 3-connected graph on that surface that divides it into $d$-gonal faces. A $d$-angulation is said to be Grünbaum colorable if its edges can be $d$-colored so that every face uses all $d$ colors. Up to now, the concept of Grünbaum coloring has been related only to triangulations ($d = 3$), but in this note, this concept is generalized for an arbitrary face size $d \geqslant 3$. It is shown that the face 2-colorability of a $d$-angulation $P$ implies the Grünbaum colorability of $P$. Some wide classes of triangulations have turned out to be face 2-colorable.
Some Remarks on Rainbow Connectivity
Published in J. Graph Theory, 83 (2016), p. 372 - 383
• View Publication
• BIB
An edge (vertex) coloured graph is rainbow-connected if there is a rainbow path between any two vertices, i.e. a path all of whose edges (internal vertices) carry distinct colours. Rainbow edge (vertex) connectivity of a graph $G$ is the smallest number of colours needed for a rainbow edge (vertex) colouring of $G$. In this paper we propose a very simple approach to studying rainbow connectivity in graphs. Using this idea, we give a unified proof of several known results, as well as some new ones.
Petersen cores and the oddness of cubic graphs
Published in Journal Graph Theory 84 (2017) 109-120
• View Publication
• BIB
Let $G$ be a bridgeless cubic graph. Consider a list of $k$ 1-factors of $G$. Let $E_i$ be the set of edges contained in precisely $i$ members of the $k$ 1-factors. Let $μ_k(G)$ be the smallest $|E_0|$ over all lists of $k$ 1-factors of $G$. If $G$ is not 3-edge-colorable, then $μ_3(G) \geq 3$. In [E. Steffen, 1-factor and cycle covers of cubic graphs, J. Graph Theory 78(3) (2015) 195-206] it is shown that if $μ_3(G) \not = 0$, then $2 μ_3(G)$ is an upper bound for the girth of $G$. We show that $μ_3(G)$ bounds the oddness $ω(G)$ of $G$ as well. We prove that $ω(G)\leq \frac{2}{3}μ_3(G)$. If $μ_3(G) = \frac{2}{3} μ_3(G)$, then every $μ_3(G)$-core has a very specific structure. We call these cores Petersen cores. We show that for any given oddness there is a cyclically 4-edge-connected cubic graph $G$ with $ω(G) = \frac{2}{3}μ_3(G)$. On the other hand, the difference between $ω(G)$ and $\frac{2}{3}μ_3(G)$ can be arbitrarily big. This is true even if we additionally fix the oddness. Furthermore, for every integer $k\geq 3$, there exists a bridgeless cubic graph $G$ such that $μ_3(G)=k$.
Face-degree bounds for planar critical graphs
Published in The Electronic Journal of Combinatorics 23(3) (2016), #p3.21
• View Publication
• BIB
The only remaining case of a well known conjecture of Vizing states that there is no planar graph with maximum degree 6 and edge chromatic number 7. We introduce parameters for planar graphs, based on the degrees of the faces, and study the question whether there are upper bounds for these parameters for planar edge-chromatic critical graphs. Our results provide upper bounds on these parameters for smallest counterexamples to Vizing's conjecture, thus providing a partial characterization of such graphs, if they exist.
For $k \leq 5$ the results give insights into the structure of planar edge-chromatic critical graphs.
Perfect State Transfer on NEPS of the path P3
Published in Discrete Mathematics, 339(2): pp.831-838 (2016)
• View Publication
• BIB
Perfect state transfer is significant in quantum communication networks. There are very few graphs having this property. So, it is useful to find some new graphs having perfect state transfer. A good way to construct new graphs is by forming NEPS. It is known that the graph $P_{3}$ exhibits perfect state transfer and so we investigate some NEPS of the path $P_{3}$. A sufficient condition is found for a NEPS of $P_{3}$ to have perfect state transfer. Using these NEPS, some other graphs are constructed having perfect state transfer. We also prove that for every $n\in \Nl\setminus \left\lbrace 1\right\rbrace$ and any odd positive integer $k< n$, there is a basis $Ω$ such that $NEPS(P_{3},\ldots, P_{3};Ω)$ is connected and exhibits perfect state transfer.
On the $k$-limited packing numbers in graphs
Published in Discrete Optimization, 22 (2016), 270-276
• View Publication
• BIB
We give a sharp lower bound on the lower $k$-limited packing number of a general graph. Moreover, we establish a Nordhaus-Gaddum type bound on $2$-limited packing number of a graph. Also, we investigate the concepts of packing number ($1$-limited packing number) and open packing number in graphs with more details. In this way, by making use of the classic result of Meir and Moon (1975) and its total version (2005) we give new sharp upper bounds on domination number and total domination number of trees.
A positive Grassmannian analogue of the permutohedron
Published
• View Publication
• BIB
The classical permutohedron Perm is the convex hull of the points (w(1),...,w(n)) in R^n where w ranges over all permutations in the symmetric group. This polytope has many beautiful properties -- for example it provides a way to visualize the weak Bruhat order: if we orient the permutohedron so that the longest permutation w_0 is at the "top" and the identity e is at the "bottom," then the one-skeleton of Perm is the Hasse diagram of the weak Bruhat order. Equivalently, the paths from e to w_0 along the edges of Perm are in bijection with the reduced decompositions of w_0. Moreover, the two-dimensional faces of the permutohedron correspond to braid and commuting moves, which by the Tits Lemma, connect any two reduced expressions of w_0.
In this note we introduce some polytopes Br(k,n) (which we call bridge polytopes) which provide a positive Grassmannian analogue of the permutohedron. In this setting, BCFW bridge decompositions of reduced plabic graphs play the role of reduced decompositions. We define Br(k,n) and explain how paths along its edges encode BCFW bridge decompositions of the longest element pi(k,n) in the circular Bruhat order. We also show that two-dimensional faces of Br(k,n) correspond to certain local moves for plabic graphs, which by a result of Postnikov [Pos06], connect any two reduced plabic graphs associated to pi(k,n). All of these results can be generalized to the positive parts of Schubert cells. A useful tool in our proofs is the fact that our polytopes are isomorphic to certain Bruhat interval polytopes. Conversely, our results on bridge polytopes allow us to deduce some corollaries about the structure of Bruhat interval polytopes.
Discrete curvature and abelian groups
Published
• View Publication
• BIB
We study a natural discrete Bochner-type inequality on graphs, and explore its merit as a notion of curvature in discrete spaces. An appealing feature of this discrete version seems to be that it is fairly straightforward to compute this notion of curvature parameter for several specific graphs of interest - particularly, abelian groups, slices of the hypercube, and the symmetric group under various sets of generators. We further develop this notion by deriving Buser-type inequalities (a la Ledoux), relating functional and isoperimetric constants associated with a graph. Our derivations provide a tight bound on the Cheeger constant (i.e., the edge-isoperimetric constant) in terms of the spectral gap, for graphs with nonnegative curvature, particularly, the class of abelian Cayley graphs - a result of independent interest.
The Simultaneous Metric Dimension of Graph Families
Published in Discrete Applied Mathematics 198 (2016) 241-250
• View Publication
• BIB
A vertex $v\in V$ is said to resolve two vertices $x$ and $y$ if $d_G(v,x)\ne d_G(v,y)$. A set $S\subset V$ is said to be a metric generator for $G$ if any pair of vertices of $G$ is resolved by some element of $S$. A minimum metric generator is called a metric basis, and its cardinality, $\dim(G)$, the \emph{metric dimension} of $G$. A set $S\subseteq V$ is said to be a simultaneous metric generator for a graph family ${\cal G}=\{G_1,G_2,\ldots,G_k\}$, defined on a common (labeled) vertex set, if it is a metric generator for every graph of the family. A minimum cardinality simultaneous metric generator is called a simultaneous metric basis, and its cardinality the simultaneous metric dimension of ${\cal G}$. We obtain sharp bounds for this invariants for general families of graphs and calculate closed formulae or tight bounds for the simultaneous metric dimension of several specific graph families. For a given graph $G$ we describe a process for obtaining a lower bound on the maximum number of graphs in a family containing $G$ that has simultaneous metric dimension equal to $\dim(G)$. It is shown that the problem of finding the simultaneous metric dimension of families of trees is $NP$-hard. Sharp upper bounds for the simultaneous metric dimension of trees are established. The problem of finding this invariant for families of trees that can be obtained from an initial tree by a sequence of successive edge-exchanges is considered. For such families of trees sharp upper and lower bounds for the simultaneous metric dimension are established.
Bicoloring covers for graphs and hypergraphs
Let the {\it bicoloring cover number $χ^c(G)$} for a hypergraph $G(V,E)$ be the minimum number of bicolorings of vertices of $G$ such that every hyperedge $e\in E$ of $G$ is properly bicolored in at least one of the $χ^c(G)$ bicolorings. We investigate the relationship between $χ^c(G)$, matchings, hitting sets, $α(G)$(independence number) and $χ(G)$ (chromatic number). We design a factor $O(\frac{\log n}{\log \log n-\log \log \log n})$ approximation algorithm for computing a bicoloring cover. We define a new parameter for hypergraphs - "cover independence number $γ(G)$" and prove that $\log \frac{|V|}{γ(G)}$ and $\frac{|V|}{2γ(G)}$ are lower bounds for $χ^c(G)$ and $χ(G)$, respectively. We show that $χ^c(G)$ can be approximated by a polynomial time algorithm achieving approximation ratio $\frac{1}{1-t}$, if $γ(G)=n^t$, where $t<1$. We also construct a particular class of hypergraphs $G(V,E)$ called {\it cover friendly} hypergraphs where the ratio of $α(G)$ to $γ(G)$ can be arbitrarily large.We prove that for any $t\geq 1$, there exists a $k$-uniform hypergraph $G$ such that the {\it clique number} $ω(G)=k$ and $χ^c(G) > t$. Let $m(k,x)$ denote the minimum number of hyperedges %in a $k$-uniform hypergraph $G$ such that some $k$-uniform hypergraph $G$ with $m(k,x)$ hyperedges does not have a bicoloring cover of size $x$. We show that $ 2^{(k-1)x-1} < m(k,x) \leq x \cdot k^2 \cdot 2^{(k+1)x+2}$. Let the {\it dependency $d(G)$} of $G$ be the maximum number of hyperedge neighbors of any hyperedge in $G$. We propose an algorithm for computing a bicoloring cover of size $x$ for $G$ if $d(G) \leq(\frac{2^{x(k-1)}}{e}-1)$ using $nx+kx\frac{m}{d}$ random bits.
The coloring of the regular graph of ideals
The regular graph of ideals of the commutative ring $R$, denoted by $Γ_{reg}(R)$, is a graph whose vertex set is the set of all non-trivial ideals of $R$ and two distinct vertices $I$ and $J$ are adjacent if and only if either $I$ contains a $J$-regular element or $J$ contains an $I$-regular element. In this paper, it is shown that for every Artinian ring $R$, the edge chromatic number of $Γ_{reg}(R)$ equals its maximum degree. Then a formula for the clique number of $Γ_{reg}(R)$ is given. Also, it is proved that for every reduced ring $R$ with $n(\geq3)$ minimal prime ideals, the edge chromatic number of $Γ_{reg}(R)$ is $2^{n-1}-2$. Moreover, we show that both of the clique number and vertex chromatic number of $Γ_{reg}(R)$ are $n-1$, for every reduced ring $R$ with $n$ minimal prime ideals.
The index of a string consisting of 4 blocks
Generalized Fibonacci cube $Q_{d}(f)$, introduced by Ilić, Klavžar and Rho, is the graph obtained from the $d$-hypercube $Q_{d}$ by removing all vertices that contain $f$ as a substring. The smallest integer $d$ such that $Q_{d}(f)$ is not an isometric subgraph of $Q_{d}$ is called the index of $f$. A non-extendable sequence of contiguous equal digits in a string $μ$ is called a block of $μ$. The question that determine the index of a string consisting of at most 3 blocks is solved by Ilić, Klavžar and Rho. This question is further studied and the index of a string consisting of 4 blocks is determined, and the necessity of a string being good is also given for the strings with even blocks.
Proofs of two conjectures on generalized Fibonacci cubes
Published
• View Publication
• BIB
A binary string $f$ is a factor of string $u$ if $f$ appears as a sequence of $|f|$ consecutive bits of $u$, where $|f|$ denotes the length of $f$. Generalized Fibonacci cube $Q_{d}(f)$ is the graph obtained from the $d$-cube $Q_{d}$ by removing all vertices that contain a given binary string $f$ as a factor. A binary string $f$ is called good if $Q_{d}(f)$ is an isometric subgraph of $Q_{d}$ for all $d\geq1$, it is called bad otherwise. The index of a binary string $f$, denoted by $B(f)$, is the smallest integer $d$ such that $Q_{d}(f)$ is not an isometric subgraph of $Q_{d}$. Ilić, Klavžar and Rho conjectured that $B(f)<2|f|$ for any bad string $f$. They also conjectured that if $Q_{d}(f)$ is an isometric subgraph of $Q_{d}$, then $Q_{d}(ff)$ is an isometric subgraph of $Q_{d}$. We confirm the two conjectures by obtaining a basic result: if there exist $p$-critical words for $Q_{B(f)}(f)$, then $p$=2 or $p=3$.
Breaking of ensemble equivalence in networks
Published in Phys. Rev. Lett. 115, 268701 (2015)
• View Publication
• BIB
It is generally believed that, in the thermodynamic limit, the microcanonical description as a function of energy coincides with the canonical description as a function of temperature. However, various examples of systems for which the microcanonical and canonical ensembles are not equivalent have been identified. A complete theory of this intriguing phenomenon is still missing. Here we show that ensemble nonequivalence can manifest itself also in random graphs with topological constraints. We find that, while graphs with a given number of links are ensemble-equivalent, graphs with a given degree sequence are not. This result holds irrespective of whether the energy is nonadditive (as in unipartite graphs) or additive (as in bipartite graphs). In contrast with previous expectations, our results show that: (1) physically, nonequivalence can be induced by an extensive number of local constraints, and not necessarily by long-range interactions or nonadditivity; (2) mathematically, nonquivalence is determined by a different large-deviation behaviour of microcanonical and canonical probabilities for a single microstate, and not necessarily for almost all microstates. The latter criterion, which is entirely local, is not restricted to networks and holds in general.
Connective constants and height functions for Cayley graphs
Published
• View Publication
• BIB
The connective constant $μ(G)$ of an infinite transitive graph $G$ is the exponential growth rate of the number of self-avoiding walks from a given origin. In earlier work of Grimmett and Li, a locality theorem was proved for connective constants, namely, that the connective constants of two graphs are close in value whenever the graphs agree on a large ball around the origin. A condition of the theorem was that the graphs support so-called 'unimodular graph height functions'. When the graphs are Cayley graphs of infinite, finitely generated groups, there is a special type of unimodular graph height function termed here a 'group height function'. A necessary and sufficient condition for the existence of a group height function is presented, and may be applied in the context of the bridge constant, and of the locality of connective constants for Cayley graphs. Locality may thereby be established for a variety of infinite groups including those with strictly positive deficiency.
It is proved that a large class of Cayley graphs support unimodular graph height functions, that are in addition harmonic on the graph. This implies, for example, the existence of unimodular graph height functions for the Cayley graphs of finitely generated solvable groups. It turns out that graphs with non-unimodular automorphism subgroups also possess graph height functions, but the resulting graph height functions need not be harmonic.
Group height functions, as well as the graph height functions of the previous paragraph, are non-constant harmonic functions with linear growth and an additional property of having periodic differences. The existence of such functions on Cayley graphs is a topic of interest beyond their applications in the theory of self-avoiding walks.
A Littlewood-Richardson Rule for Dual Stable Grothendieck Polynomials
Published in J. Combin. Theory Ser. A, 151:23-35, 2017
• View Publication
• BIB
For a given skew shape, we build a crystal graph on the set of all reverse plane partitions that have this shape. As a consequence, we get a simple extension of the Littlewood-Richardson rule for the expansion of the corresponding dual stable Grothendieck polynomial in terms of Schur polynomials.