arXiv subjects
Publications and source records attributed to Robert G. Donnelly.
The move-minimizing puzzles presented here are certain types of one-player combinatorial games that are shown to have explicit solutions whenever they can be encoded in a certain way as diamond-colored modular or distributive lattices. Our work here is founded in a new interpretation of some routine and elementary order-theoretic combinatorics.
We construct every finite-dimensional irreducible representation of the simple Lie algebra of type $\mathsf{E}_{7}$ whose highest weight is a nonnegative integer multiple of the dominant minuscule weight associated with the type $\mathsf{E}_{7}$ root system. As a consequence, we obtain constructions of each finite-dimensional irreducible representation of the simple Lie algebra of type $\mathsf{E}_{6}$ whose highest weight is a nonnegative integer linear combination of the two dominant minuscule $\mathsf{E}$-weights. Our constructions are explicit in the sense that, if the representing space is $d$-dimensional, then a weight basis is provided such that all entries of the $d \times d$ representing matrices of the Chevalley generators are obtained via explicit, non-recursive formulas. To effect this work, we introduce what we call $\mathsf{E}_{6}$- and $\mathsf{E}_{7}$-polyminuscule lattices that analogize certain lattices associated with the famous special linear Lie algebra representation constructions obtained by Gelfand and Tsetlin.
`Terquem's problem' is a name given in the twentieth century to the problem of enumerating certain integer sequences whose entries alternate in parity. In particular, this problem asks for the count of strictly increasing length $m$ sequences of positive integers bounded above by some integer $n$ whose odd-indexed entries are odd and whose even-indexed entries are even. This problem and its generalizations have been well-studied. However, the putative original source for this problem, an 1839 paper by Olry Terquem, is subtly different from the problem that is now attributed to Terquem. In this paper, we highlight this distinction and also make connections between Terquem's `forgotten' problem and the Fibonacci sequence, continuants, Bézout's Lemma, and the extended version of the Euclidean Algorithm.
In prior work, the authors, along with M. McClard, R. A. Proctor, and N. J. Wildberger, studied certain distributive lattice models for the `Weyl bialternants' (aka `Weyl characters') associated with the rank two root systems/Weyl groups. These distributive lattices were uniformly described as lattices of order ideals taken from certain grid-like posets, although the arguments connecting the lattices to Weyl bialternants were case-by-case depending on the type of the rank two root system. Using this connection with Weyl bialternants, these lattices were shown to be rank symmetric and rank unimodal, and their rank generating functions were shown to have beautiful quotient-of-products expressions. Here, these results are re-derived from scratch using completely uniform and elementary combinatorial reasoning in conjunction with some combinatorial methodology developed elsewhere by the second listed author.
We present a family of rank symmetric diamond-colored distributive lattices that are naturally related to the Fibonacci sequence and certain of its generalizations. These lattices re-interpret and unify descriptions of some un- or differently-colored lattices found variously in the literature. We demonstrate that our symmetric Fibonaccian lattices naturally realize certain (often reducible) representations of the special linear Lie algebras, with weight basis vectors realized as lattice elements and Lie algebra generators acting along the covering digraph edges of each lattice. We present evidence that each such weight basis possesses certain distinctive extremal properties. We provide new descriptions of the lattice cardinalities and rank generating functions and offer several conjectures/open problems. Throughout, we make connections with integer sequences from the OEIS.
A modular or distributive lattice is `diamond-colored' if its order diagram edges are colored in such a way that, within any diamond of edges, parallel edges have the same color. Such lattices arise naturally in combinatorial representation theory, particularly in the study of poset models for semisimple Lie algebra representations and their companion Weyl group symmetric functions. One of our goals is to gather in one place some elementary but foundational results concerning these lattice structures; this includes some new results as well as some new interpretations of classical results. We then develop many points of contact between diamond-colored modular/distributive lattices and combinatorial Lie representation theory, leading to some new Dynkin diagram classification results and some new results concerning minuscule and quasi-minuscule representations.
We generalize the famous weight basis constructions of the finite-dimensional irreducible representations of $\mathfrak{sl}(n,\mathbb{C})$ obtained by Gelfand and Tsetlin in 1950. Using combinatorial methods, we construct one such basis for each finite-dimensional representation of $\mathfrak{sl}(n,\mathbb{C})$ associated to a given skew Schur function. Our constructions use diamond-colored distributive lattices of skew-shaped semistandard tableaux that generalize some classical Gelfand--Tsetlin (GT) lattices. Our constructions take place within the context of a certain programmatic study of poset models for semisimple Lie algebra representations and Weyl group symmetric functions undertaken by the first-named author and others. Some key aspects of the methodology of that program are recapitulated here. Combinatorial and representation-theoretic applications of our constructions are pursued here and elsewhere.
The `Weyl symmetric functions' studied here naturally generalize classical symmetric (polynomial) functions, and `Weyl bialternants,' sometimes also called Weyl characters, analogize the Schur functions. For this generalization, the underlying symmetry group is a finite Weyl group. A `splitting poset' for a Weyl bialternant is an edge-colored ranked poset possessing a certain structural property and a natural weighting of its elements so that the weighted sum of poset elements is the given Weyl bialternant. Connected such posets are of combinatorial interest in part because they are rank symmetric and rank unimodal and have nice quotient-of-product expressions for their rank generating functions. Supporting graphs of weight bases for irreducible semisimple Lie algebra representations provide one large family of examples. However, many splitting posets can be obtained outside of this Lie theoretic context. This monograph provides a tutorial on Weyl bialternants / Weyl symmetric functions and splitting posets that is largely self-contained and independent of Lie algebra representation theory. New results are also obtained.
We consider various properties and manifestations of some sign-alternating univariate polynomials borne of right-triangular integer arrays related to certain generalizations of the Fibonacci sequence. Using a theory of the root geometry of polynomial sequences developed by J. L. Gross, T. Mansour, T. W. Tucker, and D. G. L. Wang, we show that the roots of these `sign-alternating Gibonacci polynomials' are real and distinct, and we obtain explicit bounds on these roots. We also derive Binet-type closed expressions for the polynomials. Some of these results are applied to resolve finiteness questions pertaining to a one-player combinatorial game (or puzzle) modelled after a well-known puzzle we call the `Networked-numbers Game.' Elsewhere, the first- and second-named authors, in collaboration with A. Nance, have found rank symmetric `diamond-colored' distributive lattices naturally related to certain representations of the special linear Lie algebras. Those lattice cardinalities can be computed using sign-alternating Fibonacci polynomials, and the lattice rank generating functions correspond to the rows of some new and easily defined triangular integer arrays. Here, we present Gibonaccian, and in particular Lucasian, versions of those symmetric Fibonaccian lattices/results, but without the algebraic context of the latter.
For a given family of similar shapes, what we call a "unit shape" strongly analogizes the role of the unit circle within the family of all circles. Within many such families of similar shapes, we present what we believe is naturally and intrinsically unital about their unit shapes. We present a number of calculus problems related to extremal questions about collections of unit shapes, and we recapitulate some isoperimetric problems in terms of unit shapes. We close by presenting some problems (some of which are open) and by proffering perhaps a new perspective on the $π$ vs. $τ$ debate.
A "truncation" of Pascal's triangle is a triangular array of numbers that satisfies the usual Pascal recurrence but with a boundary condition that declares some terminal set of numbers along each row of the array to be zero. Presented here is a family of natural truncations of Pascal's triangle that generalize a kind of Catalan triangle. The numbers in each array are realized as differences of binomial coefficients, as counts of certain lattice paths and tableaux, and as entries of representing matrices for certain linear transformations of polynomial spaces. Lucas's theorem is applied to determine precisely those truncations for which the number of odd entries on each row is a power of two.
We present some elementary but foundational results concerning diamond-colored modular and distributive lattices and connect these structures to certain one-player combinatorial "move-minimizing games," in particular, a so-called "domino game." The objective of this game is to find, if possible, the least number of "domino moves" to get from one partition to another, where a domino move is, with one exception, the addition or removal of a domino-shaped pair of tiles. We solve this domino game by demonstrating the somewhat surprising fact that the associated "game graphs" coincide with a well-known family of diamond-colored distributive lattices which shall be referred to as the "type $\mathsf{A}$ fundamental lattices." These lattices arise as supporting graphs for the fundamental representations of the special linear Lie algebras and as splitting posets for type $\mathsf{A}$ fundamental symmetric functions, connections which are further explored in sequel papers for types $\mathsf{A}$, $\mathsf{C}$, and $\mathsf{B}$. In this paper, this connection affords a solution to the proposed domino game as well as new descriptions of the type $\mathsf{A}$ fundamental lattices.
Results are obtained concerning the roots of asymmetric geometric representations of Coxeter groups. These representations were independently introduced by Vinberg and Eriksson, and generalize the standard geometric representation of a Coxeter group in such a way as to include all Kac--Moody Weyl groups. In particular, a characterization of when a non-trivial multiple of a root may also be a root is given in the general context. Characterizations of when the number of such multiples of a root is finite and when the number of positive roots sent to negative roots by a group element is finite are also given. These characterizations are stated in terms of combinatorial conditions on a graph closely related to the Coxeter graph for the group. Other finiteness results for the symmetric case which are connected to the Tits cone and to a natural partial order on positive roots are extended to this asymmetric setting.
Statistical summaries of certain kinds of mathematics research output are given for a large sample of U.S. regional public universities. These statistical summaries are reported using a variety of metrics that distinguish between single-authored and collaborative work and account for publication length.
The numbers game is a one-player game played on a finite simple graph with certain "amplitudes" assigned to its edges and with an initial assignment of real numbers to its nodes. The moves of the game successively transform the numbers at the nodes using the amplitudes in a certain way. Here, the edge amplitudes will be negative integers. Combinatorial methods are used to investigate the convergence and divergence of numbers games played on certain such graphs. The results obtained here provide support for results in a companion paper.
The numbers game is a one-player game played on a finite simple graph with certain "amplitudes" assigned to its edges and with an initial assignment of real numbers to its nodes. The moves of the game successively transform the numbers at the nodes using the amplitudes in a certain way. Combinatorial reasoning is used to show that those connected graphs with negative integer amplitudes for which the numbers game meets a certain finiteness requirement are precisely the Dynkin diagrams associated with the finite-dimensional complex simple Lie algebras. This strengthens a result originally due to the second author. A more general result is obtained when certain real number amplitudes are allowed. The resulting graphs are in families, each family corresponding to a finite irreducible Coxeter group. These results are used to demonstrate that the only generalized Cartan matrices for which there exist finite edge-colored ranked posets enjoying a certain structure property are the Cartan matrices for the finite-dimensional complex semisimple Lie algebras. In this setting, classifications of the finite-dimensional Kac--Moody algebras and of the finite Coxeter and Weyl groups are re-derived.
The numbers game is a one-player game played on a finite simple graph with certain ``amplitudes'' assigned to its edges and with an initial assignment of real numbers to its nodes. The moves of the game successively transform the numbers at the nodes using the amplitudes in a certain way. This game and its interactions with Coxeter/Weyl group theory and Lie theory have been studied by many authors. Following Eriksson, we allow the amplitudes on graph edges to be certain real numbers. Games played on such graphs are ``E-games.'' We show that for certain such three-node cyclic graphs, any numbers game will diverge when played from an initial assignment of nonnegative real numbers not all zero. This result is a key step in a Dynkin diagram classification (obtained elsewhere) of all E-game graphs which meet a certain finiteness requirement.
The numbers game is a one-player game played on a finite simple graph with certain ``amplitudes'' assigned to its edges and with an initial assignment of real numbers to its nodes. The moves of the game successively transform the numbers at the nodes using the amplitudes in a certain way. This game and its interactions with Coxeter/Weyl group theory and Lie theory have been studied by many authors. In particular, Eriksson connects certain geometric representations of Coxeter groups with games on graphs with certain real number amplitudes. Games played on such graphs are ``E-games.'' Here we investigate various finiteness aspects of E-game play: We extend Eriksson's work relating moves of the game to reduced decompositions of elements of a Coxeter group naturally associated to the game graph. We use Stembridge's theory of fully commutative Coxeter group elements to classify what we call here the ``adjacency-free'' initial positions for finite E-games. We characterize when the positive roots for certain geometric representations of finite Coxeter groups can be obtained from E-game play. Finally, we provide a new Dynkin diagram classification result of E-game graphs meeting a certain finiteness requirement.