1. CJM Online first
 McDiarmid, Colin; Wood, David R.

EdgeMaximal Graphs on Surfaces
We prove that for every surface $\Sigma$ of Euler genus $g$,
every edgemaximal embedding of a graph in $\Sigma$ is at most
$O(g)$ edges short of a triangulation of $\Sigma$. This provides
the first answer to an open problem of Kainen (1974).
Keywords:graph, surface, embedding Category:05C10 

2. CJM Online first
 Green, Ben Joseph; Lindqvist, Sofia

Monochromatic solutions to $x + y = z^2$
Suppose that $\mathbb{N}$ is $2$coloured. Then there are infinitely
many monochromatic solutions to $x + y = z^2$. On the other hand,
there is a $3$colouring of $\mathbb{N}$ with only finitely many monochromatic solutions to this equation.
Keywords:additive combinatorics, Ramsey theory Categories:11B75, 05D10 

3. CJM Online first
 de Joannis de Verclos, Rémi; Kang, Ross J.; Pastor, Lucas

Colouring squares of clawfree graphs
Is there some absolute $\varepsilon > 0$ such that for any clawfree
graph $G$, the chromatic number of the square of $G$ satisfies
$\chi(G^2) \le (2\varepsilon) \omega(G)^2$, where $\omega(G)$ is the
clique number of $G$? ErdÅs and NeÅ¡etÅil asked this
question for the specific case of $G$ the line graph of a simple graph
and this was answered in the affirmative by Molloy and Reed. We show
that the answer to the more general question is also yes, and moreover
that it essentially reduces to the original question of ErdÅs and
NeÅ¡etÅil.
Keywords:graph colouring, ErdÅsNeÅ¡etÅil conjecture, clawfree graphs Categories:05C15, 05C35, 05C70 

4. CJM 2016 (vol 69 pp. 143)
 Levinson, Jake

Onedimensional Schubert Problems with Respect to Osculating Flags
We consider Schubert problems with respect to flags osculating
the rational normal curve. These problems are of special interest
when the osculation points are all real  in this case, for
zerodimensional Schubert problems, the solutions are "as real
as possible". Recent work by Speyer has extended the theory
to the moduli space
$
\overline{\mathcal{M}_{0,r}}
$,
allowing the points to collide.
These give rise to smooth covers of
$
\overline{\mathcal{M}_{0,r}}
(\mathbb{R})
$, with structure
and monodromy described by Young tableaux and jeu de taquin.
In this paper, we give analogous results on onedimensional Schubert
problems over
$
\overline{\mathcal{M}_{0,r}}
$.
Their (real) geometry turns out to
be described by orbits of SchÃ¼tzenberger promotion and a
related operation involving tableau evacuation. Over
$\mathcal{M}_{0,r}$,
our results show that the real points of the solution curves
are smooth.
We also find a new identity involving "firstorder" Ktheoretic
LittlewoodRichardson coefficients, for which there does not
appear to be a known combinatorial proof.
Keywords:Schubert calculus, stable curves, ShapiroShapiro Conjecture, jeu de taquin, growth diagram, promotion Categories:14N15, 05E99 

5. CJM 2016 (vol 69 pp. 21)
 Grinberg, Darij

Dual Creation Operators and a Dendriform Algebra Structure on the Quasisymmetric Functions
The dual immaculate functions are a basis of the ring $\operatorname*{QSym}$
of quasisymmetric functions, and form one of the most natural
analogues of the
Schur functions. The dual immaculate function corresponding to
a composition
is a weighted generating function for immaculate tableaux in
the same way as a
Schur function is for semistandard Young tableaux; an "
immaculate tableau" is defined similarly to be
a semistandard
Young tableau, but the shape is a composition rather than a partition,
and
only the first column is required to strictly increase (whereas
the other
columns can be arbitrary; but each row has to weakly increase).
Dual
immaculate functions have been introduced by Berg, Bergeron,
Saliola, Serrano
and Zabrocki in arXiv:1208.5191, and have since been found to
possess numerous
nontrivial properties.
In this note, we prove a conjecture of Mike Zabrocki which provides
an
alternative construction for the dual immaculate functions in
terms of certain
"vertex operators". The proof uses a dendriform structure on
the ring
$\operatorname*{QSym}$; we discuss the relation of this structure
to known
dendriform structures on the combinatorial Hopf algebras
$\operatorname*{FQSym}$ and $\operatorname*{WQSym}$.
Keywords:combinatorial Hopf algebras, quasisymmetric functions, dendriform algebras, immaculate functions, Young tableaux Category:05E05 

6. CJM 2016 (vol 68 pp. 876)
 Ostrovskii, Mikhail; Randrianantoanina, Beata

Metric Spaces Admitting Lowdistortion Embeddings into All $n$dimensional Banach Spaces
For a fixed $K\gg 1$ and
$n\in\mathbb{N}$, $n\gg 1$, we study metric
spaces which admit embeddings with distortion $\le K$ into each
$n$dimensional Banach space. Classical examples include spaces
embeddable
into $\log n$dimensional Euclidean spaces, and equilateral spaces.
We prove that good embeddability properties are preserved under
the operation of metric composition of metric spaces. In
particular, we prove that $n$point ultrametrics can be
embedded with uniformly bounded distortions into arbitrary Banach
spaces of dimension $\log n$.
The main result of the paper is a new example of a family of
finite metric spaces which are not metric compositions of
classical examples and which do embed with uniformly bounded
distortion into any Banach space of dimension $n$. This partially
answers a question of G. Schechtman.
Keywords:basis constant, bilipschitz embedding, diamond graph, distortion, equilateral set, ultrametric Categories:46B85, 05C12, 30L05, 46B15, 52A21 

7. CJM 2016 (vol 68 pp. 481)
 Bacher, Roland; Reutenauer, Christophe

Number of Right Ideals and a $q$analogue of Indecomposable Permutations
We prove that the number of right ideals of codimension $n$ in
the algebra of noncommutative Laurent polynomials in two variables over the finite field $\mathbb F_q$ is equal to
$(q1)^{n+1} q^{\frac{(n+1)(n2)}{2}}\sum_\theta q^{inv(\theta)}$,
where the
sum is over all indecomposable permutations in $S_{n+1}$ and
where $inv(\theta)$
stands for the number of inversions of $\theta$.
Keywords:permutation, indecomposable permutation, subgroups of free groups Categories:05A15, 05A19 

8. CJM 2015 (vol 68 pp. 44)
 Fernández Bretón, David J.

Strongly Summable Ultrafilters, Union Ultrafilters, and the Trivial Sums Property
We answer two questions of Hindman, SteprÄns and Strauss,
namely we prove that every
strongly summable
ultrafilter on an abelian group is sparse and has the trivial
sums property. Moreover we
show that in most
cases the sparseness of the given ultrafilter is a
consequence of its being isomorphic to a union ultrafilter. However,
this does not happen
in all cases:
we also construct (assuming Martin's Axiom for countable partial
orders, i.e.
$\operatorname{cov}(\mathcal{M})=\mathfrak c$), on the
Boolean group, a strongly summable ultrafilter that
is not additively isomorphic to any union ultrafilter.
Keywords:ultrafilter, StoneCech compactification, sparse ultrafilter, strongly summable ultrafilter, union ultrafilter, finite sum, additive isomorphism, trivial sums property, Boolean group, abelian group Categories:03E75, 54D35, 54D80, 05D10, 05A18, 20K99 

9. CJM 2014 (vol 67 pp. 721)
 Allen, Peter; Böttcher, Julia; Hladký, Jan; Piguet, Diana

A Density CorrÃ¡diHajnal Theorem
We find, for all sufficiently large $n$ and each $k$, the maximum number of edges in an $n$vertex graph which does not contain $k+1$ vertexdisjoint triangles.
This extends a result of Moon [Canad. J. Math. 20 (1968), 96102] which is in turn an extension of Mantel's Theorem. Our result can also be viewed as a density version of the CorrÃ¡diHajnal Theorem.
Keywords:graph theory, Turan's Theorem, Mantel's Theorem, CorrÃ¡diHajnal Theorem, triangle Category:05C35 

10. CJM 2014 (vol 66 pp. 1327)
11. CJM 2013 (vol 65 pp. 1287)
 Reihani, Kamran

$K$theory of Furstenberg Transformation Group $C^*$algebras
The paper studies the $K$theoretic invariants of the crossed product
$C^{*}$algebras associated with an important family of homeomorphisms
of the tori $\mathbb{T}^{n}$ called Furstenberg transformations.
Using the PimsnerVoiculescu theorem, we prove that given $n$, the
$K$groups of those crossed products, whose corresponding $n\times n$
integer matrices are unipotent of maximal degree, always have the same
rank $a_{n}$. We show using the theory developed here that a claim
made in the literature about the torsion subgroups of these $K$groups
is false. Using the representation theory of the simple Lie algebra
$\frak{sl}(2,\mathbb{C})$, we show that, remarkably, $a_{n}$ has a
combinatorial significance. For example, every $a_{2n+1}$ is just the
number of ways that $0$ can be represented as a sum of integers
between $n$ and $n$ (with no repetitions). By adapting an argument
of van Lint (in which he answered a question of ErdÅs), a simple,
explicit formula for the asymptotic behavior of the sequence
$\{a_{n}\}$ is given. Finally, we describe the order structure of the
$K_{0}$groups of an important class of Furstenberg crossed products,
obtaining their complete Elliott invariant using classification
results of H. Lin and N. C. Phillips.
Keywords:$K$theory, transformation group $C^*$algebra, Furstenberg transformation, Anzai transformation, minimal homeomorphism, positive cone, minimal homeomorphism Categories:19K14, 19K99, 46L35, 46L80, , 05A15, 05A16, 05A17, 15A36, 17B10, 17B20, 37B05, 54H20 

12. CJM 2013 (vol 66 pp. 525)
13. CJM 2013 (vol 65 pp. 843)
 Jonsson, Jakob

3torsion in the Homology of Complexes of Graphs of Bounded Degree
For $\delta \ge 1$ and $n \ge 1$, consider the simplicial
complex of graphs on $n$ vertices in which each vertex has degree
at most $\delta$; we identify a given graph with its edge set and
admit one loop at each vertex.
This complex is of some importance in the theory of semigroup
algebras.
When $\delta = 1$, we obtain the
matching complex, for which it is known that
there is $3$torsion in degree $d$ of the homology
whenever $\frac{n4}{3} \le d \le \frac{n6}{2}$.
This paper establishes similar bounds for $\delta \ge
2$. Specifically, there is $3$torsion in degree $d$ whenever
$\frac{(3\delta1)n8}{6} \le d \le \frac{\delta (n1) 
4}{2}$.
The procedure for detecting
torsion is to construct an explicit cycle $z$ that is easily seen
to have the property that $3z$ is a boundary. Defining a
homomorphism that sends
$z$ to a nonboundary element in the chain complex of a certain
matching complex, we obtain that $z$ itself is a nonboundary.
In particular, the homology class of $z$ has order $3$.
Keywords:simplicial complex, simplicial homology, torsion group, vertex degree Categories:05E45, 55U10, 05C07, 20K10 

14. CJM 2013 (vol 66 pp. 205)
 Iovanov, Miodrag Cristian

Generalized Frobenius Algebras and Hopf Algebras
"CoFrobenius" coalgebras were introduced as dualizations of
Frobenius algebras.
We previously showed
that they admit
leftright symmetric characterizations analogue to those of Frobenius
algebras. We consider the more general quasicoFrobenius (QcF)
coalgebras; the first main result in this paper is that these also
admit symmetric characterizations: a coalgebra is QcF if it is weakly
isomorphic to its (left, or right) rational dual $Rat(C^*)$, in the
sense that certain coproduct or product powers of these objects are
isomorphic. Fundamental results of Hopf algebras, such as the
equivalent characterizations of Hopf algebras with nonzero integrals
as left (or right) coFrobenius, QcF, semiperfect or with nonzero
rational dual, as well as the uniqueness of integrals and a short
proof of the bijectivity of the antipode for such Hopf algebras all
follow as a consequence of these results. This gives a purely
representation theoretic approach to many of the basic fundamental
results in the theory of Hopf algebras. Furthermore, we introduce a
general concept of Frobenius algebra, which makes sense for infinite
dimensional and for topological algebras, and specializes to the
classical notion in the finite case. This will be a topological
algebra $A$ that is isomorphic to its complete topological dual
$A^\vee$. We show that $A$ is a (quasi)Frobenius algebra if and only
if $A$ is the dual $C^*$ of a (quasi)coFrobenius coalgebra $C$. We
give many examples of coFrobenius coalgebras and Hopf algebras
connected to category theory, homological algebra and the newer
qhomological algebra, topology or graph theory, showing the
importance of the concept.
Keywords:coalgebra, Hopf algebra, integral, Frobenius, QcF, coFrobenius Categories:16T15, 18G35, 16T05, 20N99, 18D10, 05E10 

15. CJM 2012 (vol 65 pp. 863)
 JosuatVergès, Matthieu

Cumulants of the $q$semicircular Law, Tutte Polynomials, and Heaps
The $q$semicircular distribution is a probability law that
interpolates between the Gaussian law and the semicircular law. There
is a combinatorial interpretation of its moments in terms of matchings
where $q$ follows the number of crossings, whereas for the free
cumulants one has to restrict the enumeration to connected matchings.
The purpose of this article is to describe combinatorial properties of
the classical cumulants. We show that like the free cumulants, they
are obtained by an enumeration of connected matchings, the weight
being now an evaluation of the Tutte polynomial of a socalled
crossing graph. The case $q=0$ of these cumulants was studied by
Lassalle using symmetric functions and hypergeometric series. We show
that the underlying combinatorics is explained through the theory of
heaps, which is Viennot's geometric interpretation of the
CartierFoata monoid. This method also gives a general formula for
the cumulants in terms of free cumulants.
Keywords:moments, cumulants, matchings, Tutte polynomials, heaps Categories:05A18, 05C31, 46L54 

16. CJM 2012 (vol 65 pp. 1020)
 Goulden, I. P.; GuayPaquet, Mathieu; Novak, Jonathan

Monotone Hurwitz Numbers in Genus Zero
Hurwitz numbers count branched covers of the Riemann sphere with specified ramification data, or equivalently, transitive permutation factorizations in the symmetric group with specified cycle types. Monotone Hurwitz numbers count a restricted subset of these branched covers related to the expansion of complete symmetric functions in the JucysMurphy elements, and have arisen in recent work on the the asymptotic expansion of the HarishChandraItzyksonZuber integral. In this paper we begin a detailed study of monotone Hurwitz numbers. We prove two results that are reminiscent of those for classical Hurwitz numbers. The first is the monotone joincut equation, a partial differential equation with initial conditions that characterizes the generating function for monotone Hurwitz numbers in arbitrary genus. The second is our main result, in which we give an explicit formula for monotone Hurwitz numbers in genus zero.
Keywords:Hurwitz numbers, matrix models, enumerative geometry Categories:05A15, 14E20, 15B52 

17. CJM 2012 (vol 65 pp. 222)
 Sauer, N. W.

Distance Sets of Urysohn Metric Spaces
A metric space $\mathrm{M}=(M;\operatorname{d})$ is {\em homogeneous} if for every
isometry $f$ of a finite subspace of $\mathrm{M}$ to a subspace of
$\mathrm{M}$ there exists an isometry of $\mathrm{M}$ onto
$\mathrm{M}$ extending $f$. The space $\mathrm{M}$ is {\em universal}
if it isometrically embeds every finite metric space $\mathrm{F}$ with
$\operatorname{dist}(\mathrm{F})\subseteq \operatorname{dist}(\mathrm{M})$. (With
$\operatorname{dist}(\mathrm{M})$ being the set of distances between points in
$\mathrm{M}$.)
A metric space $\boldsymbol{U}$ is an {\em Urysohn} metric space if
it is homogeneous, universal, separable and complete. (It is not
difficult to deduce
that an Urysohn metric space $\boldsymbol{U}$ isometrically embeds
every separable metric space $\mathrm{M}$ with
$\operatorname{dist}(\mathrm{M})\subseteq \operatorname{dist}(\boldsymbol{U})$.)
The main results are: (1) A characterization of the sets
$\operatorname{dist}(\boldsymbol{U})$ for Urysohn metric spaces $\boldsymbol{U}$.
(2) If $R$ is the distance set of an Urysohn metric space and
$\mathrm{M}$ and $\mathrm{N}$ are two metric spaces, of any
cardinality with distances in $R$, then they amalgamate disjointly to
a metric space with distances in $R$. (3) The completion of every
homogeneous, universal, separable metric space $\mathrm{M}$ is
homogeneous.
Keywords:partitions of metric spaces, Ramsey theory, metric geometry, Urysohn metric space, oscillation stability Categories:03E02, 22F05, 05C55, 05D10, 22A05, 51F99 

18. CJM 2012 (vol 65 pp. 241)
 Aguiar, Marcelo; Lauve, Aaron

Lagrange's Theorem for Hopf Monoids in Species
Following Radford's proof of Lagrange's theorem for pointed Hopf algebras,
we prove Lagrange's theorem for Hopf monoids in the category of
connected species.
As a corollary, we obtain necessary conditions for a given subspecies
$\mathbf k$ of a Hopf monoid $\mathbf h$ to be a Hopf submonoid: the quotient of
any one of the generating series of $\mathbf h$ by the corresponding
generating series of $\mathbf k$ must have nonnegative coefficients. Other
corollaries include a necessary condition for a sequence of
nonnegative integers to be the
dimension sequence of a Hopf monoid
in the form of certain polynomial inequalities, and of
a settheoretic Hopf monoid in the form of certain linear inequalities.
The latter express that the binomial transform of the sequence must be nonnegative.
Keywords:Hopf monoids, species, graded Hopf algebras, Lagrange's theorem, generating series, PoincarÃ©BirkhoffWitt theorem, Hopf kernel, Lie kernel, primitive element, partition, composition, linear order, cyclic order, derangement Categories:05A15, 05A20, 05E99, 16T05, 16T30, 18D10, 18D35 

19. CJM 2011 (vol 64 pp. 1090)
 Rosso, Daniele

Classic and Mirabolic RobinsonSchenstedKnuth Correspondence for Partial Flags
In this paper we first generalize to the case of
partial flags a result proved both by Spaltenstein and by Steinberg
that relates the relative position of two complete flags and the
irreducible components of the flag variety in which they lie, using
the RobinsonSchenstedKnuth correspondence. Then we use this result
to generalize the mirabolic RobinsonSchenstedKnuth correspondence
defined by Travkin, to the case of two partial flags and a line.
Keywords:partial flag varieties, RSK correspondence Categories:14M15, 05A05 

20. CJM 2011 (vol 64 pp. 1201)
 Aistleitner, Christoph; Elsholtz, Christian

The Central Limit Theorem for Subsequences in Probabilistic Number Theory
Let $(n_k)_{k \geq 1}$ be an increasing sequence of positive integers, and let $f(x)$ be a real function satisfying
\begin{equation}
\tag{1}
f(x+1)=f(x), \qquad \int_0^1 f(x) ~dx=0,\qquad
\operatorname{Var_{[0,1]}}
f \lt \infty.
\end{equation}
If $\lim_{k \to \infty} \frac{n_{k+1}}{n_k} = \infty$
the distribution of
\begin{equation}
\tag{2}
\frac{\sum_{k=1}^N f(n_k x)}{\sqrt{N}}
\end{equation}
converges to a Gaussian distribution. In the case
$$
1 \lt \liminf_{k \to \infty} \frac{n_{k+1}}{n_k}, \qquad \limsup_{k \to \infty} \frac{n_{k+1}}{n_k} \lt \infty
$$
there is a complex interplay between the analytic properties of the
function $f$, the numbertheoretic properties of $(n_k)_{k \geq 1}$,
and the limit distribution of (2).
In this paper we prove that any sequence $(n_k)_{k \geq 1}$ satisfying
$\limsup_{k \to \infty} \frac{n_{k+1}}{n_k} = 1$ contains a nontrivial
subsequence $(m_k)_{k \geq 1}$ such that for any function satisfying
(1) the distribution of
$$
\frac{\sum_{k=1}^N f(m_k x)}{\sqrt{N}}
$$
converges to a Gaussian distribution. This result is best possible: for any
$\varepsilon\gt 0$ there exists a sequence $(n_k)_{k \geq 1}$ satisfying $\limsup_{k \to
\infty} \frac{n_{k+1}}{n_k} \leq 1 + \varepsilon$ such that for every nontrivial
subsequence $(m_k)_{k \geq 1}$ of $(n_k)_{k \geq 1}$ the distribution
of (2) does not converge to a Gaussian distribution for some $f$.
Our result can be viewed as a Ramsey type result: a sufficiently dense
increasing integer sequence contains a subsequence having a certain
requested numbertheoretic property.
Keywords:central limit theorem, lacunary sequences, linear Diophantine equations, Ramsey type theorem Categories:60F05, 42A55, 11D04, 05C55, 11K06 

21. CJM 2011 (vol 64 pp. 1359)
 Nozaki, Hiroshi; Sawa, Masanori

Note on Cubature Formulae and Designs Obtained from Group Orbits
In 1960,
Sobolev proved that for a finite reflection group $G$,
a $G$invariant cubature formula is of degree $t$ if and only if
it is exact for all $G$invariant polynomials of degree at most $t$.
In this paper,
we find some observations on invariant cubature formulas and Euclidean designs
in connection with the Sobolev theorem.
First, we give an alternative proof of
theorems by Xu (1998) on necessary and sufficient conditions
for the existence of cubature formulas with some strong symmetry.
The new proof is shorter and simpler compared to the original one by Xu, and
moreover gives a general interpretation of
the analyticallywritten conditions of Xu's theorems.
Second,
we extend a theorem by Neumaier and Seidel (1988) on
Euclidean designs to invariant Euclidean designs, and thereby
classify tight Euclidean designs obtained from
unions of the orbits of the corner vectors.
This result generalizes a theorem of Bajnok (2007) which classifies
tight Euclidean designs invariant under the Weyl group of type $B$
to other finite reflection groups.
Keywords:cubature formula, Euclidean design, radially symmetric integral, reflection group, Sobolev theorem Categories:65D32, 05E99, 51M99 

22. CJM 2011 (vol 64 pp. 822)
 Haglund, J.; Morse, J.; Zabrocki, M.

A Compositional Shuffle Conjecture Specifying Touch Points of the Dyck Path
We introduce a $q,t$enumeration of Dyck paths that are forced to touch the main diagonal
at specific points and forbidden to touch elsewhere
and conjecture that it describes the action of
the Macdonald theory $\nabla$ operator applied to a HallLittlewood
polynomial. Our conjecture refines several earlier conjectures concerning
the space of diagonal harmonics including the ``shuffle conjecture"
(Duke J. Math. $\mathbf {126}$ ($2005$), 195232) for $\nabla e_n[X]$.
We bring to light that certain generalized HallLittlewood polynomials
indexed by compositions are the building blocks for the algebraic
combinatorial theory of $q,t$Catalan sequences, and we prove a number of
identities involving these functions.
Keywords:Dyck Paths, Parking functions, HallLittlewood symmetric functions Categories:05E05, 33D52 

23. CJM 2011 (vol 63 pp. 1254)
 D'Azevedo, Antonio Breda; Jones, Gareth A.; Schulte, Egon

Constructions of Chiral Polytopes of Small Rank
An abstract polytope of rank $n$ is said to be chiral if its
automorphism group has precisely two orbits on the flags, such that
adjacent flags belong to distinct orbits. This paper describes
a general method for deriving new finite chiral polytopes from old
finite chiral polytopes of the same rank. In particular, the technique
is used to construct many new examples in ranks $3$, $4$, and $5$.
Keywords:abstract regular polytope, chiral polytope, chiral maps Categories:51M20, 52B15, 05C25 

24. CJM 2010 (vol 62 pp. 1228)
25. CJM 2010 (vol 62 pp. 1058)