To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
In the modern mathematical literature, Catalan numbers are wonderfully ubiquitous. Although they appear in a variety of disguises, we are so used to having them around, it is perhaps hard to imagine a time when they were either unknown, or known but obscure and underappreciated. It may then come as a surprise that Catalan numbers have a rich history of multiple rediscoveries until relatively recently. Here we review more than 200 years of history, from their first discovery to modern times.
We break the history into short intervals of mathematical activity, each covered in a different section. We spend most of our effort on the early history but do bring it to modern times. We should warn the reader that although this work is in the History of Mathematics, the author is not a mathematical historian. Rather, this work is more of a historical survey with some added speculations based on our extensive reading of the even more extensive literature. Due to the space limitations, this survey is very much incomplete, as we tend to emphasize first discoveries and papers of influence rather than describe subsequent developments.
This paper in part is based on our earlier investigation reported in [54]. Many primary sources are assembled on the Catalan Numbers website [55], including scans of the original works and their English translations.
Ming Antu
The Mongolian astronomer, mathematician, and topographic scientist Minggatu (full name Sharabiin Myangat) (c. 1692–c. 1763), worked at the Qing court in China. Ming's Chinese name is Ming'antu and courtesy name is Jing An. In the 1730s, he wrote a book Quick Methods for Accurate Values of Circle Segments, which included a number of trigonometric identities and power series, some involving Catalan numbers:
He also obtained the recurrence formula
He appears to have no inkling of a combinatorial interpretation of Catalan numbers.
This text had its origins in the 1970s, when I first started teaching enumerative combinatorics and became aware of the ubiquity of Catalan numbers. Originally I just made a handwritten list for my own benefit. One of the earliest such lists has survived the ravages of time and appears in Appendix A. Over the years, the list became larger and more sophisticated. When I wrote the second volume of Enumerative Combinatorics (published in 1999), I included sixty-six combinatorial interpretations of Catalan numbers (Exercise 6.19) as well as numerous other exercises related to Catalan numbers. Since then I have continued to collect information on Catalan numbers, posting most of it on my “Catalan addendum” web page. Now the time has come to wrap up this 40 + years of compiling Catalan material, hence the present monograph. Much of it should be accessible to mathematically talented undergraduates or even high school students, while some parts will be of interest primarily to research mathematicians.
This monograph centers on 214 combinatorial interpretations of Catalan numbers (Chapters 2 and 3). Naturally some subjectivity is involved in deciding what should count as a new interpretation. It would be easy to expand the list by several hundred more entries by a little tweaking of the current items or by “transferring bijections.” For instance, there is a simple bijection φ between plane trees and ballot sequences. Thus, whenever we have a description of a Catalan object in terms of plane trees, we can apply φ and obtain a description in terms of ballot sequences. I have used my own personal tastes in deciding which such descriptions are worthwhile to include. If the reader feels that 214 is too low a number, then he or she can take solace in the solution to item 65, which discusses infinitely many combinatorial interpretations.
Also central to this monograph are the sixty-eight additional problems related to Catalan numbers in Chapters 4 and 5.
Let h > w > 0 be two fixed integers. Let H be a random hypergraph whose hyperedges are all of cardinality h. To w-orient a hyperedge, we assign exactly w of its vertices positive signs with respect to the hyperedge, and the rest negative signs. A (w,k)-orientation of H consists of a w-orientation of all hyperedges of H, such that each vertex receives at most k positive signs from its incident hyperedges. When k is large enough, we determine the threshold of the existence of a (w,k)-orientation of a random hypergraph. The (w,k)-orientation of hypergraphs is strongly related to a general version of the off-line load balancing problem. The graph case, when h = 2 and w = 1, was solved recently by Cain, Sanders and Wormald and independently by Fernholz and Ramachandran. This settled a conjecture of Karp and Saks.
In [1], the authors consider a random walk (Zn,1, . . ., Zn,K+1) ∈ ${\mathbb{Z}}$K+1 with the constraint that each coordinate of the walk is at distance one from the following coordinate. A functional central limit theorem for the first coordinate is proved and the limit variance is explicited. In this paper, we study an extended version of this model by conditioning the extremal coordinates to be at some fixed distance at every time. We prove a functional central limit theorem for this random walk. Using combinatorial tools, we give a precise formula of the variance and compare it with that obtained in [1].
Assuming $T_{0}$ to be an m-accretive operator in the complex Hilbert space ${\mathcal{H}}$, we use a resolvent method due to Kato to appropriately define the additive perturbation $T=T_{0}+W$ and prove stability of square root domains, that is,
which is most suitable for partial differential equation applications. We apply this approach to elliptic second-order partial differential operators of the form
in $L^{2}({\rm\Omega})$ on certain open sets ${\rm\Omega}\subseteq \mathbb{R}^{n}$, $n\in \mathbb{N}$, with Dirichlet, Neumann, and mixed boundary conditions on $\partial {\rm\Omega}$, under general hypotheses on the (typically, non-smooth, unbounded) coefficients and on $\partial {\rm\Omega}$.
Let $\mathcal{F}$ be a family of r-uniform hypergraphs. The chromatic threshold of $\mathcal{F}$ is the infimum of all non-negative reals c such that the subfamily of $\mathcal{F}$ comprising hypergraphs H with minimum degree at least $c \binom{| V(H) |}{r-1}$ has bounded chromatic number. This parameter has a long history for graphs (r = 2), and in this paper we begin its systematic study for hypergraphs.
Łuczak and Thomassé recently proved that the chromatic threshold of the so-called near bipartite graphs is zero, and our main contribution is to generalize this result to r-uniform hypergraphs. For this class of hypergraphs, we also show that the exact Turán number is achieved uniquely by the complete (r + 1)-partite hypergraph with nearly equal part sizes. This is one of very few infinite families of non-degenerate hypergraphs whose Turán number is determined exactly. In an attempt to generalize Thomassen's result that the chromatic threshold of triangle-free graphs is 1/3, we prove bounds for the chromatic threshold of the family of 3-uniform hypergraphs not containing {abc, abd, cde}, the so-called generalized triangle.
In order to prove upper bounds we introduce the concept of fibre bundles, which can be thought of as a hypergraph analogue of directed graphs. This leads to the notion of fibre bundle dimension, a structural property of fibre bundles that is based on the idea of Vapnik–Chervonenkis dimension in hypergraphs. Our lower bounds follow from explicit constructions, many of which use a hypergraph analogue of the Kneser graph. Using methods from extremal set theory, we prove that these Kneser hypergraphs have unbounded chromatic number. This generalizes a result of Szemerédi for graphs and might be of independent interest. Many open problems remain.
Let ${\it\mu}_{1},\ldots ,{\it\mu}_{s}$ be real numbers, with ${\it\mu}_{1}$ irrational. We investigate sums of shifted $k$th powers $\mathfrak{F}(x_{1},\ldots ,x_{s})=(x_{1}-{\it\mu}_{1})^{k}+\cdots +(x_{s}-{\it\mu}_{s})^{k}$. For $k\geqslant 4$, we bound the number of variables needed to ensure that if ${\it\eta}$ is real and ${\it\tau}>0$ is sufficiently large then there exist integers $x_{1}>{\it\mu}_{1},\ldots ,x_{s}>{\it\mu}_{s}$ such that $|\mathfrak{F}(\mathbf{x})-{\it\tau}|<{\it\eta}$. This is a real analogue to Waring’s problem. When $s\geqslant 2k^{2}-2k+3$, we provide an asymptotic formula. We prove similar results for sums of general univariate degree-$k$ polynomials.
We study the system of Maxwell equations for a periodic composite dielectric medium with components whose dielectric permittivities ${\it\epsilon}$ have a high degree of contrast between each other. We assume that the ratio between the permittivities of the components with low and high values of ${\it\epsilon}$ is of the order ${\it\eta}^{2}$, where ${\it\eta}>0$ is the period of the medium. We determine the asymptotic behaviour of the electromagnetic response of such a medium in the “homogenization limit”, as ${\it\eta}\rightarrow 0$, and derive the limit system of Maxwell equations in $\mathbb{R}^{3}$. Our results extend a number of conclusions of a paper by Zhikov [On gaps in the spectrum of some divergent elliptic operators with periodic coefficients. St. Petersburg Math. J.16(5) (2004), 719–773] to the case of the full system of Maxwell equations.
Nešetřil and Ossona de Mendez introduced the notion of first-order convergence, which unifies the notions of convergence for sparse and dense graphs. They asked whether, if (Gi)i∈ℕ is a sequence of graphs with M being their first-order limit and v is a vertex of M, then there exists a sequence (vi)i∈ℕ of vertices such that the graphs Gi rooted at vi converge to M rooted at v. We show that this holds for almost all vertices v of M, and we give an example showing that the statement need not hold for all vertices.
We study a fast method for computing potentials of advection–diffusion operators $-{\rm\Delta}+2\mathbf{b}\boldsymbol{\cdot }{\rm\nabla}+c$ with $\mathbf{b}\in \mathbb{C}^{n}$ and $c\in \mathbb{C}$ over rectangular boxes in $\mathbb{R}^{n}$. By combining high-order cubature formulas with modern methods of structured tensor product approximations, we derive an approximation of the potentials which is accurate and provides approximation formulas of high order. The cubature formulas have been obtained by using the basis functions introduced in the theory of approximate approximations. The action of volume potentials on the basis functions allows one-dimensional integral representations with separable integrands, i.e. a product of functions depending on only one of the variables. Then a separated representation of the density, combined with a suitable quadrature rule, leads to a tensor product representation of the integral operator. Since only one-dimensional operations are used, the resulting method is effective also in the high-dimensional case.
The first open case of the Brown–Erdős–Sós conjecture is equivalent to the following: for every c > 0, there is a threshold n0 such that if a quasigroup has order n ⩾ n0, then for every subset S of triples of the form (a, b, ab) with |S| ⩾ cn2, there is a seven-element subset of the quasigroup which spans at least four triples of S. In this paper we prove the conjecture for finite groups.
This chapter contains a fairly self-contained account of the representation theory of finite groups over a field whose characteristic does not divide the order of the group (the semisimple case). The reader who is already familiar with representations, the group algebra, Schur's lemma, characters, and Schur's orthogonality relations could move on to Chapter 2. However, the treatment of these topics in this book may have some new insights for some readers. For instance, the reader will find a careful explanation of why it is that characters (traces of representations) play such an important role in the theory.
Representations and Modules
Let K be a field and G be a finite group. For a K-vector space V, let GL(V) denote the group of all invertible K-linear maps V → V.
Definition 1.1.1 (Representation). A representation of G is a pair (ρ, V), where V is a K-vector space and ρ : G → GL(V) is a homomorphism of groups.
Definition 1.1.2 (Multiplicative character). A multiplicative character of G is a homomorphism χ : G → K*. Here, K* denotes the multiplicative group of non-zero elements of K.
Example 1.1.3. The simplest example of a multiplicative character χ : G → K* is given by χ(g) = 1 for all g ∈ G. This is called the trivial character of G. A non-trivial character is any character that is different from the trivial character.
Each multiplicative character χ gives rise to a representation as follows: take V to be the one-dimensional vector space K and take ρ to be the homomorphism which takes g ∈ G to the linear automorphism of K, which multiplies each element by χ(g). Conversely, every one-dimensional representation comes from a multiplicative character. The representation corresponding to the trivial character of G is called the trivial representation of G.
[1] Exercise 1.1.4. Show that each multiplicative character of G contains [G, G] in its kernel (and therefore descends to a multiplicative character G/[G, G] → K*).