arXiv++ Combinatorics

Previous work of the second author and Wolf showed that given a set $A\subseteq \mathbb{F}_p^n$ of bounded $\textrm{VC}_2$-dimension, there is a high rank quadratic factor $\mathcal{B}$ of bounded complexity such that $A$ is approximately equal to a union of atoms of $\mathcal{B}$. That proof yielded bounds of tower type on the linear and quadratic complexities. It was later shown by the same authors that the quadratic complexity can be improved to logarithmic, however that proof provided no improvement on the linear component. In this paper we prove that the bound on the linear complexity can be improved to a triple exponential in the case of linear rank functions, and a quadruple exponential for polynomial rank functions of higher degree. Our strategy is based on the one developed by Gishboliner, Wigderson, and Shapira to prove the analogous result in the hypergraph setting. Step 1 is to prove a``cylinder" version of the quadratic arithmetic regularity lemma, which says that given a set $A\subseteq G=\mathbb{F}_p^n$, there is a partition of $G$ into atoms of (possibly distinct) quadratic factors of high rank and bounded complexity, so that most atoms in the partition are uniform with respect to the set $A$, in the sense of a certain local $U^3$ norm. Step 2 is to show that if $A$ has bounded $\textrm{VC}_2$-dimension, then it has density near $0$ or $1$ on all atoms which are uniform in the sense of Step 1. Step 1 relies on a recent local version of the $U^3$ inverse theorem due to Prendiville, and is necessarily phrased in terms of a local $U^3$ norm implicit in that paper. On the other hand, Step 2 relies on a counting lemma for a different local $U^3$ due to Terry and Wolf, which we prove here is approximately the same as the local $U^3$ norm used in Step 1.

In prior work, we showed that subsets of $\mathbb{F}_{p}^{n}$ of $\mathrm{VC_{2}}$-dimension at most $k$ are well approximated by a union of atoms of a quadratic factor of complexity $(\ell,q)$, where the complexity $\ell$ of the linear part and the complexity $q$ of the quadratic part are both bounded in terms of $k$, $p$, and the desired level of approximation $μ$. A key tool in the proof of this result was an arithmetic regularity lemma for the Gowers $U^3$-norm by Green and Tao, which resulted in tower-type bounds (in terms of $μ^{-1}$) on both $\ell$ and $q$. In the present paper we show that for sets of bounded $\mathrm{VC}_2$-dimension, the bound on $q$ can be substantially improved. Specifically, we will prove that any set $A\subseteq G=\mathbb{F}_p^n$ of $\mathrm{VC}_2$-dimension at most $k$ is approximately equal (up to error $μ|G|$) to a union of atoms of a quadratic factor whose quadratic complexity is at most $\log_p(μ^{-k-o(1)})$, implying that the purely quadratic component of the factor partitions the group into $μ^{-k-o(1)}$ many parts. We achieve this by using our earlier result to obtain an initial quadratic factor $\mathcal{B}$, and then applying a generalization of an argument of Alon, Fox and Zhao for subsets of $\mathbb{F}_{p}^{n}$ of bounded $\mathrm{VC}$-dimension to the label space (also known as "configuration space") of $\mathcal{B}$. A related strategy was employed in earlier work of the authors on $\mathrm{NFOP}_2$ subsets of $\mathbb{F}_p^n$, and in work of the first author in the context of 3-uniform hypergraphs.

We show that a subset of $\mathbb{F}_{p}^{n}$ of $\mathrm{VC_{2}}$-dimension at most $k$ is well approximated by a union of atoms of a quadratic factor of complexity $(\ell,q)$ (denoting the complexities of the linear and quadratic part, respectively), where $\ell$ and $q$ are bounded by a constant depending only on $k$ and the desired level of approximation. This generalises a result of Alon, Fox and Zhao on the structure of sets of bounded $\mathrm{VC}$-dimension, and is analogous to contemporaneous work of the authors arXiv:2111.01737 in the setting of 3-uniform hypergraphs. The main result originally appeared--albeit with a different proof--in a 2021 preprint arXiv:2111.01739, which has since been split into two: the present work, which focuses on higher arity NIP and develops a theory of local uniformity semi-norms of possibly independent interest, and its companion arXiv:2111.01739, which strengthens these results under a generalized notion of stability.

The shuffle conjecture of Haglund et al. expresses the symmetric function $\nabla e_n$ as a sum over labeled Dyck paths. Here $\nabla$ is an operator on symmetric functions defined in terms of its diagonal action on the basis of modified Macdonald polynomials. The shuffle conjecture was later refined by Haglund-Morse-Zabrocki to the compositional shuffle conjecture, expressing $\nabla C_α$ as a sum over labeled Dyck paths with touchpoints specified by $α$, where $C_α$ is a compositional Hall-Littlewood polynomial. Carlsson-Mellit settled both versions by developing the theory of a variant of the DAHA called the double Dyck path algebra. In a recent paper, we discovered a notion of nonsymmetric plethsym which led us to a construction of modified nonsymmetric Macdonald polynomials $\mathsf{H}_{η|λ}(\mathbf{x};q,t)$. These polynomials Weyl symmetrize to their symmetric counterparts and are conjecturally atom positive. Here we introduce a nonsymmetric version $\boldsymbol{\nabla}$ of $\nabla$, now acting diagonally on the basis given by the functions $\mathsf{H}_{η|λ}(\mathbf{x};q,t)$. Weaving together our theory with results of Carlsson-Mellit and Mellit, we establish a nonsymmetric version of the compositional shuffle theorem, which equates $\boldsymbol{\nabla}^{-1}$ applied to a nonsymmetric version $\mathsf{C}_α$ of $C_α$ with a sum over flagged labeled Dyck paths with touchpoints given by $α$. This combinatorial sum is conjecturally atom positive, refining the known Schur positivity of its symmetric counterpart.

Several families of polynomials of combinatorial and representation theoretic interest (notably the Schur polynomials $s_λ$, Demazure characters $\mathfrak{D}_a$, and Demazure atoms $\mathfrak{A}_a$) can be defined in terms of divided difference operators. Hivert (2000) defines "fundamental analogues" of these divided difference operators, and Hivert and Hicks-Niese show in arXiv:2406.02420 that the polynomials that arise from those fundamental operators in analogous ways to the three families of polynomials above are respectively the fundamental quasisymmetric functions $F_a$ from (1984), the fundamental slides $\mathfrak{F}_a$ of Assaf and Searles from arXiv:1603.09744, and the fundamental particles $\mathfrak{P}_a$ of Searles from arXiv:1707.01172. Lascoux (2001) defines $K$-analogues of the divided difference operators, and in arXiv:1908.07364, Buciumas, Scrimshaw, and Weber show that the polynomials arising in corresponding ways from the $K$-theoretic divided difference operators are respectively the Grothendieck polynomials $\overline{s}_λ$, the combinatorial Lascoux polynomials $\overline{\mathfrak{D}}_a$ from arXiv:1611.08777, and the combinatorial Lascoux atoms $\overline{\mathfrak{A}}_a$ from arXiv:1611.08777, as conjectured by Monical in arXiv:1611.08777. We define $K$-analogues of Hivert's fundamental divided difference operators and show that the polynomials arising in the corresponding ways from our new operators are respectively the multifundamentals $\overline{F}_a$ of Lam and Pylyavskyy from arXiv:0705.2189, the fundamental glides $\overline{\mathfrak{F}}_a$ from of Pechenik and Searles from arXiv:1611.02545, and the kaons $\overline{\mathfrak{P}}_a$ of Monical, Pechenik, and Searles from arXiv:1806.03802.

Fullerenes are an allotrope of carbon having hollow, cage-like structure. Atoms in the molecule are arranged in pentagonal and hexagonal rings, such that each atom is connected to three other atoms. Simple polyhedra having only pentagonal and hexagonal faces are a mathematical model for fullerenes. We say that a fullerene with $n$ vertices has magical property if the numbers $1, 2, \dots, n$ may be assigned to its vertices so that the sums of the numbers in each pentagonal faces are equal and the sums of the numbers in each hexagonal faces are equal. We show that $C_{8n+4}$ does not admit such an arrangement for all $n$, while there are fullerenes, like $C_{24}$ and $C_{26}$ that have many nonisomorphic such arrangements.

A method for considering a weighted directed graph with an accuracy of up to a given partition of the set of vertices is proposed. The resulting digraph (the splitting graph) does not contain arcs inside each partition element, and the arcs between the partition atoms are calculated in a special way taking into account the arcs of the original directed graph inside the atoms. This accounting is based on minimal trees defined on atoms. A study was made of what information about the original digraph is preserved in its splitting.

A famous result by Hammersley and Versik-Kerov states that the length $L_n$ of the longest increasing subsequence among $n$ iid continuous random variables grows like $2\sqrt{n}$. We investigate here the asymptotic behavior of $L_n$ for distributions with atoms. For purely discrete random variables, we characterize the asymptotic order of $L_n$ through a variational problem and provide explicit estimates for classical distributions. The proofs rely on a coupling with an inhomogeneous version of the discrete-time continuous-space Hammersley process. This reveals that, in contrast to the continuous case, the discrete setting exhibits a wide range of growth rates between $\mathcal{O}(1)$ and $o(\sqrt{n})$, depending on the tail behavior of the distribution. We can then easily deduce the asymptotics of $L_n$ for a completely arbitrary distribution.

The lattice of partitions of a set and its d-divisible generalization have been much studied for their combinatorial, topological, and representation-theoretic properties. An ordered set partition is a set partition where the subsets are listed in a specific order. Ordered set partitions appear in combinatorics, number theory, permutation polytopes, and the study of coinvariant algebras. The ordered set partitions of {1,\ldots,n} can be partially ordered by refinement and then a unique minimal element attached, resulting in a lattice Omega_n. This lattice has appeared while studying other combinatorial objects, but not as the central focus. The purpose of this paper is to provide the first comprehensive look at Omega_n. In particular, we show that it admits a recursive atom ordering, and study the action of the symmetric group S_n on associated homology groups, looking in particular at the multiplicity of the trivial representation. We also consider the related posets where every block has size either divisible by some fixed d at least 2 or congruent to 1 modulo d. Open problems and avenues for future research are scattered throughout.

Chemical graphs are simple undirected connected graphs, where vertices represent atoms in a molecule and edges represent chemical bonds. A degree-based topological index is a molecular descriptor used to study specific physicochemical properties of molecules. Such an index is computed from the sum of the weights of the edges of a chemical graph, each edge having a weight defined by a formula that depends only on the degrees of its endpoints. Given any degree-based topological index and given two integers $n$ and $m$, we are interested in determining chemical graphs of order $n$ and size $m$ that maximize or minimize the index. Focusing on chemical graphs with maximum degree at most 3, we show that this reduces to determining the extreme points of a polytope that contains at most 10 facets. We also show that the number of extreme points is at most 16, which means that for any given $n$ and $m$, there are very few different classes of extremal graphs, independently of the chosen degree-based topological index.

A complete description is given of how minimal trees on atoms of the algebra of subsets $\mathfrak{A}_k$ generated by minimal spanning $k$-component forests of a weighted digraph $V$ determine the form of these forests and how forests grow with increasing number of arcs (that is with a decrease in the number of trees). Precise bounds are established on what can be extracted about the tree structure of the original graph if the minimal trees on the atoms of a single algebra $\mathfrak{A}_k$ are known, and also what minimum spanning forests with fewer components can be constructed based on this, and what exactly additional information is required to determine minimum spanning forests consisting of even fewer components.

This article investigates atomic decompositions in geometric lattices isomorphic to the partition lattice $Π(X)$ of a finite set $X$, a fundamental structure in lattice theory and combinatorics. We explore the role of atomicity in these lattices, building on concepts introduced by D.D. Anderson, D.F. Anderson, and M. Zafrullah within the context of factorization theory in commutative algebra. As part of the study, we first examine the main characteristics of the function $\mathfrak{N}\colon Π(X) \rightarrow \mathbb{N}$, which assigns to each partition $π$ the number of minimal atomic decompositions of $π$. We then consider a distinguished subset of atoms, $\mathcal{R}$, referred to as the set of red atoms, and derive a recursive formula for $\pmbπ(X, j, s, \mathcal{R})$, which enumerates the rank-$j$ partitions expressible as the join of exactly $s$ red atoms.

The plethystic transformation $f[X] \mapsto f[X/(1-t)]$ and LLT polynomials are central to the theory of symmetric Macdonald polynomials. In this work, we introduce and study nonsymmetric flagged LLT polynomials. We show that these admit both an algebraic and a combinatorial description, that they Weyl symmetrize to the usual symmetric LLT polynomials, and we conjecture that they expand positively in terms of Demazure atoms. Additionally, we construct a nonsymmetric plethysm operator $Π_{t,x}$ on $\mathfrak{K}[x_1,\ldots,x_n]$, which serves as an analogue of $f[X] \mapsto f[X/(1-t)]$. We prove that $Π_{t,x}$ remarkably maps flagged LLT polynomials defined over a signed alphabet to ones over an unsigned alphabet. Our main application of this theory is to formulate a nonsymmetric version of Macdonald positivity, similar in spirit to conjectures of Knop and Lapointe, but with several new features. To do this, we recast the Haglund-Haiman-Loehr formula for nonsymmetric Macdonald polynomials $\mathcal{E}_{μ}(x;q,t)$ as a positive sum of signed flagged LLT polynomials. Then, after applying a suitable stable limit of $Π_{t,x}$ to a stable version of $\mathcal{E}_{μ}(x;q,t)$, we obtain modified nonsymmetric Macdonald polynomials which are positive sums of flagged LLT polynomials and thus are conjecturally atom positive, strengthening the Macdonald positivity conjecture.

We show that the big Ramsey degree of the Boolean algebra with 3 atoms within the countable atomless Boolean algebra is infinite.

Colored lattice models can be used to describe many different types of special functions of interest in both algebraic combinatorics and representation theory, for example Schur polynomials, nonsymmetric Macdonald polynomials, and characters and Whittaker functions for representations of p-adic groups. A notable example is the metaplectic ice model of which there are actually two different variants: a Gamma and a Delta variant. These variants differ in key aspects but surprisingly produce equal partition functions, which are weighted sums over admissible configurations, and this equality is called the Gamma-Delta duality. The duality was used to prove the analytic continuation of certain multiple Dirichlet series and is highly non-trivial, especially since the number of configurations on each side of the equality can differ. In this paper we construct a new family of solvable, colored lattice models and prove that they are dual to existing lattice models in the literature, including the above metaplectic case and the lattice model for (non-metaplectic) Iwahori Whittaker functions together with its crystal limit for Demazure atoms for Cartan type A. The equality of partition functions is shown using Yang-Baxter equations involving R-matrices mixing lattice model rows of types Gamma and Delta. For the crystal Demazure lattice model we show that the duality refines to a weight-respecting bijection of states given by the Schützenberger involution on the associated Gelfand-Tsetlin patterns or semistandard Young tableaux. We also show how the individual steps exchanging two rows in the proof of the duality for the partition functions refines to Berenstein-Kirillov, or Bender-Knuth involutions.

We present two perhaps surprisingly small posets, one graded and one non-graded, that are CC-shellable in the sense of Kozlov and TCL-shellable in the sense of Hersh, but not CL-shellable in the sense of Björner and Wachs. In the spirit of Björner and Wachs' recursive atom orderings (RAO) and Hersh and Stadnyk's generalized recursive atom orderings (GRAO), we also introduce a notion called recursive first atom sets (RFAS). An RFAS is a set of conditions on the atoms of each interval in a finite bounded poset $P$ that are necessary for CC-shellability of $P$ and sufficient for shellability of $P$. We also prove that under an extra condition, $P$ is CC-shellable if and only if it admits an RFAS, in the same way that RAOs provide a reformulation of CL-shellability.

We present an exact algorithm for computing all common subgraphs with the maximum number of vertices across multiple graphs. Our approach is further extended to handle the connected Maximum Common Subgraph (MCS), identifying the largest common subgraph in terms of either vertices or edges across multiple graphs, where edges or vertices may additionally be labeled to account for possible atom types or bond types, a classical labeling used in molecular graphs. Our approach leverages modular product graphs and a modified Bron-Kerbosch algorithm to enumerate maximal cliques, ensuring all intermediate solutions are retained. A pruning heuristic efficiently reduces the modular product size, improving computational feasibility. Additionally, we introduce a graph ordering strategy based on graph-kernel similarity measures to optimize the search process. Our method is particularly relevant for bioinformatics and cheminformatics, where identifying conserved structural motifs in molecular graphs is crucial. Empirical results on molecular datasets demonstrate that our approach is scalable and fast.

We present the first positive combinatorial rule for expanding the product of a permuted-basement Demazure atom and a Schur polynomial. Special cases of permuted-basement Demazure atoms include Demazure atoms and characters. These cases have known tableau formulas for their expansions when multiplied by a Schur polynomial, due to Haglund, Luoto, Mason and van Willigenburg. We find a vertex model formula, giving a new rule even in these special cases, extending a technique introduced by Zinn-Justin for calculating Littlewood-Richardson coefficients. We derive a coloured vertex model for permuted-basement Demazure atoms, inspired by Borodin and Wheeler's model for non-symmetric Macdonald polynomials. We make this model compatible with an uncoloured vertex model for Schur polynomials, putting them in a single framework. Unlike previous work on structure coefficients via vertex models, a remarkable feature of our construction is that it relies on a Yang-Baxter equation that only holds for certain boundary conditions. However, this restricted Yang-Baxter equation is sufficient to show our result.

Statistics and Optimization are foundational to modern Machine Learning. Here, we propose an alternative foundation based on Abstract Algebra, with mathematics that facilitates the analysis of learning. In this approach, the goal of the task and the data are encoded as axioms of an algebra, and a model is obtained where only these axioms and their logical consequences hold. Although this is not a generalizing model, we show that selecting specific subsets of its breakdown into algebraic atoms obtained via subdirect decomposition gives a model that generalizes. We validate this new learning principle on standard datasets such as MNIST, FashionMNIST, CIFAR-10, and medical images, achieving performance comparable to optimized multilayer perceptrons. Beyond data-driven tasks, the new learning principle extends to formal problems, such as finding Hamiltonian cycles from their specifications and without relying on search. This algebraic foundation offers a fresh perspective on machine intelligence, featuring direct learning from training data without the need for validation dataset, scaling through model additivity, and asymptotic convergence to the underlying rule in the data.

It is proved that the restriction of a $k$ and $(k-1)$-component directed spanning forest of minimal weight to an atom of the subset algebra generated by the sets of vertices of trees of $k$-component minimal spanning forests is a tree. For spanning minimal forests consisting of fewer components, this property, generally speaking, does not exist.