arXiv research

The paper studies posets from decompositions in symmetric monoidal categories.

The complement of an arrangement A of a finite number of affine hyperplanes in complex n-space has the structure of a poset of spaces indexed by the intersection poset, L(A). The space corresponding to G in L(A) is homotopy equivalent to the complement of the hyperplanes in the central arrangement A_G normal to G. This…

We develop a tighter implementation of basic PL topology, which keeps track of some combinatorial structure beyond PL homeomorphism type. With this technique we clarify some aspects of PL transversality and give combinatorial proofs of a number of known results. New results include a combinatorial characterization of c…

Hierarchical Partial-Order Models for Ranking

This paper studies posets associated with link diagrams and their algebraic properties.

Hypernetworks are simplified simplicial complexes with curvature.

This is both an expository and research paper where we advocate a systematic study of continuous analogues of finite partially ordered sets, convex polytopes, oriented matroids, arrangements of subspaces, finite simplicial complexes, and other combinatorial structures. Among the illustrative examples are an Euler formu…

Hepworth, Willerton, Leinster and Shulman introduced the magnitude homology groups for enriched categories, in particular, for metric spaces. The purpose of this paper is to describe the magnitude homology group of a metric space in terms of order complexes of posets. In a metric space, an interval (the set of points b…

We consider the task of learning a causal graph in the presence of latent confounders given i.i.d.~samples from the model. While current algorithms for causal structure discovery in the presence of latent confounders are constraint-based, we here propose a score-based approach. We prove that under assumptions weaker th…

Results of R. Stanley and M. Masuda completely characterize the h-vectors of simplicial posets whose order complexes are spheres. In this paper we examine the corresponding question in the case where the order complex is a ball. Using the face rings of these posets, we develop a series of new conditions on their h-vect…

Paper develops DP algorithms for isotonic regression over posets.

In this paper, we study face vectors of simplicial posets that are the face posets of cell decompositions of topological manifolds without boundary. We characterize all possible face vectors of simplicial posets whose geometric realizations are homeomorphic to the product of spheres. As a corollary, we obtain the chara…

We investigate the poset of strata of a Schubert-like stratification of certain natural compactification of the space of hermitian $n\times n$ matrices. We prove that this poset is a modular ortholattice, we compute its Möbius function and we describe the topology of its order intervals.

The decorated hypercube found in the construction of Khovanov homology for links is an example of a Boolean lattice equipped with a presheaf of modules. One can place this in a wider setting as an example of a coloured poset, that is to say a poset with a unique maximal element equipped with a presheaf of modules. In t…

Automorphisms of free groups yield invariant posets of lamination orbits.

Polytopes $A(P)$ for posets $P$ compactify spaces of order-preserving maps.

New result on critical points of Bethe free energy under deformation retracts.

We explore a somewhat unexpected connection between knot Floer homology and shellable posets, via grid diagrams. Given a grid presentation of a knot K inside S^3, we define a poset which has an associated chain complex whose homology is the knot Floer homology of K. We then prove that the closed intervals of this poset…

Matroid bundles, introduced by MacPherson, are combinatorial analogues of real vector bundles. This paper sets up the foundations of matroid bundles, and defines a natural transformation from isomorphism classes of real vector bundles to isomorphism classes of matroid bundles, as well as a transformation from matroid b…

In this work, we consider the sample complexity required for testing the monotonicity of distributions over partial orders. A distribution $p$ over a poset is monotone if, for any pair of domain elements $x$ and $y$ such that $x \preceq y$, $p(x) \leq p(y)$. To understand the sample complexity of this problem, we intro…

It is proved that every discrete Morse function in the sense of Forman on a finite regular CW complex can be represented by a polyhedral Morse function in the sense of Banchoff on an appropriate embedding in Euclidean space of the barycentric subdivision of the CW complex; such a representation preserves critical point…

We define a homology theory for a certain class of posets equipped with a representation. We show that when restricted to Boolean lattices this homology is isomorphic to the homology of the "cube" complex defined by Khovanov.

The study explores continuous noncrossing partitions and their relation to weighted circular factorizations.

This paper is the third in a series that researches the Morse Theory, gradient flows, concavity and complexity on smooth compact manifolds with boundary. Employing the local analytic models from \cite{K2}, for \emph{traversally generic flows} on $(n+1)$-manifolds $X$, we embark on a detailed and somewhat tedious study …

This paper undertakes a study of the structure of the fibers of the Chevalley exponentiation maps $f_{(i_1,\dots ,i_d)}$. The fibers of these maps $f_{(i_1,\dots ,i_d)}$ encode the nonnegative real relations amongst exponentiated Chevalley generators. Our main theorems show that the fibers admit cell stratifications, t…

Given a set S of n points in general position, we consider all k-th order Voronoi diagrams on S, for k=1,...,n, simultaneously. We deduce symmetry relations for the number of faces, number of vertices and number of circles of certain orders. These symmetry relations are independent of the position of the sites in S. As…

New combinatorial model for Milnor fibration using oriented matroids.

Proposes a VAE variant for ordinal content factors.

MCRapper efficiently computes patterns in data using Monte-Carlo Rademacher Averages.

A simple characterization of the causal automorphisms of 1+1 Minkowski spacetime is given.

There is a canonical way to associate two simplicial complexes K, L to any relation $R\subset X\times Y$. Moreover, the geometric realizations of K and L are homotopy equivalent. This was studied in the fifties by C.H. Dowker. In this article we prove a Galois-type correspondence for relations $R\subset X\times Y$ when…

The set of equivalence classes of cobounded actions of a group on different hyperbolic metric spaces carries a natural partial order. The resulting poset thus gives rise to a notion of the "best" hyperbolic action of a group as the largest element of this poset, if such an element exists. We call such an action a large…

Combinatorial transgressions are secondary invariants of a space admitting triangulations. They arise from subdivisions and are analogous to transgressive forms such as those arising in Chern-Weil theory. Unlike combinatorial characteristic classes, combinatorial transgressions have not been previously studied. First, …

Proof of $K(π, 1)$ conjecture for affine Artin groups.

Discrete normal surfaces are normal surfaces whose intersection with each tetrahedron of a triangulation has at most one component. They are also natural Poincaré duals to 1-cocycles with $\ZZ/2\ZZ$-coefficients. For a fixed cohomology class in a simplicial poset the average Euler characteristic of the associated discr…

We study the poset of Hamiltonian tori for polygon spaces. We determine some maximal elements and give examples where maximal Hamiltonian tori are not all of the same dimension.

We show Péter Csorba's conjecture that the graph homomorphism complex Hom(C_5,K_{n+2}) is homeomorphic to a Stiefel manifold, the space of unit tangent vectors to the n-dimensional sphere. For this a general tool is developed that allows to replace the complexes Hom(G, K_n) by smaller complexes that are homeomorphic to…

We prove the $K(π,1)$ conjecture for affine Artin groups: the complexified complement of an affine reflection arrangement is a classifying space. This is a long-standing problem, due to Arnol'd, Pham, and Thom. Our proof is based on recent advancements in the theory of dual Coxeter and Artin groups, as well as on sever…

From computational geometry comes the notion of a Gabriel graph of a point set in the plane. The Gabriel graph consists of those edges connecting two points of the point set such that the circle whose diameter is the edge does not contain any point of the point set in its interior. We define a generalization of the Gab…

To the integral symplectic group Sp(2g,Z) we associate two posets of which we prove that they have the Cohen-Macaulay property. As an application we show that the locus of marked decomposable principally polarized abelian varieties in the Siegel space of genus g has the homotopy type of a bouquet of (g-2)-spheres. This…

Suppose that $(W,S)$ is a Coxeter system with associated Artin group $A$ and with a simplicial complex $L$ as its nerve. We define the notion of a "standard abelian subgroup" in $A$. The poset of such subgroups in $A$ is parameterized by the poset of simplices in a certain subdivision $L_\oslash$ of $L$. This complex o…

Recently, it has been shown that the Jones polynomial, in [LS19], and the Alexander polynomial, in [NT18], of rational knots can be obtained by specializing $F$-polynomials of cluster variables. At the core of both results are continued fractions, which parameterize rational knots and are used to obtain cluster variabl…

Given a fibered link, consider the characteristic polynomial of the monodromy restricted to first homology. This generalizes the notion of the Alexander polynomial of a knot. We define a construction, called iterated plumbing, to create a sequence of fibered links from a given one. The resulting sequence of characteris…

We prove a number of new restrictions on the enumerative properties of homology manifolds and semi-Eulerian complexes and posets. These include a determination of the affine span of the fine $h$-vector of balanced semi-Eulerian complexes and the toric $h$-vector of semi-Eulerian posets. The lower bounds on simplicial h…

The paper explores conditions for compactness and finiteness in stratified homotopy theory.

Motivated by the work of Salvetti and Settepanella we introduce certain total orderings of the faces of any shellable regular CW-complex (called `shelling-type orderings') that can be used to explicitly construct maximum acyclic matchings of the poset of cells of the given complex. Building on an application of this me…

Generic groups can't move spaces but have rich actions.

Study of embeddings avoiding certain tangent patterns using polynomial spaces.