arXiv++ Combinatorics

We construct an integrable colored five-vertex model whose partition function is a Lascoux atom based on the five-vertex model of Motegi and Sakai [arXiv:1305.3030] and the colored five-vertex model of Brubaker, the first author, Bump, and Gustafsson [arXiv:1902.01795]. We then modify this model in two different ways to construct a Lascoux polynomial, yielding the first known combinatorial interpretation of a Lascoux polynomial and atom. Using this, we prove a conjectured combinatorial interpretation in terms of set-valued tableaux of a Lascoux polynomial and atom due to Pechenik and the second author [arXiv:1904.09674]. We also prove the combinatorial interpretation of the Lascoux atom using set-valued skyline tableaux of Monical [arXiv:1611.08777].

In 2010, Gábor Czédli and E. Tamás Schmidt mentioned that the best cover-preserving embedding of a given semimodular lattice is not known yet [A cover-preserving embedding of semimodular lattices into geometric lattices, Advances in Mathematics 225 (2010) 2455-2463]. That is to say: What are the geometric lattices $G$ such that a given finite semimodular lattice $L$ has a cover-preserving embedding into $G$ with the smallest $|G|$? In this paper, we propose an algorithm to calculate all the best extending cover-preserving geometric lattices $G$ of a given semimodular lattice $L$ and prove that the length and the number of atoms of every best extending cover-preserving geometric lattice $G$ equal the length of $L$ and the number of non-zero join-irreducible elements of $L$, respectively. Therefore, we comprehend the best cover-preserving embedding of a given semimodular lattice.

We prove the equivalence of EL-shellability and the existence of recursive atom ordering independent of roots. We show that a comodernistic lattice, as defined by Schweig and Woodroofe, admits a recursive atom ordering independent of roots, therefore is EL-shellable. We also present and discuss a simpler EL-shelling on one of the most important classes of comodernistic lattice, the order congruence lattices.

In this paper we describe a parallel algorithm for generating all non-isomorphic rank $3$ simple matroids with a given multiplicity vector. We apply our implementation in the HPC version of GAP to generate all rank $3$ simple matroids with at most $14$ atoms and a splitting characteristic polynomial. We have stored the resulting matroids alongside with various useful invariants in a publicly available, ArangoDB-powered database. As a byproduct we show that the smallest divisionally free rank $3$ arrangement which is not inductively free has $14$ hyperplanes and exists in all characteristics distinct from $2$ and $5$. Another database query proves that Terao's freeness conjecture is true for rank $3$ arrangements with $14$ hyperplanes in any characteristic.

In this paper, we consider relational structures arising from Comer's finite field construction, where the cosets need not be sum free. These Comer schemes generalize the notion of a Ramsey scheme and may be of independent interest. As an application, we give the first finite representation of $34_{65}$. This leaves $33_{65}$ as the only remaining relation algebra in the family $N_{65}$ with a flexible atom that is not known to be finitely representable. Motivated by this, we complement our upper bounds with some lower bounds. Using a SAT solver, we show that $33_{65}$ is not finitely representable on fewer than $24$ points, and that $33_{65}$ does not admit a cyclic group representation on fewer than $120$ points. We also employ a SAT solver to show that $34_{65}$ is not representable on fewer than $24$ points.

The geometric--arithmetic indices are widely considered in the chemical graph theory in the last decade. The reason of introducing new indices is to gain prediction of target properties of considered molecules that is better than the prediction obtained by already known indices. In the case of the fifth geometric--arithmetic index hitherto no ability of prediction of some molecule property has been considered. In this paper we investigate correlations between the fifth geometric--arithmetic index and some other degree--based topological indices on the family of octane isomers and polyaromatic hydrocarbons. Since a very good correlation is established with the well known atom--bond connectivity index for polyaromatic hydrocarbons and then for the alkane series, the relation between the heat of formation and the fifth geometric--arithmetic index is examined and a good correlation is confirmed in that case as well.

Fullerenes are molecules in the form of cage-like polyhedra, consisting solely of carbon atoms. Fullerene graphs are mathematical models of fullerene molecules. The transmission of a vertex $v$ of a graph is the sum of distances from $v$ to all the other vertices. The number of different vertex transmissions is called the Wiener complexity of a graph. Some calculation results on the Wiener complexity and the Wiener index of fullerene graphs of order $n \le 216$ are presented. Structure of graphs with the maximal Wiener complexity or the maximal Wiener index is discussed and formulas for the Wiener index of several families of graphs are obtained.

Let $X$ be an infinite graph of bounded degree; e.g., the Cayley graph of a free product of finite groups. If $G$ is a finite graph covered by $X$, it is said to be $X$-Ramanujan if its second-largest eigenvalue $λ_2(G)$ is at most the spectral radius $ρ(X)$ of $X$, and more generally $k$-quasi-$X$-Ramanujan if $λ_k(G)$ is at most $ρ(X)$. In case $X$ is the infinite $Δ$-regular tree, this reduces to the well known notion of a finite $Δ$-regular graph being Ramanujan. Inspired by the Interlacing Polynomials method of Marcus, Spielman, and Srivastava, we show the existence of infinitely many $k$-quasi-$X$-Ramanujan graphs for a variety of infinite $X$. In particular, $X$ need not be a tree; our analysis is applicable whenever $X$ is what we call an additive product graph. This additive product is a new construction of an infinite graph $\mathsf{AddProd}(A_1, \dots, A_c)$ from finite 'atom' graphs $A_1, \dots, A_c$ over a common vertex set. It generalizes the notion of the free product graph $A_1 * \cdots * A_c$ when the atoms $A_j$ are vertex-transitive, and it generalizes the notion of the universal covering tree when the atoms $A_j$ are single-edge graphs. Key to our analysis is a new graph polynomial $α(A_1, \dots, A_c;x)$ that we call the additive characteristic polynomial. It generalizes the well known matching polynomial $μ(G;x)$ in case the atoms $A_j$ are the single edges of $G$, and it generalizes the $r$-characteristic polynomial introduced in [Ravichandran'16, Leake-Ravichandran'18]. We show that $α(A_1, \dots, A_c;x)$ is real-rooted, and all of its roots have magnitude at most $ρ(\mathsf{AddProd}(A_1, \dots, A_c))$. This last fact is proven by generalizing Godsil's notion of treelike walks on a graph $G$ to a notion of freelike walks on a collection of atoms $A_1, \dots, A_c$.

Type A Demazure atoms are pieces of Schur functions, or sets of tableaux whose weights sum to such functions. Inspired by colored vertex models of Borodin and Wheeler, we will construct solvable lattice models whose partition functions are Demazure atoms; the proof of this makes use of a Yang-Baxter equation for a colored five-vertex model. As a biproduct, we construct Demazure atoms on Kashiwara's $\mathcal{B}_\infty$ crystal and give new algorithms for computing Lascoux-Schützenberger keys.

Three general molecular descriptors, namely the general sum-connectivity index, general Platt index and ordinary generalized geometric-arithmetic index, are studied here. Best possible bounds for the aforementioned descriptors of arbitrary saturated hydrocarbons are derived. These bounds are expressed in terms of number of carbon atoms and number of carbon-carbon bonds of the considered hydrocarbons.

The eccentric connectivity index of a connected graph $G$ is the sum over all vertices $v$ of the product $d_{G}(v) e_{G}(v)$, where $d_{G}(v)$ is the degree of $v$ in $G$ and $e_{G}(v)$ is the maximum distance between $v$ and any other vertex of $G$. This index is helpful for the prediction of biological activities of diverse nature, a molecule being modeled as a graph where atoms are represented by vertices and chemical bonds by edges. We characterize those graphs which have the smallest eccentric connectivity index among all connected graphs of a given order $n$. Also, given two integers $n$ and $p$ with $p\leq n-1$, we characterize those graphs which have the smallest eccentric connectivity index among all connected graphs of order $n$ with $p$ pending vertices.

In this paper we both review the famous article "Eine fur die Valenztheorie geeignete Basis der binaren Vektorinvarianten" of G. Rumer, E. Teller, and H. Weyl on Rumer diagrams and use a powerful old result from algebraic geometry to enumerate these diagrams with given numbers of atoms and valence bonds.

We present a new procedure to determine the growth function of a homogeneous Garside monoid, with respect to the finite generating set formed by the atoms. In particular, we present a formula for the growth function of each Artin--Tits monoid of spherical type (hence of each braid monoid) with respect to the standard generators, as the inverse of the determinant of a very simple matrix. Using this approach, we show that the exponential growth rates of the Artin--Tits monoids of type $A_n$ (positive braid monoids) tend to $3.233636\ldots$ as $n$ tends to infinity. This number is well-known, as it is the growth rate of the coefficients of the only solution $x_0(y)=-(1+y+2y^2+4y^3+9y^4+\cdots)$ to the classical partial theta function. We also describe the sequence $1,1,2,4,9,\ldots$ formed by the coefficients of $-x_0(y)$, by showing that its $k$th term (the coefficient of $y^k$) is equal to the number of braids of length $k$, in the positive braid monoid $A_{\infty}$ on an infinite number of strands, whose maximal lexicographic representative starts with the first generator $a_1$. This is an unexpected connection between the partial theta function and the theory of braids.

We introduce constructible directed complexes, a combinatorial presentation of higher categories inspired by constructible complexes in poset topology. Constructible directed complexes with a greatest element, called atoms, encompass common classes of higher-categorical cell shapes, including globes, cubes, oriented simplices, and a large sub-class of opetopes, and are closed under lax Gray products and joins. We define constructible polygraphs to be presheaves on a category of atoms and inclusions, and extend the monoidal structures. We show that constructible directed complexes are a well-behaved subclass of Steiner's directed complexes, which we use to define a realisation functor from constructible polygraphs to omega-categories. We prove that the realisation of a constructible polygraph is a polygraph in restricted cases, and in all cases conditionally to a conjecture. Finally, we define the geometric realisation of a constructible polygraph, and prove that it is a CW complex with one cell for each of its elements.

We introduce two new bases of the ring of polynomials and study their relations to known bases. The first basis is the quasiLascoux basis, which is simultaneously both a $K$-theoretic deformation of the quasikey basis and also a lift of the $K$-analogue of the quasiSchur basis from quasisymmetric polynomials to general polynomials. We give positive expansions of this quasiLascoux basis into the glide and Lascoux atom bases, as well as a positive expansion of the Lascoux basis into the quasiLascoux basis. As a special case, these expansions give the first proof that the $K$-analogues of quasiSchur polynomials expand positively in multifundamental quasisymmetric polynomials of T. Lam and P. Pylyavskyy. The second new basis is the kaon basis, a $K$-theoretic deformation of the fundamental particle basis. We give positive expansions of the glide and Lascoux atom bases into this kaon basis. Throughout, we explore how the relationships among these $K$-analogues mirror the relationships among their cohomological counterparts. We make several 'alternating sum' conjectures that are suggestive of Euler characteristic calculations.

The complexity of {\sc Colouring} is fully understood for $H$-free graphs, but there are still major complexity gaps if two induced subgraphs $H_1$ and $H_2$ are forbidden. Let $H_1$ be the $s$-vertex cycle $C_s$ and $H_2$ be the $t$-vertex path $P_t$. We show that {\sc Colouring} is polynomial-time solvable for $s=4$ and $t\leq 6$, strengthening several known results. Our main approach is to initiate a study into the boundedness of the clique-width of atoms (graphs with no clique cutset) of a hereditary graph class. We first show that the classifications of boundedness of clique-width of $H$-free graphs and $H$-free atoms coincide. We then show that this is not the case if two graphs are forbidden: we prove that $(C_4,P_6)$-free atoms have clique-width at most~18. Our key proof ingredients are a divide-and-conquer approach for bounding the clique-width of a subclass of $C_4$-free graphs and the construction of a new bound on the clique-width for (general) graphs in terms of the clique-width of recursively defined subgraphs induced by homogeneous pairs and triples of sets. As a complementary result we prove that {\sc Colouring} is \NP-complete for $s=4$ and $t\geq 9$, which is the first hardness result on {\sc Colouring} for $(C_4,P_t)$-free graphs. Combining our new results with known results leads to an almost complete dichotomy for \cn restricted to $(C_s,P_t)$-free graphs.

We consider the problem of computing $R(c,a)$, the number of unlabeled graded lattices of rank $3$ that contain $c$ coatoms and $a$ atoms. More specifically we do this when $c$ is fairly small, but $a$ may be large. For this task, we describe a computational method that combines constructive listing of basic cases and tools from enumerative combinatorics. With this method we compute the exact values of $R(c,a)$ for $c\le 9$ and $a\le 1000$. We also show that, for any fixed $c$, there exists a quasipolynomial in $a$ that matches with $R(c,a)$ for all $a$ above a small value. We explicitly determine these quasipolynomials for $c \le 7$, thus finding closed form expressions of $R(c,a)$ for $c \le 7$.

On the model of simple braids, defined to be the left divisors of Garside's elements $Δ\_n$ in the monoid $B\_\infty^+$ , we investigate simple elements in Thompson's monoid $F^+$ and in a larger monoid $H^+$ that is a hybrid of $B\_\infty^+$ and $F^+$ : in both cases, we count how many simple elements left divide the right lcm of the first n -- 1 atoms, and characterize their normal forms in terms of forbidden factors. In the case of $H^+$, a generalized Pascal triangle appears.

There is a natural analogue of weak Bruhat order on the involutions in any Coxeter group. The saturated chains of intervals in this order correspond to reduced words for a certain set of group elements called atoms. Brion gives a general formula for the cohomology class of a $K$-orbit closure in an arbitrary flag variety, where $K$ is a symmetric subgroup of a complex algebraic group. In type A, the terms in this formula are indexed by atoms for permutations. We study the combinatorics of atoms for involutions in the group of signed permutations. In particular, we give a compact description of the atom set for any signed involution and endow it with the structure of a graded poset. Our main result, as an application, is to identify explicitly the terms in Brion's cohomology formula in types B and C. These descriptions apply to all $K$-orbits in these types and are the first of their kind outside of type A.

A rack is a set together with a self-distributive bijective binary operation. In this paper, we give a positive answer to a question due to Heckenberger, Shareshian and Welker. Indeed, we prove that the lattice of subracks of a rack is atomic. Further, by using the atoms, we associate certain quandles to racks. We also show that the lattice of subracks of a rack is isomorphic to the lattice of subracks of a quandle. Moreover, we show that the lattice of subracks of a rack is distributive if and only if its corresponding quandle is trivial. Finally, applying our corresponding quandles, we provide a coloring of certain knot diagrams.