1. CJM Online first
||One-dimensional 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
zero-dimensional Schubert problems, the solutions are "as real
as possible". Recent work by Speyer has extended the theory
to the moduli space
allowing the points to collide.
These give rise to smooth covers of
$, with structure
and monodromy described by Young tableaux and jeu de taquin.
In this paper, we give analogous results on one-dimensional Schubert
Their (real) geometry turns out to
be described by orbits of SchÃ¼tzenberger promotion and a
related operation involving tableau evacuation. Over
our results show that the real points of the solution curves
We also find a new identity involving "first-order" K-theoretic
Littlewood-Richardson coefficients, for which there does not
appear to be a known combinatorial proof.
Keywords:Schubert calculus, stable curves, Shapiro-Shapiro Conjecture, jeu de taquin, growth diagram, promotion
2. CJM 2012 (vol 65 pp. 241)
||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
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 set-theoretic 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Ã©-Birkhoff-Witt theorem, Hopf kernel, Lie kernel, primitive element, partition, composition, linear order, cyclic order, derangement
Categories:05A15, 05A20, 05E99, 16T05, 16T30, 18D10, 18D35
3. CJM 2011 (vol 64 pp. 1359)
||Note on Cubature Formulae and Designs Obtained from Group Orbits|
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 analytically-written conditions of Xu's theorems.
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