Showing 1–37 of 37 results for author: Deza, M

Generalized cut and metric polytopes of graphs and simplicial complexes

Authors: Michel Deza, Mathieu Dutour Sikirić

Abstract: Given a graph $G$ one can define the cut polytope CUTP(G) and the metric polytope METP(G) of this graph and those polytopes encode in a nice way the metric on the graph. According to Seymour's theorem, CUTP(G) = METP(G) if and only if K_5 is not a minor of G. We consider possibly extensions of this framework: a) We compute the CUTP(G) and METP(G) for many graphs. b) We define the oriented cut po… ▽ More Given a graph $G$ one can define the cut polytope CUTP(G) and the metric polytope METP(G) of this graph and those polytopes encode in a nice way the metric on the graph. According to Seymour's theorem, CUTP(G) = METP(G) if and only if K_5 is not a minor of G. We consider possibly extensions of this framework: a) We compute the CUTP(G) and METP(G) for many graphs. b) We define the oriented cut polytope WOMCUTP(G) and oriented multicut polytope OMCUTP(G) as well as their oriented metric version QMETP(G) and WQMETP(G). c) We define an $n$-dimensional generalization of metric on simplicial complexes. △ Less

Submitted 8 June, 2017; originally announced June 2017.

Comments: 16 pages

On the lengths of zigzags in thin complexes

Authors: Michel Deza, Mark Pankov

Abstract: We consider zigzags in thin complexes. The main result states that the sum of the lengths of all zigzags in an $n$-complexe is equal to the sum of the lengths of all zigzags in all $(n-1)$-faces of this complex, and this sum also is the twice of the sum of the lengths of all zigzags in all $(n-2)$-faces. For simplicial and cubical $n$-complexes, the sum depends on the rank $n$ and the number of… ▽ More We consider zigzags in thin complexes. The main result states that the sum of the lengths of all zigzags in an $n$-complexe is equal to the sum of the lengths of all zigzags in all $(n-1)$-faces of this complex, and this sum also is the twice of the sum of the lengths of all zigzags in all $(n-2)$-faces. For simplicial and cubical $n$-complexes, the sum depends on the rank $n$ and the number of $(n-1)$-faces only. We also describe the sum of the lengths of all generalized zigzags, it depends on the rank and the number of flags. As an application, we find the number of zigzags in Coxeter complexes. △ Less

Submitted 29 March, 2016; v1 submitted 17 February, 2016; originally announced February 2016.

Comments: The main result of the paper (Theorem 1) is a very simple consequence of the following trivial observation: the sum of the lengths of all zigzag is equal to the number of flags. So, it cannot be considered as a contribution

The joint weight enumerator of an LCD code and its dual

Authors: Adel Alahmadi, Michel Deza, Mathieu Dutour Sikirić, Patrick Solé

Abstract: A binary linear code is called {\em LCD} if it intersects its dual trivially. We show that the coefficients of the joint weight enumerator of such a code with its dual satisfy linear constraints, leading to a new linear programming bound on the size of an LCD code of given length and minimum distance. In addition, we show that this polynomial is, in general, an invariant of a matrix group of dimen… ▽ More A binary linear code is called {\em LCD} if it intersects its dual trivially. We show that the coefficients of the joint weight enumerator of such a code with its dual satisfy linear constraints, leading to a new linear programming bound on the size of an LCD code of given length and minimum distance. In addition, we show that this polynomial is, in general, an invariant of a matrix group of dimension $4$ and order $12$. Also, we sketch a Gleason formula for this weight enumerator. △ Less

Submitted 28 November, 2015; originally announced November 2015.

Comments: 5 pages, 3 tables

Zigzag structure of thin chamber complexes

Authors: Michel Deza, Mark Pankov

Abstract: Zigzags and generalized zigzags in thin chamber complexes are investigated, in particular, all zigzags in the Coxeter complexes are described. Using this description, we show that the lengths of all generalized zigzags in the simplex $α_{n}$, the cross-polytope $β_{n}$, the $24$-cell, the icosahedron and the $600$-cell are equal to the Coxeter numbers of $A_{n}$, $B_{n}=C_{n}$, $F_{4}$ and… ▽ More Zigzags and generalized zigzags in thin chamber complexes are investigated, in particular, all zigzags in the Coxeter complexes are described. Using this description, we show that the lengths of all generalized zigzags in the simplex $α_{n}$, the cross-polytope $β_{n}$, the $24$-cell, the icosahedron and the $600$-cell are equal to the Coxeter numbers of $A_{n}$, $B_{n}=C_{n}$, $F_{4}$ and $H_{i}$, $i=3,4$, respectively. Also, we discuss the following problem: in which cases two faces in a thin chamber complex can be connected by a zigzag? △ Less

Submitted 1 February, 2017; v1 submitted 12 September, 2015; originally announced September 2015.

Hypercube emulation of interconnection networks topologies

Authors: Adel Alahmadi, Husain Alhazmi, Shakir Ali, Michel Deza, Mathieu Dutour Sikirić, Patrick Solé

Abstract: We address various topologies (de Bruijn, chordal ring, generalized Petersen, meshes) in various ways ( isometric embedding, embedding up to scale, embedding up to a distance) in a hypercube or a half-hypercube. Example of obtained embeddings: infinite series of hypercube embeddable Bubble Sort and Double Chordal Rings topologies, as well as of regular maps. We address various topologies (de Bruijn, chordal ring, generalized Petersen, meshes) in various ways ( isometric embedding, embedding up to scale, embedding up to a distance) in a hypercube or a half-hypercube. Example of obtained embeddings: infinite series of hypercube embeddable Bubble Sort and Double Chordal Rings topologies, as well as of regular maps. △ Less

Submitted 8 July, 2015; originally announced July 2015.

Comments: 14 pages, 5 tables, 7 figures

The hypermetric cone on $8$ vertices and some generalizations

Authors: Michel Deza, Mathieu Dutour Sikirić

Abstract: The lists of facets -- $298,592$ in $86$ orbits -- and of extreme rays -- $242,695,427$ in $9,003$ orbits -- of the hypermetric cone $HYP_8$ are computed. The first generalization considered is the hypermetric polytope $HYPP_n$ for which we give general algorithms and a description for $n\le 8$. Then we shortly consider generalizations to simplices of volume higher than $1$, hypermetric on graphs… ▽ More The lists of facets -- $298,592$ in $86$ orbits -- and of extreme rays -- $242,695,427$ in $9,003$ orbits -- of the hypermetric cone $HYP_8$ are computed. The first generalization considered is the hypermetric polytope $HYPP_n$ for which we give general algorithms and a description for $n\le 8$. Then we shortly consider generalizations to simplices of volume higher than $1$, hypermetric on graphs and infinite dimensional hypermetrics. △ Less

Submitted 16 March, 2015; originally announced March 2015.

Comments: 14 pages

Enumeration of the facets of cut polytopes over some highly symmetric graphs

Authors: Michel Deza, Mathieu Dutour Sikiric

Abstract: We report here a computation giving the complete list of facets for the cut polytopes over several very symmetric graphs with $15-30$ edges, including $K_8$, $K_{3,3,3}$, $K_{1,4,4}$, $K_{5,5}$, some other $K_{l,m}$, $K_{1,l,m}$, $Prism_7, APrism_6$, Möbius ladder $M_{14}$, Dodecahedron, Heawood and Petersen graphs. For $K_8$, it shows that the huge lists of facets of the cut polytope $CUTP_8$ a… ▽ More We report here a computation giving the complete list of facets for the cut polytopes over several very symmetric graphs with $15-30$ edges, including $K_8$, $K_{3,3,3}$, $K_{1,4,4}$, $K_{5,5}$, some other $K_{l,m}$, $K_{1,l,m}$, $Prism_7, APrism_6$, Möbius ladder $M_{14}$, Dodecahedron, Heawood and Petersen graphs. For $K_8$, it shows that the huge lists of facets of the cut polytope $CUTP_8$ and cut cone $CUT_8$, given in [CR] is complete. We also confirm the conjecture that any facet of $CUTP_8$ is adjacent to a triangle facet. The lists of facets for $K_{1,l,m}$ with $(l,m)=(4,4),(3,5),(3,4)$ solve problems (see, for example, [Werner]) in quantum information theory. △ Less

Submitted 14 May, 2015; v1 submitted 22 January, 2015; originally announced January 2015.

Comments: 8 pages, 1 Figure, 2 Tables

Voronoi Polytopes for Polyhedral Norms on Lattices

Authors: Michel Deza, Mathieu Dutour Sikirić

Abstract: A polyhedral norm is a norm N on R^n for which the set N(x)\leq 1 is a polytope. This covers the case of the L^1 and L^{\infty} norms. We consider here effective algorithms for determining the Voronoi polytope for such norms with a point set being a lattice. The algorithms, that we propose, use the symmetries effectively in order to compute a decomposition of the space into convex polytopes named… ▽ More A polyhedral norm is a norm N on R^n for which the set N(x)\leq 1 is a polytope. This covers the case of the L^1 and L^{\infty} norms. We consider here effective algorithms for determining the Voronoi polytope for such norms with a point set being a lattice. The algorithms, that we propose, use the symmetries effectively in order to compute a decomposition of the space into convex polytopes named {\em $VN$-spaces}. The Voronoi polytopes and other geometrical information are easily obtained from it. △ Less

Submitted 30 December, 2013; originally announced January 2014.

Comments: 18 pages, 3 figures

Cones of weighted quasi-metrics, weighted quasi-hypermetrics and of oriented cuts

Authors: Michel Deza, Vyacheslav Grishukhin, Elena Deza

Abstract: We show that the cone of weighted n-point quasi-metrics WQMet_n, the cone of weighted quasi-hypermetrics WHyp_n and the cone of oriented cuts OCut_n are projec- tions along an extreme ray of the metric cone Metn+1, of the hypermetric cone Hypn+1 and of the cut cone Cut_{n+1}, respectively. This projection is such that if one knows all faces of an original cone then one knows all faces of the proje… ▽ More We show that the cone of weighted n-point quasi-metrics WQMet_n, the cone of weighted quasi-hypermetrics WHyp_n and the cone of oriented cuts OCut_n are projec- tions along an extreme ray of the metric cone Metn+1, of the hypermetric cone Hypn+1 and of the cut cone Cut_{n+1}, respectively. This projection is such that if one knows all faces of an original cone then one knows all faces of the projected cone. △ Less

Submitted 5 January, 2012; originally announced January 2012.

Protometrics

Authors: Michel Deza, Pavel Chebotarev

Abstract: We introduce the concept of protometric and present some properties of protometrics. We introduce the concept of protometric and present some properties of protometrics. △ Less

Submitted 25 March, 2016; v1 submitted 20 December, 2011; originally announced December 2011.

Comments: 4 pages. Submitted to the Special ISMVL Session in honour of Prof. Ivo G. Rosenberg. In this version, a minor correction made

MSC Class: 54E35; 51Fxx; 31E05; 15B48

Journal ref: European Journal of Combinatorics. Available online 26 February 2018

Fullerene-like spheres with faces of negative curvature

Authors: Mathieu Dutour Sikiric, Michel Deza, Mikhail Shtogrin

Abstract: Given R\subset N, an (R,k)$-sphere is a k-regular map on the sphere whose faces have gonalities i\in R. The most interesting/useful are (geometric) fullerenes, i.e., (\{5,6\},3)$-spheres. Call κ_i=1 + \frac{i}{k} - \frac{i}{2} the curvature of i-gonal faces. (R,k)-spheres admitting κ_i<0 are much harder to study. We consider the symmetries and construction for three new instances of such spheres… ▽ More Given R\subset N, an (R,k)$-sphere is a k-regular map on the sphere whose faces have gonalities i\in R. The most interesting/useful are (geometric) fullerenes, i.e., (\{5,6\},3)$-spheres. Call κ_i=1 + \frac{i}{k} - \frac{i}{2} the curvature of i-gonal faces. (R,k)-spheres admitting κ_i<0 are much harder to study. We consider the symmetries and construction for three new instances of such spheres: ({a,b},k)-spheres with p_b\le 3 (they are listed), icosahedrites (i.e., ({3,4},5)$-spheres) and, for any c\in N, fullerene c-disks, i.e., ({5,6,c},3)-spheres with p_c=1. △ Less

Submitted 14 December, 2011; originally announced December 2011.

Comments: 24 pages, 19 figures

A topological interpretation of the walk distances

Authors: Pavel Chebotarev, Michel Deza

Abstract: The walk distances in graphs have no direct interpretation in terms of walk weights, since they are introduced via the \emph{logarithms} of walk weights. Only in the limiting cases where the logarithms vanish such representations follow straightforwardly. The interpretation proposed in this paper rests on the identity $\ln\det B=\tr\ln B$ applied to the cofactors of the matrix $I-tA,$ where $A$ is… ▽ More The walk distances in graphs have no direct interpretation in terms of walk weights, since they are introduced via the \emph{logarithms} of walk weights. Only in the limiting cases where the logarithms vanish such representations follow straightforwardly. The interpretation proposed in this paper rests on the identity $\ln\det B=\tr\ln B$ applied to the cofactors of the matrix $I-tA,$ where $A$ is the weighted adjacency matrix of a weighted multigraph and $t$ is a sufficiently small positive parameter. In addition, this interpretation is based on the power series expansion of the logarithm of a matrix. Kasteleyn (1967) was probably the first to apply the foregoing approach to expanding the determinant of $I-A$. We show that using a certain linear transformation the same approach can be extended to the cofactors of $I-tA,$ which provides a topological interpretation of the walk distances. △ Less

Submitted 16 April, 2012; v1 submitted 1 November, 2011; originally announced November 2011.

Comments: 13 pages, 1 figure. Version #3

MSC Class: 05C12; 05C50; 51K05; 15A09; 15A15

Journal ref: Distance Geometry: Theory, Methods, and Applications, ed. by A. Mucherino, C. Lavor, L. Liberti, and N. Maculan. - Berlin: Springer, 2013, Chapter 7. P. 121-135. ISBN 978-1-4614-5127-3 (Print), 978-1-4614-5128-0 (Online)

Cones of Weighted and Partial Metrics

Authors: Michel Deza, Elena Deza, Janoš Vidali

Abstract: A partial semimetric on V_n={1, ..., n} is a function f=((f_{ij})): V_n^2 -> R_>=0 satisfying f_ij=f_ji >= f_ii and f_ij+f_ik-f_jk-f_ii >= 0 for all i,j,k in V_n. The function f is a weak partial semimetric if f_ij >= f_ii is dropped, and it is a strong partial semimetric if f_ij >= f_ii is complemented by f_ij <= f_ii+f_jj. We describe the cones of weak and strong partial semimetrics via corres… ▽ More A partial semimetric on V_n={1, ..., n} is a function f=((f_{ij})): V_n^2 -> R_>=0 satisfying f_ij=f_ji >= f_ii and f_ij+f_ik-f_jk-f_ii >= 0 for all i,j,k in V_n. The function f is a weak partial semimetric if f_ij >= f_ii is dropped, and it is a strong partial semimetric if f_ij >= f_ii is complemented by f_ij <= f_ii+f_jj. We describe the cones of weak and strong partial semimetrics via corresponding weighted semimetrics and list their 0,1-valued elements, identifying when they belong to extreme rays. We consider also related cones, including those of partial hypermetrics, weighted hypermetrics, l_1-quasi semimetrics and weighted/partial cuts. △ Less

Submitted 10 March, 2011; v1 submitted 3 January, 2011; originally announced January 2011.

Comments: 21 pages, 4 tables, 2 figures; To be submitted to Proc. of the Conference in the honor of Prof. K.P.Shum

({2,3}, 6)-spheres and their generalizations

Authors: Michel Deza, Mathieu Dutour Sikiric

Abstract: We consider here 6-regular plane graphs whose faces have size 1, 2 or 3. In Section 2 a practical enumeration method is given that allowed us to enumerate them up to 53 vertices. Subsequently, in Section 3 we enumerate all possible symmetry groups of the spheres that showed up. In Section 4 we introduce a new Goldberg-Coxeter construction that takes a 6-regular plane graph G0, two integers k and l… ▽ More We consider here 6-regular plane graphs whose faces have size 1, 2 or 3. In Section 2 a practical enumeration method is given that allowed us to enumerate them up to 53 vertices. Subsequently, in Section 3 we enumerate all possible symmetry groups of the spheres that showed up. In Section 4 we introduce a new Goldberg-Coxeter construction that takes a 6-regular plane graph G0, two integers k and l and returns two 6-regular plane graphs. Then in the final section, we consider the notions of zigzags and central circuits for the considered graphs. We introduced the notions of tightness and weak tightness for them and we prove an upper bound on the number of zigzags and central circuits of such tight graphs. We also classify the tight and weakly tight graphs with simple zigzags or central circuits. △ Less

Submitted 27 July, 2010; originally announced July 2010.

Comments: 29 pages, 28 figures

4-regular and self-dual analogs of fullerenes

Authors: Mathieu Dutour Sikiric, Michel Deza

Abstract: An i-hedrite is a 4-regular plane graph with faces of size 2, 3 and 4. We do a short survey of their known properties and explain some new algorithms that allow their efficient enumeration. Using this we give the symmetry groups of all i-hedrites and the minimal representative for each. We also review the link of 4-hedrites with knot theory and the classification of 4-hedrites with simple centra… ▽ More An i-hedrite is a 4-regular plane graph with faces of size 2, 3 and 4. We do a short survey of their known properties and explain some new algorithms that allow their efficient enumeration. Using this we give the symmetry groups of all i-hedrites and the minimal representative for each. We also review the link of 4-hedrites with knot theory and the classification of 4-hedrites with simple central circuits. An i-self-hedrite is a self-dual plane graph with faces and vertices of size/degree 2, 3 and 4. We give a new efficient algorithm for enumerating them based on i-hedrites. We give a classification of their possible symmetry groups and a classification of 4-self-hedrites of symmetry T, Td in terms of the Goldberg-Coxeter construction. Then we give a method for enumerating 4-self-hedrites with simple zigzags. △ Less

Submitted 9 November, 2009; v1 submitted 28 October, 2009; originally announced October 2009.

Comments: 16 pages, 14 figures

Elementary elliptic $(R,q)$-polycycles

Authors: Michel Deza, Mathieu Dutour, Mikhail Shtogrin

Abstract: We consider the following generalization of the decomposition theorem for polycycles. A {\em $(R,q)$-polycycle} is, roughly, a plane graph, whose faces, besides some disjoint {\em holes}, are $i$-gons, $i \in R$, and whose vertices, outside of holes, are $q$-valent. Such polycycle is called {\em elliptic}, {\em parabolic} or {\em hyperbolic} if $\frac{1}{q} + \frac{1}{r} - {1/2}$ (where… ▽ More We consider the following generalization of the decomposition theorem for polycycles. A {\em $(R,q)$-polycycle} is, roughly, a plane graph, whose faces, besides some disjoint {\em holes}, are $i$-gons, $i \in R$, and whose vertices, outside of holes, are $q$-valent. Such polycycle is called {\em elliptic}, {\em parabolic} or {\em hyperbolic} if $\frac{1}{q} + \frac{1}{r} - {1/2}$ (where $r={max_{i \in R}i}$) is positive, zero or negative, respectively. An edge on the boundary of a hole in such polycycle is called {\em open} if both its end-vertices have degree less than $q$. We enumerate all elliptic {\em elementary} polycycles, i.e. those that any elliptic $(R,q)$-polycycle can be obtained from them by agglomeration along some open edges. △ Less

Submitted 27 July, 2005; originally announced July 2005.

Graphs $4_n$ that are isometrically embeddable in hypercubes

Authors: Michel Deza, Mathieu Dutour-Sikiric, Sergey Shpectorov

Abstract: A connected 3-valent plane graph, whose faces are $q$- or 6-gons only, is called a {\em graph $q_n$}. We classify all graphs $4_n$, which are isometric subgraphs of a $m$-hypercube $H_m$. A connected 3-valent plane graph, whose faces are $q$- or 6-gons only, is called a {\em graph $q_n$}. We classify all graphs $4_n$, which are isometric subgraphs of a $m$-hypercube $H_m$. △ Less

Submitted 16 November, 2004; originally announced November 2004.

Comments: 18 pages, 25 drawings

Hypercube embedding of Wythoffians

Authors: Michel Deza, Mathieu Dutour, Sergey Shpectorov

Abstract: The Wythoff construction takes a $d$-dimensional polytope $P$, a subset $S$ of $\{0,..., d\}$ and returns another $d$-dimensional polytope $P(S)$. If $P$ is a regular polytope, then $P(S)$ is vertex-transitive. This construction builds a large part of the Archimedean polytopes and tilings in dimension 3 and 4. We want to determine, which of those Wythoffians $P(S)$ with regular $P$ have their… ▽ More The Wythoff construction takes a $d$-dimensional polytope $P$, a subset $S$ of $\{0,..., d\}$ and returns another $d$-dimensional polytope $P(S)$. If $P$ is a regular polytope, then $P(S)$ is vertex-transitive. This construction builds a large part of the Archimedean polytopes and tilings in dimension 3 and 4. We want to determine, which of those Wythoffians $P(S)$ with regular $P$ have their skeleton or dual skeleton isometrically embeddable into the hypercubes $H_m$ and half-cubes ${1/2}H_m$. We find six infinite series, which, we conjecture, cover all cases for dimension $d>5$ and some sporadic cases in dimension 3 and 4 (see Tables \ref{WythoffEmbeddable3} and \ref{WythoffEmbeddable4}). Three out of those six infinite series are explained by a general result about the embedding of Wythoff construction for Coxeter groups. In the last section, we consider the Euclidean case; also, zonotopality of embeddable $P(S)$ are addressed throughout the text. △ Less

Submitted 11 August, 2008; v1 submitted 30 July, 2004; originally announced July 2004.

Comments: 12 pages, 6 tables

Zigzag structure of complexes

Authors: Michel Deza, Mathieu Dutour

Abstract: Inspired by Coxeter's notion of Petrie polygon for $d$-polytopes (see \cite{Cox73}), we consider a generalization of the notion of zigzag circuits on complexes and compute the zigzag structure for several interesting families of $d$-polytopes, including semiregular, regular-faced, Wythoff Archimedean ones, Conway's 4-polytopes, half-cubes, folded cubes. Also considered are regular maps and Lin… ▽ More Inspired by Coxeter's notion of Petrie polygon for $d$-polytopes (see \cite{Cox73}), we consider a generalization of the notion of zigzag circuits on complexes and compute the zigzag structure for several interesting families of $d$-polytopes, including semiregular, regular-faced, Wythoff Archimedean ones, Conway's 4-polytopes, half-cubes, folded cubes. Also considered are regular maps and Lins triality relations on maps. △ Less

Submitted 14 May, 2004; originally announced May 2004.

Comments: 19 pages, 3 figures, 7 tables

MSC Class: 52B05; 52B10

On simplicial and cubical complexes with short links

Authors: Michel Deza, Mathieu Dutour, Mikhail Shtogrin

Abstract: We consider closed simplicial and cubical $n$-complexes in terms of link of their $(n-2)$-faces. Especially, we consider the case, when this link has size 3 or 4, i.e., every $(n-2)$-face is contained in 3 or 4 $n$-faces. Such simplicial complexes with {\em short} (i.e. of length 3 or 4) links are completely classified by their {\em characteristic partition}. We consider also embedding into hype… ▽ More We consider closed simplicial and cubical $n$-complexes in terms of link of their $(n-2)$-faces. Especially, we consider the case, when this link has size 3 or 4, i.e., every $(n-2)$-face is contained in 3 or 4 $n$-faces. Such simplicial complexes with {\em short} (i.e. of length 3 or 4) links are completely classified by their {\em characteristic partition}. We consider also embedding into hypercubes of the skeletons of simplicial and cubical complexes. △ Less

Submitted 13 October, 2003; originally announced October 2003.

Comments: 10 pages, 1 table, 3 figures

Once more about the 52 four-dimensional parallelotopes

Authors: Michel Deza, Viacheslav Grishukhin

Abstract: There are several works \cite{De} (and \cite{St}), \cite{En}, \cite{Co} and \cite{Va} enumerating four-dimensional parallelotopes. In this work we give a new enumeration showing that any four-dimensional parallelotope is either a zonotope or the Minkowski sum of a zonotope with the regular 24-cell $\{3,4,3\}$. Each zonotopal parallelotope is the Minkowski sum of segments whose generating vectors… ▽ More There are several works \cite{De} (and \cite{St}), \cite{En}, \cite{Co} and \cite{Va} enumerating four-dimensional parallelotopes. In this work we give a new enumeration showing that any four-dimensional parallelotope is either a zonotope or the Minkowski sum of a zonotope with the regular 24-cell $\{3,4,3\}$. Each zonotopal parallelotope is the Minkowski sum of segments whose generating vectors form a unimodular system. There are exactly 17 four-dimensional unimodular systems. Hence, there are 17 four-dimensional zonotopal parallelotopes. Other 35 four-dimensional parallelotopes are: the regular 24-cell $\{3,4,3\}$ and 34 sums of the regular parallelotope with non-zero zonotopal parallelotopes. For the nontrivial enumerating of the 34 sums we use a theorem discribing necessary and sufficient conditions when the Minkowski sum of a parallelotope with a segment is a parallelotope. △ Less

Submitted 11 July, 2003; originally announced July 2003.

Comments: 14 pages (submitted)

Properties of parallelotopes equivalent to Voronoi's conjecture

Authors: Michel Deza, Viacheslav Grishukhin

Abstract: A parallelotope is a polytope whose translation copies fill space without gaps and intersections by interior points. Voronoi conjectured that each parallelotope is an affine image of the Dirichlet domain of a lattice, which is a Voronoi polytope. We give several properties of a parallelotope and prove that each of them is equivalent to it is an affine image of a Voronoi polytope. A parallelotope is a polytope whose translation copies fill space without gaps and intersections by interior points. Voronoi conjectured that each parallelotope is an affine image of the Dirichlet domain of a lattice, which is a Voronoi polytope. We give several properties of a parallelotope and prove that each of them is equivalent to it is an affine image of a Voronoi polytope. △ Less

Submitted 11 July, 2003; originally announced July 2003.

Comments: 18 pages (submitted)

Zigzag Structure of Simple Two-faced Polyhedra

Authors: M. Deza, M. Dutour

Abstract: A zigzag in a plane graph is a circuit of edges, such that any two, but no three, consecutive edges belong to the same face. A railroad in a plane graph is a circuit of hexagonal faces, such that any hexagon is adjacent to its neighbors on opposite edges. A graph without a railroad is called tight. We consider the zigzag and railroad structures of general 3-valent plane graph and, especially, of… ▽ More A zigzag in a plane graph is a circuit of edges, such that any two, but no three, consecutive edges belong to the same face. A railroad in a plane graph is a circuit of hexagonal faces, such that any hexagon is adjacent to its neighbors on opposite edges. A graph without a railroad is called tight. We consider the zigzag and railroad structures of general 3-valent plane graph and, especially, of simple two-faced polyhedra, i.e., 3-valent 3-polytopes with only $a$-gonal and $b$-gonal faces, where $3 \le a < b \le 6$; the main cases are $(a,b)=(3,6)$, $(4,6)$ and $(5,6)$ (the fullerenes). We completely describe the zigzag structure for the case $(a,b)$=$(3,6)$. For the case $(a,b)$=$(4,6)$ we describe symmetry groups, classify all tight graphs with simple zigzags and give the upper bound 9 for the number of zigzags in general tight graphs. For the remaining case $(a,b)$=$(5,6)$ we give a construction realizing a prescribed zigzag structure. △ Less

Submitted 1 August, 2003; v1 submitted 27 December, 2002; originally announced December 2002.

Comments: 33 pages, 26 figures

MSC Class: Primary 52B05; 52B10; Secondary 05C30; 05C10

4-valent plane graphs with 2-, 3- and 4-gonal faces

Authors: M. Deza, M. Dutour, M. Shtogrin

Abstract: Call {\em i-hedrite} any 4-valent n-vertex plane graph, whose faces are 2-, 3- and 4-gons only and $p_2+p_3=i$. The edges of an i-hedrite, as of any Eulerian plane graph, are partitioned by its {\em central circuits}, i.e. those, which are obtained by starting with an edge and continuing at each vertex by the edge opposite the entering one. So, any i-hedrite is a projection of an alternating lin… ▽ More Call {\em i-hedrite} any 4-valent n-vertex plane graph, whose faces are 2-, 3- and 4-gons only and $p_2+p_3=i$. The edges of an i-hedrite, as of any Eulerian plane graph, are partitioned by its {\em central circuits}, i.e. those, which are obtained by starting with an edge and continuing at each vertex by the edge opposite the entering one. So, any i-hedrite is a projection of an alternating link, whose components correspond to its central circuits. Call an i-hedrite {\em irreducible}, if it has no {\em rail-road}, i.e. a circuit of 4-gonal faces, in which every 4-gon is adjacent to two of its neighbors on opposite edges. We present the list of all i-hedrites with at most 15 vertices. Examples of other results: (i) All i-hedrites, which are not 3-connected, are identified. (ii) Any irreducible i-hedrite has at most i-2 central circuits. (iii) All i-hedrites without self-intersecting central circuits are listed. (iv) All symmetry group of i-hedrites are listed. △ Less

Submitted 1 August, 2003; v1 submitted 27 December, 2002; originally announced December 2002.

Comments: 27 pages, 16 figures, submitted to satellite conference (of ISM congress, (2002) Beijing) on Algebra and Combinatorics

MSC Class: Primary 52B05; 52B10; Secondary 05C30; 05C10

Once more about Voronoi's conjecture and space tiling zonotopes

Authors: Michel Deza, Viacheslav Grishukhin

Abstract: Voronoi conjectured that any parallelotope is affinely equivalent to a Voronoi polytope. A parallelotope is defined by a set of $m$ facet vectors $p_i$ and defines a set of $m$ lattice vectors $t_i$, $1\le i\le m$. We show that Voronoi's conjecture is true for an $n$-dimensional parallelotope $P$ if and only if there exist scalars $γ_i$ and a positive definite $n\times n$ matrix $Q$ such that… ▽ More Voronoi conjectured that any parallelotope is affinely equivalent to a Voronoi polytope. A parallelotope is defined by a set of $m$ facet vectors $p_i$ and defines a set of $m$ lattice vectors $t_i$, $1\le i\le m$. We show that Voronoi's conjecture is true for an $n$-dimensional parallelotope $P$ if and only if there exist scalars $γ_i$ and a positive definite $n\times n$ matrix $Q$ such that $γ_i p_i=Qt_i$ for all $i$. In this case the quadratic form $f(x)=x^TQx$ is the metric form of $P$. As an example, we consider in detail the case of a zonotopal parallelotope. We show that $Q=(Z_βZ^T_β)^{-1}$ for a zonotopal parallelotope $P(Z)$ which is the Minkowski sum of column vectors $z_j$ of the $n\times r$ matrix $Z$. Columns of the matrix $Z_β$ are the vectors $\sqrt{2β_j}z_j$, where the scalars $β_j$, $1\le j\le r$, are such that the system of vectors $\{β_jz_j:1\le j\le r\}$ is unimodular. $P(Z)$ defines a dicing lattice which is the set of intersection points of the dicing family of hyperplanes $H(j,k)=\{x:x^T(β_jQz_j)=k\}$, where $k$ takes all integer values and $1\le j\le r$. △ Less

Submitted 13 March, 2002; originally announced March 2002.

Comments: 10 pages, no figures

MSC Class: Primary 52B22; 52B12; Secondary 05B35; 05B45

Non-rigidity degrees of root lattices and their duals

Authors: Michel Deza, Viacheslav Grishukhin

Abstract: Non-rigidity degree of a lattice $L$, nrd$L$, is dimension of the L-type domain to which $L$ belongs. We complete here the table of nrd's of all root lattices and their duals; namely, the hardest remaining case of $D_n^*$, and the case of $E_7^*$ are decided. We describe explicitly the $L$-type domain ${\cal D}(D_n^*)$, $n \ge 4$. For $n$ odd, it is a non-simplicial polyhedral open cone of dim… ▽ More Non-rigidity degree of a lattice $L$, nrd$L$, is dimension of the L-type domain to which $L$ belongs. We complete here the table of nrd's of all root lattices and their duals; namely, the hardest remaining case of $D_n^*$, and the case of $E_7^*$ are decided. We describe explicitly the $L$-type domain ${\cal D}(D_n^*)$, $n \ge 4$. For $n$ odd, it is a non-simplicial polyhedral open cone of dimension $n$. For $n$ even, it is one-dimensional, i.e. for even $n$, $D_n^*$ is an edge form. △ Less

Submitted 11 February, 2002; originally announced February 2002.

Comments: 9 pages

MSC Class: 11H06; 11H55; 52B22; 05B45

Data mining for cones of metrics, quasi-metrics, hemi-metrics and super-metrics

Authors: M. Deza, M. Dutour

Abstract: Using some adaptations of the adjacency decomposition method \cite{CR} and the program {\it cdd} (~\cite{Fu}), we compute the first computationally difficult cases of convex cones of $m$-ary and oriented analogs of semi-metrics and cut semi-metrics, which were introduced in \cite{DR2} and \cite{DP}. We considered also more general notion of $(m,s)$-super-metric and corresponding cones. The data… ▽ More Using some adaptations of the adjacency decomposition method \cite{CR} and the program {\it cdd} (~\cite{Fu}), we compute the first computationally difficult cases of convex cones of $m$-ary and oriented analogs of semi-metrics and cut semi-metrics, which were introduced in \cite{DR2} and \cite{DP}. We considered also more general notion of $(m,s)$-super-metric and corresponding cones. The data on related cones - the number of facets, of extreme rays, of their orbits and diameters - are collected in Table \ref{tab:MainLovelyTable}. We study also criterion of adjacency for skeletons of those cones and their duals. Some families of extreme rays and operations on them are also given. △ Less

Submitted 27 December, 2002; v1 submitted 2 January, 2002; originally announced January 2002.

Comments: 22 pages, 3 figures

Small cones of oriented semi-metrics

Authors: M. Deza, M. Dutour, E. Panteleeva

Abstract: We consider polyhedral cones, associated with quasi-semi-metrics (oriented distances), in particular, with oriented multi-cuts, on n points. We computed the number of facets and of extreme rays, their adjacencies, and incidences of the cones QMET_n and OMCUT_n for n=3, 4, 5 (see Table 1) and, partially for n=6. Some results for general n are also given We consider polyhedral cones, associated with quasi-semi-metrics (oriented distances), in particular, with oriented multi-cuts, on n points. We computed the number of facets and of extreme rays, their adjacencies, and incidences of the cones QMET_n and OMCUT_n for n=3, 4, 5 (see Table 1) and, partially for n=6. Some results for general n are also given △ Less

Submitted 7 April, 2002; v1 submitted 13 November, 2001; originally announced November 2001.

Comments: 17 pages

The hypermetric cone on seven vertices

Authors: Mathieu Dutour, Michel Deza

Abstract: The hypermetric cone $HYP_n$ is the set of vectors $(d_{ij})_{1\leq i< j\leq n}$ satisfying the inequalities $\sum_{1\leq i<j\leq n} b_ib_jd_{ij}\leq 0 with b_i\in\Z and \sum_{i=1}^{n}b_i=1$. A Delaunay polytope of a lattice is called extremal if the only affine bijective transformations of it into a Delaunay polytope, are the homotheties; there is a correspondance between such Delaunay polytope… ▽ More The hypermetric cone $HYP_n$ is the set of vectors $(d_{ij})_{1\leq i< j\leq n}$ satisfying the inequalities $\sum_{1\leq i<j\leq n} b_ib_jd_{ij}\leq 0 with b_i\in\Z and \sum_{i=1}^{n}b_i=1$. A Delaunay polytope of a lattice is called extremal if the only affine bijective transformations of it into a Delaunay polytope, are the homotheties; there is a correspondance between such Delaunay polytopes and extreme rays of $HYP_n$. We show that unique Delaunay polytopes of root lattice $A_1$ and $E_6$ are the only extreme Delaunay polytopes of dimension at most 6. We describe also the skeletons and adjacency properties of $HYP_7$ and of its dual. △ Less

Submitted 7 April, 2002; v1 submitted 26 August, 2001; originally announced August 2001.

Comments: 8 pages, 4 tables

Clusters of Cycles

Authors: M. Deza, M. Shtogrin

Abstract: A {\it cluster of cycles} (or {\it $(r,q)$-polycycle}) is a simple planar 2--co nnected finite or countable graph $G$ of girth $r$ and maximal vertex-degree $q$, which admits {\it $(r,q)$-polycyclic realization} on the plane, denote it by $P(G)$, i.e. such that: (i) all interior vertices are of degree $q$, (ii) all interior faces (denote their number by $p_r$) are combinatorial $r$-gons and (imp… ▽ More A {\it cluster of cycles} (or {\it $(r,q)$-polycycle}) is a simple planar 2--co nnected finite or countable graph $G$ of girth $r$ and maximal vertex-degree $q$, which admits {\it $(r,q)$-polycyclic realization} on the plane, denote it by $P(G)$, i.e. such that: (i) all interior vertices are of degree $q$, (ii) all interior faces (denote their number by $p_r$) are combinatorial $r$-gons and (implied by (i), (ii)) (iii) all vertices, edges and interior faces form a cell-complex. An example of $(r,q)$-polycycle is the skeleton of $(r^q)$, i.e. of the $q$-valent partition of the sphere $S^2$, Euclidean plane $R^2$ or hyperbolic plane $H^2$ by regular $r$-gons. Call {\it spheric} pairs $(r,q)=(3,3),(3,4),(4,3),(3,5),(5,3)$; for those five pairs $P(r^q)$ is $(r^q)$ without the exterior face; otherwise $P(r^q)=(r^q)$. We give here a compact survey of results on $(r,q)$-polycycles. △ Less

Submitted 7 April, 2001; originally announced April 2001.

Comments: 21. to in appear in Journal of Geometry and Physics

Small cones of m-hemimetrics

Authors: M. Deza, I. Rosenberg

Abstract: We introduce polyhedral cones associated with $m$-hemimetrics on $n$ points, and, in particular, with $m$-hemimetrics coming from partitions of an $n$-set into $m+1$ blocks. We compute generators and facets of the cones for small values of $m,n$ and study their skeleton graphs. We introduce polyhedral cones associated with $m$-hemimetrics on $n$ points, and, in particular, with $m$-hemimetrics coming from partitions of an $n$-set into $m+1$ blocks. We compute generators and facets of the cones for small values of $m,n$ and study their skeleton graphs. △ Less

Submitted 25 December, 2001; v1 submitted 27 May, 2000; originally announced May 2000.

Comments: 19 pages. To appear in Discrete Mathematics

Maps of p-gons with a ring of q-gons

Authors: M. Deza, V. Grishukhin

Abstract: We study 3-valent maps $M_n(p,q)$ consisting of a ring of $n$ $q$-gons whose the inner and outer domains are filled by $p$-gons, for $p,q \ge 3$. We describe a domain in the space of parameters $p$, $q$, and $n$, for which such a map may exist. With four infinite sequences of maps - prisms $M_p(p \ge 3,4)$, $M_4(4,q \ge 4)$, $M_4(5,5t+2 \ge 7)$, $M_4(5,5t+3 \ge 8)$, we give 20 sporadic ones. The… ▽ More We study 3-valent maps $M_n(p,q)$ consisting of a ring of $n$ $q$-gons whose the inner and outer domains are filled by $p$-gons, for $p,q \ge 3$. We describe a domain in the space of parameters $p$, $q$, and $n$, for which such a map may exist. With four infinite sequences of maps - prisms $M_p(p \ge 3,4)$, $M_4(4,q \ge 4)$, $M_4(5,5t+2 \ge 7)$, $M_4(5,5t+3 \ge 8)$, we give 20 sporadic ones. The maps whose $p$-gons form two paths are first two infinite sequences and 5 maps: $M_{28}(7,5)$, $M_{12}(6,5)$, $M_{10}(5,6)$, $M_{20}(5,7)$, $M_{2}(3,6)$ △ Less

Submitted 16 October, 2000; v1 submitted 27 May, 2000; originally announced May 2000.

Comments: 11 pages. to appear in Bulletin of the Institute of Combinatorics and its Applications

MSC Class: 52B10; 05C30

Quadratic forms of rank 1, closed zones and laminae

Authors: Michel Deza, Viatcheslav Grishukhin

Abstract: For a given lattice, we establish an equivalence involving a closed zone of the corresponding Voronoi polytope, a lamina hyperplane of the corresponding Delaunay partition and a quadratic form of rank 1 being an extreme ray of the corresponding L-type domain. For a given lattice, we establish an equivalence involving a closed zone of the corresponding Voronoi polytope, a lamina hyperplane of the corresponding Delaunay partition and a quadratic form of rank 1 being an extreme ray of the corresponding L-type domain. △ Less

Submitted 1 September, 2000; v1 submitted 1 April, 2000; originally announced April 2000.

Comments: 6 pages, LaTeX

MSC Class: 52C07 (Primary); 11H55 (Secondary)

On equicut graphs

Authors: Michel Deza, Dmitrii V. Pasechnik

Abstract: The size sz(G) of an l_1-graph G=(V,E) is the minimum of n_f/t_f over all its possible l_1-embeddings f into n_f-dimensional hypercube with scale t_f. In terms of v=|V|, the sum of distances between all the pairs of vertices of G is at most sz(G) v^2/4 for v even, (resp. sz(G)(v-1)(v+1)/4 for v odd). This bound is reached if and only if G is an equicut graph, that is, G admits an l_1-embedding w… ▽ More The size sz(G) of an l_1-graph G=(V,E) is the minimum of n_f/t_f over all its possible l_1-embeddings f into n_f-dimensional hypercube with scale t_f. In terms of v=|V|, the sum of distances between all the pairs of vertices of G is at most sz(G) v^2/4 for v even, (resp. sz(G)(v-1)(v+1)/4 for v odd). This bound is reached if and only if G is an equicut graph, that is, G admits an l_1-embedding with column sums v/2, v even (resp. (v-1)/2 for v odd). Basic properties of equicut graphs are investigated. A construction of equicut graphs from l_1-graphs via a natural doubling construction is given. It generalizes several well-known constructions of polytopes and distance-regular graphs. Large families of examples, mostly related to polytopes and distance-regular graphs, are presented. △ Less

Submitted 30 September, 1999; originally announced September 1999.

Comments: 13 pages

MSC Class: 05C12; 52B12

Journal ref: Multi. Val. Logic. 7(2001) pp. 363--377

Embedding of regular tilings and star-honeycomb

Authors: M. Deza, M. I. Shtogrin

Abstract: We review the regular tilings of d-sphere, Euclidean d-space, hyperbolic d-space and Coxeter's regular hyperbolic honeycombs (with infinite or star-shaped cells or vertex figures) with respect of possible embedding, isometric up to a scale, of their skeletons into a m-cube or m-dimensional cubic lattice. In section 2 the last remaining 2-dimensional case is decided: for any odd m>6, star-honeyco… ▽ More We review the regular tilings of d-sphere, Euclidean d-space, hyperbolic d-space and Coxeter's regular hyperbolic honeycombs (with infinite or star-shaped cells or vertex figures) with respect of possible embedding, isometric up to a scale, of their skeletons into a m-cube or m-dimensional cubic lattice. In section 2 the last remaining 2-dimensional case is decided: for any odd m>6, star-honeycombs {m, m/2} are embeddable while {m/2, m} are not (unique case of non-embedding for dimension 2). As a spherical analogue of those honeycombs, we enumerate, in section 3, 36 Riemann surfaces representing all nine regular polyhedra on the sphere. In section 4, non-embeddability of all remaining star-honeycombs (on 3-sphere and hyperbolic 4-space) is proved. In the last section 5, all cases of embedding for dimension d>2 are identified. Besides hyper-simplices and hyper-octahedra, they are exactly those with bipartite skeleton: hyper-cubes, cubic lattices and 8, 2, 1 tilings of hyperbolic 3-, 4-, 5-space (only two, {435} and {4335}, of those 11 are compact). △ Less

Submitted 10 June, 1999; originally announced June 1999.

Comments: 17 pages, 4 figures

Three, four and five-dimensional fullerenes

Authors: M. Deza, M. I. Shtogrin

Abstract: We explore some generalizations of fullerenes F_v (simple polyhedra with v vertices and only 5- and 6-gonal faces) seen as (d-1)-dimensional simple manifolds (preferably, spherical or polytopal) with only 5- and 6-gonal 2-faces. First, finite and planar (infinite) 3-fullerenes are described. Three infinite families of spherical 4-fullerenes are presented in Constructions A,B,C. The Construction… ▽ More We explore some generalizations of fullerenes F_v (simple polyhedra with v vertices and only 5- and 6-gonal faces) seen as (d-1)-dimensional simple manifolds (preferably, spherical or polytopal) with only 5- and 6-gonal 2-faces. First, finite and planar (infinite) 3-fullerenes are described. Three infinite families of spherical 4-fullerenes are presented in Constructions A,B,C. The Construction A gives 4-polytopes by suitable insertion of fullerenes F_{30}(D_{5h}) into glued 120-cells. The Construction B gives 3-spheres by growing dodecahedra and barrels F_{24} around of given fullerene. The Construction C gives 4-fullerenes from special decoration of given 4-fullerene, which add facets F_{20}, F_{24}, F_{26} and F_{28}(T_d) only. Some 5-fullerenes are obtained, by a variation of gluing of two regular tilings {5333} of hyperbolic 4-space or of their suitable quotients. △ Less

Submitted 6 June, 1999; originally announced June 1999.

Comments: 10 pages, 1 figure

Journal ref: Southeast Asian Bulletin of Mathematics (1999) 23: 1-10

Uniform partitions of 3-space, their relatives and embedding

Authors: M. Deza, M. I. Shtogrin

Abstract: We review 28 uniform partitions of 3-space in order to find out which of them have graphs (skeletons) embeddable isometrically (or with scale 2) into some cubic lattice ${\bf Z}_n$. We also consider some relatives of those 28 partitions, including Achimedean 4-polytopes of Conway-Guy, non-compact uniform partitions, Kelvin partitions and those with unique vertex figure (i.e. Delaunay star). Amon… ▽ More We review 28 uniform partitions of 3-space in order to find out which of them have graphs (skeletons) embeddable isometrically (or with scale 2) into some cubic lattice ${\bf Z}_n$. We also consider some relatives of those 28 partitions, including Achimedean 4-polytopes of Conway-Guy, non-compact uniform partitions, Kelvin partitions and those with unique vertex figure (i.e. Delaunay star). Among last ones we indicate two continuums of aperiodic tilings by semi-regular 3-prisms with cubes or with regular tetrahedra and regular octahedra. On the way many new partitions are added to incomplete cases considered here. △ Less

Submitted 6 June, 1999; originally announced June 1999.

Comments: 11 pages