arXiv++ Combinatorics

We study truncation compatible families F = (F_m)_{m>=1} over Q[z] through an inverse limit formalism, and we evaluate them at the punctured cyclotomic cosine points alpha_{k,n} = cos(2 pi k/n) with the specialization z equals n-1. For symmetric families of uniformly bounded total degree in x <= d, we prove a stable range rigidity theorem: for all n >= d+2, the cosine point evaluation factors through the finitely many punctured cosine power sums the finitely many power sums P1(n) through Pd(n). In the purely polynomial case this implies eventual polynomiality in n. We then extend the framework to include fixed product factors and package their cosine point contribution in multiplicative invariants MQ(n). In the stable range, the bounded degree symmetric part collapses as before; any remaining cyclotomic dependence occurs only through these explicit product terms. Finally, we show that coefficient extraction from such products produces further bounded degree symmetric families, and we apply this to complete symmetric functions h_r evaluated at cosine points.

We introduce a novel combinatorial structure called pointed building sets, which can be viewed as families of lattices equipped with compatibility relations. To each pointed building set $\mathsf{B}$, we associate a complete lattice $\mathcal{O}(\mathsf{B})$, called the ornamentation lattice of $\mathsf{B}$. Special cases of this construction have already proven useful in understanding the structure of three families of posets: operahedron lattices, the affine Tamari lattice, and hypergraphic posets of subhypergraphs of the path hypergraph of an increasing tree. The goal of this paper is to establish the theory of these generalized ornamentations. We examine several natural classes of pointed building sets which recover classical lattices such as the Tamari lattice, the lattice of topologies ordered by coarsening, and the lattice of naturally labeled partial orders. Furthermore, several theoretical directions are explored, including inverse limits and group actions. Notably, this leads to a straightforward construction of inverse limits of Tamari lattices, yielding infinite analogs of the Tamari lattice.

We prove a first inverse theorem for Gowers norms on all finite abelian groups that uses only nilmanifolds (rather than possibly more general nilspaces). This makes progress toward confirming the Jamneshan--Tao conjecture. The correlating function in our theorem is a projected nilsequence, obtained as the fiber-wise average of a nilsequence defined on a boundedly-larger abelian group extending the original abelian group. This result is tight in the following sense: we prove also that $k$-step projected nilsequences of bounded complexity are genuine obstructions to having small Gowers $U^{k+1}$-norm. This inverse theorem relies on a new result concerning compact finite-rank (CFR) nilspaces, which is the main contribution in this paper: every $k$-step CFR nilspace is a factor of a $k$-step nilmanifold. This new connection between the classical theory of nilmanifolds and the more recent theory of nilspaces has applications beyond arithmetic combinatorics. We illustrate this with an application in topological dynamics, by proving the following result making progress on a question of Jamneshan, Shalom and Tao: every minimal $\mathbb{Z}^ω$-system of order $k$ is a factor of an inverse limit of $\mathbb{Z}^ω$-polynomial orbit systems of order $k$, these being natural generalizations of nilsystems alternative to translational systems.

It is known when we call a poset P, a $\mathcal{P}$-chain permutational poset, given a subset of permutations $\mathcal{P}$ of the symmetric group $S_{n}$. In this work, we use the same idea to study subsets of words of length $n$, that are not necessarily permutations, for example: especially when they are certain classes of restricted growth functions induced by set partitions in standard form over $[n]=\{1,2\cdots n\}$. Varying $n$ only, and also varying $n$ and $k$ (the number of blocks of the set partitions) simultaneously, we can show that those posets form a projective system of trees and lattices (after giving a lattice structure in a natural way). These poset structures can be extended over signed restricted growth functions for standard type B set partitions over $\langle n\rangle=\{-1,-2,\cdots n,0,1,2\cdots n\}$ as well. We investigate properties of the tree and lattice structures of these projective systems. In this scenario we further bring up some other posets like $\mathcal{P}$-Partition posets of snake graph of continued fractions, Ascent lattices on Dyck Paths, certain type of lattice induced by generalisec fibonnaci number and Stanley order, lattices induced by non-crossing set partitions.

In this paper, we show that any finite simplicial complex is homeomorphic to the inverse limit of a sequence of finite posets, which is an extension of Claders result.

This work explores new arithmetic and combinatorial structures arising from the interplay between Farey-type graphs, Fibonacci expansions, and operadic constructions. We introduce Fibonadic numbers, defined as an inverse limit under the Zeckendorf shift, equipped with a metric, order, and commutative rig structure. A normalization lemma provides canonical representatives, while quotients of the non-zero Fibonadic numbers under shifts and it's fundamental domain covering the circle via phi-values. Levels with associated functions encoding the decomposition of X into arithmetic layers. This research links number theory, combinatorics, discrete dynamics, operads, fractal geometry and the golden ratio.

Extending the results of reconstruction of compact metric spaces by inverse limits, we show that if $(X, d), (Y, d)$ are compact metric spaces, then the mapping space $Y^X$ is homotopy equivalent to the inverse limit of an inverse system of finite $T_0$-spaces which depends only on the finite open covers of $X$ and $Y$. Applying our tools, we obtain that if $H$ is an isotopy of a compact metric space $(X, d)$, then $H_1H^{-1}_0$ can be approximated in terms of moves of a finite $T_0$-space.

Given an identity relating families of Schur and power sum symmetric functions, this may be thought of as encoding representation-theoretic properties according to how the $p$-to-$s$ transition matrices provide the irreducible character tables for symmetric groups. The case of the Murnaghan-Nakayama rule for cycles provides that $p_{n} = \sum_{i = 0}^{n-1} (-1)^i s_{(n-i, 1^{i})}$, and, since the power sum generator $p_{n}$ reduces to $ζ(2n)$ for the Riemann zeta function $ζ$ and for specialized values of the indeterminates involved in the inverse limit construction of the algebra of symmetric functions, this motivates both combinatorial and number-theoretic applications related to the given case of the Murnaghan-Nakayama rule. In this direction, since every Schur-hook admits an expansion in terms of twofold products of elementary and complete homogeneous generators, we exploit this property for the same specialization that allows us to express $p_{n}$ with the Bernoulli number $B_{2n}$, using remarkable results due to Hoffman on multiple harmonic series. This motivates our bijective approach, through the use of sign-reversing involutions, toward the determination of identities that relate Schur-hooks and power sum symmetric functions and that we apply to obtain a new recurrence for Bernoulli numbers.

We generalize the combinatorial approaches of Rapaport and Higgins--Lyndon to the Whitehead algorithm. We show that for every automorphism $\varphi$ of a free group $F$ and every word $u\in F$ there exists a finite multiset of words $S_{u,\varphi}$ satisfying the following property: For every cyclic word $w$, the number of times $u$ appears as a subword of $\varphi\left(w\right)$ depends only on the appearances of words in $S_{u,\varphi}$ as subwords of $w$. We use this fact to construct a faithful representation of $\text{Out}\left(F_{n}\right)$ on an inverse limit of $\mathbb{Z}$-modules, so that each automorphism is represented by sequence of finite rectangular matrices, which can be seen as successively better approximations of the automorphism.

Every countable graph can be built from finite graphs by a suitable infinite process, either adding new vertices randomly or imposing some rules on the new edges. On the other hand, a profinite topological graph is built as the inverse limit of finite graphs with graph epimorphisms. We propose to look at both constructions simultaneously. We consider countable graphs that can be built from finite ones by using both embeddings and projections, possibly adding a single vertex at each step. We show that the Rado graph can be built this way, while Henson's universal triangle-free graph cannot. We also study the corresponding profinite graphs. Finally, we present a concrete model of the projectively universal profinite graph, the projective Fraisse limit of finite graphs, showing in particular that it has a dense subset of isolated vertices.

We prove that the initial degenerations of the flag variety admit closed immersions into finite inverse limits of flag matroid strata, where the diagrams are derived from matroidal subdivisions of a suitable flag matroid polytope. As an application, we prove that the initial degenerations of $\operatorname{F\ell}^{\circ}(n)$ -- the open subvariety of the complete flag variety $\operatorname{F\ell}(n)$ consisting of flags in general position -- are smooth and irreducible when $n\leq 4$. We also study the Chow quotient of $\operatorname{F\ell}(n)$ by the diagonal torus of $\operatorname{PGL}(n)$, and show that, for $n=4$, this is a log crepant resolution of its log canonical model.

We prove that the open subvariety $\operatorname{Gr}_0(3,8)$ of the Grassmannian $\operatorname{Gr}(3,8)$ determined by the nonvanishing of all Plücker coordinates is schön, i.e., all of its initial degenerations are smooth. Furthermore, we find an initial degeneration that has two connected components, and show that the remaining initial degenerations, up to symmetry, are irreducible. As an application, we prove that the Chow quotient of $\operatorname{Gr}(3,8)$ by the diagonal torus of $\operatorname{PGL}(8)$ is the log canonical compactification of the moduli space of $8$ lines in $\mathbb{P}^2$, resolving a conjecture of Hacking, Keel, and Tevelev. Along the way we develop various techniques to study finite inverse limits of schemes.

There is a natural map from a symmetric group $S_n$ to a smaller symmetric group $S_{n-1}$, we write a decomposition of a permutation into a product of disjoint cycles and remove the element $n$ from this expression. For this reason there exists the inverse limit $\mathfrak{S}$ of sets $S_n$. We equip $S_n$ with the uniform distribution (or more generally with an Ewens distribution) and get a structure of a measure space on $\mathfrak{S}$ (it is called 'virtual permutations' or 'Chinese restaurant process'), a double $S_\infty\times S_\infty $ of an infinite symmetric group acts on $\mathfrak{S}$ by left and right 'multiplications'. We discuss the closure of $S_\infty\times S_\infty $ in the semigroup of polymorphisms (spreading maps with spreaded Radon--Nikodym derivatives) of $\mathfrak{S}$. We get formulas for some polymorphisms, in particular for the center of the closure. Expressions are sums of multiple convolutions of Dirichlet distributions, summation sets are certain collections of dessins d'enfant.

Geschke proved that there is clopen graph on $2^ω$ which is 3-saturated, but the clopen graphs on $2^ω$ do not even have infinite subgraphs that are 4-saturated; however there is $F_σ$ graph that is $ω_1$-saturated. It turns out that there is no closed graph on $2^ω$ which is $ω$-saturated. In this note we complete this picture by proving that for every $n$ there is an $n$-saturated closed graph on the Cantor space $2^ω$. The key lemma is based on probabilistic argument. The final construction is an inverse limit of finite graphs.

We consider a category of all finite partial orderings with quotient maps as arrows and construct a Fraïssé sequence in this category. Then we use commonly known relations between partial orders and lattices to construct a sequence of lattices associated with it. Each of these two sequences has a limit object -- an inverse limit, which is an object of our interest as well. In the first chapter there are some preliminaries considering partial orders, lattices, topology, inverse limits, category theory and Fraïssé theory, which are used later. In the second chapter there are our results considering a Fraïssé sequence in category of finite posets with quotient maps and properties of inverse limit of this sequence. In the third chapter we investigate connections between posets and order ideals corresponding to them, getting an inductive sequence made of these ideals; then we study properties of the inverse limit of this sequence.

Given a compact metric space $X$, we associate to it an inverse sequence of finite $T_0$ topological spaces. The inverse limit of this inverse sequence contains a homeomorphic copy of $X$ that is a strong deformation retract. We provide a method to approximate the homology groups of $X$ and other algebraic invariants. Finally, we study computational aspects and the implementation of this method.

In this paper are introduced two classes of elements in the enveloping algebra $\mathbf{U}(gl(n))$: the \emph{double Young-Capelli bitableaux} $[\ \fbox{$S \ | \ T$}\ ]$ and the \emph{central} \emph{Schur elements} $\mathbf{S}_λ(n)$, that act in a remarkable way on the highest weight vectors of irreducible Schur modules. Any element $\mathbf{S}_λ(n)$ is the sum of all double Young-Capelli bitableaux $[\ \fbox{$S \ | \ S$}\ ]$, $S$ row (strictly) increasing Young tableaux of shape $\widetildeλ$. The Schur elements $\mathbf{S}_λ(n)$ are proved to be the preimages - with respect to the Harish-Chandra isomorphism - of the \emph{shifted Schur polynomials} $s_{λ|n}^* \in Λ^*(n)$. Hence, the Schur elements are the same as the Okounkov \textit{quantum immanants}, recently described by the present authors as linear combinations of \emph{Capelli immanants}. This new presentation of Schur elements/quantum immanants doesn't involve the irreducible characters of symmetric groups. The Capelli elements $\mathbf{H}_k(n)$ are column Schur elements and the Nazarov-Umeda elements $\mathbf{I}_k(n)$ are row Schur elements. The duality in $\boldsymbolζ(n)$ follows from a combinatorial description of the eigenvalues of the $\mathbf{H}_k(n)$ on irreducible modules that is {\it{dual}} (in the sense of shapes/partitions) to the combinatorial description of the eigenvalues of the $\mathbf{I}_k(n)$. The passage $n \rightarrow \infty$ for the algebras $\boldsymbolζ(n)$ is obtained both as direct and inverse limit in the category of filtered algebras, via the \emph{Olshanski decomposition/projection}.

We formalize Hall's Marriage Theorem in the Lean theorem prover for inclusion in mathlib, which is a community-driven effort to build a unified mathematics library for Lean. One goal of the mathlib project is to contain all of the topics of a complete undergraduate mathematics education. We provide three presentations of the main theorem statement: in terms of indexed families of finite sets, of relations on types, and of matchings in bipartite graphs. We also formalize a version of Kőnig's lemma (in terms of inverse limits) to boost the theorem to the case of countably infinite index sets. We give a description of the design of the recent mathlib library for simple graphs, and we also give a necessary and sufficient condition for a simple graph to carry a function.

We build a collection of topological Ramsey spaces of trees giving rise to universal inverse limit structures,extending Zheng's work for the profinite graph to the setting of Fraïssé classes of finite ordered binary relational structures with the Ramsey property. This work is based on the Halpern-Läuchli theorem, but different from the Milliken space of strong subtrees. Based on these topological Ramsey spaces and the work of Huber-Geschke-Kojman on inverse limits of finite ordered graphs, we prove that for each such Fraïssé class, its universal inverse limit structure has finite big Ramsey degrees under finite Baire-measurable colorings. For such \Fraisse\ classes satisfying free amalgamation as well as finite ordered tournaments and finite partial orders with a linear extension, we characterize the exact big Ramsey degrees.

In a series of three papers we develop an end space theory for digraphs. Here in the second paper we introduce the topological space $|D|$ formed by a digraph $D$ together with its ends and limit edges. We then characterise those digraphs that are compactified by this space. Furthermore, we show that if $|D|$ is compact, it is the inverse limit of finite contraction minors of $D$. To illustrate the use of this we extend to the space $|D|$ two statements about finite digraphs that do not generalise verbatim to infinite digraphs. The first statement is the characterisation of finite Eulerian digraphs by the condition that the in-degree of every vertex equals its out-degree. The second statement is the characterisation of strongly connected finite digraphs by the existence of a closed Hamilton walk.