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

Federico Ardila

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

ResearcherUnclaimed source record
math.COmath.AGmath.ACmath.MGComputational GeometryDiscrete Mathematicsmath.RTmath.HORobotics

Catalog footprint

What is connected

27works
9topics
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

27 published item(s)

preprint2022arXiv

Lagrangian geometry of matroids

We introduce the conormal fan of a matroid M, which is a Lagrangian analog of the Bergman fan of M. We use the conormal fan to give a Lagrangian interpretation of the Chern-Schwartz-MacPherson cycle of M. This allows us to express the h-vector of the broken circuit complex of M in terms of the intersection theory of the conormal fan of M. We also develop general tools for tropical Hodge theory to prove that the conormal fan satisfies Poincaré duality, the hard Lefschetz theorem, and the Hodge-Riemann relations. The Lagrangian interpretation of the Chern-Schwartz-MacPherson cycle of M, when combined with the Hodge-Riemann relations for the conormal fan of M, implies Brylawski's and Dawson's conjectures that the h-vectors of the broken circuit complex and the independence complex of M are log-concave sequences.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

CAT(0) geometry, robots, and society

How do we move a robot efficiently from one position to another? To answer this question, we need to understand its configuration space, a 'map' where we can find every possible position of the robot. Unfortunately, these maps are very large, they live in high dimensions, and they are very difficult to visualize. Fortunately, for some discrete robots they are CAT(0) cubical complexes, a family of spaces with favorable properties. In this case, using ideas from combinatorics and geometric group theory, we can construct a 'remote control' to navigate these complicated maps, and move the robots optimally. Along the way, we face larger ethical questions that we cannot ignore.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Coxeter submodular functions and deformations of Coxeter permutahedra

We describe the cone of deformations of a Coxeter permutahedron, or equivalently, the nef cone of the toric variety associated to a Coxeter complex. This family of polytopes contains polyhedral models for the Coxeter-theoretic analogs of compositions, graphs, matroids, posets, and associahedra. Our description extends the known correspondence between generalized permutahedra, polymatroids, and submodular functions to any finite reflection group.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The bipermutahedron

The harmonic polytope and the bipermutahedron are two related polytopes which arose in Ardila, Denham, and Huh's work on the Lagrangian geometry of matroids. We study the bipermutahedron. We show that its faces are in bijection with the vertex-labeled and edge-labeled multigraphs with no isolated vertices; the generating function for its f-vector is a simple evaluation of the three variable Rogers--Ramanujan function. We show that the h-polynomial of the bipermutahedral fan is the biEulerian polynomial, which counts bipermutations according to their number of descents. We construct a unimodular triangulation of the product of n triangles that is combinatorially equivalent to (the triple cone over) the nth bipermutahedral fan. Ehrhart theory then gives us a formula for the biEulerian polynomial, which we use to show that this polynomial is real-rooted and that the h-vector of the bipermutahedral fan is log-concave and unimodal. We describe all the deformations of the bipermutahedron; that is, the ample cone of the bipermutahedral toric variety. We prove that among all polytopes in this family, the bipermutahedron has the largest possible symmetry group. Finally, we show that the Minkowski quotient of the bipermutahedron and the harmonic polytope equals 2.

0 citations0 reviewsNo code linkedOpen 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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

The double Gromov-Witten invariants of Hirzebruch surfaces are piecewise polynomial

We define the double Gromov-Witten invariants of Hirzebruch surfaces in analogy with double Hurwitz numbers, and we prove that they satisfy a piecewise polynomiality property analogous to their 1-dimensional counterpart. Furthermore we show that each polynomial piece is either even or odd, and we compute its degree. Our methods combine floor diagrams and Ehrhart theory.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

The topology of the external activity complex of a matroid

We prove that the external activity complex $\textrm{Act}_<(M)$ of a matroid is shellable. In fact, we show that every linear extension of LasVergnas's external/internal order $<_{ext/int}$ on $M$ provides a shelling of $\textrm{Act}_<(M)$. We also show that every linear extension of LasVergnas's internal order $<_{int}$ on $M$ provides a shelling of the independence complex $IN(M)$. As a corollary, $\textrm{Act}_<(M)$ and $M$ have the same $h$-vector. We prove that, after removing its cone points, the external activity complex is contractible if $M$ contains $U_{3,1}$ as a minor, and a sphere otherwise.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Moving robots efficiently using the combinatorics of CAT(0) cubical complexes

Given a reconfigurable system X, such as a robot moving on a grid or a set of particles traversing a graph without colliding, the possible positions of X naturally form a cubical complex S(X). When S(X) is a CAT(0) space, we can explicitly construct the shortest path between any two points, for any of the four most natural metrics: distance, time, number of moves, and number of steps of simultaneous moves. CAT(0) cubical complexes are in correspondence with posets with inconsistent pairs (PIPs), so we can prove that a state complex S(X) is CAT(0) by identifying the corresponding PIP. We illustrate this very general strategy with one known and one new example: Abrams and Ghrist's positive robotic arm on a square grid, and the robotic arm in a strip. We then use the PIP as a combinatorial "remote control" to move these robots efficiently from one position to another.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

The closure of a linear space in a product of lines

Given a linear space L in affine space A^n, we study its closure L' in the product of projective lines (P^1)^n. We show that the degree, multigraded Betti numbers, defining equations, and universal Grobner basis of its defining ideal I(L') are all combinatorially determined by the matroid M of L. We also prove I(L') and all of its initial ideals are Cohen-Macaulay with the same Betti numbers. In so doing, we prove that the initial ideals of I(L') are the Stanley-Reisner ideals of an interesting family of simplicial complexes related to the basis activities of M. We also describe the state polytope of I(L'), which is related to the matroid basis polytope of M.

0 citations0 reviewsNo code linkedOpen 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 ${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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Lifted generalized permutahedra and composition polynomials

Generalized permutahedra are the polytopes obtained from the permutahedron by changing the edge lengths while preserving the edge directions, possibly identifying vertices along the way. We introduce a "lifting" construction for these polytopes, which turns an $n$-dimensional generalized permutahedron into an $(n+1)$-dimensional one. We prove that this construction gives rise to Stasheff's multiplihedron from homotopy theory, and to the more general "nestomultiplihedra," answering two questions of Devadoss and Forcey. We construct a subdivision of any lifted generalized permutahedron whose pieces are indexed by compositions. The volume of each piece is given by a polynomial whose combinatorial properties we investigate. We show how this "composition polynomial" arises naturally in the polynomial interpolation of an exponential function. We prove that its coefficients are positive integers, and present evidence suggesting that they may also be unimodal.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Positroids and non-crossing partitions

We investigate the role that non-crossing partitions play in the study of positroids, a class of matroids introduced by Postnikov. We prove that every positroid can be constructed uniquely by choosing a non-crossing partition on the ground set, and then freely placing the structure of a connected positroid on each of the blocks of the partition. This structural result yields several combinatorial facts about positroids. We show that the face poset of a positroid polytope embeds in a poset of weighted non-crossing partitions. We enumerate connected positroids, and show how they arise naturally in free probability. Finally, we prove that the probability that a positroid on [n] is connected equals 1/e^2 asymptotically.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The arithmetic Tutte polynomials of the classical root systems

Many combinatorial and topological invariants of a hyperplane arrangement can be computed in terms of its Tutte polynomial. Similarly, many invariants of a hypertoric arrangement can be computed in terms of its arithmetic Tutte polynomial. We compute the arithmetic Tutte polynomials of the classical root systems of types A,B,C, and D, with respect to their integer, root, and weight lattices. We do it in two ways: by introducing a finite field method for arithmetic Tutte polynomials, and by enumerating signed graphs with respect to six parameters.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Tres lecciones en combinatoria algebraica. I. Matrices totalmente no negativas y funciones simétricas

En esta serie de tres articulos, damos una exposicion de varios resultados y problemas abiertos en tres areas de la combinatoria algebraica y geometrica: las matrices totalmente no negativas, las representaciones del grupo simetrico, y los arreglos de hiperplanos. Esta primera parte presenta una introduccion a las matrices totalmente no negativas, y su relacion con las funciones simetricas. In this series of three articles, we give an exposition of various results and open problems in three areas of algebraic and geometric combinatorics: totally non-negative matrices, representations of the symmetric group, and hyperplane arrangements. This first part presents an introduction to totally non-negative matrices and their relationship with symmetric functions.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Tres lecciones en combinatoria algebraica. II. Las funciones simétricas y la teor\'ıa de representaciones

En esta serie de tres articulos, damos una exposicion de varios resultados y problemas abiertos en tres areas de la combinatoria algebraica y geometrica: las matrices totalmente no negativas, las representaciones del grupo simetrico, y los arreglos de hiperplanos. Esta segunda parte trata la coneccion entre las funciones simetricas y la teoria de representaciones. In this series of three articles, we give an exposition of various results and open problems in three areas of algebraic and geometric combinatorics: totally non-negative matrices, representations of the symmetric group, and hyperplane arrangements. This second part treats the connection between symmetric functions and representation theory.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Tres lecciones en combinatoria algebraica. III. Arreglos de hiperplanos

In this series of three articles, we give an exposition of various results and open problems in three areas of algebraic and geometric combinatorics: totally non-negative matrices, representations of the symmetric group, and hyperplane arrangements. This first part is an introduction to hyperplane arrangements from a combinatorial point of view. ----- En esta serie de tres articulos, damos una exposicion de varios resultados y problemas abiertos en tres areas de la combinatoria algebraica y geometrica: las matrices totalmente no negativas, las representaciones del grupo simetrico, y los arreglos de hiperplanos. Esta tercera parte presenta una introduccion a los arreglos de hiperplanos desde un punto de vista combinatorio.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Universal Polynomials for Severi Degrees of Toric Surfaces

The Severi variety parameterizes plane curves of degree d with delta nodes. Its degree is called the Severi degree. For large enough d, the Severi degrees coincide with the Gromov-Witten invariants of P^2. Fomin and Mikhalkin (2009) proved the 1995 conjecture that, for fixed delta, Severi degrees are eventually polynomial in d. In this paper, we study the Severi varieties corresponding to a large family of toric surfaces. We prove the analogous result that the Severi degrees are eventually polynomial as a function of the multidegree. More surprisingly, we show that the Severi degrees are also eventually polynomial "as a function of the surface". We illustrate our theorems by explicit computing, for a small number of nodes, the Severi degree of any large enough Hirzebruch surface and of a singular surface. Our strategy is to use tropical geometry to express Severi degrees in terms of Brugalle and Mikhalkin's floor diagrams, and study those combinatorial objects in detail. An important ingredient in the proof is the polynomiality of the discrete volume of a variable facet-unimodular polytope.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Geodesics in CAT(0) Cubical Complexes

We describe an algorithm to compute the geodesics in an arbitrary CAT(0) cubical complex. A key tool is a correspondence between cubical complexes of global non-positive curvature and posets with inconsistent pairs. This correspondence also gives an explicit realization of such a complex as the state complex of a reconfigurable system, and a way to embed any interval in the integer lattice cubing of its dimension.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Matroid polytopes and their volumes

We express the matroid polytope $P_M$ of a matroid $M$ as a signed Minkowski sum of simplices, and obtain a formula for the volume of $P_M$. This gives a combinatorial expression for the degree of an arbitrary torus orbit closure in the Grassmannian $Gr_{k,n}$. We then derive analogous results for the independent set polytope and the associated flag matroid polytope of $M$. Our proofs are based on a natural extension of Postnikov's theory of generalized permutohedra.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Staircase skew Schur functions are Schur P-positive

We prove Stanley's conjecture that, if delta_n is the staircase shape, then the skew Schur functions s_{delta_n / mu} are non-negative sums of Schur P-functions. We prove that the coefficients in this sum count certain fillings of shifted shapes. In particular, for the skew Schur function s_{delta_n / delta_{n-2}}, we discuss connections with Eulerian numbers and alternating permutations.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Gelfand-Tsetlin polytopes and Feigin-Fourier-Littelmann polytopes as marked poset polytopes

Stanley (1986) showed how a finite partially ordered set gives rise to two polytopes, called the order polytope and chain polytope, which have the same Ehrhart polynomial despite being quite different combinatorially. We generalize his result to a wider family of polytopes constructed from a poset P with integers assigned to some of its elements. Through this construction, we explain combinatorially the relationship between the Gelfand-Tsetlin polytopes (1950) and the Feigin-Fourier-Littelmann polytopes (2010), which arise in the representation theory of the special linear Lie algebra. We then use the generalized Gelfand-Tsetlin polytopes of Berenstein and Zelevinsky (1989) to propose conjectural analogues of the Feigin-Fourier-Littelmann polytopes corresponding to the symplectic and odd orthogonal Lie algebras.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Root polytopes and growth series of root lattices

The convex hull of the roots of a classical root lattice is called a root polytope. We determine explicit unimodular triangulations of the boundaries of the root polytopes associated to the root lattices A_n, C_n, and D_n, and compute their f-and h-vectors. This leads us to recover formulae for the growth series of these root lattices, which were first conjectured by Conway-Mallows-Sloane and Baake-Grimm and proved by Conway-Sloane and Bacher-de la Harpe-Venkov.

0 citations0 reviewsNo code linkedOpen access