graph
35150 papers tagged with this keyword
Maximizing the number of q-colorings
Published
• View Publication
• BIB
Let P_G(q) denote the number of proper q-colorings of a graph G. This function, called the chromatic polynomial of G, was introduced by Birkhoff in 1912, who sought to attack the famous four-color problem by minimizing P_G(4) over all planar graphs G. Since then, motivated by a variety of applications, much research was done on minimizing or maximizing P_G(q) over various families of graphs.
In this paper, we study an old problem of Linial and Wilf, to find the graphs with n vertices and m edges which maximize the number of q-colorings. We provide the first approach which enables one to solve this problem for many nontrivial ranges of parameters. Using our machinery, we show that for each q >= 4 and sufficiently large m < κ_q n^2 where κ_q is approximately 1/(q log q), the extremal graphs are complete bipartite graphs minus the edges of a star, plus isolated vertices. Moreover, for q = 3, we establish the structure of optimal graphs for all large m <= n^2/4, confirming (in a stronger form) a conjecture of Lazebnik from 1989.
Coloring plane graphs with independent crossings
We show that every plane graph with maximum face size four whose all faces of size four are vertex-disjoint is cyclically 5-colorable. This answers a question of Albertson whether graphs drawn in the plane with all crossings independent are 5-colorable.
Cyclic colorings of plane graphs with independent faces
Published
• View Publication
• BIB
Let G be a plane graph with maximum face size D. If all faces of G with size four or more are vertex disjoint, then G has a cyclic coloring with D+1 colors, i.e., a coloring such that all vertices incident with the same face receive distinct colors.
Parallel Chip-Firing on the Complete Graph: Devil's Staircase and Poincare Rotation Number
Published
• View Publication
• BIB
We study how parallel chip-firing on the complete graph K_n changes behavior as we vary the total number of chips. Surprisingly, the activity of the system, defined as the average number of firings per time step, does not increase smoothly in the number of chips; instead it remains constant over long intervals, punctuated by sudden jumps. In the large n limit we find a "devil's staircase" dependence of activity on the number of chips. The proof proceeds by reducing the chip-firing dynamics to iteration of a self-map of the circle S^1, in such a way that the activity of the chip-firing state equals the Poincare rotation number of the circle map. The stairs of the devil's staircase correspond to periodic chip-firing states of small period.
Application of graph combinatorics to rational identities of type A
Published
• View Publication
• BIB
To a word $w$, we associate the rational function $Ψ_w = \prod (x_{w_i} - x_{w_{i+1}})^{-1}$. The main object, introduced by C. Greene to generalize identities linked to Murnaghan-Nakayama rule, is a sum of its images by certain permutations of the variables. The sets of permutations that we consider are the linear extensions of oriented graphs. We explain how to compute this rational function, using the combinatorics of the graph $G$. We also establish a link between an algebraic property of the rational function (the factorization of the numerator) and a combinatorial property of the graph (the existence of a disconnecting chain).
Commutative association schemes
Published in European J. Combin. 30 (2009) 1497-1525
• View Publication
• BIB
Association schemes were originally introduced by Bose and his co-workers in the design of statistical experiments. Since that point of inception, the concept has proved useful in the study of group actions, in algebraic graph theory, in algebraic coding theory, and in areas as far afield as knot theory and numerical integration. This branch of the theory, viewed in this collection of surveys as the "commutative case," has seen significant activity in the last few decades. The goal of the present survey is to discuss the most important new developments in several directions, including Gelfand pairs, cometric association schemes, Delsarte Theory, spin models and the semidefinite programming technique. The narrative follows a thread through this list of topics, this being the contrast between combinatorial symmetry and group-theoretic symmetry, culminating in Schrijver's SDP bound for binary codes (based on group actions) and its connection to the Terwilliger algebra (based on combinatorial symmetry). We propose this new role of the Terwilliger algebra in Delsarte Theory as a central topic for future work.
Contractibility and the Hadwiger Conjecture
Published in European J. Combinatorics 31.8:2102-2109, 2010
• View Publication
• BIB
Consider the following relaxation of the Hadwiger Conjecture: For each $t$ there exists $N_t$ such that every graph with no $K_t$-minor admits a vertex partition into $\ceil{αt+β}$ parts, such that each component of the subgraph induced by each part has at most $N_t$ vertices. The Hadwiger Conjecture corresponds to the case $α=1$, $β=-1$ and $N_t=1$. Kawarabayashi and Mohar [\emph{J. Combin. Theory Ser. B}, 2007] proved this relaxation with $α={31/2}$ and $β=0$ (and $N_t$ a huge function of $t$). This paper proves this relaxation with $α={7/2}$ and $β=-{3/2}$. The main ingredients in the proof are: (1) a list colouring argument due to Kawarabayashi and Mohar, (2) a recent result of Norine and Thomas that says that every sufficiently large $(t+1)$-connected graph contains a $K_t$-minor, and (3) a new sufficient condition for a graph to have a set of edges whose contraction increases the connectivity.
First Nonlinear Syzygies of Ideals Associated to Graphs
Published
• View Publication
• BIB
Consider an ideal $I\subset K[x_1,..., x_n]$, with $K$ an arbitrary field, generated by monomials of degree two. Assuming that $I$ does not have a linear resolution, we determine the step $s$ of the minimal graded free resolution of $I$ where nonlinear syzygies first appear, we show that at this step of the resolution nonlinear syzygies are concentrated in degree $s+3$, and we compute the corresponding graded Betti number $β_{s,s+3}$. The multidegrees of these nonlinear syzygies are also determined and the corresponding multigraded Betti numbers are shown to be all equal to 1.
Determinants in the Kronecker product of matrices: The incidence matrix of a complete graph
Published in Linear and Multilinear Algebra, 59 (2011), no. 4, 399--411. MR 2802522 (2012f:15007). Zbl 1218.15003
• View Publication
• BIB
We investigate the least common multiple of all subdeterminants, lcmd(A x B), of a Kronecker product of matrices, of which one is an integral matrix A with two columns and the other is the incidence matrix of a complete graph with n vertices. We prove that this quantity is the least common multiple of lcmd(A) to the power n-1 and certain binomial functions of the entries of A.
The Euler adic dynamical system and path counts in the Euler graph
Published
• View Publication
• BIB
We give a formula for generalized Eulerian numbers, prove monotonicity of sequences of certain ratios of the Eulerian numbers, and apply these results to obtain a new proof that the natural symmetric measure for the Bratteli-Vershik dynamical system based on the Euler graph is the unique fully supported invariant ergodic Borel probability measure. Key ingredients of the proof are a two-dimensional induction argument and a one-to-one correspondence between most paths from two vertices at the same level to another vertex.
Combinatorics of Tripartite Boundary Connections for Trees and Dimers
Published in Electronic Journal of Combinatorics 16(1):R112, 2009
• View Publication
• BIB
A grove is a spanning forest of a planar graph in which every component tree contains at least one of a special subset of vertices on the outer face called nodes. For the natural probability measure on groves, we compute various connection probabilities for the nodes in a random grove. In particular, for "tripartite" pairings of the nodes, the probability can be computed as a Pfaffian in the entries of the Dirichlet-to-Neumann matrix (discrete Hilbert transform) of the graph. These formulas generalize the determinant formulas given by Curtis, Ingerman, and Morrow, and by Fomin, for parallel pairings. These Pfaffian formulas are used to give exact expressions for reconstruction: reconstructing the conductances of a planar graph from boundary measurements. We prove similar theorems for the double-dimer model on bipartite planar graphs.
Distributive Lattices, Polyhedra, and Generalized Flow
Published
• View Publication
• BIB
A D-polyhedron is a polyhedron $P$ such that if $x,y$ are in $P$ then so are their componentwise max and min. In other words, the point set of a D-polyhedron forms a distributive lattice with the dominance order. We provide a full characterization of the bounding hyperplanes of D-polyhedra.
Aside from being a nice combination of geometric and order theoretic concepts, D-polyhedra are a unifying generalization of several distributive lattices which arise from graphs. In fact every D-polyhedron corresponds to a directed graph with arc-parameters, such that every point in the polyhedron corresponds to a vertex potential on the graph. Alternatively, an edge-based description of the point set can be given. The objects in this model are dual to generalized flows, i.e., dual to flows with gains and losses.
These models can be specialized to yield some cases of distributive lattices that have been studied previously. Particular specializations are: lattices of flows of planar digraphs (Khuller, Naor and Klein), of $α$-orientations of planar graphs (Felsner), of c-orientations (Propp) and of $Δ$-bonds of digraphs (Felsner and Knauer). As an additional application we exhibit a distributive lattice structure on generalized flow of breakeven planar digraphs.
On the limit of large girth graph sequences
Published
• View Publication
• BIB
We prove that any involution-invariant probability measure on the space of trees with maximum degrees at most d arises as the local limit of a convergent large girth graph sequence. This answers a question of Bollobas and Riordan.
On percolation and the bunkbed conjecture
Published
• View Publication
• BIB
We study a problem on edge percolation on product graphs $G\times K_2$. Here $G$ is any finite graph and $K_2$ consists of two vertices $\{0,1\}$ connected by an edge. Every edge in $G\times K_2$ is present with probability $p$ independent of other edges. The Bunkbed conjecture states that for all $G$ and $p$ the probability that $(u,0)$ is in the same component as $(v,0)$ is greater than or equal to the probability that $(u,0)$ is in the same component as $(v,1)$ for every pair of vertices $u,v\in G$.
We generalize this conjecture and formulate and prove similar statements for randomly directed graphs. The methods lead to a proof of the original conjecture for special classes of graphs $G$, in particular outerplanar graphs.
Expander graphs based on GRH with an application to elliptic curve cryptography
Published in J. Number Theory 129 (2009), pp. 1491-1504
• View Publication
• BIB
We present a construction of expander graphs obtained from Cayley graphs of narrow ray class groups, whose eigenvalue bounds follow from the Generalized Riemann Hypothesis. Our result implies that the Cayley graph of (Z/qZ)* with respect to small prime generators is an expander. As another application, we show that the graph of small prime degree isogenies between ordinary elliptic curves achieves non-negligible eigenvalue separation, and explain the relationship between the expansion properties of these graphs and the security of the elliptic curve discrete logarithm problem.
On the dimension of the minimal vertex covers semigroup ring of an unmixed bipartite graph
Published in LE MATEMATICHE Vol. LXIII, Fasc. II, pp. 157-163 (2008)
• Search Publication
In a paper in 2008, Herzog, Hibi and Ohsugi introduced and studied the semigroup ring associated to the set of minimal vertex covers of an unmixed bipartite graph. In this paper we relate the dimension of this semigroup ring to the rank of the Boolean lattice associated to the graph.
More results on greedy defining sets
The greedy defining sets of graphs were appeared first time in [M. Zaker, Greedy defining sets of graphs, Australas. J. Combin, 2001]. We show that to determine the greedy defining number of bipartite graphs is an NP-complete problem. This result answers affirmatively the problem mentioned in the previous paper. It is also shown that this number for forests can be determined in polynomial time. Then we present a method for obtaining greedy defining sets in Latin squares and using this method, show that any $n\times n$ Latin square has a GDS of size at most $n^2-(n\log n)/4$. Finally we present an application of greedy defining sets in designing practical secret sharing schemes.
Combinatorics of dispersionless integrable systems and universality in random matrix theory
Published
• View Publication
• BIB
It is well-known that the partition function of the unitary ensembles of random matrices is given by a tau-function of the Toda lattice hierarchy and those of the orthogonal and symplectic ensembles are tau-functions of the Pfaff lattice hierarchy. In these cases the asymptotic expansions of the free energies given by the logarithm of the partition functions lead to the dispersionless (i.e. continuous) limits for the Toda and Pfaff lattice hierarchies. There is a universality between all three ensembles of random matrices, one consequence of which is that the leading orders of the free energy for large matrices agree. In this paper, this universality, in the case of Gaussian ensembles, is explicitly demonstrated by computing the leading orders of the free energies in the expansions. We also show that the free energy as the solution of the dispersionless Toda lattice hierarchy gives a solution of the dispersionless Pfaff lattice hierarchy, which implies that this universality holds in general for the leading orders of the unitary, orthogonal, and symplectic ensembles.
We also find an explicit formula for the two point function $F_{nm}$ which represents the number of connected ribbon graphs with two vertices of degrees n and m on a sphere. The derivation is based on the Faber polynomials defined on the spectral curve of the dispersionless Toda lattice hierarchy, and $\frac{1}{nm} F_{nm}$ are the Grunsky coefficients of the Faber polynomials.
On the dynamics of Social Balance on general networks (with an application to XOR-SAT)
Published in Fundamenta Informaticae, 91 (2), pp. 341-356, 2009.
• View Publication
• BIB
We study nondeterministic and probabilistic versions of a discrete dynamical system (due to T. Antal, P. L. Krapivsky, and S. Redner) inspired by Heider's social balance theory. We investigate the convergence time of this dynamics on several classes of graphs. Our contributions include:
1. We point out the connection between the triad dynamics and a generalization of annihilating walks to hypergraphs. In particular, this connection allows us to completely characterize the recurrent states in graphs where each edge belongs to at most two triangles.
2. We also solve the case of hypergraphs that do not contain edges consisting of one or two vertices.
3. We show that on the so-called "triadic cycle" graph, the convergence time is linear.
4. We obtain a cubic upper bound on the convergence time on 2-regular triadic simplexes G. This bound can be further improved to a quantity that depends on the Cheeger constant of G. In particular this provides some rigorous counterparts to previous experimental observations.
We also point out an application to the analysis of the random walk algorithm on certain instances of the 3-XOR-SAT problem.
Reconstructing Extended Perfect Binary One-Error-Correcting Codes from Their Minimum Distance Graphs
Published in IEEE Trans. Inform. Theory 55 (2009) 2622-2625
• View Publication
• BIB
The minimum distance graph of a code has the codewords as vertices and edges exactly when the Hamming distance between two codewords equals the minimum distance of the code. A constructive proof for reconstructibility of an extended perfect binary one-error-correcting code from its minimum distance graph is presented. Consequently, inequivalent such codes have nonisomorphic minimum distance graphs. Moreover, it is shown that the automorphism group of a minimum distance graph is isomorphic to that of the corresponding code.