On the Kirchhoff index of some toroidal lattices

The resistance distance is a novel distance function on a graph proposed by Klein and Randi? [D.J. Klein and M. Randi?, Resistance distance, J. Math. Chem. 12 (1993), pp. 81–85]. The Kirchhoff index of a graph G is defined as the sum of resistance distances between all pairs of vertices of G. In this article, based on the result by Gutman and Mohar [I. Gutman and B. Mohar, The quasi-Wiener and the Kirchhoff indices coincide, J. Chem. Inf. Comput. Sci. 36 (1996), pp. 982–985], we compute the Kirchhoff index of the square, 8.8.4, hexagonal and triangular lattices, respectively.     

A fully benzenoid system has a unique maximum cardinality resonant set

A benzenoid system is a 2-connected plane graph such that its each inner face is a regular hexagon of side length 1. A benzenoid system is Kekuléan if it has a perfect matching. Let P be a set of hexagons of a Kekuléan benzenoid system B. The set P is called a resonant set of B if the hexagons in P are pair-wise disjoint and the subgraph B−P (obtained by deleting from B the vertices of the hexagons in P) is either empty or has a perfect matching. It was shown (Gutman in Wiss. Z. Thechn. Hochsch. Ilmenau 29:57–65, 1983; Zheng and Chen in Graphs Comb. 1:295–298, 1985) that for every maximum cardinality resonant set P of a Kekuléan benzenoid system B, the subgraph B−P is either empty or has a unique perfect matching. A Kekuléan benzenoid system B is said to be fully benzenoid if there exists a maximum cardinality resonant set P of B, such that the subgraph B−P is empty. It is shown that a fully benzenoid system has a unique maximum cardinality resonant set, a well-known statement that, so far, has remained without a rigorous proof.     

Netlike partial cubes, V: Completion and netlike classes

We define a completion of a netlike partial cube G by replacing each convex 2n-cycle C of G with n≥3 by an n-cube admitting C as an isometric cycle. We prove that a completion of G is a median graph if and only if G has the Median Cycle Property (MCP) (see N. Polat, Netlike partial cubes III. The Median Cycle Property, Discrete Math.). In fact any completion of a netlike partial cube having the MCP is defined by a universal property and turns out to be a minimal median graph containing G as an isometric subgraph. We show that the completions of the netlike partial cubes having the MCP preserves the principal constructions of these graphs, such as: netlike subgraphs, gated amalgams and expansions. Conversely any netlike partial cube having the MCP can be obtained from a median graph by deleting some particular maximal finite hypercubes. We also show that, given a netlike partial cube G having the MCP, the class of all netlike partial cubes having the MCP whose completions are isomorphic to those of G share different properties, such as: depth, lattice dimension, semicube graph and crossing graph.     

Characterization of reducible hexagons and fast decomposition of elementary benzenoid graphs

A benzenoid graph is a finite connected plane graph with no cut vertices in which every interior region is bounded by a regular hexagon of a side length one. A benzenoid graph G is elementary if every edge belongs to a 1-factor of G. A hexagon h of an elementary benzenoid graph is reducible, if the removal of boundary edges and vertices of h results in an elementary benzenoid graph. We characterize the reducible hexagons of an elementary benzenoid graph. The characterization is the basis for an algorithm which finds the sequence of reducible hexagons that decompose a graph of this class in O(n²) time. Moreover, we present an algorithm which decomposes an elementary benzenoid graph with at most one pericondensed component in linear time.     

Graph homomorphisms through random walks

In this paper we introduce some general necessary conditions for the existence of graph homomorphisms, which hold in both directed and undirected cases. Our method is a combination of Diaconis and Saloff–Coste comparison technique for Markov chains and a generalization of Haemers interlacing theorem. As some applications, we obtain a necessary condition for the spanning subgraph problem, which also provides a generalization of a theorem of Mohar (1992) as a necessary condition for Hamiltonicity. In particular, in the case that the range is a Cayley graph or an edge‐transitive graph, we obtain theorems with a corollary about the existence of homomorphisms to cycles. This, specially, provides a proof of the fact that the Coxeter graph is a core. Also, we obtain some information about the cores of vertex‐transitive graphs. © 2003 Wiley Periodicals, Inc. J Graph Theory 44: 15–38, 2003     

Netlike partial cubes I. General properties

A set A of vertices of a graph G is C-convex if the vertex set of any cycle of the subgraph of G induced by the union of the intervals between each pair of elements of A is contained in A. A partial cube (isometric subgraph of a hypercube) is a netlike partial cube if, for each edge ab, the sets U_ab and U_ba are C-convex (U_ab being the set of all vertices closer to a than to b and adjacent to some vertices closer to b than to a, and vice versa for U_ba). Particular netlike partial cubes are median graphs, even cycles, benzenoid graphs and cellular bipartite graphs. In this paper we give different characterizations and properties of netlike partial cubes. In particular, as median graphs and cellular bipartite graphs, these graphs have a pre-hull number which is at most one, and moreover the convex hull of any isometric cycle of a netlike partial cube is, as in the case of bipartite cellular graphs, this cycle itself or, as in the case of median graphs, a hypercube. We also characterize the gated subgraphs of a netlike partial cube, and we show that the gated amalgam of two netlike partial cubes is a netlike partial cube.     

The interlace polynomial of a graph

Motivated by circle graphs, and the enumeration of Euler circuits, we define a one-variable “interlace polynomial” for any graph. The polynomial satisfies a beautiful and unexpected reduction relation, quite different from the cut and fuse reduction characterizing the Tutte polynomial.It emerges that the interlace graph polynomial may be viewed as a special case of the Martin polynomial of an isotropic system, which underlies its connections with the circuit partition polynomial and the Kauffman brackets of a link diagram. The graph polynomial, in addition to being perhaps more broadly accessible than the Martin polynomial for isotropic systems, also has a two-variable generalization that is unknown for the Martin polynomial. We consider extremal properties of the interlace polynomial, its values for various special graphs, and evaluations which relate to basic graph properties such as the component and independence numbers.     

How to draw a planar graph on a grid

Answering a question of Rosenstiehl and Tarjan, we show that every plane graph withn vertices has a Fáry embedding (i.e., straight-line embedding) on the 2n–4 byn–2 grid and provide anO(n) space,O(n logn) time algorithm to effect this embedding. The grid size is asymptotically optimal and it had been previously unknown whether one can always find a polynomial sized grid to support such an embedding. On the other hand we show that any setF, which can support a Fáry embedding of every planar graph of sizen, has cardinality at leastn+(1–o(1))n which settles a problem of Mohar.Supported in part by P. R. C. Mathematiques et Informatique.Supported in part by HSF grant 1814.Part of the work on this paper was done while this author was on sabbatical leave at école Normal Supérieure and école des Hautes études en Sciences Sociales; supported in part by NSF grant DMS-850 1947.     

Detecting simple dynamics in Cournot-like models

We introduced the so-called Cournot-like models, i.e. n-dimensional discrete dynamical systems which constitute the mathematical environment for modeling some economic and biological processes. The main aim of this work is to present a characterization of the dynamical simplicity for these types of systems through the property “to have zero topological entropy”. Cournot-like systems generalize the well-known economic situation of competition in a duopolistic market introduces by Cournot in 1838.     

Dynamics of an ecological model living on the edge of chaos

We present a new ecological model, which displays “edge of chaos” (EoC) in parameter space. This suggests that ecological systems are not chaotic, instead, their dynamics can be characterized as short-term recurrent chaos. The system’s dynamics is unpredictable and admits bursts of short-term predictability. We also provide results, which suggest that fully developed chaos will rarely be observed in natural systems.     

Dimers, tilings and trees

Generalizing results of Temperley (London Mathematical Society Lecture Notes Series 13 (1974) 202), Brooks et al. (Duke Math. J. 7 (1940) 312) and others (Electron. J. Combin. 7 (2000); Israel J. Math. 105 (1998) 61) we describe a natural equivalence between three planar objects: weighted bipartite planar graphs; planar Markov chains; and tilings with convex polygons. This equivalence provides a measure-preserving bijection between dimer coverings of a weighted bipartite planar graph and spanning trees of the corresponding Markov chain. The tilings correspond to harmonic functions on the Markov chain and to “discrete analytic functions” on the bipartite graph.The equivalence is extended to infinite periodic graphs, and we classify the resulting “almost periodic” tilings and harmonic functions.     

A graph search algorithm for indoor pursuit/evasion

Using concepts from both robotics and graph theory, we formulate the problem of indoor pursuit/evasion in terms of searching the nodes of a graph for a mobile evader. We present the IGNS (Iterative Greedy Node Search) algorithm, which performs offline guaranteed search (i.e. no matter how the evader moves, it will eventually be captured). Furthermore, the algorithm produces an internal search (the searchers move only along the edges of the graph; “teleporting” is not used) and exploits non-monotonicity, extended visibility and finite evader speed to reduce the number of searchers required to clear an environment. We present search experiments for several indoor environments, in all of which the algorithm succeeds in clearing the graph (i.e. capturing the evader).     

Bicolored graph partitioning, or: gerrymandering at its worst

This study is motivated by an electoral application where we look into the following question: how much biased can the assignment of parliament seats be in a majority system under the effect of vicious gerrymandering when the two competing parties have the same electoral strength? To give a first theoretical answer to this question, we introduce a stylized combinatorial model, where the territory is represented by a rectangular grid graph, the vote outcome by a “balanced” red/blue node bicoloring and a district map by a connected partition of the grid whose components all have the same size. We constructively prove the existence in cycles and grid graphs of a balanced bicoloring and of two antagonist “partisan” district maps such that the discrepancy between their number of “red” (or “blue”) districts for that bicoloring is extremely large, in fact as large as allowed by color balance.     

On the differences between Szeged and Wiener indices of graphs

Let G be a connected graph and η(G)=Sz(G)−W(G), where W(G) and Sz(G) are the Wiener and Szeged indices of G, respectively. A well-known result of Klav?ar, Rajapakse, and Gutman states that η(G)≥0, and by a result of Dobrynin and Gutman η(G)=0 if and only if each block of G is complete. In this paper, a path-edge matrix for the graph G is presented by which it is possible to classify the graphs in which η(G)=2. It is also proved that there is no graph G with the property that η(G)=1 or η(G)=3. Finally, it is proved that, for a given positive integer k,k≠1,3, there exists a graph G with η(G)=k.     

CDS simulation and pattern formation of phase separation

Several properties of the generation and evolution of phase separating patterns for binary material studied by CDS model are proposed. The main conclusions are (1) for alloys spinodal decomposition, the conceptions of “macro-pattern” and “micropattern” are posed by “black-and- white graph” and “gray-scale graph” respectively. We find that though the four forms of map f that represent the self-evolution of order parameter in a cell (lattice) are similar to each other in “macro-pattern”, there are evident differences in their micro-pattern, e.g., some different fine netted structures in the black domain and the white domain are found by the micro-pattern, so that distinct mechanical and physical behaviors shall be obtained. (2) If the two constitutions of block copolymers are not symmetric (i.e. r ≠ 0.5), a pattern called “grain-strip cross pattern” is discovered, in the 0.43 <r <0.45.     

Wiener Index of Hexagonal Systems

The Wiener index W is the sum of distances between all pairs of vertices of a (connected) graph. Hexagonal systems (HS's) are a special type of plane graphs in which all faces are bounded by hexagons. These provide a graph representation of benzenoid hydrocarbons and thus find applications in chemistry. The paper outlines the results known for W of the HS: method for computation of W, expressions relating W with the structure of the respective HS, results on HS's extremal w.r.t. W, and on integers that cannot be the W-values of HS's. A few open problems are mentioned. The chemical applications of the results presented are explained in detail.     

Face Size and the Maximum Genus of a Graph 1. Simple Graphs

This paper shows that a simple graph which can be cellularly embedded on some closed surface in such a way that the size of each face does not exceed 7 is upper embeddable. This settles one of two conjectures posed by Nedela and koviera (1990, in “Topics in Combinatorics and Graph Theory,” pp. 519–529, Physica Verlag, Heidelberg). The other conjecture will be proved in a sequel to this paper.     

The perception of randomness

Psychologists have studied people's intuitive notions of randomness by two kinds of tasks: judgment tasks (e.g., “is this series like a coin?” or “which of these series is most like a coin?”), and production tasks (e.g., “produce a series like a coin”). People's notion of randomness is biased in that they see clumps or streaks in truly random series and expect more alternation, or shorter runs, than are there. Similarly, they produce series with higher than expected alternation rates. Production tasks are subject to other biases as well, resulting from various functional limitations. The subjectively ideal random sequence obeys “local representativeness”; namely, in short segments of it, it represents both the relative frequencies (e.g., for a coin, 50%–50%) and the irregularity (avoidance of runs and other patterns). The extent to which this bias is a handicap in the real world is addressed.     

RECOGNIZING ESSENTIALLY DISCONNECTED BENZENOIDS WITH FIXED DOUBLE BONDS

ＲＥＣＯＧＮＩＺＩＮＧＥＳＳＥＮＴＩＡＬＬＹＤＩＳＣＯＮＮＥＣＴＥＤＢＥＮＺＥＮＯＩＤＳＷＩＴＨＦＩＸＥＤＤＯＵＢＬＥＢＯＮＤＳ￥ＬＩＮＫＥＲＯＮＧ；Ｓ．Ｊ．ＣＹＶＩＮ；Ｂ．Ｎ．ＣＹＶＩＮ；ＣＨＥＮＲＯＮＧＳＩ（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａ...