arXiv++ Combinatorics

We extend the family non-symmetric Macdonald polynomials and define general-basement Macdonald polynomials. We show that these also satisfy a triangularity property with respect to the monomials bases and behave well under the Demazure-Lusztig operators. The symmetric Macdonald polynomials $J_λ$ are expressed as a sum of general-basement Macdonald polynomials via an explicit formula. By letting $q=0$, we obtain $t$-deformations of key polynomials and Demazure atoms and we show that the Hall--Littlewood polynomials expand positively into these. This generalizes a result by Haglund, Luoto, Mason and van Willigenburg. As a corollary, we prove that Schur polynomials decompose with non-negative coefficients into $t$-deformations of general Demazure atoms and thus generalizing the $t=0$ case which was previously known. This gives a unified formula for the classical expansion of Schur polynomials in Hall-Littlewood polynomials and the expansion of Schur polynomials into Demazure atoms.

We show that atoms of the $n$-generated free left-handed skew Boolean intersection algebra are in a bijective correspondence with pointed partitions of non-empty subsets of $\{1,2,\dots, n\}$. Furthermore, under the canonical inclusion into the $k$-generated free algebra, where $k\geq n$, an atom of the $n$-generated free algebra decomposes into an orthogonal join of atoms of the $k$-generated free algebra in an agreement with the containment relation on the respective partitions. As a consequence of these results, we describe the structure of finite free left-handed skew Boolean intersection algebras and express several their combinatorial characteristics in terms of Bell numbers and Stirling numbers of the second kind. We also look at the infinite case. For countably many generators, our constructions lead to the `partition analogue' of the Cantor tree whose boundary is the `partition variant' of the Cantor set.

Involution words are variations of reduced words for twisted involutions in Coxeter groups. They arise naturally in the study of the Bruhat order, of certain Iwahori-Hecke algebra modules, and of orbit closures in flag varieties. Specifically, to any twisted involutions $x$, $y$ in a Coxeter group $W$ with automorphism $*$, we associate a set of involution words $\hat{\mathcal{R}}_*(x,y)$. This set is the disjoint union of the reduced words of a set of group elements $\mathcal{A}_*(x,y)$, which we call the atoms of $y$ relative to $x$. The atoms, in turn, are contained in a larger set $\mathcal{B}_*(x,y) \subset W$ with a similar definition, whose elements we refer to as Hecke atoms. Our main results concern some interesting properties of the sets $\hat{\mathcal{R}}_*(x,y)$ and $\mathcal{A}_*(x,y) \subset \mathcal{B}_*(x,y)$. For finite Coxeter groups we prove that $\mathcal{A}_*(1,y)$ consists of exactly the minimal-length elements $w \in W$ such that $w^* y \leq w$ in Bruhat order, and conjecture a more general property for arbitrary Coxeter groups. In type $A$, we describe a simple set of conditions characterizing the sets $\mathcal{A}_*(x,y)$ for all involutions $x,y \in S_n$, giving a common generalization of three recent theorems of Can, Joyce, and Wyser. We show that the atoms of a fixed involution in the symmetric group (relative to $x=1$) naturally form a graded poset, while the Hecke atoms surprisingly form an equivalence class under the "Chinese relation" studied by Cassaigne, Espie, et al. These facts allow us to recover a recent theorem of Hu and Zhang describing a set of "braid relations" spanning the involution words of any self-inverse permutation. We prove a generalization of this result giving an analogue of Matsumoto's theorem for involution words in arbitrary Coxeter groups.

Let $H$ be a Krull monoid with finite class group $G$ such that every class contains a prime divisor. For $k\in \mathbb N$, let $\mathcal U_k(H)$ denote the set of all $m\in \mathbb N$ with the following property: There exist atoms $u_1, \ldots, u_k, v_1, \ldots , v_m\in H$ such that $u_1\cdot\ldots\cdot u_k=v_1\cdot\ldots\cdot v_m$. It is well-known that the sets $\mathcal U_k (H)$ are finite intervals whose maxima $ρ_k(H)=\max \mathcal U_k(H) $ depend only on $G$. If $|G|\le 2$, then $ρ_k (H) = k$ for every $k \in \mathbb N$. Suppose that $|G| \ge 3$. An elementary counting argument shows that $ρ_{2k}(H)=k\mathsf D(G)$ and $k\mathsf D(G)+1\le ρ_{2k+1}(H)\le k\mathsf D(G)+\lfloor \frac{\mathsf D(G)}{2}\rfloor$ where $\mathsf D(G)$ is the Davenport constant. In \cite{Ga-Ge09b} it was proved that for cyclic groups we have $k\mathsf D(G)+1 = ρ_{2k+1}(H)$ for every $k \in \mathbb N$. In the present paper we show that (under a mild condition on the Davenport constant) for every noncyclic group there exists a $k^*\in \mathbb N$ such that $ρ_{2k+1}(H)= k\mathsf D(G)+\lfloor \frac{\mathsf D(G)}{2}\rfloor$ for every $k\ge k^*$. This confirms a conjecture of A. Geroldinger, D. Grynkiewicz, and P. Yuan in \cite{Ge-Gr-Yu15}.

Finite pieces of locally isostatic networks have a large number of floppy modes because of missing constraints at the surface. Here we show that by imposing suitable boundary conditions at the surface, the network can be rendered effectively isostatic. We refer to these as anchored boundary conditions. An important example is formed by a two-dimensional network of corner sharing triangles, which is the focus of this paper. Another way of rendering such networks isostatic, is by adding an external wire along which all unpinned vertices can slide (sliding boundary conditions). This approach also allows for the incorporation of boundaries associated with internal holes and complex sample geometries, which are illustrated with examples. The recent synthesis of bilayers of vitreous silica has provided impetus for this work. Experimental results from the imaging of finite pieces at the atomic level needs such boundary conditions, if the observed structure is to be computer-refined so that the interior atoms have the perception of being in an infinite isostatic environment.

We show that several families of polynomials defined via fillings of diagrams satisfy linear recurrences under a natural operation on the shape of the diagram. We focus on key polynomials, (also known as Demazure characters), and Demazure atoms. The same technique can be applied to Hall-Littlewood polynomials and dual Grothendieck polynomials. The motivation behind this is that such recurrences are strongly connected with other nice properties, such as interpretations in terms of lattice points in polytopes and divided difference operators.

We investigate a natural Heyting algebra structure on the set of Dyck paths of the same length. We provide a geometrical description of the operations of pseudocomplement and relative pseudocomplement, as well as of regular elements. We also find a logic-theoretic interpretation of such Heyting algebras, which we call Dyck algebras, by showing that they are the algebraic counterpart of a certain fragment of a classical interval temporal logic (also known as Halpern-Shoham logic). Finally, we propose a generalization of our approach, suggesting a similar study of the Heyting algebra arising from the poset of intervals of a finite poset using Birkhöff duality. In order to illustrate this, we show how several combinatorial parameters of Dyck paths can be expressed in terms of the Heyting algebra structure of Dyck algebras together with a certain total order on the set of atoms of each Dyck algebra.

We find simple saturated alcohols with the given number of carbon atoms and the minimal normal boiling point. The boiling point is predicted with a weighted sum of the generalized first Zagreb index, the second Zagreb index, the Wiener index for vertex-weighted graphs, and a simple index caring for the degree of a carbon atom being incident to the hydroxyl group. To find extremal alcohol molecules we characterize chemical trees of order $n$, which minimize the sum of the second Zagreb index and the generalized first Zagreb index, and also build chemical trees, which minimize the Wiener index over all chemical trees with given vertex weights.

Lascoux has given a triangular version of the Cauchy identity where Schur polynomials are replaced by Demazure characters and Demazure atoms. He has then used the staircase expansion to recover expansions for all Ferrers shapes, where the Demazure characters and Demazure atoms are under the action of Demazure operators specified by the cells above the staircase. The characterisation of the tableau-pairs in these last expansions is less explicit. We give here a bijective proof for expansions over near staircases, where the tableau-pairs are made explicit. Our analysis formulates Mason's RSK analogue, for semi-skylines augmented fillings, in terms of growth diagrams.

Let $P_{n}(x)= \sum_{i=0}^n ξ_i x^i$ be a Kac random polynomial where the coefficients $ξ_i$ are iid copies of a given random variable $ξ$. Our main result is an optimal quantitative bound concerning real roots repulsion. This leads to an optimal bound on the probability that there is a double root. As an application, we consider the problem of estimating the number of real roots of $P_n$, which has a long history and in particular was the main subject of a celebrated series of papers by Littlewood and Offord from the 1940s. We show, for a large and natural family of atom variables $ξ$, that the expected number of real roots of $P_n(x)$ is exactly $\frac{2}π \log n +C +o(1)$, where $C$ is an absolute constant depending on the atom variable $ξ$. Prior to this paper, such a result was known only for the case when $ξ$ is Gaussian.

We consider random polynomials whose coefficients are independent and uniform on {-1,1}. We prove that the probability that such a polynomial of degree n has a double root is o(n^{-2}) when n+1 is not divisible by 4 and asymptotic to $\frac{8\sqrt{3}}{πn^2}$ otherwise. This result is a corollary of a more general theorem that we prove concerning random polynomials with independent, identically distributed coefficients having a distribution which is supported on { -1, 0, 1} and whose largest atom is strictly less than 1/\sqrt{3}. In this general case, we prove that the probability of having a double root equals the probability that either -1, 0 or 1 are double roots up to an o(n^{-2}) factor and we find the asymptotics of the latter probability.

An atom $a$ of a molecular graph $G$ uniquely determines (resolves) a pair $(a_1,a_2)$ of atoms of $G$ if the distance between $a$ and $a_1$ is different from the distance between $a$ and $a_2$. In this paper, we quantify the involvement of each atom $a$ of $G$ in uniquely determining (resolving) a pair $(a_1,a_2)$ of atoms of $G$, which is called the resolving share of $a$ for the pair $(a_1,a_2)$. Using this quantity, we define a distance-based topological index of a molecular graph, which reflects the topology of that molecular graph according to the resolvability behavior of each of its atom, and is called the resolving topological index. Then we compute the resolving topological index of several molecular graphs.

We determine the largest difference between the number of atoms and number of coatoms of a Bruhat interval of $S_n$.

Let $H$ be a Krull monoid with finite class group $G$ such that every class contains a prime divisor (for example, a ring of integers in an algebraic number field or a holomorphy ring in an algebraic function field). The catenary degree $\mathsf c (H)$ of $H$ is the smallest integer $N$ with the following property: for each $a \in H$ and each two factorizations $z, z'$ of $a$, there exist factorizations $z = z_0, ..., z_k = z'$ of $a$ such that, for each $i \in [1, k]$, $z_i$ arises from $z_{i-1}$ by replacing at most $N$ atoms from $z_{i-1}$ by at most $N$ new atoms. To exclude trivial cases, suppose that $|G| \ge 3$. Then the catenary degree depends only on the class group $G$ and we have $\mathsf c (H) \in [3, \mathsf D (G)]$, where $\mathsf D (G)$ denotes the Davenport constant of $G$. It is well-known when $\mathsf c (H) \in \{3,4, \mathsf D (G)\}$ holds true. Based on a characterization of the catenary degree determined in the first paper (The catenary degree of Krull monoids I), we determine the class groups satisfying $\mathsf c (H)= \mathsf D (G)-1$. Apart from the mentioned extremal cases the precise value of $\mathsf c (H)$ is known for no further class groups.

In this article we give a simple, almost uniform proof that the lattice of noncrossing partitions associated with a well-generated complex reflection group is lexicographically shellable. So far a uniform proof is available only for Coxeter groups. In particular we show that, for any complex reflection group $W$ and any element $x\in W$, every $x$-compatible reflection order is a recursive atom order of the corresponding interval in absolute order. Since any Coxeter element $γ$ in any well-generated complex reflection group admits a $γ$-compatible reflection order, the lexicographic shellability follows from a well-known result due to Björner and Wachs.

Let $H$ be a Krull monoid with finite class group $G$. Then every non-unit $a \in H$ can be written as a finite product of atoms, say $a=u_1 \cdot \ldots \cdot u_k$. The set $\mathsf L (a)$ of all possible factorization lengths $k$ is called the set of lengths of $a$. If $G$ is finite, then there is a constant $M \in \mathbb N$ such that all sets of lengths are almost arithmetical multiprogressions with bound $M$ and with difference $d \in Δ^* (H)$, where $Δ^* (H)$ denotes the set of minimal distances of $H$. We show that $\max Δ^* (H) \le \max \{\exp (G)-2, \mathsf r (G)-1\}$ and that equality holds if every class of $G$ contains a prime divisor, which holds true for holomorphy rings in global fields.

We prove a restriction of an analogue of the Robinson--Schensted--Knuth correspondence for semi-skyline augmented fillings, due to Mason, to multisets of cells of a staircase possibly truncated by a smaller staircase at the upper left end corner, or at the bottom right end corner. The restriction to be imposed on the pairs of semi-skyline augmented fillings is that the pair of shapes, rearrangements of each other, satisfies an inequality in the Bruhat order, w.r.t. the symmetric group, where one shape is bounded by the reverse of the other. For semi-standard Young tableaux the inequality means that the pair of their right keys is such that one key is bounded by the Schützenberger evacuation of the other. This bijection is then used to obtain %recover an expansion formula of the non-symmetric Cauchy kernel, over staircases or truncated staircases, in the basis of Demazure characters of type $A$, and the basis of Demazure atoms. The expansion implies Lascoux expansion formula, when specialised to staircases or truncated staircases, and make explicit, in the latter, the Young tableaux in the Demazure crystal by interpreting Demazure operators via elementary bubble sorting operators acting on weak compositions.

The Huneke-Wiegand conjecture has prompted much recent research in Commutative Algebra. In studying this conjecture for certain classes of rings, García-Sánchez and Leamer construct a monoid S_Γ^s whose elements correspond to arithmetic sequences in a numerical monoid Γof step size s. These monoids, which we call Leamer monoids, possess a very interesting factorization theory that is significantly different from the numerical monoids from which they are derived. In this paper, we offer much of the foundational theory of Leamer monoids, including an analysis of their atomic structure, and investigate certain factorization invariants. Furthermore, when S_Γ^s is an arithmetical Leamer monoid, we give an exact description of its atoms and use this to provide explicit formulae for its Delta set and catenary degree.

Hereditarily finite sets (sets which are finite and have only hereditarily finite sets as members) are basic mathematical and computational objects, and also stand at the basis of some programming languages. This raises the need for efficient representation of such sets, for example by numbers. In 2008, Kirby proposed an adjunctive hierarchy of hereditarily finite sets, based on the fact that they can also be seen as built up from the empty set by repeated adjunction, that is, by the addition of a new single element drawn from the already existing sets to an already existing set. Determining the cardinality $a_n$ of each level of this hierarchy, problem crucial in establishing whether the natural adjunctive hierarchy leads to an efficient encoding by numbers, was left open. In this paper we solve this problem. Our results can be generalized to hereditarily finite sets with atoms, or can be further refined by imposing restrictions on rank, on cardinality, or on the maximum level from where the new adjoined element can be drawn. We also show that $a_n$ satisfies the asymptotic formula $a_n = C^{2^n} + O(C^{2^{n-1}})$, for a constant $C \approx 1.3399$, which is a too fast asymptotic growth for practical purposes. We thus propose a very natural variant of the adjunctive hierarchy, whose asymptotic behavior we prove to be $Θ(2^n)$. To our knowledge, this is the first result of this kind.

In the dynamics of a rotation of the unit circle by an irrational angle $α\in(0,1)$, we study the evolution of partitions whose atoms are finite unions of left-closed right-open intervals with endpoints lying on the past trajectory of the point $0$. Unlike the standard framework, we focus on partitions whose atoms are disconnected sets. We show that the refinements of these partitions eventually coincide with the refinements of a preimage of the Sturmian partition, which consists of two intervals $[0,1-α)$ and $[1-α,1)$. In particular, the refinements of the partitions eventually consist of connected sets, i.e., intervals. We reformulate this result in terms of Sturmian subshifts: we show that for every non-trivial factor mapping from a one-sided Sturmian subshift, satisfying a mild technical assumption, the sliding block code of sufficiently large length induced by the mapping is injective.