arXiv++ Combinatorics

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.

The second part of this paper is devoted to the following important question in organic chemistry: given two isomers of a molecule, how to identify them with their structural formulae using only type properties of that molecule? A classical answer of this question is given for benzene by the identification of its di-substituted (para, ortho, and meta), and tri-substituted (asymmetric, vicinal, and symmetric) derivatives via the Korner substitution reactions among them. Here we develop a machinery within the framework of the Lunn-Senior's mathematical model of isomerism in organic chemistry, which, in principle, answers this question. In particular, it is shown that the members of a chiral pair cannot be distinguished via substitution reactions. The examples of ethene, benzene, and cyclopropane are discussed.

In this paper parent substances with molecules which can be divided into a skeleton and six univalent substituents, and that have the properties mentioned in the title, are considered. Two instances are the molecules of benzene and cyclopropane. The Lunn-Senior's symmetry groups of substitution isomerism of these compounds are described and upper bounds of the numbers of their di-substitution and tri-substitution homogeneous derivatives are found. Lists of the possible simple substitution reactions among di-substitution homogeneous derivatives, on one hand, and di-substitution heterogeneous, and tri-substitution homogeneous derivatives, on the other, are given. These substitution reactions allow for some derivatives to be identified with their structural formulae.

The aim of this paper is to present a generalization of Lunn-Senior's mathematical model of isomerism in organic chemistry. The main idea of Lunn and Senior is that if the type of isomerism is fixed, a molecule with a fixed skeleton and d univalent substituents has a symmetry group $W\leq S_d$ which is generally not the molecule's 3-dimensional symmetry group. The unit character of W induces a representation of the symmetric group $S_d$ which governs the combinatorics of the isomers of the given molecule. Lunn-Senior's thesis is that certain non-negative integers established by this representation are upper boundaries of the corresponding numbers, yielded by the experiment (and often coincide with them). Moreover, the authors define (in a particular case) a partial order among the objects of the model, such that some simple substitution reactions correspond to inequalities. These two groups of data determine the group W, and produce so called "type properties" of the molecule (properties which do not depend on the nature of the univalent substituents). Our hypothesis is that if we replace the unit character of $W$ by any one-dimensional character of $W$ (thus we count only a part of the isomers - those having a maximum property), we also get a type property of the molecule. An instance of that is the inventory of the stereoisomers called chiral pairs. The formalism can be generalized naturally and produces some preliminary chemical results. Especially the partial order is defined and studied in the general case and indicates the possible genetic relations among the corresponding molecules. An important result of E. Ruch which connects the dominance order among partitions and the existence of chiral pairs is obtained as a consequence of a more general statement.

Generalizations of Redfield's master theorem and superposition theorem are proved by using decomposition of the tensor product of several induced monomial representations of the symmetric group $S_d$ into transitive constituents. As direct consequences, one obtains several graphical corollaries. Given graphs $Γ_1,\hdots ,Γ_k$, with $d$ vertices, together with their automorphism groups $W_1\leq S_d,\hdots, W_k\leq S_d$, one can find the number of superpositions of $Γ_1,\hdots ,Γ_k$, whose automorphism groups satisfy one of the following conditions: (1) the groups consist of even permutations; (2) the groups are trivial, in case at least one of $W_m$'s is cyclic; (3) the groups are of odd order, in case at least one of $W_m$'s is dihedral and its order is not divisible by 4; (4) the groups are of order dividing a natural number $r$, in case at least one of $W_m$'s has a normal solvable subgroup of order $r$, such that the corresponding factor-group is cyclic of order relatively prime to $r$; (5) the groups are $q$-groups ($q$ is a prime), in case at least one of $W_m$'s has a normal $q$-subgroup such that the corresponding factor-group is cyclic of order relatively prime to $q$.

Polya's fundamental enumeration theorem is generalized in terms of Schur-Macdonald's theory (S-MT) of invariant matrices. Given a permutation group $W\leq S_d$ and a one-dimensional character $χ$ of $W$, the polynomial functor $F_χ$ corresponding via S-MT to the induced monomial representation $U_χ= ind_W^{S_d}(χ)$ of $S_d$, is studied. It turns out that the characteristic $ch(F_χ)$ is the weighted inventory of some set $J(χ)$ of $W$-orbits in the integer-valued hypercube $[0,\infty)^d$. The elements of $J(χ) can be distinguished among all $W$-orbits by a maximum property. The identity $ch(F_χ) = ch(U_χ)$ of both characteristics is a consequence of S-MT. Polya's theorem can be obtained from the above identity by specialization $χ=1_W$, where $1_W$ is the unit character of $W$.