BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Source author record

Cesar Ceballos

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record
math.COmath.MGmath.RAmath.AG

Catalog footprint

Research overview

15works
4topics
4close collaborators

Actions

Is this your work?

Log in to claim
Open graphBrowse papers

Published work

15 publications

preprint2022arXiv

Subword Complexes and Kalai's Conjecture on Reconstruction of Spheres

A famous theorem in polytope theory states that the combinatorial type of a simplicial polytope is completely determined by its facet-ridge graph. This celebrated result was proven by Blind and Mani in 1987, via a non-constructive proof using topological tools from homology theory. An elegant constructive proof was given by Kalai shortly after. In their original paper, Blind and Mani asked whether their result can be extended to simplicial spheres, and a positive answer to their question was conjectured by Kalai in 2009. In this paper, we show that Kalai's conjecture holds in the particular case of Knutson and Miller's spherical subword complexes. This family of simplicial spheres arises in the context of Coxeter groups, and is conjectured to be polytopal. In contrast, not all manifolds are reconstructible. We show two explicit examples, namely the torus and the projective plane.

Open access
preprint2020arXiv

Elliptic and qq-Analogs of the Fibonomial Numbers

In 2009, Sagan and Savage introduced a combinatorial model for the Fibonomial numbers, integer numbers that are obtained from the binomial coefficients by replacing each term by its corresponding Fibonacci number. In this paper, we present a combinatorial description for the qq-analog and elliptic analog of the Fibonomial numbers. This is achieved by introducing some qq-weights and elliptic weights to a slight modification of the combinatorial model of Sagan and Savage.

Open access
preprint2019arXiv

The Steep-Bounce Zeta Map in Parabolic Cataland

As a classical object, the Tamari lattice has many generalizations, including νν-Tamari lattices and parabolic Tamari lattices. In this article, we unify these generalizations in a bijective fashion. We first prove that parabolic Tamari lattices are isomorphic to νν-Tamari lattices for bounce paths νν. We then introduce a new combinatorial object called `left-aligned colorable tree', and show that it provides a bijective bridge between various parabolic Catalan objects and certain nested pairs of Dyck paths. As a consequence, we prove the Steep-Bounce Conjecture using a generalization of the famous zeta map in q,tq,t-Catalan combinatorics. A generalization of the zeta map on parking functions, which arises in the theory of diagonal harmonics, is also obtained as a labeled version of our bijection.

Open access
preprint2016arXiv

Combinatorics of the zeta map on rational Dyck paths

An (a,b)(a,b)-Dyck path PP is a lattice path from (0,0)(0,0) to (b,a)(b,a) that stays above the line y=abxy=\frac{a}{b}x. The zeta map is a curious rule that maps the set of (a,b)(a,b)-Dyck paths into itself; it is conjecturally bijective, and we provide progress towards proof of bijectivity in this paper, by showing that knowing zeta of PP and zeta of conjugate is enough to recover PP. Our method begets an area-preserving involution χχ on the set of (a,b)(a,b)-Dyck paths when ζζ is a bijection, as well as a new method for calculating ζ−1ζ^{-1} on classical Dyck paths. For certain nice (a,b)(a,b)-Dyck paths we give an explicit formula for ζ−1ζ^{-1} and χχ and for additional (a,b)(a,b)-Dyck paths we discuss how to compute ζ−1ζ^{-1} and χχ inductively. We also explore Armstrong's skew length statistic and present two new combinatorial methods for calculating the zeta map involving lasers and interval intersections. We provide a combinatorial statistic δδ that can be used to recursively compute ζ−1ζ^{-1} and show that δδ is computable from ζ(P)ζ(P) in the Fuss-Catalan case.

Open access
preprint2016arXiv

The configuration space of a robotic arm in a tunnel

We study the motion of a robotic arm inside a rectangular tunnel. We prove that the configuration space of all possible positions of the robot is a CAT(0) cubical complex. This allows us to use techniques from geometric group theory to find the optimal way of moving the arm from one position to another. We also compute the diameter of the configuration space, that is, the longest distance between two positions of the robot.

Open access
preprint2015arXiv

Cluster Algebras of Type D4D_4, Tropical Planes, and the Positive Tropical Grassmannian

We show that the number of combinatorial types of clusters of type D4D_4 modulo reflection-rotation is exactly equal to the number of combinatorial types of tropical planes in TP5\mathbb{TP}^5. This follows from a result of Sturmfels and Speyer which classifies these tropical planes into seven combinatorial classes using a detailed study of the tropical Grassmannian Gr⁡(3,6)\operatorname{Gr}(3,6). Speyer and Williams show that the positive part Gr⁡+(3,6)\operatorname{Gr}^+(3,6) of this tropical Grassmannian is combinatorially equivalent to a small coarsening of the cluster fan of type D4D_4. We provide a structural bijection between the rays of Gr⁡+(3,6)\operatorname{Gr}^+(3,6) and the almost positive roots of type D4D_4 which makes this connection more precise. This bijection allows us to use the pseudotriangulations model of the cluster algebra of type D4D_4 to describe the equivalence of "positive" tropical planes in TP5\mathbb{TP}^5, giving a combinatorial model which characterizes the combinatorial types of tropical planes using automorphisms of pseudotriangulations of the octogon.

Open access
preprint2015arXiv

Denominator vectors and compatibility degrees in cluster algebras of finite type

We present two simple descriptions of the denominator vectors of the cluster variables of a cluster algebra of finite type, with respect to any initial cluster seed: one in terms of the compatibility degrees between almost positive roots defined by S. Fomin and A. Zelevinsky, and the other in terms of the root function of a certain subword complex. These descriptions only rely on linear algebra. They provide two simple proofs of the known fact that the denominator vector of any non-initial cluster variable with respect to any initial cluster seed has non-negative entries and is different from zero.

Open access
preprint2014arXiv

Dyck path triangulations and extendability

We introduce the Dyck path triangulation of the cartesian product of two simplices Δn−1×Δn−1Δ_{n-1}\timesΔ_{n-1}. The maximal simplices of this triangulation are given by Dyck paths, and its construction naturally generalizes to produce triangulations of Δr n−1×Δn−1Δ_{r\ n-1}\timesΔ_{n-1} using rational Dyck paths. Our study of the Dyck path triangulation is motivated by extendability problems of partial triangulations of products of two simplices. We show that whenever m≥k>nm\geq k>n, any triangulation of Δm−1(k−1)×Δn−1Δ_{m-1}^{(k-1)}\timesΔ_{n-1} extends to a unique triangulation of Δm−1×Δn−1Δ_{m-1}\timesΔ_{n-1}. Moreover, with an explicit construction, we prove that the bound k>nk>n is optimal. We also exhibit interesting interpretations of our results in the language of tropical oriented matroids, which are analogous to classical results in oriented matroid theory.

Open access
preprint2014arXiv

Fan realizations of subword complexes and multi-associahedra via Gale duality

We present complete simplicial fan realizations of any spherical subword complex of type AnA_n for n≤3n\leq 3. This provides complete simplicial fan realizations of simplicial multi-associahedra Δ2k+4,kΔ_{2k+4,k}, whose facets are in correspondence with kk-triangulations of a convex (2k+4)(2k+4)-gon. This solves the first open case of the problem of finding fan realizations where polytopality is not known. The techniques presented in this paper work for all finite Coxeter groups and we hope that they will be useful to construct fans realizing subword complexes in general. In particular, we present fan realizations of two previously unknown cases of subword complexes of type A4A_4, namely the multi-associahedra Δ9,2Δ_{9,2} and Δ11,3Δ_{11,3}.

Open access
preprint2013arXiv

Acyclic systems of permutations and fine mixed subdivisions of simplices

A fine mixed subdivision of a (d-1)-simplex T of size n gives rise to a system of (d2){d \choose 2} permutations of [n] on the edges of T, and to a collection of n unit (d-1)-simplices inside T. Which systems of permutations and which collections of simplices arise in this way? The Spread Out Simplices Conjecture of Ardila and Billey proposes an answer to the second question. We propose and give evidence for an answer to the first question, the Acyclic System Conjecture. We prove that the system of permutations of T determines the collection of simplices of T. This establishes the Acyclic System Conjecture as a first step towards proving the Spread Out Simplices Conjecture. We use this approach to prove both conjectures for n=3 in arbitrary dimension.

Open 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.

Open access
preprint2013arXiv

Subword complexes, cluster complexes, and generalized multi-associahedra

In this paper, we use subword complexes to provide a uniform approach to finite type cluster complexes and multi-associahedra. We introduce, for any finite Coxeter group and any nonnegative integer k, a spherical subword complex called multi-cluster complex. For k=1, we show that this subword complex is isomorphic to the cluster complex of the given type. We show that multi-cluster complexes of types A and B coincide with known simplicial complexes, namely with the simplicial complexes of multi-triangulations and centrally symmetric multi-triangulations respectively. Furthermore, we show that the multi-cluster complex is universal in the sense that every spherical subword complex can be realized as a link of a face of the multi-cluster complex.

Open access

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.