Higher Order Peak Algebras

Using the theory of noncommutative symmetric functions, we introduce the higher order peak algebras (Sym(N))_N≥1, a sequence of graded Hopf algebras which contain the descent algebra and the usual peak algebra as initial cases (N=1 and N=2). We compute their Hilbert series, introduce and study several combinatorial bases, and establish various algebraic identities related to the multisection of formal power series with noncommutative coefficients. Received November 19, 2004     

On the Computational Complexity of the Rooted Subtree Prune and Regraft Distance

The graph-theoretic operation of rooted subtree prune and regraft is increasingly being used as a tool for understanding and modelling reticulation events in evolutionary biology. In this paper, we show that computing the rooted subtree prune and regraft distance between two rooted binary phylogenetic trees on the same label set is NP-hard. This resolves a longstanding open problem. Furthermore, we show that this distance is fixed parameter tractable when parameterised by the distance between the two trees.Received March 16, 2004     

From a Nonlinear, Nonconvex Variational Problem to a Linear, Convex Formulation

   Abstract. We propose a general approach to deal with nonlinear, nonconvex variational problems based on a reformulation of the problem resulting in an optimization problem with linear cost functional and convex constraints. As a first step we explicitly explore these ideas to some one-dimensional variational problems and obtain specific conclusions of an analytical and numerical nature.     

Controlling rough paths

We formulate indefinite integration with respect to an irregular function as an algebraic problem which has a unique solution under some analytic constraints. This allows us to define a good notion of integral with respect to irregular paths with Hölder exponent greater than 1/3 (e.g. samples of Brownian motion) and study the problem of the existence, uniqueness and continuity of solution of differential equations driven by such paths. We recover Young's theory of integration and the main results of Lyons’ theory of rough paths in Hölder topology.     

An algebra of meromorphic corner symbols

Operators on manifolds with corners that have base configurations with geometric singularities can be analysed in the frame of a conormal symbolic structure which is in spirit similar to the one for conical singularities of Kondrat'ev's work. Solvability of elliptic equations and asymptotics of solutions are determined by meromorphic conormal symbols. We study the case when the base has edge singularities which is a natural assumption in a number of applications. There are new phenomena, caused by a specific kind of higher degeneracy of the underlying symbols. We introduce an algebra of meromorphic edge operators that depend on complex parameters and investigate meromorphic inverses in the parameter-dependent elliptic case. Among the examples are resolvents of elliptic differential operators on manifolds with edges.     

Minimal Bar Tableaux

Motivated by recent results of Stanley, we generalize the rank of a partition λ to the rank of a shifted partition S(λ). We show that the number of bars required in a minimal bar tableau of S(λ) is max(o, e + (ℓ(λ) mod 2)), where o and e are the number of odd and even rows of λ. As a consequence we show that the irreducible projective characters of S_n vanish on certain conjugacy classes. Another corollary is a lower bound on the degree of the terms in the expansion of Schur’s Q_λ symmetric functions in terms of the power sum symmetric functions. Received November 20, 2003     

Expected Reflection Distance in G(r, 1, n) after a Fixed Number of Reflections

Extending to r > 1 a formula of the authors, we compute the expected reflection distance of a product of t random reflections in the complex reflection group G(r, 1, n). The result relies on an explicit decomposition of the reflection distance function into irreducible G(r, 1, n)-characters and on the eigenvalues of certain adjacency matrices.Received December 8, 2003     

Exact controllability of infinite dimensional systems persists under small perturbations

This paper studies the concept of controllability for infinite-dimensional linear control systems in Banach spaces. First, we prove that the set of admissible control operators for the semigroup generator is unchanged if we perturb the generator by the Desch–Schappacher perturbations. Second we show that exact controllability is not changed by such perturbations.