Source author record

Cesar Ceballos

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

ResearcherUnclaimed source record

Catalog footprint

What is connected

15works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

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

15 published item(s)

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.

preprint2020arXiv

Elliptic and $q$-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 $q$-analog and elliptic analog of the Fibonomial numbers. This is achieved by introducing some $q$-weights and elliptic weights to a slight modification of the combinatorial model of Sagan and Savage.

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

preprint2016arXiv

Combinatorics of the zeta map on rational Dyck paths

An $(a,b)$-Dyck path $P$ is a lattice path from $(0,0)$ to $(b,a)$ that stays above the line $y=\frac{a}{b}x$. The zeta map is a curious rule that maps the set of $(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 $P$ and zeta of $¶$ conjugate is enough to recover $P$. Our method begets an area-preserving involution $χ$ on the set of $(a,b)$-Dyck paths when $ζ$ is a bijection, as well as a new method for calculating $ζ^{-1}$ on classical Dyck paths. For certain nice $(a,b)$-Dyck paths we give an explicit formula for $ζ^{-1}$ and $χ$ and for additional $(a,b)$-Dyck paths we discuss how to compute $ζ^{-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}$ and show that $δ$ is computable from $ζ(P)$ in the Fuss-Catalan case.

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.

preprint2015arXiv

Cluster Algebras of Type $D_4$, Tropical Planes, and the Positive Tropical Grassmannian

We show that the number of combinatorial types of clusters of type $D_4$ modulo reflection-rotation is exactly equal to the number of combinatorial types of tropical planes in $\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 $\operatorname{Gr}(3,6)$. Speyer and Williams show that the positive part $\operatorname{Gr}^+(3,6)$ of this tropical Grassmannian is combinatorially equivalent to a small coarsening of the cluster fan of type $D_4$. We provide a structural bijection between the rays of $\operatorname{Gr}^+(3,6)$ and the almost positive roots of type $D_4$ which makes this connection more precise. This bijection allows us to use the pseudotriangulations model of the cluster algebra of type $D_4$ to describe the equivalence of "positive" tropical planes in $\mathbb{TP}^5$, giving a combinatorial model which characterizes the combinatorial types of tropical planes using automorphisms of pseudotriangulations of the octogon.

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.

preprint2014arXiv

Dyck path triangulations and extendability

We introduce the Dyck path triangulation of the cartesian product of two simplices $Δ_{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}\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\geq k>n$, any triangulation of $Δ_{m-1}^{(k-1)}\timesΔ_{n-1}$ extends to a unique triangulation of $Δ_{m-1}\timesΔ_{n-1}$. Moreover, with an explicit construction, we prove that the bound $k>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.

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 $A_n$ for $n\leq 3$. This provides complete simplicial fan realizations of simplicial multi-associahedra $Δ_{2k+4,k}$, whose facets are in correspondence with $k$-triangulations of a convex $(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 $A_4$, namely the multi-associahedra $Δ_{9,2}$ and $Δ_{11,3}$.

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 ${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.

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.

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.