Related papers: Introduction to the combinatorial atlas
We show that combinatorial objects called row-strict composition tableaux, introduced by Mason and Remmel in 2014 and closely related to the quasi-symmetric Schur functions of Haglund-Luoto-Mason-van Willigenburg, form a basis for Schur…
The Alexander polynomial (1928) is the first polynomial invariant of links devised to help distinguish links up to isotopy. Fox's conjecture (1962) -- stating that the absolute values of the coefficients of the Alexander polynomial for any…
Set partitions and permutations with restrictions on the size of the blocks and cycles are important combinatorial sequences. Counting these objects lead to the sequences generalizing the classical Stirling and Bell numbers. The main focus…
We consider three problems from the recent issues of the American Mathematical Monthly involving different versions of Catalan triangle. Our main results offer generalizations of these identities and demonstrate automated proofs with…
We give several equivalent combinatorial descriptions of the space of states for the box-ball systems, and connect certain partition functions for these models with the q-weight multiplicities of the tensor product of the fundamental…
We prove that the existence of finite combinatorial objects such as affine planes, mutually orthogonal Latin squares, and resolvable balanced incomplete block designs can be reformulated as the existence of certain algorithmic reductions…
This is an exposition of some new results on associated primes and the depth of different kinds of powers of monomial ideals in order to show a deep connection between commutative algebra and some objects in combinatorics such as simplicial…
The Ghahramani-Lau conjecture is established; in other words, the measure algebra of every locally compact group is strongly Arens irregular. To this end, we introduce and study certain new classes of measures (called approximately…
We adapt the hypercube decompositions introduced by Blundell-Buesing-Davies-Veli\v{c}kovi\'{c}-Williamson to prove the Combinatorial Invariance Conjecture for Kazhdan-Lusztig $R$-polynomials in the case of elementary intervals in $S_n$.…
Recent advances in our understanding of higher derived limits carry multiple implications in the fields of condensed and pyknotic mathematics, as well as for the study of strong homology. These implications are thematically diverse,…
We prove a degenerate homological Arnol'd conjecture on Lagrangian intersections beyond the case studied by A. Floer and H. Hofer via a new version of Lagrangian Ljusternik--Schnirelman theory. We introduce the notion of (Lagrangian)…
We establish combinatorial and inductive formulas for Kazhdan-Lusztig polynomials associated to covexillary elements in classical types, extending results of Boe, Lascoux-Sch\"{u}tzenberger, Sankaran-Vanchinathan, and Zelevinsky for…
In what follows, essentially two things will be accomplished: Firstly, it will be proven that a version of the Arzel\`a--Ascoli theorem and the Fr\'echet--Kolmogorov theorem are equivalent to the axiom of countable choice for subsets of…
We study countable embedding-universal and homomorphism-universal structures and unify results related to both of these notions. We show that many universal and ultrahomogeneous structures allow a concise description (called here a finite…
This paper deals with lattice congruences of the weak order on the symmetric group, and initiates the investigation of the cover graphs of the corresponding lattice quotients. These graphs also arise as the skeleta of the so-called…
We give a combinatorial extension of the classical inequalities of Maclaurin about symmetric functions of several variables. We discuss two problems - one analytical and another combinatorial - and show that they are in some sense…
Arnol'd proved in 1992 that Springer numbers enumerate the Snakes, which are type $B$ analogs of alternating permutations. Chen, Fan and Jia in 2011 introduced the labeled ballot paths and established a ``hard'' bijection with snakes.…
We give a rigorous mathematical proof for the validity of the toric sheaf cohomology algorithm conjectured in the recent paper by R. Blumenhagen, B. Jurke, T. Rahn, and H. Roschy (arXiv:1003.5217). We actually prove not only the original…
In this paper we consider mixed volumes of combinations of hypersimplices. These numbers, called "mixed Eulerian numbers", were first considered by A. Postnikov and were shown to satisfy many properties related to Eulerian numbers, Catalan…
Connected the generalized Goncharov polynomials associated to a pair ($\partial,\mathcal{Z}$) if a delta operator $\partial$ and an interpolation grid $\mathcal{Z}$, introduced by Lorentz, Tringali and Yan in [7], with the theory of…