arXiv++ Combinatorics

Molecular graphs of unsaturated carbon frameworks or hydrocarbons pruned of hydrogen atoms, are chemical graphs. A chemical graph is a connected simple graph of maximum degree $3$ or less. A nut graph is a connected simple graph with a singular adjacency matrix that has one zero eigenvalue and a non-trivial kernel eigenvector without zero entries. Nut graphs have no vertices of degree $1$: they are leafless. The intersection of these two sets, the chemical nut graphs, is of interest in applications in chemistry and molecular physics, corresponding to structures with fully distributed radical reactivity and omniconducting behaviour at the Fermi level. A chemical nut graph consists of $v_2 \ge 0$ vertices of degree $2$ and an even number, $v_3 > 0$, of vertices of degree $3$. With the aid of systematic local constructions that produce larger nut graphs from smaller, the combinations $(v_3, v_2)$ corresponding to realisable chemical nut graphs are characterised. Apart from a finite set of small cases, and two simply defined infinite series, all combinations $(v_3, v_2 )$ with even values of $v_3 > 0$ are realisable as chemical nut graphs. Of these combinations, only $(20,0)$ cannot be realised by a planar chemical nut graph. The main result characterises the ranges of edge counts for chemical nut graphs of all orders $n$.

We consider normal-form games with $n$ players and two strategies for each player, where the payoffs are i.i.d. random variables with some distribution $F$ and we consider issues related to the pure equilibria in the game as the number of players diverges. It is well-known that, if the distribution $F$ has no atoms, the random number of pure equilibria is asymptotically Poisson$(1)$. In the presence of atoms, it diverges. For each strategy profile, we consider the (random) average payoff of the players, called Average Social Utility (ASU). In particular, we examine the asymptotic behavior of the optimum ASU and the one associated to the best and worst pure Nash equilibria and we show that, although these quantities are random, they converge, as $n\to\infty$ to some deterministic quantities.

A vertical 2-sum of a two-coatom lattice $L$ and a two-atom lattice $U$ is obtained by removing the top of $L$ and the bottom of $U$, and identifying the coatoms of $L$ with the atoms of $U$. This operation creates one or two nonisomorphic lattices depending on the symmetry case. Here the symmetry cases are analyzed, and a recurrence relation is presented that expresses the number of such vertical 2-sums in some family of interest, up to isomorphism. Nonisomorphic, vertically indecomposable modular and distributive lattices are counted and classified up to 35 and 60 elements respectively. Asymptotically their numbers are shown to be at least $Ω(2.3122^n)$ and $Ω(1.7250^n)$, where $n$ is the number of elements. The number of semimodular lattices is shown to grow faster than any exponential in $n$.

The ice-type model proposed by Linus Pauling to explain its entropy at low temperatures is here approached in a didactic way. We first present a theoretically estimated low-temperature entropy and compare it with numerical results. Then, we consider the mapping between this model and the three-colour problem, i.e.,colouring a regular graph with coordination equal to 4 (a two-dimensional lattice) with three colours, for which we apply the transfer-matrix method to calculate all allowed configurations for two-dimensional square lattices of $N$ oxygen atoms ranging from 4 to 225. Finally, from a linear regression of the transfer matrix results, we obtain an estimate for the case $N\rightarrow \infty $ which is compared with the exact solution by Lieb.

Many NP-complete graph problems are polynomial-time solvable on graph classes of bounded clique-width. Several of these problems are polynomial-time solvable on a hereditary graph class ${\cal G}$ if they are so on the atoms (graphs with no clique cut-set) of ${\cal G}$. Hence, we initiate a systematic study into boundedness of clique-width of atoms of hereditary graph classes. A graph $G$ is $H$-free if $H$ is not an induced subgraph of $G$, and it is $(H_1,H_2)$-free if it is both $H_1$-free and $H_2$-free. A class of $H$-free graphs has bounded clique-width if and only if its atoms have this property. This is no longer true for $(H_1,H_2)$-free graphs, as evidenced by one known example. We prove the existence of another such pair $(H_1,H_2)$ and classify the boundedness of clique-width on $(H_1,H_2)$-free atoms for all but 18 cases.

We prove that the matching measure of an infinite vertex-transitive connected graph has no atoms. Generalizing the results of Salez, we show that for an ergodic non-amenable unimodular random rooted graph with uniformly bounded degrees, the matching measure has only finitely many atoms. Ku and Chen proved the analogue of the Gallai-Edmonds structure theorem for non-zero roots of the matching polynomial for finite graphs. We extend their results for infinite graphs. We also show that the corresponding Gallai-Edmonds decomposition is compatible with the zero temperature monomer-dimer model.

We introduce two lifts of the dual immaculate quasisymmetric functions to the polynomial ring. We establish positive formulas for expansions of these dual immaculate slide polynomials into the fundamental slide and quasi-key bases for polynomials. These formulas mirror connections between dual immaculate quasisymmetric functions, fundamental quasisymmetric functions, and Young quasisymmetric Schur functions, extending these connections from the ring of quasisymmetric functions to the full polynomial ring. We also consider a reverse variant of the dual immaculate quasisymmetric functions, mirroring the dichotomy between the quasisymmetric Schur functions and the Young quasisymmetric Schur functions. We show this variant is obtained by taking stable limits of one of our lifts, and utilize these reverse dual immaculate quasisymmetric functions to establish a connection between the dual immaculate quasisymmetric functions and the Demazure atom basis for polynomials.

We compute, mimicking the Lascoux-Schützenberger type A combinatorial procedure, left and right keys for a Kashiwara-Nakashima tableau in type C. These symplectic keys have a similar role as the keys for semistandard Young tableaux. More precisely, our symplectic keys give a tableau criterion for the Bruhat order on the hyperoctahedral group and cosets, and describe Demazure atoms and characters in type C. The right and the left symplectic keys are related through the Lusztig involution. A type C Schützenberger evacuation is defined to realize that involution.

Let $H$ be a transfer Krull monoid over a subset $G_0$ of an abelian group $G$ with finite exponent. 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$, and $H$ is said to be half-factorial if $|\mathsf L(a)|=1$ for all $a\in H$. We show that, if $a \in H$ and $|\mathsf L(a^{\lfloor (3\exp(G) - 3)/2 \rfloor})| = 1$, then the smallest divisor-closed submonoid of $H$ containing $a$ is half-factorial. In addition, we prove that, if $G_0$ is finite and $|\mathsf L(\prod_{g\in G_0}g^{2\mathsf{ord}(g)})|=1$, then $H$ is half-factorial.

In this paper, we shed new light on the spectrum of the relation algebra we call $A_{n}$, which is obtained by splitting the non-flexible diversity atom of $6_{7}$ into $n$ symmetric atoms. Precisely, we show that the minimum value in $\text{Spec}(A_{n})$ is at most $2n^{6 + o(1)}$, which is the first polynomial bound and improves upon the previous bound due to Dodd \& Hirsch (\textit{J. Relational Methods in Computer Science} 2013). We also improve the lower bound to $2n^{2} + 4n + 1$, which is asymptotically double the trivial bound of $n^{2} + 2n + 3$. In the process, we obtain stronger results regarding $\text{Spec}(A_{2}) =\text{Spec}(32_{65})$. Namely, we show that $1024$ is in the spectrum, and no number smaller than 26 is in the spectrum. Our improved lower bounds were obtained by employing a SAT solver, which suggests that such tools may be more generally useful in obtaining representation results.

We compute, mimicking the Lascoux-Schützenberger type A combinatorial procedure, left and right keys for a Kashiwara-Nakashima tableau in type C. These symplectic keys have a similar role as the keys for semistandard Young tableaux. More precisely, our symplectic keys give a tableau criterion for the Bruhat order on the hyperoctahedral group and cosets, and describe Demazure atoms and characters in type C. The right and the left symplectic keys are related through the Lusztig involution. A type C Schützenberger evacuation is defined to realize that involution.

Topological indices are scientific details of graphs which represents its topology and of the most part graph invariant. In QSAR/QSPR, physico-chemical characteristics and topological indices, for example, atom bond connectivity (ABC) and geometric-arithmetic (GA) indices are apply to foresee the bioactivity of concoction mixes. Graph theory discovered a significant practice in the region of investigation. In this paper, we are taking Planar Octahedron networks, produced by honeycomb structure of dimension n and obtain analytical closed results of Multiplicative topological indices for firstly and presents closed formulas of degree based indices.

Given two variables $s$ and $t$, the associated sequence of Lucas polynomials is defined inductively by $\{0\}=0$, $\{1\}=1$, and $\{n\}=s\{n-1\}+t\{n-2\}$ for $n\ge2$. An integer (e.g., a Catalan number) defined by an expression of the form $\prod_i n_i/\prod_j k_j$ has a Lucas analogue obtained by replacing each factor with the corresponding Lucas polynomial. There has been interest in deciding when such expressions, which are a priori only rational functions, are actually polynomials in $s,t$. The approaches so far have been combinatorial. We introduce a powerful algebraic method for answering this question by factoring $\{n\}=\prod_{d|n} P_d(s,t)$, where we call the polynomials $P_d(s,t)$ Lucas atoms. This permits us to show that the Lucas analogues of the Fuss-Catalan and Fuss-Narayana numbers for all irreducible Coxeter groups are polynomials in $s,t$. Using gamma expansions, a technique which has recently become popular in combinatorics and geometry, one can show that the Lucas atoms have a close relationship with cyclotomic polynomials $Φ_d(q)$. Certain results about the $Φ_d(q)$ can then be lifted to Lucas atoms. In particular, one can prove analogues of theorems of Gauss and Lucas, deduce reduction formulas, and evaluate the $P_d(s,t)$ at various specific values of the variables.

We introduce Cayley posets as posets arising naturally from pairs $S<T$ of semigroups, much in the same way that Cayley graph arises from a (semi)group and a subset. We show that Cayley posets are a common generalization of several known classes of posets, e.g. posets of numerical semigroups (with torsion) and more generally affine semigroups. Furthermore, we give Sabidussi-type characterizations for Cayley posets and for several subclasses in terms of their endomorphism monoid. We show that large classes of posets are Cayley posets, e.g., series-parallel posets and (generalizations of) join-semilattices, but also provide examples of posets which cannot be represented this way. Finally, we characterize (locally finite, with a finite number of atoms) auto-equivalent posets - a class that generalizes a recently introduced notion for numerical semigroups - as those posets coming from a finitely generated submonoid of an abelian group.

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.