Showing 1–50 of 51 results for author: Chepoi, V

Boundary rigidity of systolic and Helly complexes

Authors: Martín Blufstein, Jérémie Chalopin, Victor Chepoi

Abstract: In this article, we prove that finite (weakly) systolic and Helly complexes can be reconstructed from their boundary distances (computed in their 1-skeleta). Furthermore, Helly complexes and 2-dimensional systolic complexes can be reconstructed by an algorithm that runs in polynomial time with respect to the number of vertices of the complex. Both results can be viewed as a positive contribution t… ▽ More In this article, we prove that finite (weakly) systolic and Helly complexes can be reconstructed from their boundary distances (computed in their 1-skeleta). Furthermore, Helly complexes and 2-dimensional systolic complexes can be reconstructed by an algorithm that runs in polynomial time with respect to the number of vertices of the complex. Both results can be viewed as a positive contribution to a general question of Haslegrave, Scott, Tamitegama, and Tan (2025). The reconstruction of a finite cell complex from the boundary distances is the discrete analogue of the boundary rigidity problem, which is a classical problem from Riemannian geometry. △ Less

Submitted 16 June, 2025; originally announced June 2025.

Comments: 13 pages, 1 figure, comments welcome

MSC Class: 51F99; 05C99; 52C99; 20F65

Cell structure of mediangle graphs

Authors: Victor Chepoi, Kolja Knauer

Abstract: Genevois introduced and investigated mediangle graphs as a common generalization of median graphs (1-sekeleta of CAT(0) cube complexes) and Coxeter graphs (Cayley graphs of Coxeter groups) and studied groups acting on them. He asked if mediangle graphs can be endowed with the structure of a contractible cell complex. We answer this in the affirmative by proving that (bipartite) mediangle graphs ar… ▽ More Genevois introduced and investigated mediangle graphs as a common generalization of median graphs (1-sekeleta of CAT(0) cube complexes) and Coxeter graphs (Cayley graphs of Coxeter groups) and studied groups acting on them. He asked if mediangle graphs can be endowed with the structure of a contractible cell complex. We answer this in the affirmative by proving that (bipartite) mediangle graphs are tope graphs of finitary Complexes of Oriented Matroids (COMs). We also show that the oriented matroids (OMs) constituting the cells of COMs arising from mediangle graphs are exactly the simplicial OMs. △ Less

Submitted 29 May, 2025; originally announced May 2025.

Comments: 9 pages

On $G^p$-unimodality of radius functions in graphs: structure and algorithms

Authors: Jérémie Chalopin, Victor Chepoi, Feodor Dragan, Guillaume Ducoffe, Yann Vaxès

Abstract: For every weight assignment $π$ to the vertices in a graph $G$, the radius function $r_π$ maps every vertex of $G$ to its largest weighted distance to the other vertices. The center problem asks to find a center, i.e., a vertex of $G$ that minimizes $r_π$. We here study some local properties of radius functions in graphs, and their algorithmic implications; our work is inspired by the nice propert… ▽ More For every weight assignment $π$ to the vertices in a graph $G$, the radius function $r_π$ maps every vertex of $G$ to its largest weighted distance to the other vertices. The center problem asks to find a center, i.e., a vertex of $G$ that minimizes $r_π$. We here study some local properties of radius functions in graphs, and their algorithmic implications; our work is inspired by the nice property that in Euclidean spaces every local minimum of every radius function $r_π$ is a center. We study a discrete analogue of this property for graphs, which we name $G^p$-unimodality: specifically, every vertex that minimizes the radius function in its ball of radius $p$ must be a central vertex. While it has long been known since Dragan (1989) that graphs with $G$-unimodal radius functions $r_π$ are exactly the Helly graphs, the class of graphs with $G^2$-unimodal radius functions has not been studied insofar. We prove the latter class to be much larger than the Helly graphs, since it also comprises (weakly) bridged graphs, graphs with convex balls, and bipartite Helly graphs. Recently, using the $G$-unimodality of radius functions $r_π$, a randomized $\widetilde{\mathcal{O}}(\sqrt{n}m)$-time local search algorithm for the center problem on Helly graphs was proposed by Ducoffe (2023). Assuming the Hitting Set Conjecture (Abboud et al., 2016), we prove that a similar result for the class of graphs with $G^2$-unimodal radius functions is unlikely. However, we design local search algorithms (randomized or deterministic) for the center problem on many of its important subclasses. △ Less

Submitted 19 March, 2025; originally announced March 2025.

Comments: 44 pages, 4 figures. Abstract shortened to comply with arXiv requirements

Geometry of convex geometries

Authors: Jérémie Chalopin, Victor Chepoi, Kolja Knauer

Abstract: We prove that any convex geometry $\mathcal{A}=(U,\mathcal{C})$ on $n$ points and any ideal $\mathcal{I}=(U',\mathcal{C}')$ of $\mathcal{A}$ can be realized as the intersection pattern of an open convex polyhedral cone $K\subseteq {\mathbb R}^n$ with the orthants of ${\mathbb R}^n$. Furthermore, we show that $K$ can be chosen to have at most $m$ facets, where $m$ is the number of critical rooted c… ▽ More We prove that any convex geometry $\mathcal{A}=(U,\mathcal{C})$ on $n$ points and any ideal $\mathcal{I}=(U',\mathcal{C}')$ of $\mathcal{A}$ can be realized as the intersection pattern of an open convex polyhedral cone $K\subseteq {\mathbb R}^n$ with the orthants of ${\mathbb R}^n$. Furthermore, we show that $K$ can be chosen to have at most $m$ facets, where $m$ is the number of critical rooted circuits of $\mathcal{A}$. We also show that any convex geometry of convex dimension $d$ is realizable in ${\mathbb R}^d$ and that any multisimplicial complex (a basic example of an ideal of a convex geometry) of dimension $d$ is realizable in ${\mathbb R}^{2d}$ and that this is best possible. From our results it also follows that distributive lattices of dimension $d$ are realizable in ${\mathbb R}^{d}$ and that median systems are realizable. We leave open %the question whether each median system of dimension $d$ is realizable in ${\mathbb R}^{O(d)}$. △ Less

Submitted 14 November, 2024; v1 submitted 21 May, 2024; originally announced May 2024.

Comments: 21 pages, 2 figures

Separation axiom $S_3$ for geodesic convexity in graphs

Authors: Victor Chepoi

Abstract: Semispaces of a convexity space $(X,C)$ are maximal convex sets missing a point. The separation axiom $S_3$ asserts that any point $x_0\in X$ and any convex set $A$ not containing $x_0$ can be separated by complementary halfspaces (convex sets with convex complements) or, equivalently, that all semispaces are halfspaces. In this paper, we study $S_3$ for geodesic convexity in graphs and the struct… ▽ More Semispaces of a convexity space $(X,C)$ are maximal convex sets missing a point. The separation axiom $S_3$ asserts that any point $x_0\in X$ and any convex set $A$ not containing $x_0$ can be separated by complementary halfspaces (convex sets with convex complements) or, equivalently, that all semispaces are halfspaces. In this paper, we study $S_3$ for geodesic convexity in graphs and the structure of semispaces in $S_3$-graphs. We characterize $S_3$-graphs and their semispaces in terms of separation by halfspaces of vertices $x_0$ and special sets, called maximal $x_0$-proximal sets and in terms of convexity of their mutual shadows $x_0/K$ and $K/x_0$. In $S_3$-graphs $G$ satisfying the triangle condition (TC), maximal proximal sets are the pre-maximal cliques of $G$ (i.e., cliques $K$ such that $K\cup\{ x_0\}$ are maximal cliques). This allows to characterize the $S_3$-graphs satisfying (TC) in a structural way and to enumerate their semispaces efficiently. In case of meshed graphs (an important subclass of graphs satisfying (TC)), the $S_3$-graphs have been characterized by excluding five forbidden subgraphs. On the way of proving this result, we also establish some properties of meshed graphs, which maybe of independent interest. In particular, we show that any connected, locally-convex set of a meshed graph is convex. We also provide several examples of $S_3$-graphs, including the basis graphs of matroids. Finally, we consider the (NP-complete) halfspace separation problem, describe two methods of its solution, and apply them to particular classes of graphs and graph-convexities. △ Less

Submitted 13 May, 2024; originally announced May 2024.

Comments: 59 pages, 2 figures

Boundary rigidity of finite CAT(0) cube complexes

Authors: Jérémie Chalopin, Victor Chepoi

Abstract: In this note, we prove that finite CAT(0) cube complexes can be reconstructed from their boundary distances (computed in their 1-skeleta). This result was conjectured by Haslegrave, Scott, Tamitegama, and Tan (2023). The reconstruction of a finite cell complex from the boundary distances is the discrete version of the boundary rigidity problem, which is a classical problem from Riemannian geometry… ▽ More In this note, we prove that finite CAT(0) cube complexes can be reconstructed from their boundary distances (computed in their 1-skeleta). This result was conjectured by Haslegrave, Scott, Tamitegama, and Tan (2023). The reconstruction of a finite cell complex from the boundary distances is the discrete version of the boundary rigidity problem, which is a classical problem from Riemannian geometry. In the proofs, we use the bijection between CAT(0) cube complexes and median graphs and the corner peelings of median graphs. △ Less

Submitted 10 July, 2024; v1 submitted 6 October, 2023; originally announced October 2023.

Non-Clashing Teaching Maps for Balls in Graphs

Authors: Jérémie Chalopin, Victor Chepoi, Fionn Mc Inerney, Sébastien Ratel

Abstract: Recently, Kirkpatrick et al. [ALT 2019] and Fallat et al. [JMLR 2023] introduced non-clashing teaching and showed it is the most efficient machine teaching model satisfying the Goldman-Mathias collusion-avoidance criterion. A teaching map $T$ for a concept class $\mathcal{C}$ assigns a (teaching) set $T(C)$ of examples to each concept $C \in \mathcal{C}$. A teaching map is non-clashing if no pair… ▽ More Recently, Kirkpatrick et al. [ALT 2019] and Fallat et al. [JMLR 2023] introduced non-clashing teaching and showed it is the most efficient machine teaching model satisfying the Goldman-Mathias collusion-avoidance criterion. A teaching map $T$ for a concept class $\mathcal{C}$ assigns a (teaching) set $T(C)$ of examples to each concept $C \in \mathcal{C}$. A teaching map is non-clashing if no pair of concepts are consistent with the union of their teaching sets. The size of a non-clashing teaching map (NCTM) $T$ is the maximum size of a teaching set $T(C)$, $C \in \mathcal{C}$. The non-clashing teaching dimension NCTD$(\mathcal{C})$ of $\mathcal{C}$ is the minimum size of an NCTM for $\mathcal{C}$. NCTM$^+$ and NCTD$^+(\mathcal{C})$ are defined analogously, except the teacher may only use positive examples. We study NCTMs and NCTM$^+$s for the concept class $\mathcal{B}(G)$ consisting of all balls of a graph $G$. We show that the associated decision problem B-NCTD$^+$ for NCTD$^+$ is NP-complete in split, co-bipartite, and bipartite graphs. Surprisingly, we even prove that, unless the ETH fails, B-NCTD$^+$ does not admit an algorithm running in time $2^{2^{o(\text{vc})}}\cdot n^{O(1)}$, nor a kernelization algorithm outputting a kernel with $2^{o(\text{vc})}$ vertices, where vc is the vertex cover number of $G$. We complement these lower bounds with matching upper bounds. These are extremely rare results: it is only the second problem in NP to admit such a tight double-exponential lower bound parameterized by vc, and only one of very few problems to admit such an ETH-based conditional lower bound on the number of vertices in a kernel. For trees, interval graphs, cycles, and trees of cycles, we derive NCTM$^+$s or NCTMs for $\mathcal{B}(G)$ of size proportional to its VC-dimension, and for Gromov-hyperbolic graphs, we design an approximate NCTM$^+$ of size 2. △ Less

Submitted 29 July, 2024; v1 submitted 6 September, 2023; originally announced September 2023.

Comments: Published in the proceedings of COLT 2024. Shortened abstract due to character limit

Modules and PQ-trees in Robinson spaces

Authors: Mikhael Carmona, Victor Chepoi, Guyslain Naves, Pascal Préa

Abstract: A Robinson space is a dissimilarity space $(X,d)$ on $n$ points for which there exists a compatible order, {\it i.e.} a total order $<$ on $X$ such that $x<y<z$ implies that $d(x,y)\le d(x,z)$ and $d(y,z)\leq d(x,z)$. Recognizing if a dissimilarity space is Robinson has numerous applications in seriation and classification. A PQ-tree is a classical data structure introduced by Booth and Lueker to… ▽ More A Robinson space is a dissimilarity space $(X,d)$ on $n$ points for which there exists a compatible order, {\it i.e.} a total order $<$ on $X$ such that $x<y<z$ implies that $d(x,y)\le d(x,z)$ and $d(y,z)\leq d(x,z)$. Recognizing if a dissimilarity space is Robinson has numerous applications in seriation and classification. A PQ-tree is a classical data structure introduced by Booth and Lueker to compactly represent a set of related permutations on a set $X$. In particular, the set of all compatible orders of a Robinson space are encoded by a PQ-tree. An mmodule is a subset $M$ of $X$ which is not distinguishable from the outside of $M$, {\it i.e.} the distances from any point of $X\setminus M$ to all points of $M$ are the same. Mmodules define the mmodule-tree of a dissimilarity space $(X,d)$. Given $p\in X$, a $p$-copoint is a maximal mmodule not containing $p$. The $p$-copoints form a partition of $X\setminus \{p\}$. There exist two algorithms recognizing Robinson spaces in optimal $O(n^2)$ time. One uses PQ-trees and one uses a copoint partition of $(X, d)$. In this paper, we establish correspondences between the PQ-trees and the mmodule-trees of Robinson spaces. More precisely, we show how to construct the mmodule-tree of a Robinson dissimilarity from its PQ-tree and how to construct the PQ-tree from the odule-tree. To establish this translation, additionally to the previous notions, we introduce the notions of $δ$-graph $G_δ$ of a Robinson space and of $δ$-mmodules, the connected components of $G_δ$. We also use the dendrogram of the subdominant ultrametric of $d$. All these results also lead to optimal $O(n^2)$ time algorithms for constructing the PQ-tree and the mmodule tree of Robinson spaces. △ Less

Submitted 14 June, 2023; originally announced June 2023.

MSC Class: 68R01; 05C85; 68P10 ACM Class: F.2.2; G.2.1

Sample compression schemes for balls in graphs

Authors: Jérémie Chalopin, Victor Chepoi, Fionn Mc Inerney, Sébastien Ratel, Yann Vaxès

Abstract: One of the open problems in machine learning is whether any set-family of VC-dimension $d$ admits a sample compression scheme of size $O(d)$. In this paper, we study this problem for balls in graphs. For a ball $B=B_r(x)$ of a graph $G=(V,E)$, a realizable sample for $B$ is a signed subset $X=(X^+,X^-)$ of $V$ such that $B$ contains $X^+$ and is disjoint from $X^-$. A proper sample compression sch… ▽ More One of the open problems in machine learning is whether any set-family of VC-dimension $d$ admits a sample compression scheme of size $O(d)$. In this paper, we study this problem for balls in graphs. For a ball $B=B_r(x)$ of a graph $G=(V,E)$, a realizable sample for $B$ is a signed subset $X=(X^+,X^-)$ of $V$ such that $B$ contains $X^+$ and is disjoint from $X^-$. A proper sample compression scheme of size $k$ consists of a compressor and a reconstructor. The compressor maps any realizable sample $X$ to a subsample $X'$ of size at most $k$. The reconstructor maps each such subsample $X'$ to a ball $B'$ of $G$ such that $B'$ includes $X^+$ and is disjoint from $X^-$. For balls of arbitrary radius $r$, we design proper labeled sample compression schemes of size $2$ for trees, of size $3$ for cycles, of size $4$ for interval graphs, of size $6$ for trees of cycles, and of size $22$ for cube-free median graphs. For balls of a given radius, we design proper labeled sample compression schemes of size $2$ for trees and of size $4$ for interval graphs. We also design approximate sample compression schemes of size 2 for balls of $δ$-hyperbolic graphs. △ Less

Submitted 25 March, 2024; v1 submitted 27 June, 2022; originally announced June 2022.

Comments: 27 pages, 8 figures

Journal ref: SIAM Journal on Discrete Mathematics, 37(4):2585-2616, 2023

ABC(T)-graphs: an axiomatic characterization of the median procedure in graphs with connected and G$^2$-connected medians

Authors: Laurine Bénéteau, Jérémie Chalopin, Victor Chepoi, Yann Vaxès

Abstract: The median function is a location/consensus function that maps any profile $π$ (a finite multiset of vertices) to the set of vertices that minimize the distance sum to vertices from $π$. The median function satisfies several simple axioms: Anonymity (A), Betweeness (B), and Consistency (C). McMorris, Mulder, Novick and Powers (2015) defined the ABC-problem for consensus functions on graphs as the… ▽ More The median function is a location/consensus function that maps any profile $π$ (a finite multiset of vertices) to the set of vertices that minimize the distance sum to vertices from $π$. The median function satisfies several simple axioms: Anonymity (A), Betweeness (B), and Consistency (C). McMorris, Mulder, Novick and Powers (2015) defined the ABC-problem for consensus functions on graphs as the problem of characterizing the graphs (called, ABC-graphs) for which the unique consensus function satisfying the axioms (A), (B), and (C) is the median function. In this paper, we show that modular graphs with $G^2$-connected medians (in particular, bipartite Helly graphs) are ABC-graphs. On the other hand, the addition of some simple local axioms satisfied by the median function in all graphs (axioms (T), and (T$_2$)) enables us to show that all graphs with connected median (comprising Helly graphs, median graphs, basis graphs of matroids and even $Δ$-matroids) are ABCT-graphs and that benzenoid graphs are ABCT$_2$-graphs. McMorris et al (2015) proved that the graphs satisfying the pairing property (called the intersecting-interval property in their paper) are ABC-graphs. We prove that graphs with the pairing property constitute a proper subclass of bipartite Helly graphs and we discuss the complexity status of the recognition problem of such graphs. △ Less

Submitted 18 July, 2024; v1 submitted 7 June, 2022; originally announced June 2022.

A simple and optimal algorithm for strict circular seriation

Authors: Mikhael Carmona, Victor Chepoi, Guyslain Naves, Pascal Préa

Abstract: Recently, Armstrong, Guzmán, and Sing Long (2021), presented an optimal $O(n^2)$ time algorithm for strict circular seriation (called also the recognition of strict quasi-circular Robinson spaces). In this paper, we give a very simple $O(n\log n)$ time algorithm for computing a compatible circular order for strict circular seriation. When the input space is not known to be strict quasi-circular Ro… ▽ More Recently, Armstrong, Guzmán, and Sing Long (2021), presented an optimal $O(n^2)$ time algorithm for strict circular seriation (called also the recognition of strict quasi-circular Robinson spaces). In this paper, we give a very simple $O(n\log n)$ time algorithm for computing a compatible circular order for strict circular seriation. When the input space is not known to be strict quasi-circular Robinson, our algorithm is complemented by an $O(n^2)$ time verification of compatibility of the returned order. This algorithm also works for recognition of other types of strict circular Robinson spaces known in the literature. We also prove that the circular Robinson dissimilarities (which are defined by the existence of compatible orders on one of the two arcs between each pair of points) are exactly the pre-circular Robinson dissimilarities (which are defined by a four-point condition). △ Less

Submitted 22 May, 2023; v1 submitted 10 May, 2022; originally announced May 2022.

MSC Class: 68W05; 68R01; 68R12; 68T09

Journal ref: SIAM Journal on Mathematics of Data Science Volume 5, Issue 1, March 2023 Pages: 201 - 221

Modules in Robinson Spaces

Authors: Mikhael Carmona, Victor Chepoi, Guyslain Naves, Pascal Préa

Abstract: A Robinson space is a dissimilarity space $(X,d)$ (i.e., a set $X$ of size $n$ and a dissimilarity $d$ on $X$) for which there exists a total order $<$ on $X$ such that $x<y<z$ implies that $d(x,z)\ge \max\{ d(x,y), d(y,z)\}$. Recognizing if a dissimilarity space is Robinson has numerous applications in seriation and classification. An mmodule of $(X,d)$ (generalizing the notion of a module in gra… ▽ More A Robinson space is a dissimilarity space $(X,d)$ (i.e., a set $X$ of size $n$ and a dissimilarity $d$ on $X$) for which there exists a total order $<$ on $X$ such that $x<y<z$ implies that $d(x,z)\ge \max\{ d(x,y), d(y,z)\}$. Recognizing if a dissimilarity space is Robinson has numerous applications in seriation and classification. An mmodule of $(X,d)$ (generalizing the notion of a module in graph theory) is a subset $M$ of $X$ which is not distinguishable from the outside of $M$, i.e., the distance from any point of $X\setminus M$ to all points of $M$ is the same. If $p$ is any point of $X$, then $\{ p\}$ and the maximal by inclusion mmodules of $(X,d)$ not containing $p$ define a partition of $X$, called the copoint partition. In this paper, we investigate the structure of mmodules in Robinson spaces and use it and the copoint partition to design a simple and practical divide-and-conquer algorithm for recognition of Robinson spaces in optimal $O(n^2)$ time. △ Less

Submitted 30 January, 2023; v1 submitted 23 March, 2022; originally announced March 2022.

MSC Class: 68R01; 05C85; 68P10 ACM Class: F.2.2; G.2.1

First-order logic axiomatization of metric graph theory

Authors: Jérémie Chalopin, Manoj Changat, Victor Chepoi, Jeny Jacob

Abstract: The main goal of this note is to provide a First-Order Logic with Betweenness (FOLB) axiomatization of the main classes of graphs occurring in Metric Graph Theory, in analogy to Tarski's axiomatization of Euclidean geometry. We provide such an axiomatization for weakly modular graphs and their principal subclasses (median and modular graphs, bridged graphs, Helly graphs, dual polar graphs, etc), b… ▽ More The main goal of this note is to provide a First-Order Logic with Betweenness (FOLB) axiomatization of the main classes of graphs occurring in Metric Graph Theory, in analogy to Tarski's axiomatization of Euclidean geometry. We provide such an axiomatization for weakly modular graphs and their principal subclasses (median and modular graphs, bridged graphs, Helly graphs, dual polar graphs, etc), basis graphs of matroids and even $Δ$-matroids, partial cubes and their subclasses (ample partial cubes, tope graphs of oriented matroids and complexes of oriented matroids, bipartite Pasch and Peano graphs, cellular and hypercellular partial cubes, almost-median graphs, netlike partial cubes), and Gromov hyperbolic graphs. On the other hand, we show that some classes of graphs (including chordal, planar, Eulerian, and dismantlable graphs), closely related with Metric Graph Theory, but defined in a combinatorial or topological way, do not allow such an axiomatization. △ Less

Submitted 2 March, 2022; originally announced March 2022.

Graphs with $G^p$-connected medians

Authors: Laurine Bénéteau, Jérémie Chalopin, Victor Chepoi, Yann Vaxès

Abstract: The median of a graph $G$ with weighted vertices is the set of all vertices $x$ minimizing the sum of weighted distances from $x$ to the vertices of $G$. For any integer $p\ge 2$, we characterize the graphs in which, with respect to any non-negative weights, median sets always induce connected subgraphs in the $p$th power $G^p$ of $G$. This extends some characterizations of graphs with connected m… ▽ More The median of a graph $G$ with weighted vertices is the set of all vertices $x$ minimizing the sum of weighted distances from $x$ to the vertices of $G$. For any integer $p\ge 2$, we characterize the graphs in which, with respect to any non-negative weights, median sets always induce connected subgraphs in the $p$th power $G^p$ of $G$. This extends some characterizations of graphs with connected medians (case $p=1$) provided by Bandelt and Chepoi (2002). The characteristic conditions can be tested in polynomial time for any $p$. We also show that several important classes of graphs in metric graph theory, including bridged graphs (and thus chordal graphs), graphs with convex balls, bucolic graphs, and bipartite absolute retracts, have $G^2$-connected medians. Extending the result of Bandelt and Chepoi that basis graphs of matroids are graphs with connected medians, we characterize the isometric subgraphs of Johnson graphs and of halved-cubes with connected medians. △ Less

Submitted 8 March, 2023; v1 submitted 28 January, 2022; originally announced January 2022.

Comments: 34 pages, 7 figures

Graphs with convex balls

Authors: Jérémie Chalopin, Victor Chepoi, Ugo Giocanti

Abstract: In this paper, we investigate the graphs in which all balls are convex and the groups acting on them geometrically (which we call CB-graphs and CB-groups). These graphs have been introduced and characterized by Soltan and Chepoi (1983) and Farber and Jamison (1987). CB-graphs and CB-groups generalize systolic (alias bridged) and weakly systolic graphs and groups, which play an important role in ge… ▽ More In this paper, we investigate the graphs in which all balls are convex and the groups acting on them geometrically (which we call CB-graphs and CB-groups). These graphs have been introduced and characterized by Soltan and Chepoi (1983) and Farber and Jamison (1987). CB-graphs and CB-groups generalize systolic (alias bridged) and weakly systolic graphs and groups, which play an important role in geometric group theory. We present metric and local-to-global characterizations of CB-graphs. Namely, we characterize CB-graphs $G$ as graphs whose triangle-pentagonal complexes $X(G)$ are simply connected and balls of radius at most $3$ are convex. Similarly to systolic and weakly systolic graphs, we prove a dismantlability result for CB-graphs $G$: we show that their squares $G^2$ are dismantlable. This implies that the Rips complexes of CB-graphs are contractible. Finally, we adapt and extend the approach of Januszkiewicz and Swiatkowski (2006) for systolic groups and of Chalopin et al. (2020) for Helly groups, to show that the CB-groups are biautomatic. △ Less

Submitted 5 July, 2023; v1 submitted 5 January, 2022; originally announced January 2022.

Journal ref: Geometriae Dedicata 217, 67 (2023)

Labeled sample compression schemes for complexes of oriented matroids

Authors: Victor Chepoi, Kolja Knauer, Manon Philibert

Abstract: We show that the topes of a complex of oriented matroids (abbreviated COM) of VC-dimension $d$ admit a proper labeled sample compression scheme of size $d$. This considerably extends results of Moran and Warmuth on ample classes, of Ben-David and Litman on affine arrangements of hyperplanes, and of the authors on complexes of uniform oriented matroids, and is a step towards the sample compression… ▽ More We show that the topes of a complex of oriented matroids (abbreviated COM) of VC-dimension $d$ admit a proper labeled sample compression scheme of size $d$. This considerably extends results of Moran and Warmuth on ample classes, of Ben-David and Litman on affine arrangements of hyperplanes, and of the authors on complexes of uniform oriented matroids, and is a step towards the sample compression conjecture -- one of the oldest open problems in computational learning theory. On the one hand, our approach exploits the rich combinatorial cell structure of COMs via oriented matroid theory. On the other hand, viewing tope graphs of COMs as partial cubes creates a fruitful link to metric graph theory. △ Less

Submitted 19 April, 2023; v1 submitted 28 October, 2021; originally announced October 2021.

Comments: 24 pages, 5 figures, corrected statement and proof of distinguishing lemma

Distance labeling schemes for $K_4$-free bridged graphs

Authors: Victor Chepoi, Arnaud Labourel, Sébastien Ratel

Abstract: $k$-Approximate distance labeling schemes are schemes that label the vertices of a graph with short labels in such a way that the $k$-approximation of the distance between any two vertices $u$ and $v$ can be determined efficiently by merely inspecting the labels of $u$ and $v… ▽ More $k$-Approximate distance labeling schemes are schemes that label the vertices of a graph with short labels in such a way that the $k$-approximation of the distance between any two vertices $u$ and $v$ can be determined efficiently by merely inspecting the labels of $u$ and $v$, without using any other information. One of the important problems is finding natural classes of graphs admitting exact or approximate distance labeling schemes with labels of polylogarithmic size. In this paper, we describe a $4$-approximate distance labeling scheme forthe class of $K_4$-free bridged graphs. This scheme uses labels of poly-logarithmic length $O(\log n^3)$ allowing a constant decoding time. Given the labels of two vertices $u$ and $v$, the decoding function returnsa value between the exact distance $d_G(u,v)$ and its quadruple $4d_G(u,v)$. △ Less

Submitted 14 March, 2022; v1 submitted 28 July, 2020; originally announced July 2020.

Comments: 29 pages, 21 figures

Ample completions of OMs and CUOMs

Authors: Victor Chepoi, Kolja Knauer, Manon Philibert

Abstract: This paper considers completions of COMs (complexes oriented matroids) to ample partial cubes of the same VC-dimension. We show that these exist for OMs (oriented matroids) and CUOMs (complexes of uniform oriented matroids). This implies that OMs and CUOMs satisfy the sample compression conjecture -- one of the central open questions of learning theory. We conjecture that every COM can be complete… ▽ More This paper considers completions of COMs (complexes oriented matroids) to ample partial cubes of the same VC-dimension. We show that these exist for OMs (oriented matroids) and CUOMs (complexes of uniform oriented matroids). This implies that OMs and CUOMs satisfy the sample compression conjecture -- one of the central open questions of learning theory. We conjecture that every COM can be completed to an ample partial cube without increasing the VC-dimension. △ Less

Submitted 21 September, 2021; v1 submitted 24 July, 2020; originally announced July 2020.

Comments: 24 pages, 11 figures

Helly groups

Authors: Jérémie Chalopin, Victor Chepoi, Anthony Genevois, Hiroshi Hirai, Damian Osajda

Abstract: Helly graphs are graphs in which every family of pairwise intersecting balls has a non-empty intersection. This is a classical and widely studied class of graphs. In this article we focus on groups acting geometrically on Helly graphs -- Helly groups. We provide numerous examples of such groups: all (Gromov) hyperbolic, CAT(0) cubical, finitely presented graphical C(4)$-$T(4) small cancellation gr… ▽ More Helly graphs are graphs in which every family of pairwise intersecting balls has a non-empty intersection. This is a classical and widely studied class of graphs. In this article we focus on groups acting geometrically on Helly graphs -- Helly groups. We provide numerous examples of such groups: all (Gromov) hyperbolic, CAT(0) cubical, finitely presented graphical C(4)$-$T(4) small cancellation groups, and type-preserving uniform lattices in Euclidean buildings of type $C_n$ are Helly; free products of Helly groups with amalgamation over finite subgroups, graph products of Helly groups, some diagram products of Helly groups, some right-angled graphs of Helly groups, and quotients of Helly groups by finite normal subgroups are Helly. We show many properties of Helly groups: biautomaticity, existence of finite dimensional models for classifying spaces for proper actions, contractibility of asymptotic cones, existence of EZ-boundaries, satisfiability of the Farrell-Jones conjecture and of the coarse Baum-Connes conjecture. This leads to new results for some classical families of groups (e.g. for FC-type Artin groups) and to a unified approach to results obtained earlier. △ Less

Submitted 5 July, 2023; v1 submitted 17 February, 2020; originally announced February 2020.

Journal ref: Geom. Topol. 29 (2025) 1-70

Medians in median graphs and their cube complexes in linear time

Authors: Laurine Bénéteau, Jérémie Chalopin, Victor Chepoi, Yann Vaxès

Abstract: The median of a set of vertices $P$ of a graph $G$ is the set of all vertices $x$ of $G$ minimizing the sum of distances from $x$ to all vertices of $P$. In this paper, we present a linear time algorithm to compute medians in median graphs, improving over the existing quadratic time algorithm. We also present a linear time algorithm to compute medians in the $\ell_1$-cube complexes associated with… ▽ More The median of a set of vertices $P$ of a graph $G$ is the set of all vertices $x$ of $G$ minimizing the sum of distances from $x$ to all vertices of $P$. In this paper, we present a linear time algorithm to compute medians in median graphs, improving over the existing quadratic time algorithm. We also present a linear time algorithm to compute medians in the $\ell_1$-cube complexes associated with median graphs. Median graphs constitute the principal class of graphs investigated in metric graph theory and have a rich geometric and combinatorial structure, due to their bijections with CAT(0) cube complexes and domains of event structures. Our algorithm is based on the majority rule characterization of medians in median graphs and on a fast computation of parallelism classes of edges ($Θ$-classes or hyperplanes) via Lexicographic Breadth First Search (LexBFS). To prove the correctness of our algorithm, we show that any LexBFS ordering of the vertices of $G$ satisfies the following fellow traveler property of independent interest: the parents of any two adjacent vertices of $G$ are also adjacent. Using the fast computation of the $Θ$-classes, we also compute the Wiener index (total distance) of $G$ in linear time and the distance matrix in optimal quadratic time. △ Less

Submitted 23 July, 2020; v1 submitted 24 July, 2019; originally announced July 2019.

Two-dimensional partial cubes

Authors: Victor Chepoi, Kolja Knauer, Manon Philibert

Abstract: We investigate the structure of two-dimensional partial cubes, i.e., of isometric subgraphs of hypercubes whose vertex set defines a set family of VC-dimension at most 2. Equivalently, those are the partial cubes which are not contractible to the 3-cube $Q_3$ (here contraction means contracting the edges corresponding to the same coordinate of the hypercube). We show that our graphs can be obtaine… ▽ More We investigate the structure of two-dimensional partial cubes, i.e., of isometric subgraphs of hypercubes whose vertex set defines a set family of VC-dimension at most 2. Equivalently, those are the partial cubes which are not contractible to the 3-cube $Q_3$ (here contraction means contracting the edges corresponding to the same coordinate of the hypercube). We show that our graphs can be obtained from two types of combinatorial cells (gated cycles and gated full subdivisions of complete graphs) via amalgams. The cell structure of two-dimensional partial cubes enables us to establish a variety of results. In particular, we prove that all partial cubes of VC-dimension 2 can be extended to ample aka lopsided partial cubes of VC-dimension 2, yielding that the set families defined by such graphs satisfy the sample compression conjecture by Littlestone and Warmuth (1986). Furthermore we point out relations to tope graphs of COMs of low rank and region graphs of pseudoline arrangements. △ Less

Submitted 19 May, 2021; v1 submitted 11 June, 2019; originally announced June 2019.

Comments: 31 pages, 11 figures

Unlabeled sample compression schemes and corner peelings for ample and maximum classes

Authors: Jérémie Chalopin, Victor Chepoi, Shay Moran, Manfred K. Warmuth

Abstract: We examine connections between combinatorial notions that arise in machine learning and topological notions in cubical/simplicial geometry. These connections enable to export results from geometry to machine learning. Our first main result is based on a geometric construction by Tracy Hall (2004) of a partial shelling of the cross-polytope which can not be extended. We use it to derive a maximum c… ▽ More We examine connections between combinatorial notions that arise in machine learning and topological notions in cubical/simplicial geometry. These connections enable to export results from geometry to machine learning. Our first main result is based on a geometric construction by Tracy Hall (2004) of a partial shelling of the cross-polytope which can not be extended. We use it to derive a maximum class of VC dimension 3 that has no corners. This refutes several previous works in machine learning from the past 11 years. In particular, it implies that all previous constructions of optimal unlabeled sample compression schemes for maximum classes are erroneous. On the positive side we present a new construction of an unlabeled sample compression scheme for maximum classes. We leave as open whether our unlabeled sample compression scheme extends to ample (a.k.a. lopsided or extremal) classes, which represent a natural and far-reaching generalization of maximum classes. Towards resolving this question, we provide a geometric characterization in terms of unique sink orientations of the 1-skeletons of associated cubical complexes. △ Less

Submitted 5 January, 2022; v1 submitted 5 December, 2018; originally announced December 2018.

1-Safe Petri nets and special cube complexes: equivalence and applications

Authors: Jérémie Chalopin, Victor Chepoi

Abstract: Nielsen, Plotkin, and Winskel (1981) proved that every 1-safe Petri net $N$ unfolds into an event structure $\mathcal{E}_N$. By a result of Thiagarajan (1996 and 2002), these unfoldings are exactly the trace regular event structures. Thiagarajan (1996 and 2002) conjectured that regular event structures correspond exactly to trace regular event structures. In a recent paper (Chalopin and Chepoi, 20… ▽ More Nielsen, Plotkin, and Winskel (1981) proved that every 1-safe Petri net $N$ unfolds into an event structure $\mathcal{E}_N$. By a result of Thiagarajan (1996 and 2002), these unfoldings are exactly the trace regular event structures. Thiagarajan (1996 and 2002) conjectured that regular event structures correspond exactly to trace regular event structures. In a recent paper (Chalopin and Chepoi, 2017, 2018), we disproved this conjecture, based on the striking bijection between domains of event structures, median graphs, and CAT(0) cube complexes. On the other hand, in Chalopin and Chepoi (2018) we proved that Thiagarajan's conjecture is true for regular event structures whose domains are principal filters of universal covers of (virtually) finite special cube complexes. In the current paper, we prove the converse: to any finite 1-safe Petri net $N$ one can associate a finite special cube complex ${X}_N$ such that the domain of the event structure $\mathcal{E}_N$ (obtained as the unfolding of $N$) is a principal filter of the universal cover $\widetilde{X}_N$ of $X_N$. This establishes a bijection between 1-safe Petri nets and finite special cube complexes and provides a combinatorial characterization of trace regular event structures. Using this bijection and techniques from graph theory and geometry (MSO theory of graphs, bounded treewidth, and bounded hyperbolicity) we disprove yet another conjecture by Thiagarajan (from the paper with S. Yang from 2014) that the monadic second order logic of a 1-safe Petri net is decidable if and only if its unfolding is grid-free. Our counterexample is the trace regular event structure $\mathcal{\dot E}_Z$ which arises from a virtually special square complex $\dot Z$. The domain of $\mathcal{\dot E}_Z$ is grid-free (because it is hyperbolic), but the MSO theory of the event structure $\mathcal{\dot E}_Z$ is undecidable. △ Less

Submitted 24 April, 2019; v1 submitted 8 October, 2018; originally announced October 2018.

Distance and routing labeling schemes for cube-free median graphs

Authors: Victor Chepoi, Arnaud Labourel, Sebastien Ratel

Abstract: Distance labeling schemes are schemes that label the vertices of a graph with short labels in such a way that the distance between any two vertices $u$ and $v$ can be determined efficiently by merely inspecting the labels of $u$ and $v$, without using any other information. Similarly, routing labeling schemes label the vertices of a graph in a such a way that given the labels of a source node and… ▽ More Distance labeling schemes are schemes that label the vertices of a graph with short labels in such a way that the distance between any two vertices $u$ and $v$ can be determined efficiently by merely inspecting the labels of $u$ and $v$, without using any other information. Similarly, routing labeling schemes label the vertices of a graph in a such a way that given the labels of a source node and a destination node, it is possible to compute efficiently the port number of the edge from the source that heads in the direction of the destination. One of important problems is finding natural classes of graphs admitting distance and/or routing labeling schemes with labels of polylogarithmic size. In this paper, we show that the class of cube-free median graphs on $n$ nodes enjoys distance and routing labeling schemes with labels of $O(\log^3 n)$ bits. △ Less

Submitted 6 July, 2020; v1 submitted 27 September, 2018; originally announced September 2018.

Comments: 34 pages, 10 figures

ACM Class: G.2.2

Fast approximation of centrality and distances in hyperbolic graphs

Authors: Victor Chepoi, Feodor F. Dragan, Michel Habib, Yann Vaxès, Hend Al-Rasheed

Abstract: We show that the eccentricities (and thus the centrality indices) of all vertices of a $δ$-hyperbolic graph $G=(V,E)$ can be computed in linear time with an additive one-sided error of at most $cδ$, i.e., after a linear time preprocessing, for every vertex $v$ of $G$ one can compute in $O(1)$ time an estimate $\hat{e}(v)$ of its eccentricity $ecc_G(v)$ such that… ▽ More We show that the eccentricities (and thus the centrality indices) of all vertices of a $δ$-hyperbolic graph $G=(V,E)$ can be computed in linear time with an additive one-sided error of at most $cδ$, i.e., after a linear time preprocessing, for every vertex $v$ of $G$ one can compute in $O(1)$ time an estimate $\hat{e}(v)$ of its eccentricity $ecc_G(v)$ such that $ecc_G(v)\leq \hat{e}(v)\leq ecc_G(v)+ cδ$ for a small constant $c$. We prove that every $δ$-hyperbolic graph $G$ has a shortest path tree, constructible in linear time, such that for every vertex $v$ of $G$, $ecc_G(v)\leq ecc_T(v)\leq ecc_G(v)+ cδ$. These results are based on an interesting monotonicity property of the eccentricity function of hyperbolic graphs: the closer a vertex is to the center of $G$, the smaller its eccentricity is. We also show that the distance matrix of $G$ with an additive one-sided error of at most $c'δ$ can be computed in $O(|V|^2\log^2|V|)$ time, where $c'< c$ is a small constant. Recent empirical studies show that many real-world graphs (including Internet application networks, web networks, collaboration networks, social networks, biological networks, and others) have small hyperbolicity. So, we analyze the performance of our algorithms for approximating centrality and distance matrix on a number of real-world networks. Our experimental results show that the obtained estimates are even better than the theoretical bounds. △ Less

Submitted 16 May, 2018; originally announced May 2018.

Comments: arXiv admin note: text overlap with arXiv:1506.01799 by other authors

Fast approximation and exact computation of negative curvature parameters of graphs

Authors: Jérémie Chalopin, Victor Chepoi, Feodor F. Dragan, Guillaume Ducoffe, Abdulhakeem Mohammed, Yann Vaxès

Abstract: In this paper, we study Gromov hyperbolicity and related parameters, that represent how close (locally) a metric space is to a tree from a metric point of view. The study of Gromov hyperbolicity for geodesic metric spaces can be reduced to the study of graph hyperbolicity. The main contribution of this paper is a new characterization of the hyperbolicity of graphs. This characterization has algori… ▽ More In this paper, we study Gromov hyperbolicity and related parameters, that represent how close (locally) a metric space is to a tree from a metric point of view. The study of Gromov hyperbolicity for geodesic metric spaces can be reduced to the study of graph hyperbolicity. The main contribution of this paper is a new characterization of the hyperbolicity of graphs. This characterization has algorithmic implications in the field of large-scale network analysis. A sharp estimate of graph hyperbolicity is useful, e.g., in embedding an undirected graph into hyperbolic space with minimum distortion [Verbeek and Suri, SoCG'14]. The hyperbolicity of a graph can be computed in polynomial-time, however it is unlikely that it can be done in subcubic time. This makes this parameter difficult to compute or to approximate on large graphs. Using our new characterization of graph hyperbolicity, we provide a simple factor 8 approximation algorithm for computing the hyperbolicity of an $n$-vertex graph $G=(V,E)$ in optimal time $O(n^2)$ (assuming that the input is the distance matrix of the graph). This algorithm leads to constant factor approximations of other graph-parameters related to hyperbolicity (thinness, slimness, and insize). We also present the first efficient algorithms for exact computation of these parameters. All of our algorithms can be used to approximate the hyperbolicity of a geodesic metric space. We also show that a similar characterization of hyperbolicity holds for all geodesic metric spaces endowed with a geodesic spanning tree. Along the way, we prove that any complete geodesic metric space $(X,d)$ has such a geodesic spanning tree. We hope that this fundamental result can be useful in other contexts. △ Less

Submitted 3 June, 2019; v1 submitted 16 March, 2018; originally announced March 2018.

On density of subgraphs of Cartesian products

Authors: Victor Chepoi, Arnaud Labourel, Sébastien Ratel

Abstract: In this paper, we extend two classical results about the density of subgraphs of hypercubes to subgraphs $G$ of Cartesian products $G_1\times\cdots\times G_m$ of arbitrary connected graphs. Namely, we show that $\frac{|E(G)|}{|V(G)|}\le \lceil 2\max\{ \text{dens}(G_1),\ldots,\text{dens}(G_m)\} \rceil\log|V(G)|$, where $\text{dens}(H)$ is the maximum ratio $\frac{|E(H')|}{|V(H')|}$ over all subgrap… ▽ More In this paper, we extend two classical results about the density of subgraphs of hypercubes to subgraphs $G$ of Cartesian products $G_1\times\cdots\times G_m$ of arbitrary connected graphs. Namely, we show that $\frac{|E(G)|}{|V(G)|}\le \lceil 2\max\{ \text{dens}(G_1),\ldots,\text{dens}(G_m)\} \rceil\log|V(G)|$, where $\text{dens}(H)$ is the maximum ratio $\frac{|E(H')|}{|V(H')|}$ over all subgraphs $H'$ of $H$. We introduce the notions of VC-dimension $\text{VC-dim}(G)$ and VC-density $\text{VC-dens}(G)$ of a subgraph $G$ of a Cartesian product $G_1\times\cdots\times G_m$, generalizing the classical Vapnik-Chervonenkis dimension of set-families (viewed as subgraphs of hypercubes). We prove that if $G_1,\ldots,G_m$ belong to the class ${\mathcal G}(H)$ of all finite connected graphs not containing a given graph $H$ as a minor, then for any subgraph $G$ of $G_1\times\cdots\times G_m$ a sharper inequality $\frac{|E(G)|}{|V(G)|}\le \text{VC-dim}(G)α(H)$ holds, where $α(H)$ is the density of the graphs from ${\mathcal G}(H)$. We refine and sharpen those two results to several specific graph classes. We also derive upper bounds (some of them polylogarithmic) for the size of adjacency labeling schemes of subgraphs of Cartesian products. △ Less

Submitted 24 July, 2019; v1 submitted 30 November, 2017; originally announced November 2017.

Comments: 20 pages, 17 figures

ACM Class: G.2.2

On density of subgraphs of halved cubes

Authors: Victor Chepoi, Arnaud Labourel, Sébastien Ratel

Abstract: Let $\mathcal S$ be a family of subsets of a set $X$ of cardinality $m$ and $\text{VC-dim}(\mathcal S)$ be the Vapnik-Chervonenkis dimension of $\mathcal S$. Haussler, Littlestone, and Warmuth (Inf. Comput., 1994) proved that if $G_1(\mathcal S)=(V,E)$ is the subgraph of the hypercube $Q_m$ induced by $\mathcal S$ (called the 1-inclusion graph of $\mathcal S$), then… ▽ More Let $\mathcal S$ be a family of subsets of a set $X$ of cardinality $m$ and $\text{VC-dim}(\mathcal S)$ be the Vapnik-Chervonenkis dimension of $\mathcal S$. Haussler, Littlestone, and Warmuth (Inf. Comput., 1994) proved that if $G_1(\mathcal S)=(V,E)$ is the subgraph of the hypercube $Q_m$ induced by $\mathcal S$ (called the 1-inclusion graph of $\mathcal S$), then $\frac{|E|}{|V|}\le \text{VC-dim}({\mathcal S})$. Haussler (J. Combin. Th. A, 1995) presented an elegant proof of this inequality using the shifting operation. In this note, we adapt the shifting technique to prove that if $\mathcal S$ is an arbitrary set family and $G_{1,2}(\mathcal S)=(V,E)$ is the 1,2-inclusion graph of $\mathcal S$ (i.e., the subgraph of the square $Q^2_m$ of the hypercube $Q_m$ induced by $\mathcal S$), then $\frac{|E|}{|V|}\le \binom{d}{2}$, where $d:=\text{cVC-dim}^*(\mathcal S)$ is the clique-VC-dimension of $\mathcal S$ (which we introduce in this paper). The 1,2-inclusion graphs are exactly the subgraphs of halved cubes and comprise subgraphs of Johnson graphs as a subclass. △ Less

Submitted 6 December, 2017; v1 submitted 30 November, 2017; originally announced November 2017.

Comments: 15 pages, 4 figures

Hypercellular graphs: partial cubes without $Q_3^-$ as partial cube minor

Authors: Victor Chepoi, Kolja Knauer, Tilen Marc

Abstract: We investigate the structure of isometric subgraphs of hypercubes (i.e., partial cubes) which do not contain finite convex subgraphs contractible to the 3-cube minus one vertex $Q^-_3$ (here contraction means contracting the edges corresponding to the same coordinate of the hypercube). Extending similar results for median and cellular graphs, we show that the convex hull of an isometric cycle of s… ▽ More We investigate the structure of isometric subgraphs of hypercubes (i.e., partial cubes) which do not contain finite convex subgraphs contractible to the 3-cube minus one vertex $Q^-_3$ (here contraction means contracting the edges corresponding to the same coordinate of the hypercube). Extending similar results for median and cellular graphs, we show that the convex hull of an isometric cycle of such a graph is gated and isomorphic to the Cartesian product of edges and even cycles. Furthermore, we show that our graphs are exactly the class of partial cubes in which any finite convex subgraph can be obtained from the Cartesian products of edges and even cycles via successive gated amalgams. This decomposition result enables us to establish a variety of results. In particular, it yields that our class of graphs generalizes median and cellular graphs, which motivates naming our graphs hypercellular. Furthermore, we show that hypercellular graphs are tope graphs of zonotopal complexes of oriented matroids. Finally, we characterize hypercellular graphs as being median-cell -- a property naturally generalizing the notion of median graphs. △ Less

Submitted 23 August, 2019; v1 submitted 7 June, 2016; originally announced June 2016.

Comments: 35 pages, 6 figures, added example answering Question 1 from earlier draft (Figure 6.)

A counterexample to Thiagarajan's conjecture on regular event structures

Authors: Jérémie Chalopin, Victor Chepoi

Abstract: We provide a counterexample to a conjecture by Thiagarajan (1996 and 2002) that regular event structures correspond exactly to event structures obtained as unfoldings of finite 1-safe Petri nets. The same counterexample is used to disprove a closely related conjecture by Badouel, Darondeau, and Raoult (1999) that domains of regular event structures with bounded $\natural$-cliques are recognizable… ▽ More We provide a counterexample to a conjecture by Thiagarajan (1996 and 2002) that regular event structures correspond exactly to event structures obtained as unfoldings of finite 1-safe Petri nets. The same counterexample is used to disprove a closely related conjecture by Badouel, Darondeau, and Raoult (1999) that domains of regular event structures with bounded $\natural$-cliques are recognizable by finite trace automata. Event structures, trace automata, and Petri nets are fundamental models in concurrency theory. There exist nice interpretations of these structures as combinatorial and geometric objects. Namely, from a graph theoretical point of view, the domains of prime event structures correspond exactly to median graphs; from a geometric point of view, these domains are in bijection with CAT(0) cube complexes. A necessary condition for both conjectures to be true is that domains of regular event structures (with bounded $\natural$-cliques) admit a regular nice labeling. To disprove these conjectures, we describe a regular event domain (with bounded $\natural$-cliques) that does not admit a regular nice labeling. Our counterexample is derived from an example by Wise (1996 and 2007) of a nonpositively curved square complex whose universal cover is a CAT(0) square complex containing a particular plane with an aperiodic tiling. We prove that other counterexamples to Thiagarajan's conjecture arise from aperiodic 4-way deterministic tile sets of Kari and Papasoglu (1999) and Lukkarila (2009). On the positive side, using breakthrough results by Agol (2013) and Haglund and Wise (2008, 2012) from geometric group theory, we prove that Thiagarajan's conjecture is true for regular event structures whose domains occur as principal filters of hyperbolic CAT(0) cube complexes which are universal covers of finite nonpositively curved cube complexes. △ Less

Submitted 18 January, 2018; v1 submitted 26 May, 2016; originally announced May 2016.

Core congestion is inherent in hyperbolic networks

Authors: Victor Chepoi, Feodor F. Dragan, Yann Vaxès

Abstract: We investigate the impact the negative curvature has on the traffic congestion in large-scale networks. We prove that every Gromov hyperbolic network $G$ admits a core, thus answering in the positive a conjecture by Jonckheere, Lou, Bonahon, and Baryshnikov, Internet Mathematics, 7 (2011) which is based on the experimental observation by Narayan and Saniee, Physical Review E, 84 (2011) that real-w… ▽ More We investigate the impact the negative curvature has on the traffic congestion in large-scale networks. We prove that every Gromov hyperbolic network $G$ admits a core, thus answering in the positive a conjecture by Jonckheere, Lou, Bonahon, and Baryshnikov, Internet Mathematics, 7 (2011) which is based on the experimental observation by Narayan and Saniee, Physical Review E, 84 (2011) that real-world networks with small hyperbolicity have a core congestion. Namely, we prove that for every subset $X$ of vertices of a $δ$-hyperbolic graph $G$ there exists a vertex $m$ of $G$ such that the disk $D(m,4 δ)$ of radius $4 δ$ centered at $m$ intercepts at least one half of the total flow between all pairs of vertices of $X$, where the flow between two vertices $x,y\in X$ is carried by geodesic (or quasi-geodesic) $(x,y)$-paths. A set $S$ intercepts the flow between two nodes $x$ and $y$ if $S$ intersect every shortest path between $x$ and $y$. Differently from what was conjectured by Jonckheere et al., we show that $m$ is not (and cannot be) the center of mass of $X$ but is a node close to the median of $X$ in the so-called injective hull of $X$. In case of non-uniform traffic between nodes of $X$ (in this case, the unit flow exists only between certain pairs of nodes of $X$ defined by a commodity graph $R$), we prove a primal-dual result showing that for any $ρ>5δ$ the size of a $ρ$-multi-core (i.e., the number of disks of radius $ρ$) intercepting all pairs of $R$ is upper bounded by the maximum number of pairwise $(ρ-3δ)$-apart pairs of $R$. △ Less

Submitted 12 July, 2016; v1 submitted 10 May, 2016; originally announced May 2016.

Packing and covering with balls on Busemann surfaces

Authors: Victor Chepoi, Bertrand Estellon, Guyslain Naves

Abstract: In this note we prove that for any compact subset $S$ of a Busemann surface $({\mathcal S},d)$ (in particular, for any simple polygon with geodesic metric) and any positive number $δ$, the minimum number of closed balls of radius $δ$ with centers at $\mathcal S$ and covering the set $S$ is at most 19 times the maximum number of disjoint closed balls of radius $δ$ centered at points of $S$:… ▽ More In this note we prove that for any compact subset $S$ of a Busemann surface $({\mathcal S},d)$ (in particular, for any simple polygon with geodesic metric) and any positive number $δ$, the minimum number of closed balls of radius $δ$ with centers at $\mathcal S$ and covering the set $S$ is at most 19 times the maximum number of disjoint closed balls of radius $δ$ centered at points of $S$: $ν(S) \le ρ(S) \le 19ν(S)$, where $ρ(S)$ and $ν(S)$ are the covering and the packing numbers of $S$ by $δ$-balls. △ Less

Submitted 9 March, 2017; v1 submitted 4 August, 2015; originally announced August 2015.

Comments: 27 pages

MSC Class: 52A35; 68R05

COMs: Complexes of Oriented Matroids

Authors: Hans-Juergen Bandelt, Victor Chepoi, Kolja Knauer

Abstract: In his seminal 1983 paper, Jim Lawrence introduced lopsided sets and featured them as asymmetric counterparts of oriented matroids, both sharing the key property of strong elimination. Moreover, symmetry of faces holds in both structures as well as in the so-called affine oriented matroids. These two fundamental properties (formulated for covectors) together lead to the natural notion of "conditio… ▽ More In his seminal 1983 paper, Jim Lawrence introduced lopsided sets and featured them as asymmetric counterparts of oriented matroids, both sharing the key property of strong elimination. Moreover, symmetry of faces holds in both structures as well as in the so-called affine oriented matroids. These two fundamental properties (formulated for covectors) together lead to the natural notion of "conditional oriented matroid" (abbreviated COM). These novel structures can be characterized in terms of three cocircuits axioms, generalizing the familiar characterization for oriented matroids. We describe a binary composition scheme by which every COM can successively be erected as a certain complex of oriented matroids, in essentially the same way as a lopsided set can be glued together from its maximal hypercube faces. A realizable COM is represented by a hyperplane arrangement restricted to an open convex set. Among these are the examples formed by linear extensions of ordered sets, generalizing the oriented matroids corresponding to the permutohedra. Relaxing realizability to local realizability, we capture a wider class of combinatorial objects: we show that non-positively curved Coxeter zonotopal complexes give rise to locally realizable COMs. △ Less

Submitted 3 January, 2018; v1 submitted 22 July, 2015; originally announced July 2015.

Comments: 40 pages, 6 figures, (improved exposition)

Distance-preserving subgraphs of Johnson graphs

Authors: Victor Chepoi

Abstract: We give a characterization of distance--preserving subgraphs of Johnson graphs, i.e. of graphs which are isometrically embeddable into Johnson graphs (the Johnson graph $J(m,Λ)$ has the subsets of cardinality $m$ of a set $Λ$ as the vertex--set and two such sets $A,B$ are adjacent iff $|A\triangle B|=2$). Our characterization is similar to the characterization of D. Ž. Djoković (J. Combin. Th. Ser… ▽ More We give a characterization of distance--preserving subgraphs of Johnson graphs, i.e. of graphs which are isometrically embeddable into Johnson graphs (the Johnson graph $J(m,Λ)$ has the subsets of cardinality $m$ of a set $Λ$ as the vertex--set and two such sets $A,B$ are adjacent iff $|A\triangle B|=2$). Our characterization is similar to the characterization of D. Ž. Djoković (J. Combin. Th. Ser. B 14 (1973), 263--267) of distance--preserving subgraphs of hypercubes and provides an explicit description of the wallspace (split system) defining the embedding. △ Less

Submitted 1 November, 2015; v1 submitted 13 March, 2015; originally announced March 2015.

Comments: 13 pages, 1 figure

Weakly modular graphs and nonpositive curvature

Authors: Jérémie Chalopin, Victor Chepoi, Hiroshi Hirai, Damian Osajda

Abstract: This article investigates structural, geometrical, and topological characterizations and properties of weakly modular graphs and of cell complexes derived from them. The unifying themes of our investigation are various `nonpositive curvature' and `local-to-global' properties and characterizations of weakly modular graphs and their subclasses. Weakly modular graphs have been introduced as a far-rea… ▽ More This article investigates structural, geometrical, and topological characterizations and properties of weakly modular graphs and of cell complexes derived from them. The unifying themes of our investigation are various `nonpositive curvature' and `local-to-global' properties and characterizations of weakly modular graphs and their subclasses. Weakly modular graphs have been introduced as a far-reaching common generalization of median graphs (and more generally, of modular and orientable modular graphs), Helly graphs, bridged graphs, and dual polar graphs occurring under different disguises in several seemingly-unrelated fields of mathematics: Metric graph theory, Geometric group theory, Incidence geometries and buildings, Theoretical computer science and combinatorial optimization. We give a local-to-global characterization of weakly modular graphs and their subclasses in terms of simple connectedness of associated triangle-square complexes and specific local combinatorial conditions. In particular, we revisit characterizations of dual polar graphs by Cameron and by Brouwer-Cohen. We also show that (disk-)Helly graphs are precisely the clique-Helly graphs with simply connected clique complexes. With $l_1$-embeddable weakly modular and sweakly modular graphs we associate high-dimensional cell complexes, having several strong topological and geometrical properties (contractibility and the CAT(0) property). Their cells have a specific structure: they are basis polyhedra of even $\triangle$-matroids in the first case and orthoscheme complexes of gated dual polar subgraphs in the second case. We resolve some open problems concerning subclasses of weakly modular graphs: we prove a Brady-McCammond conjecture about CAT(0) metric on the orthoscheme complexes of modular lattices; we answer Chastand's question about prime graphs for pre-median graphs. △ Less

Submitted 10 November, 2017; v1 submitted 12 September, 2014; originally announced September 2014.

Comments: to appear in Mem. Amer. Math. Soc.,

MSC Class: 05C12; 51K05; 20F67; 90C27

Cop and robber game and hyperbolicity

Authors: Jérémie Chalopin, Victor Chepoi, Panos Papasoglu, Timothée Pecatte

Abstract: In this note, we prove that all cop-win graphs G in the game in which the robber and the cop move at different speeds s and s' with s'<s, are δ-hyperbolic with δ=O(s^2). We also show that the dependency between δand s is linear if s-s'=Ω(s) and G obeys a slightly stronger condition. This solves an open question from the paper (J. Chalopin et al., Cop and robber games when the robber can hide and r… ▽ More In this note, we prove that all cop-win graphs G in the game in which the robber and the cop move at different speeds s and s' with s'<s, are δ-hyperbolic with δ=O(s^2). We also show that the dependency between δand s is linear if s-s'=Ω(s) and G obeys a slightly stronger condition. This solves an open question from the paper (J. Chalopin et al., Cop and robber games when the robber can hide and ride, SIAM J. Discr. Math. 25 (2011) 333-359). Since any δ-hyperbolic graph is cop-win for s=2r and s'=r+2δfor any r>0, this establishes a new - game-theoretical - characterization of Gromov hyperbolicity. We also show that for weakly modular graphs the dependency between δand s is linear for any s'<s. Using these results, we describe a simple constant-factor approximation of the hyperbolicity δof a graph on n vertices in O(n^2) time when the graph is given by its distance-matrix. △ Less

Submitted 18 July, 2014; v1 submitted 19 August, 2013; originally announced August 2013.

Journal ref: SIAM Journal of Discrete Mathematics 28(4) (2014) 1987-2007

Isometric embedding of Busemann surfaces into $L_1$

Authors: Jérémie Chalopin, Victor Chepoi, Guyslain Naves

Abstract: In this paper, we prove that any non-positively curved 2-dimensional surface (alias, Busemann surface) is isometrically embeddable into $L_1$. As a corollary, we obtain that all planar graphs which are 1-skeletons of planar non-positively curved complexes with regular Euclidean polygons as cells are $L_1$-embeddable with distortion at most $2+π/2<4$. Our results significantly improve and simplify… ▽ More In this paper, we prove that any non-positively curved 2-dimensional surface (alias, Busemann surface) is isometrically embeddable into $L_1$. As a corollary, we obtain that all planar graphs which are 1-skeletons of planar non-positively curved complexes with regular Euclidean polygons as cells are $L_1$-embeddable with distortion at most $2+π/2<4$. Our results significantly improve and simplify the results of the recent paper {\it A. Sidiropoulos, Non-positive curvature, and the planar embedding conjecture, FOCS 2013.}} △ Less

Submitted 14 August, 2013; originally announced August 2013.

ACM Class: I.3.5; G.2.1

On two conjectures of Maurer concerning basis graphs of matroids

Authors: Jérémie Chalopin, Victor Chepoi, Damian Osajda

Abstract: We characterize 2-dimensional complexes associated canonically with basis graphs of matroids as simply connected triangle-square complexes satisfying some local conditions. This proves a version of a (disproved) conjecture by Stephen Maurer (Conjecture 3 of S. Maurer, Matroid basis graphs I, JCTB 14 (1973), 216-240). We also establish Conjecture 1 from the same paper about the redundancy of the co… ▽ More We characterize 2-dimensional complexes associated canonically with basis graphs of matroids as simply connected triangle-square complexes satisfying some local conditions. This proves a version of a (disproved) conjecture by Stephen Maurer (Conjecture 3 of S. Maurer, Matroid basis graphs I, JCTB 14 (1973), 216-240). We also establish Conjecture 1 from the same paper about the redundancy of the conditions in the characterization of basis graphs. We indicate positive-curvature-like aspects of the local properties of the studied complexes. We characterize similarly the corresponding 2-dimensional complexes of even $Δ$-matroids. △ Less

Submitted 24 March, 2015; v1 submitted 31 December, 2012; originally announced December 2012.

Comments: 28 pages

MSC Class: 05B35; 05C12; 57M10; 57M20

Journal ref: Journal of Combinatorial Theory, Series B 114 (2015) 1-32

Bucolic Complexes

Authors: Bostjan Brešar, Jérémie Chalopin, Victor Chepoi, Tanja Gologranc, Damian Osajda

Abstract: We introduce and investigate bucolic complexes, a common generalization of systolic complexes and of CAT(0) cubical complexes. They are defined as simply connected prism complexes satisfying some local combinatorial conditions. We study various approaches to bucolic complexes: from graph-theoretic and topological perspective, as well as from the point of view of geometric group theory. In particul… ▽ More We introduce and investigate bucolic complexes, a common generalization of systolic complexes and of CAT(0) cubical complexes. They are defined as simply connected prism complexes satisfying some local combinatorial conditions. We study various approaches to bucolic complexes: from graph-theoretic and topological perspective, as well as from the point of view of geometric group theory. In particular, we characterize bucolic complexes by some properties of their 2-skeleta and 1-skeleta (that we call bucolic graphs), by which several known results are generalized. We also show that locally-finite bucolic complexes are contractible, and satisfy some nonpositive-curvature-like properties. △ Less

Submitted 17 April, 2013; v1 submitted 6 February, 2012; originally announced February 2012.

Comments: 45 pages, 4 figures

MSC Class: 05C12; 20F65; 57M20

Journal ref: Advances in Mathematics 243 (2013) 127-167

Bidirected minimum Manhattan network problem

Authors: Nicolas Catusse, Victor Chepoi, Karim Nouioua, Yann Vaxes

Abstract: In the bidirected minimum Manhattan network problem, given a set T of n terminals in the plane, we need to construct a network N(T) of minimum total length with the property that the edges of N(T) are axis-parallel and oriented in a such a way that every ordered pair of terminals is connected in N(T) by a directed Manhattan path. In this paper, we present a polynomial factor 2 approximation algori… ▽ More In the bidirected minimum Manhattan network problem, given a set T of n terminals in the plane, we need to construct a network N(T) of minimum total length with the property that the edges of N(T) are axis-parallel and oriented in a such a way that every ordered pair of terminals is connected in N(T) by a directed Manhattan path. In this paper, we present a polynomial factor 2 approximation algorithm for the bidirected minimum Manhattan network problem. △ Less

Submitted 7 July, 2011; originally announced July 2011.

Comments: 14 pages, 16 figures

ACM Class: F.2.2

Nice labeling problem for event structures: a counterexample

Authors: Victor Chepoi

Abstract: In this note, we present a counterexample to a conjecture of Rozoy and Thiagarajan from 1991 (called also the nice labeling problem) asserting that any (coherent) event structure with finite degree admits a labeling with a finite number of labels, or equivalently, that there exists a function $f: \mathbb{N} \mapsto \mathbb{N}$ such that an event structure with degree $\le n$ admits a labeling with… ▽ More In this note, we present a counterexample to a conjecture of Rozoy and Thiagarajan from 1991 (called also the nice labeling problem) asserting that any (coherent) event structure with finite degree admits a labeling with a finite number of labels, or equivalently, that there exists a function $f: \mathbb{N} \mapsto \mathbb{N}$ such that an event structure with degree $\le n$ admits a labeling with at most $f(n)$ labels. Our counterexample is based on the Burling's construction from 1965 of 3-dimensional box hypergraphs with clique number 2 and arbitrarily large chromatic numbers and the bijection between domains of event structures and median graphs established by Barthélemy and Constantin in 1993. △ Less

Submitted 6 July, 2011; originally announced July 2011.

Journal ref: SIAM J. Comput. 41 (2012), 715-727

On embeddings of CAT(0) cube complexes into products of trees

Authors: Victor Chepoi, Mark F. Hagen

Abstract: We prove that the contact graph of a 2-dimensional CAT(0) cube complex ${\bf X}$ of maximum degree $Δ$ can be coloured with at most $ε(Δ)=MΔ^{26}$ colours, for a fixed constant $M$. This implies that ${\bf X}$ (and the associated median graph) isometrically embeds in the Cartesian product of at most $ε(Δ)$ trees, and that the event structure whose domain is ${\bf X}$ admits a nice labeling with… ▽ More We prove that the contact graph of a 2-dimensional CAT(0) cube complex ${\bf X}$ of maximum degree $Δ$ can be coloured with at most $ε(Δ)=MΔ^{26}$ colours, for a fixed constant $M$. This implies that ${\bf X}$ (and the associated median graph) isometrically embeds in the Cartesian product of at most $ε(Δ)$ trees, and that the event structure whose domain is ${\bf X}$ admits a nice labeling with $ε(Δ)$ labels. On the other hand, we present an example of a 5-dimensional CAT(0) cube complex with uniformly bounded degrees of 0-cubes which cannot be embedded into a Cartesian product of a finite number of trees. This answers in the negative a question raised independently by F. Haglund, G. Niblo, M. Sageev, and the first author of this paper. △ Less

Submitted 26 March, 2013; v1 submitted 5 July, 2011; originally announced July 2011.

Comments: Some small corrections; main change is a correction of the computation of the bounds in Theorem 1. Some figures repaired

Shortest path problem in rectangular complexes of global nonpositive curvature

Authors: Victor Chepoi, Daniela Maftuleac

Abstract: CAT(0) metric spaces constitute a far-reaching common generalization of Euclidean and hyperbolic spaces and simple polygons: any two points x and y of a CAT(0) metric space are connected by a unique shortest path γ(x,y). In this paper, we present an efficient algorithm for answering two-point distance queries in CAT(0) rectangular complexes and two of theirs subclasses, ramified rectilinear polygo… ▽ More CAT(0) metric spaces constitute a far-reaching common generalization of Euclidean and hyperbolic spaces and simple polygons: any two points x and y of a CAT(0) metric space are connected by a unique shortest path γ(x,y). In this paper, we present an efficient algorithm for answering two-point distance queries in CAT(0) rectangular complexes and two of theirs subclasses, ramified rectilinear polygons (CAT(0) rectangular complexes in which the links of all vertices are bipartite graphs) and squaregraphs (CAT(0) rectangular complexes arising from plane quadrangulations in which all inner vertices have degrees \geq4). Namely, we show that for a CAT(0) rectangular complex K with n vertices, one can construct a data structure D of size $O(n^2)$ so that, given any two points x,y in K, the shortest path γ(x,y) between x and y can be computed in O(d(p,q)) time, where p and q are vertices of two faces of K containing the points x and y, respectively, such that γ(x,y) is contained in K(I(p,q)) and d(p,q) is the distance between p and q in the underlying graph of K. If K is a ramified rectilinear polygon, then one can construct a data structure D of optimal size O(n) and answer two-point shortest path queries in O(d(p,q)logΔ) time, where Δ is the maximal degree of a vertex of G(K). Finally, if K is a squaregraph, then one can construct a data structure D of size O(nlogn) and answer two-point shortest path queries in O(d(p,q)) time. △ Less

Submitted 27 March, 2012; v1 submitted 5 October, 2010; originally announced October 2010.

Constant approximation algorithms for embedding graph metrics into trees and outerplanar graphs

Authors: Victor Chepoi, Feodor Dragan, Ilan Newman, Yuri Rabinovich, Yann Vaxes

Abstract: In this paper, we present a simple factor 6 algorithm for approximating the optimal multiplicative distortion of embedding a graph metric into a tree metric (thus improving and simplifying the factor 100 and 27 algorithms of Bǎdoiu, Indyk, and Sidiropoulos (2007) and Bǎdoiu, Demaine, Hajiaghayi, Sidiropoulos, and Zadimoghaddam (2008)). We also present a constant factor algorithm for approximating… ▽ More In this paper, we present a simple factor 6 algorithm for approximating the optimal multiplicative distortion of embedding a graph metric into a tree metric (thus improving and simplifying the factor 100 and 27 algorithms of Bǎdoiu, Indyk, and Sidiropoulos (2007) and Bǎdoiu, Demaine, Hajiaghayi, Sidiropoulos, and Zadimoghaddam (2008)). We also present a constant factor algorithm for approximating the optimal distortion of embedding a graph metric into an outerplanar metric. For this, we introduce a general notion of metric relaxed minor and show that if G contains an alpha-metric relaxed H-minor, then the distortion of any embedding of G into any metric induced by a H-minor free graph is at meast alpha. Then, for H=K_{2,3}, we present an algorithm which either finds an alpha-relaxed minor, or produces an O(alpha)-embedding into an outerplanar metric. △ Less

Submitted 3 July, 2010; originally announced July 2010.

Comments: 27 pages, 4 figires, extended abstract to appear in the proceedings of APPROX-RANDOM 2010

Journal ref: Discrete & Computational Geometry 47 (2012), 187-214

Ramified rectilinear polygons: coordinatization by dendrons

Authors: Hans-Jürgen Bandelt, Victor Chepoi, David Eppstein

Abstract: Simple rectilinear polygons (i.e. rectilinear polygons without holes or cutpoints) can be regarded as finite rectangular cell complexes coordinatized by two finite dendrons. The intrinsic $l_1$-metric is thus inherited from the product of the two finite dendrons via an isometric embedding. The rectangular cell complexes that share this same embedding property are called ramified rectilinear polyg… ▽ More Simple rectilinear polygons (i.e. rectilinear polygons without holes or cutpoints) can be regarded as finite rectangular cell complexes coordinatized by two finite dendrons. The intrinsic $l_1$-metric is thus inherited from the product of the two finite dendrons via an isometric embedding. The rectangular cell complexes that share this same embedding property are called ramified rectilinear polygons. The links of vertices in these cell complexes may be arbitrary bipartite graphs, in contrast to simple rectilinear polygons where the links of points are either 4-cycles or paths of length at most 3. Ramified rectilinear polygons are particular instances of rectangular complexes obtained from cube-free median graphs, or equivalently simply connected rectangular complexes with triangle-free links. The underlying graphs of finite ramified rectilinear polygons can be recognized among graphs in linear time by a Lexicographic Breadth-First-Search. Whereas the symmetry of a simple rectilinear polygon is very restricted (with automorphism group being a subgroup of the dihedral group $D_4$), ramified rectilinear polygons are universal: every finite group is the automorphism group of some ramified rectilinear polygon. △ Less

Submitted 11 May, 2010; originally announced May 2010.

Comments: 27 pages, 6 figures

MSC Class: 05C75

Journal ref: Discrete Comput. Geom. 54 (4): 771-797, 2015

Minimum Manhattan network problem in normed planes with polygonal balls: a factor 2.5 approximation algorithm

Authors: Nicolas Catusse, Victor Chepoi, Karim Nouioua, Yann Vaxès

Abstract: Let B be a centrally symmetric convex polygon of R^2 and || p - q || be the distance between two points p,q in R^2 in the normed plane whose unit ball is B. For a set T of n points (terminals) in R^2, a B-Manhattan network on T is a network N(T) = (V,E) with the property that its edges are parallel to the directions of B and for every pair of terminals t_i and t_j, the network N(T) contains a shor… ▽ More Let B be a centrally symmetric convex polygon of R^2 and || p - q || be the distance between two points p,q in R^2 in the normed plane whose unit ball is B. For a set T of n points (terminals) in R^2, a B-Manhattan network on T is a network N(T) = (V,E) with the property that its edges are parallel to the directions of B and for every pair of terminals t_i and t_j, the network N(T) contains a shortest B-path between them, i.e., a path of length || t_i - t_j ||. A minimum B-Manhattan network on T is a B-Manhattan network of minimum possible length. The problem of finding minimum B-Manhattan networks has been introduced by Gudmundsson, Levcopoulos, and Narasimhan (APPROX'99) in the case when the unit ball B is a square (and hence the distance || p - q || is the l_1 or the l_infty-distance between p and q) and it has been shown recently by Chin, Guo, and Sun (SoCG'09) to be strongly NP-complete. Several approximation algorithms (with factors 8, 4 ,3 , and 2) for minimum Manhattan problem are known. In this paper, we propose a factor 2.5 approximation algorithm for minimum B-Manhattan network problem. The algorithm employs a simplified version of the strip-staircase decomposition proposed in our paper (APPROX'05) and subsequently used in other factor 2 approximation algorithms for minimum Manhattan problem. △ Less

Submitted 12 June, 2010; v1 submitted 30 April, 2010; originally announced April 2010.

Comments: 16 pages, 5 figures; corrected typos, reference added, figure added

ACM Class: F.2.2

Cop and robber games when the robber can hide and ride

Authors: Jérémie Chalopin, Victor Chepoi, Nicolas Nisse, Yann Vaxès

Abstract: In the classical cop and robber game, two players, the cop C and the robber R, move alternatively along edges of a finite graph G. The cop captures the robber if both players are on the same vertex at the same moment of time. A graph G is called cop win if the cop always captures the robber after a finite number of steps. Nowakowski, Winkler (1983) and Quilliot (1983) characterized the cop-win g… ▽ More In the classical cop and robber game, two players, the cop C and the robber R, move alternatively along edges of a finite graph G. The cop captures the robber if both players are on the same vertex at the same moment of time. A graph G is called cop win if the cop always captures the robber after a finite number of steps. Nowakowski, Winkler (1983) and Quilliot (1983) characterized the cop-win graphs as graphs admitting a dismantling scheme. In this paper, we characterize in a similar way the class CW(s,s') of cop-win graphs in the game in which the cop and the robber move at different speeds s' and s, s'<= s. We also establish some connections between cop-win graphs for this game with s'<s and Gromov's hyperbolicity. In the particular case s'=1 and s=2, we prove that the class of cop-win graphs is exactly the well-known class of dually chordal graphs. We show that all classes CW(s,1), s>=3, coincide and we provide a structural characterization of these graphs. We also investigate several dismantling schemes necessary or sufficient for the cop-win graphs in the game in which the robber is visible only every k moves for a fixed integer k>1. We characterize the graphs which are cop-win for any value of k. Finally, we consider the game where the cop wins if he is at distance at most 1 from the robber and we characterize via a specific dismantling scheme the bipartite graphs where a single cop wins in this game. △ Less

Submitted 25 January, 2010; originally announced January 2010.

Report number: INRIA-RR7178

Journal ref: SIAM J. Discrete Math. 25(2011) 333-359

Dismantlability of weakly systolic complexes and applications

Authors: Victor Chepoi, Damian Osajda

Abstract: The main goal of this paper is proving the fixed point theorem for finite groups acting on weakly systolic complexes. As corollaries we obtain results concerning classifying spaces for the family of finite subgroups of weakly systolic groups and conjugacy classes of finite subgroups. As immediate consequences we get new results on systolic complexes and groups. The fixed point theorem is proved by… ▽ More The main goal of this paper is proving the fixed point theorem for finite groups acting on weakly systolic complexes. As corollaries we obtain results concerning classifying spaces for the family of finite subgroups of weakly systolic groups and conjugacy classes of finite subgroups. As immediate consequences we get new results on systolic complexes and groups. The fixed point theorem is proved by using a graph-theoretical tool - dismantlability. In particular we show that 1-skeleta of weakly systolic complexes, i.e. weakly bridged graphs, are dismantlable. On the way we show numerous characterizations of weakly bridged graphs and weakly systolic complexes. △ Less

Submitted 25 September, 2012; v1 submitted 28 October, 2009; originally announced October 2009.

Comments: A revised version. Abstract changed. Many side results removed

MSC Class: 20F65; 20F67; 05C12; 05C63

Embedding into the rectilinear plane in optimal O*(n^2)

Authors: Nicolas Catusse, Victor Chepoi, Yann Vaxès

Abstract: We present an optimal O*(n^2) time algorithm for deciding if a metric space (X,d) on n points can be isometrically embedded into the plane endowed with the l_1-metric. It improves the O*(n^2 log^2 n) time algorithm of J. Edmonds (2008). Together with some ingredients introduced by J. Edmonds, our algorithm uses the concept of tight span and the injectivity of the l_1-plane. A different O*(n^2) t… ▽ More We present an optimal O*(n^2) time algorithm for deciding if a metric space (X,d) on n points can be isometrically embedded into the plane endowed with the l_1-metric. It improves the O*(n^2 log^2 n) time algorithm of J. Edmonds (2008). Together with some ingredients introduced by J. Edmonds, our algorithm uses the concept of tight span and the injectivity of the l_1-plane. A different O*(n^2) time algorithm was recently proposed by D. Eppstein (2009). △ Less

Submitted 6 October, 2009; originally announced October 2009.

Comments: 12 pages, 13 figures

ACM Class: F.2.2

Journal ref: Theoretical Computer Science Volume 412, Issue 22 (2011), Pages 2425-2433

Combinatorics and geometry of finite and infinite squaregraphs

Authors: Hans-Jurgen Bandelt, Victor Chepoi, David Eppstein

Abstract: Squaregraphs were originally defined as finite plane graphs in which all inner faces are quadrilaterals (i.e., 4-cycles) and all inner vertices (i.e., the vertices not incident with the outer face) have degrees larger than three. The planar dual of a finite squaregraph is determined by a triangle-free chord diagram of the unit disk, which could alternatively be viewed as a triangle-free line arr… ▽ More Squaregraphs were originally defined as finite plane graphs in which all inner faces are quadrilaterals (i.e., 4-cycles) and all inner vertices (i.e., the vertices not incident with the outer face) have degrees larger than three. The planar dual of a finite squaregraph is determined by a triangle-free chord diagram of the unit disk, which could alternatively be viewed as a triangle-free line arrangement in the hyperbolic plane. This representation carries over to infinite plane graphs with finite vertex degrees in which the balls are finite squaregraphs. Algebraically, finite squaregraphs are median graphs for which the duals are finite circular split systems. Hence squaregraphs are at the crosspoint of two dualities, an algebraic and a geometric one, and thus lend themselves to several combinatorial interpretations and structural characterizations. With these and the 5-colorability theorem for circle graphs at hand, we prove that every squaregraph can be isometrically embedded into the Cartesian product of five trees. This embedding result can also be extended to the infinite case without reference to an embedding in the plane and without any cardinality restriction when formulated for median graphs free of cubes and further finite obstructions. Further, we exhibit a class of squaregraphs that can be embedded into the product of three trees and we characterize those squaregraphs that are embeddable into the product of just two trees. Finally, finite squaregraphs enjoy a number of algorithmic features that do not extend to arbitrary median graphs. For instance, we show that median-generating sets of finite squaregraphs can be computed in polynomial time, whereas, not unexpectedly, the corresponding problem for median graphs turns out to be NP-hard. △ Less

Submitted 27 May, 2009; originally announced May 2009.

Comments: 46 pages, 14 figures

MSC Class: 05C62; 05C75

Journal ref: SIAM J. Discrete Math. 24(4): 1399-1440, 2010