graph
34995 papers tagged with this keyword
Chromatic number and complete graph substructures for degree sequences
Given a graphic degree sequence $D$, let $χ(D)$ (respectively $ω(D)$, $h(D)$, and $H(D)$) denote the maximum value of the chromatic number (respectively, the size of the largest clique, largest clique subdivision, and largest clique minor) taken over all simple graphs whose degree sequence is $D$. It is proved that $χ(D)\le h(D)$. Moreover, it is shown that a subdivision of a clique of order $χ(D)$ exists where each edge is subdivided at most once and the set of all subdivided edges forms a collection of disjoint stars. This bound is an analogue of the Hajos Conjecture for degree sequences and, in particular, settles a conjecture of Neil Robertson that degree sequences satisfy the bound $χ(D)\le H(D)$ (which is related to the Hadwiger Conjecture). It is also proved that $χ(D)\le {6/5}ω(D)+{3/5}$ and that $χ(D) \le {4/5}ω(D) + {1/5}Δ(D) + 1$, where $Δ(D)$ denotes the maximum degree in $D$. The latter inequality is a strengthened version of a conjecture of Bruce Reed. All derived inequalities are best possible.
Spectral radius of finite and infinite planar graphs and of graphs of bounded genus
Published in J. Combin. Theory Ser. B 100 (2010) 729-739
• View Publication
• BIB
It is well known that the spectral radius of a tree whose maximum degree is $D$ cannot exceed $2\sqrt{D-1}$. In this paper we derive similar bounds for arbitrary planar graphs and for graphs of bounded genus. It is proved that a the spectral radius $ρ(G)$ of a planar graph $G$ of maximum vertex degree $D\ge 4$ satisfies $\sqrt{D}\le ρ(G)\le \sqrt{8D-16}+7.75$. This result is best possible up to the additive constant--we construct an (infinite) planar graph of maximum degree $D$, whose spectral radius is $\sqrt{8D-16}$. This generalizes and improves several previous results and solves an open problem proposed by Tom Hayes. Similar bounds are derived for graphs of bounded genus. For every $k$, these bounds can be improved by excluding $K_{2,k}$ as a subgraph. In particular, the upper bound is strengthened for 5-connected graphs. All our results hold for finite as well as for infinite graphs.
At the end we enhance the graph decomposition method introduced in the first part of the paper and apply it to tessellations of the hyperbolic plane. We derive bounds on the spectral radius that are close to the true value, and even in the simplest case of regular tessellations of type $\{p,q\}$ we derive an essential improvement over known results, obtaining exact estimates in the first order term and non-trivial estimates for the second order asymptotics.
Crossing-critical graphs with large maximum degree
Published in J. Combin. Theory, Ser. B 100 (2010) 413-417
• View Publication
• BIB
A conjecture of Richter and Salazar about graphs that are critical for a fixed crossing number $k$ is that they have bounded bandwidth. A weaker well-known conjecture of Richter is that their maximum degree is bounded in terms of $k$. In this note we disprove these conjectures for every $k\ge 171$, by providing examples of $k$-crossing-critical graphs with arbitrarily large maximum degree.
A Graph Theoretic Method for Determining Generating Sets of Prime Ideals in Quantum Matrices
Published
• View Publication
• BIB
We take a graph theoretic approach to the problem of finding generators for those prime ideals of $\mathcal{O}_q(\mathcal{M}_{m,n}(\mathbb{K}))$ which are invariant under the torus action ($\mathbb{K}^*)^{m+n}$. Launois \cite{launois3} has shown that the generators consist of certain quantum minors of the matrix of canonical generators of $\mathcal{O}_q(\mathcal{M}_{m,n}(\mathbb{K}))$ and in \cite{launois2} gives an algorithm to find them. In this paper we modify a classic result of Lindström \cite{lind} and Gessel-Viennot~\cite{gv} to show that a quantum minor is in the generating set for a particular ideal if and only if we can find a particular set of vertex-disjoint directed paths in an associated directed graph.
Strongly regular edge-transitive graphs
Published
• View Publication
• BIB
In this paper, we examine the structure of vertex- and edge-transitive strongly regular graphs, using normal quotient reduction. We show that the irreducible graphs in this family have quasiprimitive automorphism groups, and prove (using the Classification of Finite Simple Groups) that no graph in this family has a holomorphic simple automorphism group. We also find some constraints on the parameters of the graphs in this family that reduce to complete graphs.
All Connected Graphs with Maximum Degree at Most 3 whose Energies are Equal to the Number of Vertices
The energy $E(G)$ of a graph $G$ is defined as the sum of the absolute values of its eigenvalues. Let $S_2$ be the star of order 2 (or $K_2$) and $Q$ be the graph obtained from $S_2$ by attaching two pendent edges to each of the end vertices of $S_2$. Majstorović et al. conjectured that $S_2$, $Q$ and the complete bipartite graphs $K_{2,2}$ and $K_{3,3}$ are the only 4 connected graphs with maximum degree $Δ\leq 3$ whose energies are equal to the number of vertices. This paper is devoted to giving a confirmative proof to the conjecture.
An enumeration of spherical latin bitrades
A latin bitrade (T1, T2) is a pair of partial latin squares which are disjoint, occupy the same set of non-empty cells, and whose corresponding rows and columns contain the same set of entries. A genus may be associated to a latin bitrade by constructing an embedding of the underlying graph in an oriented surface. We report computational enumeration results on the number of spherical (genus 0) latin bitrades up to size 24.
Lamplighter graphs do not admit harmonic functions of finite energy
Published
• View Publication
• BIB
We prove that a lamplighter graph of a locally finite graph over a finite graph does not admit a non-constant harmonic function of finite Dirichlet energy.
Domination number of cubic graphs with large girth
We show that every n-vertex cubic graph with girth at least g have domination number at most 0.299871n+O(n/g)<3n/10+O(n/g).
An update on the Hirsch conjecture
Published in Jahresbericht der Deutschen Mathematiker-Vereinigung, Volume 112(2) (June 2010), 73-98
• View Publication
• BIB
The Hirsch conjecture was posed in 1957 in a letter from Warren M. Hirsch to George Dantzig. It states that the graph of a d-dimensional polytope with n facets cannot have diameter greater than n - d.
Despite being one of the most fundamental, basic and old problems in polytope theory, what we know is quite scarce. Most notably, no polynomial upper bound is known for the diameters that are conjectured to be linear. In contrast, very few polytopes are known where the bound $n-d$ is attained. This paper collects known results and remarks both on the positive and on the negative side of the conjecture. Some proofs are included, but only those that we hope are accessible to a general mathematical audience without introducing too many technicalities.
Nowhere-Harmonic Colorings of Graphs
Published
• View Publication
• BIB
Proper vertex colorings of a graph are related to its boundary map, also called its signed vertex-edge incidence matrix. The vertex Laplacian of a graph, a natural extension of the boundary map, leads us to introduce nowhere-harmonic colorings and analogues of the chromatic polynomial and Stanley's theorem relating negative evaluations of the chromatic polynomial to acyclic orientations. Further, we discuss some examples demonstrating that nowhere-harmonic colorings are more complicated from an enumerative perspective than proper colorings.
Criteria for rational smoothness of some symmetric orbit closures
Published
• View Publication
• BIB
Let $G$ be a connected reductive linear algebraic group over $\C$ with an involution $θ$. Denote by $K$ the subgroup of fixed points. In certain cases, the $K$-orbits in the flag variety $G/B$ are indexed by the twisted identities $\iot = \{θ(w^{-1})w\mid w\in W\}$ in the Weyl group $W$. Under this assumption, we establish a criterion for rational smoothness of orbit closures which generalises classical results of Carrell and Peterson for Schubert varieties. That is, whether an orbit closure is rationally smooth at a given point can be determined by examining the degrees in a ``Bruhat graph'' whose vertices form a subset of $\iot$. Moreover, an orbit closure is rationally smooth everywhere if and only if its corresponding interval in the Bruhat order on $\iot$ is rank symmetric.
In the special case $K=\Sp_{2n}(\C)$, $G=\SL_{2n}(\C)$, we strengthen our criterion by showing that only the degree of a single vertex, the ``bottom one'', needs to be examined. This generalises a result of Deodhar for type $A$ Schubert varieties.
On the number of perfect matchings in random lifts
Published
• View Publication
• BIB
Let G be a fixed connected multigraph with no loops. A random n-lift of G is obtained by replacing each vertex of G by a set of n vertices (where these sets are pairwise disjoint) and replacing each edge by a randomly chosen perfect matching between the n-sets corresponding to the endpoints of the edge. Let X_G be the number of perfect matchings in a random lift of G. We study the distribution of X_G in the limit as n tends to infinity, using the small subgraph conditioning method.
We present several results including an asymptotic formula for the expectation of X_G when G is d-regular, d\geq 3. The interaction of perfect matchings with short cycles in random lifts of regular multigraphs is also analysed. Partial calculations are performed for the second moment of X_G, with full details given for two example multigraphs, including the complete graph K_4.
To assist in our calculations we provide a theorem for estimating a summation over multiple dimensions using Laplace's method. This result is phrased as a summation over lattice points, and may prove useful in future applications.
Words and polynomial invariants of finite groups in non-commutative variables
Published
• View Publication
• BIB
Let V be a complex vector space with basis {x_1,x_2,...,x_n} and G be a finite subgroup of GL(V). The tensor algebra T(V) over the complex is isomorphic to the polynomials in the non-commutative variables x_1, x_2,..., x_n with complex coefficients. We want to give a combinatorial interpretation for the decomposition of T(V) into simple G-modules. In particular, we want to study the graded space of invariants in T(V) with respect to the action of G. We give a general method for decomposing the space T(V) into simple modules in terms of words in a Cayley graph of the group G. To apply the method to a particular group, we require a homomorphism from a subalgebra of the group algebra into the character algebra. In the case of G as the symmetric group, we give an example of this homomorphism from the descent algebra. When G is the dihedral group, we have a realization of the character algebra as a subalgebra of the group algebra. In those two cases, we have an interpretation for the graded dimensions of the invariant space in term of those words.
Ehrhart theory, Modular flow reciprocity, and the Tutte polynomial
Published in Math. Z. 270 (2012), no. 1-2, 1-18
• View Publication
• BIB
Given an oriented graph G, the modular flow polynomial counts the number of nowhere-zero Z_k-flows of G. We give a description of the modular flow polynomial in terms of (open) Ehrhart polynomials of lattice polytopes. Using Ehrhart-Macdonald reciprocity we give a combinatorial interpretation for the values of the modular flow polynomial at negative arguments which answers a question of Beck and Zaslavsky (2006). Our construction extends to Z_l-tensions and we recover Stanley's reciprocity theorem for the chromatic polynomial. Combining the combinatorial reciprocity statements for flows and tensions, we give an enumerative interpretation for positive evaluations of the Tutte polynomial of G.
Some Exact Results on the Potts Model Partition Function in a Magnetic Field
Published in J. Phys. A 42, 385004 (2009)
• View Publication
• BIB
We consider the Potts model in a magnetic field on an arbitrary graph $G$. Using a formula of F. Y. Wu for the partition function $Z$ of this model as a sum over spanning subgraphs of $G$, we prove some properties of $Z$ concerning factorization, monotonicity, and zeros. A generalization of the Tutte polynomial is presented that corresponds to this partition function. In this context we formulate and discuss two weighted graph-coloring problems. We also give a general structural result for $Z$ for cyclic strip graphs.
Connectivity of chamber graphs of buildings and related complexes
Published in European J. Combin. 31 (2010), no. 8, 2149--2160
• Search Publication
Let Δbe a finite building (or, more generally, a thick spherical and locally finite building). The chamber graph G(Δ), whose edges are the pairs of adjacent chambers in Δ, is known to be q-regular for a certain number q=q(Δ). Our main result is that G(Δ) is q-connected in the sense of graph theory.
Similar results are proved for the chamber graphs of Coxeter complexes and for order complexes of geometric lattices.
Graph classes with given 3-connected components: asymptotic enumeration and random graphs
Consider a family $\mathcal{T}$ of 3-connected graphs of moderate growth, and let $\mathcal{G}$ be the class of graphs whose 3-connected components are graphs in $\mathcal{T}$. We present a general framework for analyzing such graphs classes based on singularity analysis of generating functions, which generalizes previously studied cases such as planar graphs and series-parallel graphs. We provide a general result for the asymptotic number of graphs in $\mathcal{G}$, based on the singularities of the exponential generating function associated to $\mathcal{T}$. We derive limit laws, which are either normal or Poisson, for several basic parameters, including the number of edges, number of blocks and number of components. For the size of the largest block we find a fundamental dichotomy: classes similar to planar graphs have almost surely a unique block of linear size, while classes similar to series-parallel graphs have only sublinear blocks. This dichotomy also applies to the size of the largest 3-connected component. For some classes under study both regimes occur, because of a critical phenomenon as the edge density in the class varies.
A geometric approach to acyclic orientations
Published in Order Volume 26, Number 4 (2009), 283-288
• View Publication
• BIB
The set of acyclic orientations of a connected graph with a given sink has a natural poset structure. We give a geometric proof of a result of Jim Propp: this poset is the disjoint union of distributive lattices.
On the binary codes with parameters of doubly-shortened 1-perfect codes
Published in Des. Codes Cryptogr. 57(2) 2010, 181-194
• View Publication
• BIB
We show that any binary $(n=2^m-3, 2^{n-m}, 3)$ code $C_1$ is a part of an equitable partition (perfect coloring) $\{C_1,C_2,C_3,C_4\}$ of the $n$-cube with the parameters $((0,1,n-1,0)(1,0,n-1,0)(1,1,n-4,2)(0,0,n-1,1))$. Now the possibility to lengthen the code $C_1$ to a 1-perfect code of length $n+2$ is equivalent to the possibility to split the part $C_4$ into two distance-3 codes or, equivalently, to the biparticity of the graph of distances 1 and 2 of $C_4$. In any case, $C_1$ is uniquely embeddable in a twofold 1-perfect code of length $n+2$ with some structural restrictions, where by a twofold 1-perfect code we mean that any vertex of the space is within radius 1 from exactly two codewords.