Coordination sequence

Last updated

In crystallography and the theory of infinite vertex-transitive graphs, the coordination sequence of a vertex is an integer sequence that counts how many vertices are at each possible distance from . That is, it is a sequence

where each is the number of vertices that are steps away from . If the graph is vertex-transitive, then the sequence is an invariant of the graph that does not depend on the specific choice of . Coordination sequences can also be defined for sphere packings, by using either the contact graph of the spheres or the Delaunay triangulation of their centers, but these two choices may give rise to different sequences. [1] [2]

A square grid, shaded by distance from the central blue point. The number of grid points at distance exactly
i
>
0
{\displaystyle i>0}
is
4
i
{\displaystyle 4i}
, so the coordination sequence of the grid is the sequence of multiples of four, modified to start with one instead of zero. Distance countours in a square grid.svg
A square grid, shaded by distance from the central blue point. The number of grid points at distance exactly is , so the coordination sequence of the grid is the sequence of multiples of four, modified to start with one instead of zero.

As an example, in a square grid, for each positive integer , there are grid points that are steps away from the origin. Therefore, the coordination sequence of the square grid is the sequence

in which, except for the initial value of one, each number is a multiple of four. [3]

The concept was proposed by Georg O. Brunner and Fritz Laves and later developed by Michael O'Keefe. The coordination sequences of many low-dimensional lattices [2] [4] and uniform tilings are known. [5] [6]

The coordination sequences of periodic structures are known to be quasi-polynomial. [7] [8]

Related Research Articles

<span class="mw-page-title-main">Petersen graph</span> Cubic graph with 10 vertices and 15 edges

In the mathematical field of graph theory, the Petersen graph is an undirected graph with 10 vertices and 15 edges. It is a small graph that serves as a useful example and counterexample for many problems in graph theory. The Petersen graph is named after Julius Petersen, who in 1898 constructed it to be the smallest bridgeless cubic graph with no three-edge-coloring.

10 (ten) is the even natural number following 9 and preceding 11. Ten is the base of the decimal numeral system, the most common system of denoting numbers in both spoken and written language.

104 is the natural number following 103 and preceding 105.

<span class="mw-page-title-main">Higman–Sims graph</span>

In mathematical graph theory, the Higman–Sims graph is a 22-regular undirected graph with 100 vertices and 1100 edges. It is the unique strongly regular graph srg(100,22,0,6), where no neighboring pair of vertices share a common neighbor and each non-neighboring pair of vertices share six common neighbors. It was first constructed by Mesner (1956) and rediscovered in 1968 by Donald G. Higman and Charles C. Sims as a way to define the Higman–Sims group, a subgroup of index two in the group of automorphisms of the Higman–Sims graph.

In chemistry, water(s) of crystallization or water(s) of hydration are water molecules that are present inside crystals. Water is often incorporated in the formation of crystals from aqueous solutions. In some contexts, water of crystallization is the total mass of water in a substance at a given temperature and is mostly present in a definite (stoichiometric) ratio. Classically, "water of crystallization" refers to water that is found in the crystalline framework of a metal complex or a salt, which is not directly bonded to the metal cation.

<span class="mw-page-title-main">Degree (graph theory)</span> Number of edges touching a vertex in a graph

In graph theory, the degree of a vertex of a graph is the number of edges that are incident to the vertex; in a multigraph, a loop contributes 2 to a vertex's degree, for the two ends of the edge. The degree of a vertex is denoted or . The maximum degree of a graph is denoted by , and is the maximum of 's vertices' degrees. The minimum degree of a graph is denoted by , and is the minimum of 's vertices' degrees. In the multigraph shown on the right, the maximum degree is 5 and the minimum degree is 0.

<span class="mw-page-title-main">Tournament (graph theory)</span> Directed graph where each vertex pair has one arc

A tournament is a directed graph (digraph) obtained by assigning a direction for each edge in an undirected complete graph. That is, it is an orientation of a complete graph, or equivalently a directed graph in which every pair of distinct vertices is connected by a directed edge with any one of the two possible orientations.

<span class="mw-page-title-main">Chromatic polynomial</span> Function in algebraic graph theory

The chromatic polynomial is a graph polynomial studied in algebraic graph theory, a branch of mathematics. It counts the number of graph colorings as a function of the number of colors and was originally defined by George David Birkhoff to study the four color problem. It was generalised to the Tutte polynomial by Hassler Whitney and W. T. Tutte, linking it to the Potts model of statistical physics.

<span class="mw-page-title-main">Euclidean tilings by convex regular polygons</span> Subdivision of the plane into polygons that are all regular

Euclidean plane tilings by convex regular polygons have been widely used since antiquity. The first systematic mathematical treatment was that of Kepler in his Harmonices Mundi.

5 (five) is a number, numeral and digit. It is the natural number, and cardinal number, following 4 and preceding 6, and is a prime number. It has garnered attention throughout history in part because distal extremities in humans typically contain five digits.

Polyhedral combinatorics is a branch of mathematics, within combinatorics and discrete geometry, that studies the problems of counting and describing the faces of convex polyhedra and higher-dimensional convex polytopes.

In polyhedral combinatorics, a branch of mathematics, Steinitz's theorem is a characterization of the undirected graphs formed by the edges and vertices of three-dimensional convex polyhedra: they are exactly the 3-vertex-connected planar graphs. That is, every convex polyhedron forms a 3-connected planar graph, and every 3-connected planar graph can be represented as the graph of a convex polyhedron. For this reason, the 3-connected planar graphs are also known as polyhedral graphs.

<span class="mw-page-title-main">Abelian sandpile model</span> Cellular automaton

The Abelian sandpile model (ASM) is the more popular name of the original Bak–Tang–Wiesenfeld model (BTW). The BTW model was the first discovered example of a dynamical system displaying self-organized criticality. It was introduced by Per Bak, Chao Tang and Kurt Wiesenfeld in a 1987 paper.

<span class="mw-page-title-main">McGee graph</span>

In the mathematical field of graph theory, the McGee graph or the (3-7)-cage is a 3-regular graph with 24 vertices and 36 edges.

<span class="mw-page-title-main">Nauru graph</span> 24-vertex symmetric bipartite cubic graph

In the mathematical field of graph theory, the Nauru graph is a symmetric, bipartite, cubic graph with 24 vertices and 36 edges. It was named by David Eppstein after the twelve-pointed star in the flag of Nauru.

<span class="mw-page-title-main">Integral polytope</span> A convex polytope whose vertices all have integer Cartesian coordinates

In geometry and polyhedral combinatorics, an integral polytope is a convex polytope whose vertices all have integer Cartesian coordinates. That is, it is a polytope that equals the convex hull of its integer points. Integral polytopes are also called lattice polytopes or Z-polytopes. The special cases of two- and three-dimensional integral polytopes may be called polygons or polyhedra instead of polytopes, respectively.

A Euclidean graph is periodic if there exists a basis of that Euclidean space whose corresponding translations induce symmetries of that graph. Equivalently, a periodic Euclidean graph is a periodic realization of an abelian covering graph over a finite graph. A Euclidean graph is uniformly discrete if there is a minimal distance between any two vertices. Periodic graphs are closely related to tessellations of space and the geometry of their symmetry groups, hence to geometric group theory, as well as to discrete geometry and the theory of polytopes, and similar areas.

In graph theory, a partial cube is a graph that is isometric to a subgraph of a hypercube. In other words, a partial cube can be identified with a subgraph of a hypercube in such a way that the distance between any two vertices in the partial cube is the same as the distance between those vertices in the hypercube. Equivalently, a partial cube is a graph whose vertices can be labeled with bit strings of equal length in such a way that the distance between two vertices in the graph is equal to the Hamming distance between their labels. Such a labeling is called a Hamming labeling; it represents an isometric embedding of the partial cube into a hypercube.

<span class="mw-page-title-main">Acyclic orientation</span> Element of graph theory

In graph theory, an acyclic orientation of an undirected graph is an assignment of a direction to each edge that does not form any directed cycle and therefore makes it into a directed acyclic graph. Every graph has an acyclic orientation.

<span class="mw-page-title-main">Laves graph</span> Periodic spatial graph

In geometry and crystallography, the Laves graph is an infinite and highly symmetric system of points and line segments in three-dimensional Euclidean space, forming a periodic graph. Three equal-length segments meet at 120° angles at each point, and all cycles use ten or more segments. It is the shortest possible triply periodic graph, relative to the volume of its fundamental domain. One arrangement of the Laves graph uses one out of every eight of the points in the integer lattice as its points, and connects all pairs of these points that are nearest neighbors, at distance . It can also be defined, divorced from its geometry, as an abstract undirected graph, a covering graph of the complete graph on four vertices.

References

  1. Brunner, G. O. (July 1979), "The properties of coordination sequences and conclusions regarding the lowest possible density of zeolites", Journal of Solid State Chemistry , 29 (1): 41–45, Bibcode:1979JSSCh..29...41B, doi:10.1016/0022-4596(79)90207-x
  2. 1 2 Conway, J. H.; Sloane, N. J. A. (November 1997), "Low-dimensional lattices. VII. Coordination sequences", Proceedings of the Royal Society A , 453 (1966): 2369–2389, Bibcode:1997RSPSA.453.2369C, doi:10.1098/rspa.1997.0126, MR   1480120, S2CID   120323174
  3. Sloane, N. J. A. (ed.), "SequenceA008574", The On-Line Encyclopedia of Integer Sequences , OEIS Foundation
  4. O'Keeffe, M. (January 1995), "Coordination sequences for lattices", Zeitschrift für Kristallographie – Crystalline Materials , 210 (12): 905–908, Bibcode:1995ZK....210..905O, doi:10.1524/zkri.1995.210.12.905
  5. Goodman-Strauss, C.; Sloane, N. J. A. (January 2019), "A coloring-book approach to finding coordination sequences" (PDF), Acta Crystallographica Section A , 75 (1): 121–134, arXiv: 1803.08530 , doi:10.1107/s2053273318014481, MR   3896412, PMID   30575590, S2CID   4553572, archived from the original (PDF) on 2022-02-17, retrieved 2021-06-18
  6. Shutov, Anton; Maleev, Andrey (2020), "Coordination sequences for lattices", Zeitschrift für Kristallographie – Crystalline Materials , 235: 157–166, doi:10.1515/zkri-2020-0002
  7. Nakamura, Y.; Sakamoto, R.; Mase, T.; Nakagawa, J. (2021), "Coordination sequences of crystals are of quasi-polynomial type", Acta Crystallogr. , A77 (2): 138–148, Bibcode:2021AcCry..77..138N, doi:10.1107/S2053273320016769, PMC   7941273 , PMID   33646200
  8. Kopczyński, Eryk (2022), "Coordination sequences of periodic structures are rational via automata theory", Acta Crystallogr. , A78 (2): 155–157, arXiv: 2307.15803 , doi:10.1107/S2053273322000262, PMID   35230271