r-Qsym is free over Sym

Our main result is a proof of the Florent Hivert conjecture [F. Hivert, Local action of the symmetric group and generalizations of quasi-symmetric functions, in preparation] that the algebras of r-Quasi-Symmetric polynomials in x₁,x₂,…,xn are free modules over the ring of Symmetric polynomials. The proof rests on a theorem that reduces a wide variety of freeness results to the establishment of a single dimension bound. We are thus able to derive the Etingof-Ginzburg [P. Etingof, V. Ginzburg, On m-quasi-invariants of a Coxeter group, Mosc. Math. J. 2 (2002) 555-566] Theorem on m-Quasi-Invariants and our r-Quasi-Symmetric result as special cases of a single general principle. Another byproduct of the present treatment is a remarkably simple new proof of the freeness theorem for 1-Quasi-Symmetric polynomials given in [A.M. Garsia, N. Wallach, Qsym over Sym is free, J. Combin. Theory Ser. A 104 (2) (2003) 217-263].     

Integration over quantum permutation groups

We find a combinatorial formula for the Haar measure of quantum permutation groups. This leads to a dynamic formula for laws of diagonal coefficients, explaining the Poisson/free Poisson convergence result for characters.     

Green polynomials at roots of unity and Springer modules for the symmetric groups

We consider the Green polynomials at roots of unity. We obtain a recursive formula for the Green polynomials at roots of unity whose orders do not exceed some positive integer. The formula is described in a combinatorial manner. The coefficients of the recursive formula are realized by the cardinality of a set of permutations. The formula gives an interpretation of a combinatorial property on a family of graded modules for the symmetric group in terms of representation theory.     

Recursions associated to trapezoid,symmetric and rotation symmetric functions over Galois fields

Rotation symmetric Boolean functions are invariant under circular translation of indices. These functions have very rich cryptographic properties and have been used in different cryptosystems. Recently, Thomas Cusick proved that exponential sums of rotation symmetric Boolean functions satisfy homogeneous linear recurrences with integer coefficients. In this work, a generalization of this result is proved over any Galois field. That is, exponential sums over Galois fields of some rotation symmetric polynomials satisfy linear recurrences with integer coefficients. In the particular case of ${\mathbb{F}}_2$, an elementary method is used to obtain explicit recurrences for exponential sums of some of these functions. The concept of trapezoid Boolean function is also introduced and it is showed that the linear recurrences that exponential sums of trapezoid Boolean functions satisfy are the same as the ones satisfied by exponential sums of the corresponding rotations symmetric Boolean functions. Finally, it is proved that exponential sums of trapezoid and symmetric polynomials also satisfy linear recurrences with integer coefficients over any Galois field ${\mathbb{F}}_q$. Moreover, the Discrete Fourier Transform matrix and some Complex Hadamard matrices appear as examples in some of our explicit formulas of these recurrences.     

Potential theory of truncated stable processes

For any , a truncated symmetric α-stable process is a symmetric Lévy process in with a Lévy density given by for some constant c. In this paper we study the potential theory of truncated symmetric stable processes in detail. We prove a Harnack inequality for nonnegative harmonic functions of these processes. We also establish a boundary Harnack principle for nonnegative functions which are harmonic with respect to these processes in bounded convex domains. We give an example of a non-convex domain for which the boundary Harnack principle fails. The research of Panki Kim is supported by Research Settlement Fund for the new faculty of Seoul National University. The research of Renming Song is supported in part by a joint US-Croatia grant INT 0302167.     

On the -module structure of the noncommutative harmonics

Using a noncommutative analog of Chevalley's decomposition of polynomials into symmetric polynomials times coinvariants due to Bergeron, Reutenauer, Rosas, and Zabrocki we compute the graded Frobenius characteristic for their two sets of noncommutative harmonics with respect to the left action of the symmetric group (acting on variables). We use these results to derive the Frobenius series for the enveloping algebra of the derived free Lie algebra in n variables.     

On the S-transform over a Banach algebra

The S-transform is shown to satisfy a specific twisted multiplicativity property for free random variables in a B-valued Banach noncommutative probability space, for an arbitrary unital complex Banach algebra B. Also, a new proof of the additivity of the R-transform in this setting is given.     

Cancellation Theorems for Projective Modules over a Two-Dimensional Ring and its Polynomial Extensions

We show that over polynomial extensions of normal affine domains of dimension two over perfect fields (char. 2) of cohomological dimension 1, all finitely generated projective modules are cancellative, thus answering a question of Weibel affirmatively in the case of polynomial extensions.     

Weighted trigonometric sums over a half-period

We derive formulas for evaluating weighted sums of trigonometric functions over evenly-spaced angles in the first quadrant. These results generalize those of a previous paper, where we considered trigonometric sums weighted by real, primitive, non-principal Dirichlet characters.     

Error estimates for interpolation of rough data using the scattered shifts of a radial basis function

The error between appropriately smooth functions and their radial basis function interpolants, as the interpolation points fill out a bounded domain in R^d, is a well studied artifact. In all of these cases, the analysis takes place in a natural function space dictated by the choice of radial basis function – the native space. The native space contains functions possessing a certain amount of smoothness. This paper establishes error estimates when the function being interpolated is conspicuously rough. AMS subject classification 41A05, 41A25, 41A30, 41A63R.A. Brownlee: Supported by a studentship from the Engineering and Physical Sciences Research Council.     

Method for minimizing a convex-concave function over a convex set

A branch-and-bound method is proposed for minimizing a convex-concave function over a convex set. The minimization of a DC-function is a special case, where the subproblems connected with the bounding operation can be solved effectively.on leave at Mannheim University by a grant from the Alexander von Humboldt Foundation.     

Classification of Irreducible Weight Modules with a Finite-dimensional Weight Space over Twisted Heisenberg-Virasoro Algebra

We show that the support of an irreducible weight module over the twisted Heisenberg-Virasoro algebra, which has an infinite-dimensional weight space, coincides with the weight lattice and that all nontrivial weight spaces of such a module are infinite dimensional. As a corollary, we obtain that every irreducible weight module over the twisted Heisenber-Virasoro algebra, having a nontrivial finite-dimensional weight space, is a Harish-Chandra module （and hence is either an irreducible highest or lowest weight module or an irreducible module from the intermediate series）.     

Optimization over the polyhedron determined by a submodular function on a co-intersecting family

A greedy algorithm solves the problem of maximizing a linear objective function over the polyhedron (called the submodular polyhedron) determined by a submodular function on a distributive lattice or a ring family. We generalize the problem by considering a submodular function on a co-intersecting family and give an algorithm for solving it. Here, simple-minded greedy augmentations do not work any more and some complicated augmentations with multiple exchanges are required. We can find an optimal solution by at most 1/2n(n – 1) augmentations, wheren is the number of the variables and we assume a certain oracle for computing multiple exchange capacities.     

On a Commutative Class of Search Directions for Linear Programming over Symmetric Cones

The commutative class of search directions for semidefinite programming was first proposed by Monteiro and Zhang (Ref. 1). In this paper, we investigate the corresponding class of search directions for linear programming over symmetric cones, which is a class of convex optimization problems including linear programming, second-order cone programming, and semidefinite programming as special cases. Complexity results are established for short-step, semilong-step, and long-step algorithms. Then, we propose a subclass of the commutative class for which we can prove polynomial complexities of the interior-point method using semilong steps and long steps. This subclass still contains the Nesterov–Todd direction and the Helmberg–Rendl–Vanderbei–Wolkowicz/Kojima–Shindoh–Hara/Monteiro direction. An explicit formula to calculate any member of the class is also given.     

Numerically effective line bundles associated to a stable bundle over a curve

Let G be a complex semisimple group and χ a character of a parabolic subgroup P⊂G such that the associated line bundle on G/P is ample. For a general stable G-bundle E_G over a compact Riemann surface of genus at least two, the line bundle over E_G/P defined by χ has the property that the restriction of  to any closed subvariety of E_G/P of smaller dimension is ample, although is not ample.     

The characteristic polynomial of a random permutation matrix at different points

We consider the logarithm of the characteristic polynomial of random permutation matrices, evaluated on a finite set of different points. The permutations are chosen with respect to the Ewens distribution on the symmetric group. We show that the behavior at different points is independent in the limit and are asymptotically normal. Our methods enable us to study also the wreath product of permutation matrices and diagonal matrices with i.i.d. entries and more general class functions on the symmetric group with a multiplicative structure.     

Indecomposable modules of the intermediate series over W(a, b)

For any complex parameters a and b,W(a,b)is the Lie algebra with basis{Li,Wi|i∈Z}and relations[Li,Lj]=(j i)Li+j,[Li,Wj]=(a+j+bi)Wi+j,[Wi,Wj]=0.In this paper,indecomposable modules of the intermediate series over W(a,b)are classified.It is also proved that an irreducible Harish-Chandra W(a,b)-module is either a highest/lowest weight module or a uniformly bounded module.Furthermore,if a∈/Q,an irreducible weight W(a,b)-module is simply a Vir-module with trivial actions of Wk’s.