BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Francisco Santos

Francisco Santos appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.COmath.MGComputational Geometrymath.OCDiscrete Mathematicsmath.AGmath.GTmath.ACmath.NTmath.SG

Catalog footprint

What is connected

30works
10topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

30 published item(s)

preprint2021arXiv

The covering radius and a discrete surface area for non-hollow simplices

We explore upper bounds on the covering radius of non-hollow lattice polytopes. In particular, we conjecture a general upper bound of $d/2$ in dimension $d$, achieved by the "standard terminal simplices" and direct sums of them. We prove this conjecture up to dimension three and show it to be equivalent to the conjecture of González-Merino \& Schymura (2017) that the $d$-th covering minimum of the standard terminal $n$-simplex equals $d/2$, for every $n>d$. We also show that these two conjectures would follow from a discrete analog for lattice simplices of Hadwiger's formula bounding the covering radius of a convex body in terms of the ratio of surface area versus volume. To this end, we introduce a new notion of discrete surface area of non-hollow simplices. We prove our discrete analog in dimension two and we give strong evidence for its validity in arbitrary dimension.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Average Betti numbers of induced subcomplexes in triangulations of manifolds

We study a variation of Bagchi and Datta's $σ$-vector of a simplicial complex $C$, whose entries are defined as weighted averages of Betti numbers of induced subcomplexes of $C$. We show that these invariants satisfy an Alexander-Dehn-Sommerville type identity, and behave nicely under natural operations on triangulated manifolds and spheres such as connected sums and bistellar flips. In the language of commutative algebra, the invariants are weighted sums of graded Betti numbers of the Stanley-Reisner ring of $C$. This interpretation implies, by a result of Adiprasito, that the Billera-Lee sphere maximizes these invariants among triangulated spheres with a given $f$-vector. For the first entry of $σ$, we extend this bound to the class of strongly connected pure complexes. As an application, we show how upper bounds on $σ$ can be used to obtain lower bounds on the $f$-vector of triangulated $4$-manifolds with transitive symmetry on vertices and prescribed vector of Betti numbers.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Topological Prismatoids and Small Simplicial Spheres of Large Diameter

We introduce topological prismatoids, a combinatorial abstraction of the (geometric) prismatoids recently introduced by the second author to construct counter-examples to the Hirsch conjecture. We show that the `strong $d$-step Theorem' that allows to construct such large-diameter polytopes from `non-$d$-step' prismatoids still works at this combinatorial level. Then, using metaheuristic methods on the flip graph, we construct four combinatorially different non-$d$-step $4$-dimensional topological prismatoids with $14$ vertices. This implies the existence of $8$-dimensional spheres with $18$ vertices whose combinatorial diameter exceeds the Hirsch bound. These examples are smaller that the previously known examples by Mani and Walkup in 1980 ($24$ vertices, dimension $11$). Our non-Hirsch spheres are shellable but we do not know whether they are realizable as polytopes.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

The EKR property for flag pure simplicial complexes without boundary

We prove that the family of facets of a pure simplicial complex of dimension up to three satisfies the Erdős-Ko-Rado property whenever it is flag and has no boundary ridges. We conjecture the same to be true in arbitrary dimension and give evidence for this conjecture. Our motivation is that complexes with these two properties include flag pseudo-manifolds and cluster complexes.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Triangulations and a discrete Brunn-Minkowski inequality in the plane

For a set $A$ of points in the plane, not all collinear, we denote by ${\rm tr}(A)$ the number of triangles in any triangulation of $A$; that is, ${\rm tr}(A) = 2i+b-2$ where $b$ and $i$ are the numbers of points of $A$ in the boundary and the interior of $[A]$ (we use $[A]$ to denote "convex hull of $A$"). We conjecture the following analogue of the Brunn-Minkowski inequality: for any two point sets $A,B \subset {\mathbb R}^2$ one has \[ {\rm tr}(A+B)^{\frac12}\geq {\rm tr}(A)^{\frac12}+{\rm tr}(B)^{\frac12}. \] We prove this conjecture in several cases: if $[A]=[B]$, if $B=A\cup\{b\}$, if $|B|=3$, or if none of $A$ or $B$ has interior points.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Lattice 3-polytopes with few lattice points

We extend White's classification of empty tetrahedra to the complete classification of lattice $3$-polytopes with five lattice points, showing that, apart from infinitely many of width one, there are exactly nine equivalence classes of them with width two and none of larger width. We also prove that, for each $n\in \mathbb{N}$, there is only a finite number of (classes of) lattice $3$-polytopes with $n$ lattice points and of width larger than one. This implies that extending the present classification to larger sizes makes sense, which is the topic of subsequent papers of ours.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Lattice 3-polytopes with six lattice points

We classify lattice $3$-polytopes of width larger than one and with exactly $6$ lattice points. We show that there are $74$ polytopes of width $2$, two polytopes of width $3$, and none of larger width. We give explicit coordinates for representatives of each class, together with other invariants such as their oriented matroid (or order type) and volume vector. For example, according to the number of interior points these $76$ polytopes divide into $23$ tetrahedra with two interior points (clean tetrahedra), $49$ polytopes with one interior point (the $49$ canonical three-polytopes with five boundary points previously classified by Kasprzyk) and only $4$ hollow polytopes. We also give a complete classification of three-polytopes of width one with $6$ lattice points. In terms of the oriented matroid of these six points, they lie in eight infinite classes and twelve individual polytopes. Our motivation comes partly from the concept of distinct pair sum (or dps) polytopes, which, in dimension $3$, can have at most $8$ lattice points. Among the $74+2$ classes mentioned above, exactly $44 + 1$ are dps.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Many triangulated odd-spheres

It is known that the $(2k-1)$-sphere has at most $2^{O(n^k \log n)}$ combinatorially distinct triangulations with $n$ vertices, for every $k\ge 2$. Here we construct at least $2^{Ω(n^k)}$ such triangulations, improving on the previous constructions which gave $2^{Ω(n^{k-1})}$ in the general case (Kalai) and $2^{Ω(n^{5/4})}$ for $k=2$ (Pfeifle-Ziegler). We also construct $2^{Ω\left(n^{k-1+\frac{1}{k}}\right)}$ geodesic (a.k.a. star-convex) $n$-vertex triangualtions of the $(2k-1)$-sphere. As a step for this (in the case $k=2$) we construct $n$-vertex $4$-polytopes containing $Ω(n^{3/2})$ facets that are not simplices, or with $Ω(n^{3/2})$ edges of degree three.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Few smooth d-polytopes with n lattice points

We prove that, for fixed n there exist only finitely many embeddings of Q-factorial toric varieties X into P^n that are induced by a complete linear system. The proof is based on a combinatorial result that for fixed nonnegative integers d and n, there are only finitely many smooth d-polytopes with n lattice points. We also enumerate all smooth 3-polytopes with at most 12 lattice points. In fact, it is sufficient to bound the singularities and the number of lattice points on edges to prove finiteness.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Many non-equivalent realizations of the associahedron

Hohlweg and Lange (2007) and Santos (2004, unpublished) have found two different ways of constructing exponential families of realizations of the n-dimensional associahedron with normal vectors in {0,1,-1}^n, generalizing the constructions of Loday (2004) and Chapoton-Fomin-Zelevinsky (2002). We classify the associahedra obtained by these constructions modulo linear equivalence of their normal fans and show, in particular, that the only realization that can be obtained with both methods is the Chapoton-Fomin-Zelevinsky (2002) associahedron. For the Hohlweg-Lange associahedra our classification is a priori coarser than the classification up to isometry of normal fans, by Bergeron-Hohlweg-Lange-Thomas (2009). However, both yield the same classes. As a consequence, we get that two Hohlweg-Lange associahedra have linearly equivalent normal fans if and only if they are isometric. The Santos construction, which produces an even larger family of associahedra, appears here in print for the first time. Apart of describing it in detail we relate it with the c-cluster complexes and the denominator fans in cluster algebras of type A. A third classical construction of the associahedron, as the secondary polytope of a convex n-gon (Gelfand-Kapranov-Zelevinsky, 1990), is shown to never produce a normal fan linearly equivalent to any of the other two constructions.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

On sumsets and convex hull

One classical result of Freimann gives the optimal lower bound for the cardinality of A+A if A is a d-dimensional finite set in the Euclidean d-space. Matolcsi and Ruzsa have recently generalized this lower bound to |A+kB| if B is d-dimensional, and A is contained in the convex hull of B. We characterize the equality case of the Matolcsi-Ruzsa bound. The argument is based partially on understanding triangulations of polytopes.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Recent progress on the combinatorial diameter of polytopes and simplicial complexes

The Hirsch conjecture, posed in 1957, stated that the graph of a $d$-dimensional polytope or polyhedron with $n$ facets cannot have diameter greater than $n - d$. The conjecture itself has been disproved, but what we know about the underlying question is quite scarce. Most notably, no polynomial upper bound is known for the diameters that were conjectured to be linear. In contrast, no polyhedron violating the conjecture by more than 25% is known. This paper reviews several recent attempts and progress on the question. Some work in the world of polyhedra or (more often) bounded polytopes, but some try to shed light on the question by generalizing it to simplicial complexes. In particular, we include here our recent and previously unpublished proof that the maximum diameter of arbitrary simplicial complexes is in $n^{Theta(d)}$ and we summarize the main ideas in the polymath 3 project, a web-based collective effort trying to prove an upper bound of type nd for the diameters of polyhedra and of more general objects (including, e. g., simplicial manifolds).

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The width of 5-dimensional prismatoids

Santos' construction of counter-examples to the Hirsch Conjecture (2012) is based on the existence of prismatoids of dimension d of width greater than d. Santos, Stephen and Thomas (2012) have shown that this cannot occur in $d \le 4$. Motivated by this we here study the width of 5-dimensional prismatoids, obtaining the following results: - There are 5-prismatoids of width six with only 25 vertices, versus the 48 vertices in Santos' original construction. This leads to non-Hirsch polytopes of dimension 20, rather than the original dimension 43. - There are 5-prismatoids with $n$ vertices and width $Ω(\sqrt{n})$ for arbitrarily large $n$. Hence, the width of 5-prismatoids is unbounded.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Unimodular triangulations of dilated 3-polytopes

A seminal result in the theory of toric varieties, due to Knudsen, Mumford and Waterman (1973), asserts that for every lattice polytope $P$ there is a positive integer $k$ such that the dilated polytope $kP$ has a unimodular triangulation. In dimension 3, Kantor and Sarkaria (2003) have shown that $k=4$ works for every polytope. But this does not imply that every $k>4$ works as well. We here study the values of $k$ for which the result holds showing that: 1. It contains all composite numbers. 2. It is an additive semigroup. These two properties imply that the only values of $k$ that may not work (besides 1 and 2, which are known not to work) are $k\in\{3,5,7,11\}$. With an ad-hoc construction we show that $k=7$ and $k=11$ also work, except in this case the triangulation cannot be guaranteed to be "standard" in the boundary. All in all, the only open cases are $k=3$ and $k=5$.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Some acyclic systems of permutations are not realizable by triangulations of a product of simplices

The acyclic system conjecture of Ardila and Ceballos can be interpreted as saying the following: "Every triangulation of the 3-skeleton of a product of two simplices can be extended to a triangulation of the whole product". We show a counter-example to this. Motivation for this conjecture comes from a related conjecture, the "spread-out simplices" conjecture of Ardila and Billey. We give some necessary conditions that counter-examples to this second conjecture (if they exist) must satisfy.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

A counterexample to the Hirsch conjecture

The Hirsch Conjecture (1957) stated that the graph of a $d$-dimensional polytope with $n$ facets cannot have (combinatorial) diameter greater than $n-d$. That is, that any two vertices of the polytope can be connected by a path of at most $n-d$ edges. This paper presents the first counterexample to the conjecture. Our polytope has dimension 43 and 86 facets. It is obtained from a 5-dimensional polytope with 48 facets which violates a certain generalization of the $d$-step conjecture of Klee and Walkup.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Embedding a pair of graphs in a surface, and the width of 4-dimensional prismatoids

A prismatoid is a polytope with all its vertices contained in two parallel facets, called its bases. Its width is the number of steps needed to go from one base to the other in the dual graph. The author recently showed in arXiv:1006.2814 that the existence of counter-examples to the Hirsch conjecture is equivalent to that of $d$-prismatoids of width larger than $d$, and constructed such prismatoids in dimension five. Here we show that the same is impossible in dimension four. This is proved by looking at the pair of graph embeddings on a 2-sphere that arise from the normal fans of the two bases of $Q$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Embedding a pair of graphs in a surface, and the width of 4-dimensional prismatoids

A prismatoid is a polytope with all its vertices contained in two parallel facets, called its bases. Its width is the number of steps needed to go from one base to the other in the dual graph. The first author recently showed that the existence of counter-examples to the Hirsch conjecture is equivalent to that of $d$-prismatoids of width larger than $d$, and constructed such prismatoids in dimension five. Here we show that the same is impossible in dimension four. This is proved by looking at the pair of graph embeddings on a 2-sphere that arise from the normal fans of the two bases.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The brick polytope of a sorting network

The associahedron is a polytope whose graph is the graph of flips on triangulations of a convex polygon. Pseudotriangulations and multitriangulations generalize triangulations in two different ways, which have been unified by Pilaud and Pocchiola in their study of flip graphs on pseudoline arrangements with contacts supported by a given sorting network. In this paper, we construct the brick polytope of a sorting network, obtained as the convex hull of the brick vectors associated to each pseudoline arrangement supported by the network. We combinatorially characterize the vertices of this polytope, describe its faces, and decompose it as a Minkowski sum of matroid polytopes. Our brick polytopes include Hohlweg and Lange's many realizations of the associahedron, which arise as brick polytopes for certain well-chosen sorting networks. We furthermore discuss the brick polytopes of sorting networks supporting pseudoline arrangements which correspond to multitriangulations of convex polygons: our polytopes only realize subgraphs of the flip graphs on multitriangulations and they cannot appear as projections of a hypothetical multiassociahedron.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On the Number of Facets of Three-Dimensional Dirichlet Stereohedra IV: Quarter Cubic Groups

In this paper we finish the intensive study of three-dimensional Dirichlet stereohedra started by the second author and D. Bochis, who showed that they cannot have more than 80 facets, except perhaps for crystallographic space groups in the cubic system. Taking advantage of the recent, simpler classification of three-dimensional crystallographic groups by Conway, Delgado-Friedrichs, Huson and Thurston, in a previous paper we proved that Dirichlet stereohedra for any of the 27 "full" cubic groups cannot have more than 25 facets. Here we study the remaining "quarter" cubic groups. With a computer-assisted method, our main result is that Dirichlet stereohedra for the 8 quarter groups, hence for all three-dimensional crystallographic groups, cannot have more than 92 facets.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Polytopality and Cartesian products of graphs

We study the question of polytopality of graphs: when is a given graph the graph of a polytope? We first review the known necessary conditions for a graph to be polytopal, and we provide several families of graphs which satisfy all these conditions, but which nonetheless are not graphs of polytopes. Our main contribution concerns the polytopality of Cartesian products of non-polytopal graphs. On the one hand, we show that products of simple polytopes are the only simple polytopes whose graph is a product. On the other hand, we provide a general method to construct (non-simple) polytopal products whose factors are not polytopal.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

An update on the Hirsch conjecture

The Hirsch conjecture was posed in 1957 in a letter from Warren M. Hirsch to George Dantzig. It states that the graph of a d-dimensional polytope with n facets cannot have diameter greater than n - d. Despite being one of the most fundamental, basic and old problems in polytope theory, what we know is quite scarce. Most notably, no polynomial upper bound is known for the diameters that are conjectured to be linear. In contrast, very few polytopes are known where the bound $n-d$ is attained. This paper collects known results and remarks both on the positive and on the negative side of the conjecture. Some proofs are included, but only those that we hope are accessible to a general mathematical audience without introducing too many technicalities.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Graphs of Transportation Polytopes

This paper discusses properties of the graphs of 2-way and 3-way transportation polytopes, in particular, their possible numbers of vertices and their diameters. Our main results include a quadratic bound on the diameter of axial 3-way transportation polytopes and a catalogue of non-degenerate transportation polytopes of small sizes. The catalogue disproves five conjectures about these polyhedra stated in the monograph by Yemelichev et al. (1984). It also allowed us to discover some new results. For example, we prove that the number of vertices of an $m\times n$ transportation polytope is a multiple of the greatest common divisor of $m$ and $n$.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Maximizing Maximal Angles for Plane Straight-Line Graphs

Let $G=(S, E)$ be a plane straight-line graph on a finite point set $S\subset\R^2$ in general position. The incident angles of a vertex $p \in S$ of $G$ are the angles between any two edges of $G$ that appear consecutively in the circular order of the edges incident to $p$. A plane straight-line graph is called $ϕ$-open if each vertex has an incident angle of size at least $ϕ$. In this paper we study the following type of question: What is the maximum angle $ϕ$ such that for any finite set $S\subset\R^2$ of points in general position we can find a graph from a certain class of graphs on $S$ that is $ϕ$-open? In particular, we consider the classes of triangulations, spanning trees, and paths on $S$ and give tight bounds in most cases.

0 citations0 reviewsNo code linkedOpen access
preprint2002arXiv

Expansive Motions and the Polytope of Pointed Pseudo-Triangulations

We introduce the polytope of pointed pseudo-triangulations of a point set in the plane, defined as the polytope of infinitesimal expansive motions of the points subject to certain constraints on the increase of their distances. Its 1-skeleton is the graph whose vertices are the pointed pseudo-triangulations of the point set and whose edges are flips of interior pseudo-triangulation edges. For points in convex position we obtain a new realization of the associahedron, i.e., a geometric representation of the set of triangulations of an n-gon, or of the set of binary trees on n vertices, or of many other combinatorial objects that are counted by the Catalan numbers. By considering the 1-dimensional version of the polytope of constrained expansive motions we obtain a second distinct realization of the associahedron as a perturbation of the positive cell in a Coxeter arrangement. Our methods produce as a by-product a new proof that every simple polygon or polygonal arc in the plane has expansive motions, a key step in the proofs of the Carpenter's Rule Theorem by Connelly, Demaine and Rote (2000) and by Streinu (2000).

0 citations0 reviewsNo code linkedOpen access
preprint2000arXiv

Extremal properties for dissections of convex 3-polytopes

A dissection of a convex d-polytope is a partition of the polytope into d-simplices whose vertices are among the vertices of the polytope. Triangulations are dissections that have the additional property that the set of all its simplices forms a simplicial complex. The size of a dissection is the number of d-simplices it contains. This paper compares triangulations of maximal size with dissections of maximal size. We also exhibit lower and upper bounds for the size of dissections of a 3-polytope and analyze extremal size triangulations for specific non-simplicial polytopes: prisms, antiprisms, Archimedean solids, and combinatorial d-cubes.

0 citations0 reviewsNo code linkedOpen access