graph
34961 papers tagged with this keyword
A catalog of matchstick graphs
Classification of planar unit-distance graphs with up to 9 edges, by homeomorphism and isomorphism classes. With exactly nine edges, there are 633 nonisomorphic connected matchstick graphs, of which 196 are topologically distinct from each other. Increasing edges' number, their quantities rise more than exponentially, in a still unclear way.
Automorphisms of Cayley graphs generated by transposition sets
Let $S$ be a set of transpositions such that the girth of the transposition graph of $S$ is at least 5. It is shown that the automorphism group of the Cayley graph of the permutation group $H$ generated by $S$ is the semidirect product $R(H) \rtimes \Aut(H,S)$, where $R(H)$ is the right regular representation of $H$ and $\Aut(H,S)$ is the set of automorphisms of $H$ that fixes $S$ setwise. Furthermore, if the connected components of the transposition graph of $S$ are isomorphic to each other, then $\Aut(H,S)$ is isomorphic to the automorphism group of the line graph of the transposition graph of $S$. This result is a common generalization of previous results by Feng, Ganesan, Harary, Mirafzal, and Zhang and Huang. As another special case, we obtain the automorphism group of the extended cube graph that was proposed as a topology for interconnection networks.
Complete r-partite graphs determined by their domination polynomial
Published
• View Publication
• BIB
The domination polynomial of a graph is the polynomial whose coefficients count the number of dominating sets of each cardinality. A recent question asks which graphs are uniquely determined (up to isomorphism) by their domination polynomial. In this paper, we completely describe the complete r-partite graphs which are; in the bipartite case, this settles in the affirmative a conjecture of Aalipour, Akbari and Ebrahimi.
Bounds on the diameters of $r$-stacked and $k$-neighborly polytopes
We improve Larman's bound on the diameter of a polytope by showing that if $Δ$ is a normal simplicial complex, all of whose missing faces have size at most $r$, then the diameter of the facet-ridge graph of $Δ$ is not larger than $2^{r-2}n$, where $n$ is the number of vertices of $Δ$. We then use this result to provide new upper bounds on the diameters of the facet-ridge graphs of $k$-neighborly spheres, $r$-stacked spheres, and polytopes with small $g_r$. Specifically, our bounds imply that $r$-stacked spheres with $r=O(\log n)$ satisfy the polynomial Hirsch conjecture.
Signless laplacian characteristic polynomials of regular graph transformations
Let $G$ be a simple $r$-regular graph with $n$ vertices and $m$ vertices. We give the signless Laplacian characteristic polynomials of $xyz$-transformations $G^{xyz}$ of $G$ in terms of $n$, $m$, $r$ and the signless Laplacian spectrum of $G$.
The smallest nonevasive graph property
Published
• View Publication
• BIB
A property of n-vertex graphs is called evasive if every algorithm testing this property by asking questions of the form "is there an edge between vertices u and v" requires, in the worst case, to ask about all pairs of vertices. Most "natural" graph properties are either evasive or conjectured to be such, and of the few examples of nontrivial nonevasive properties scattered in the literature the smallest one has n=6. We exhibit a nontrivial, nonevasive property of 5-vertex graphs and show that it is essentially the unique such with n at most 5.
An upper bound theorem for a class of flag weak pseudomanifolds
If K is an odd-dimensional flag closed manifold, flag generalized homology sphere or a more general flag weak pseudomanifold with sufficiently many vertices, then the maximal number of edges in K is achieved by the balanced join of cycles.
The proof relies on stability results from extremal graph theory. In the case of manifolds we also offer an alternative (very) short proof utilizing the non-embeddability theorem of Flores.
The main theorem can also be interpreted without the topological contents as a graph-theoretic extremal result about a class of graphs such that 1) every maximal clique in the graph has size d+1 and 2) every clique of size d belongs to exactly two maximal cliques.
On the approximate shape of degree sequences that are not potentially $H$-graphic
Published
• View Publication
• BIB
A sequence of nonnegative integers $π$ is {\it graphic} if it is the degree sequence of some graph $G$. In this case we say that $G$ is a \textit{realization} of $π$, and we write $π=π(G)$. A graphic sequence $π$ is {\it potentially $H$-graphic} if there is a realization of $π$ that contains $H$ as a subgraph.
Given nonincreasing graphic sequences $π_1=(d_1,\ldots,d_n)$ and $π_2 = (s_1,\ldots,s_n)$, we say that $π_1$ {\it majorizes} $π_2$ if $d_i \geq s_i$ for all $i$, $1 \leq i \leq n$. In 1970, Erdős showed that for any $K_{r+1}$-free graph $H$, there exists an $r$-partite graph $G$ such that $π(G)$ majorizes $π(H)$. In 2005, Pikhurko and Taraz generalized this notion and showed that for any graph $F$ with chromatic number $r+1$, the degree sequence of an $F$-free graph is, in an appropriate sense, nearly majorized by the degree sequence of an $r$-partite graph.
In this paper, we give similar results for degree sequences that are not potentially $H$-graphic. In particular, there is a graphic sequence $π^*(H)$ such that if $π$ is a graphic sequence that is not potentially $H$-graphic, then $π$ is close to being majorized by $π^*(H)$. Similar to the role played by complete multipartite graphs in the traditional extremal setting, the sequence $π^*(H)$ asymptotically gives the maximum possible sum of a graphic sequence $π$ that is not potentially $H$-graphic.
Non-uniqueness phase of Bernoulli percolation on reflection groups for some polyhedra in H^3
Published
• View Publication
• BIB
In the present paper I consider Cayley graphs of reflection groups of finite-sided Coxeter polyhedra in 3-dimensional hyperbolic space H^3, with standard sets of generators. As the main result, I prove the existence of non-trivial non-uniqueness phase of bond and site Bernoulli percolation on such graphs, i.e. that p_c < p_u, for two classes of such polyhedra:
* for any k-hedra as above with k at least 13;
* for any compact right-angled polyhedra as above.
I also establish a natural lower bound for the growth rate of such Cayley graphs (when the number of faces of the polyhedron is at least 6; see thm. 5.2) and an upper bound for the growth rate of the sequence (#{simple cycles of length n through o})_n for a regular graph of degree at least 2 with a distinguished vertex o, depending on its spectral radius (see thm. 5.1 and rem. 2.3), both used to prove the main result.
Twins in graphs
Published in European J. Combin 39 (2014), 188--197
• View Publication
• BIB
A basic pigeonhole principle insures an existence of two objects of the same type if the number of objects is larger than the number of types. Can such a principle be extended to a more complex combinatorial structure? Here, we address such a question for graphs. We call two disjoint subsets $A, B$ of vertices \emph{\textbf{twins}} if they have the same cardinality and induce subgraphs of the same size.
Let $t(G)$ be the largest $k$ such that $G$ has twins on $k$ vertices each. We provide the bounds on $t(G)$ in terms of the number of edges and vertices using discrepancy results for induced subgraphs. In addition, we give conditions under which $t(G)= |V(G)|/2$ and show that if $G$ is a forest then $t(G) \geq |V(G)|/2 - 1$.
Sufficient sparseness conditions for G^2 to be (Δ+1)-choosable, when Δ\ge5
Published in Discrete Applied Math. Vol. 162(10), January 2014, pp. 167-176
• View Publication
• BIB
We determine the list chromatic number of the square of a graph $\chil(G^2)$ in terms of its maximum degree $Δ$ when its maximum average degree, denoted $\mad(G)$, is sufficiently small. For $Δ\ge 6$, if $\mad(G)<2+\frac{4Δ-8}{5Δ+2}$, then $\chil(G^2)=Δ+1$. In particular, if $G$ is planar with girth $g\ge 7+\frac{12}{Δ-2}$, then $\chil(G^2)=Δ+1$. Under the same conditions, $\chil^i(G)=Δ$, where $\chil^i$ is the list injective chromatic number.
The first k-regular subgraph is large
Published
• View Publication
• BIB
We prove that for sufficiently large k, there exist $0\leσ_k\le\eps_k\to 0$ as $k\to\infty$, such that asymptotically almost surely the first k-regular subgraph appeared in the random graph process where one edge is added at a time has size between $(1-\eps_k)|\K_k|$ and $(1-σ_k)|\K_k|$, where $\K_k$ denotes the $k$-core of the graph.
Simplified results on the regularity of electric resistance on a distance-regular graph
Simplifications of a result from a prior paper concerning the electric resistance between points in a distance-regular graph are given. In particular, we prove that the maximal resistance between points is bounded by twice the resistance between neighbors. We also show that if the constant is weakened, then a very simple proof can be given.
Choosability of the square of a planar graph with maximum degree four
Published in Australasian Journal of Combinatorics. Vol. 59(1), June 2014, pp. 86-97
• Search Publication
We study squares of planar graphs with the aim to determine their list chromatic number. We present new upper bounds for the square of a planar graph with maximum degree $Δ\leq 4$. In particular $G^2$ is 5-, 6-, 7-, 8-, 12-, 14-choosable if the girth of $G$ is at least 16, 11, 9, 7, 5, 3 respectively. In fact we prove more general results, in terms of maximum average degree, that imply the results above.
The generalized 3-connectivity of random graphs
The generalized connectivity of a graph $G$ was introduced by Chartrand et al. Let $S$ be a nonempty set of vertices of $G$, and $κ(S)$ be defined as the largest number of internally disjoint trees $T_1, T_2, \cdots, T_k$ connecting $S$ in $G$. Then for an integer $r$ with $2 \leq r \leq n$, the {\it generalized $r$-connectivity} $κ_r(G)$ of $G$ is the minimum $κ(S)$ where $S$ runs over all the $r$-subsets of the vertex set of $G$. Obviously, $κ_2(G)=κ(G)$, is the vertex connectivity of $G$, and hence the generalized connectivity is a natural generalization of the vertex connectivity. Similarly, let $λ(S)$ denote the largest number $k$ of pairwise edge-disjoint trees $T_1, T_2, \ldots, T_k$ connecting $S$ in $G$. Then the {\it generalized $r$-edge-connectivity} $λ_r(G)$ of $G$ is defined as the minimum $λ(S)$ where $S$ runs over all the $r$-subsets of the vertex set of $G$. Obviously, $λ_2(G) = λ(G)$.
In this paper, we study the generalized 3-connectivity of random graphs and prove that for every fixed integer $k\geq 1$, $$p=\frac{\log n+(k+1)\log \log n -\log \log \log n}{n}$$ is a sharp threshold function for the property $κ_3(G(n, p)) \geq k$, which could be seen as a counterpart of Bollobás and Thomason's result for vertex connectivity. Moreover, we obtain that $δ(G(n,p)) - 1 = λ(G(n,p)) - 1 = κ(G(n,p)) - 1 \le {κ_3}(G(n,p)) \le {λ_3}(G(n,p)) \le κ(G(n,p)) = λ(G(n,p)) = δ(G(n,p))$ almost surely holds, which could be seen as a counterpart of Ivchenko's result.
The Erdős-Hajnal Conjecture for Paths and Antipaths
Published in Journal of Combinatorial Theory, Series B, 113:261-264, 2015
• View Publication
• BIB
We prove that for every k, there exists $c_k>0$ such that every graph G on n vertices not inducing a path $P_k$ and its complement contains a clique or a stable set of size $n^{c_k}$.
On the Longest Paths and the Diameter in Random Apollonian Networks
Published
• View Publication
• BIB
We consider the following iterative construction of a random planar triangulation. Start with a triangle embedded in the plane. In each step, choose a bounded face uniformly at random, add a vertex inside that face and join it to the vertices of the face. After n-3 steps, we obtain a random triangulated plane graph with n vertices, which is called a Random Apollonian Network (RAN). We show that asymptotically almost surely (a.a.s.) every path in a RAN has length o(n), refuting a conjecture of Frieze and Tsourakakis. We also show that a RAN always has a path of length (2n-5)^{log 2/log 3}, and that the expected length of its longest path is Omega(n^0.88). Finally, we prove that a.a.s. the diameter of a RAN is asymptotic to c log n, where c \approx 1.668 is the solution of an explicit equation.
The core of games on ordered structures and graphs
Published in Annals of Operations Research (2013) 33-64
• View Publication
• BIB
In cooperative games, the core is the most popular solution concept, and its properties are well known. In the classical setting of cooperative games, it is generally assumed that all coalitions can form, i.e., they are all feasible. In many situations, this assumption is too strong and one has to deal with some unfeasible coalitions. Defining a game on a subcollection of the power set of the set of players has many implications on the mathematical structure of the core, depending on the precise structure of the subcollection of feasible coalitions. Many authors have contributed to this topic, and we give a unified view of these different results.
Pattern Recognition on Oriented Matroids: Critical Committees and Distance Signals
If V(R) is the vertex sequence of a symmetric cycle R in the tope graph of a simple acyclic oriented matroid M on a t-element ground set, then the set min V(R) of minimal elements in the subposet V(R) of the tope poset of M, based at the positive tope, is a critical committee for M that votes for the base tope. We consider the sequence zR of poset ranks of the elements from the vertex sequence of R as a fragment of a signal with period 2t and relate the number of members of the committee min V(R) to the magnitudes of [t/2] components, with odd indices, of the discrete Fourier transform of the distance vector zR.
Degree and algebraic properties of lattice and matrix ideals
Published in SIAM J. Discrete Math. 28 (2014), no. 1, 394--427
• Search Publication
We study the degree of non-homogeneous lattice ideals over arbitrary fields, and give formulae to compute the degree in terms of the torsion of certain factor groups of Z^s and in terms of relative volumes of lattice polytopes. We also study primary decompositions of lattice ideals over an arbitrary field using the Eisenbud-Sturmfels theory of binomial ideals over algebraically closed fields. We then use these results to study certain families of integer matrices (PCB, GPCB, CB, GCB matrices) and the algebra of their corresponding matrix ideals. In particular, the family of generalized positive critical binomial matrices (GPCB matrices) is shown to be closed under transposition, and previous results for PCB ideals are extended to GPCB ideals. Then, more particularly, we give some applications to the theory of 1-dimensional binomial ideals. If G is a connected graph, we show as a further application that the order of its sandpile group is the degree of the Laplacian ideal and the degree of the toppling ideal. We also use our earlier results to give a structure theorem for graded lattice ideals of dimension 1 in 3 variables and for homogeneous lattices in Z^3 in terms of critical binomial ideals (CB ideals) and critical binomial matrices, respectively, thus complementing a well-known theorem of Herzog on the toric ideal of a monomial space curve.