title: A note on three types of quasisymmetric functions

abstract: In the context of generating functions for $P$-partitions, we revisit three flavors of quasisymmetric functions: Gessel's quasisymmetric functions, Chow's type B quasisymmetric functions, and Poirier's signed quasisymmetric functions. In each case we use the inner coproduct to give a combinatorial description (counting pairs of permutations) to the multiplication in: Solomon's type A descent algebra, Solomon's type B descent algebra, and the Mantaci-Reutenauer algebra, respectively. The presentation is brief and elementary, our main results coming as consequences of $P$-partition theorems already in the literature.


title: Investigations of Zeros Near the Central Point of Elliptic Curve L-Functions

abstract: We explore the effect of zeros at the central point on nearby zeros of elliptic curve L-functions, especially for one-parameter families of rank r over Q. By the Birch and Swinnerton Dyer Conjecture and Silverman's Specialization Theorem, for t sufficiently large the L-function of each curve E_t in the family has r zeros (called the family zeros) at the central point. We observe experimentally a repulsion of the zeros near the central point, and the repulsion increases with r. There is greater repulsion in the subset of curves of rank r+2 than in the subset of curves of rank r in a rank r family. For curves with comparable conductors, the behavior of rank 2 curves in a rank 0 one-parameter family over Q is statistically different from that of rank 2 curves from a rank 2 family. Unlike excess rank calculations, the repulsion decreases markedly as the conductors increase, and we conjecture that the r family zeros do not repel in the limit. Finally, the differences between adjacent normalized zeros near the central point are statistically independent of the repulsion, family rank and rank of the curves in the subset. Specifically, the differences between adjacent normalized zeros are statistically equal for all curves investigated with rank 0, 2 or 4 and comparable conductors from one-parameter families of rank 0 or 2 over Q.


title: The L\^e numbers of the square of a function and their applications

abstract: L\^e numbers were introduced by Massey with the purpose of numerically controlling the topological properties of families of non-isolated hypersurface singularities and describing the topology associated with a function with non-isolated singularities. They are a generalization of the Milnor number for isolated hypersurface singularities. In this note the authors investigate the composite of an arbitrary square-free f and $z^2$. They get a formula for the L\^e numbers of the composite, and consider two applications of these numbers. The first application is concerned with the extent to which the L\^e numbers are invariant in a family of functions which satisfy some equisingularity condition, the second is a quick proof of a new formula for the Euler obstruction of a hypersurface singularity. Several examples are computed using this formula including any X defined by a function which only has transverse D(q,p) singularities off the origin.


title: Rigidification of algebras over multi-sorted theories

abstract: We define the notion of a multi-sorted algebraic theory, which is a generalization of an algebraic theory in which the objects are of different "sorts." We prove a rigidification result for simplicial algebras over these theories, showing that there is a Quillen equivalence between a model category structure on the category of strict algebras over a multi-sorted theory and an appropriate model category structure on the category of functors from a multi-sorted theory to the category of simplicial sets. In the latter model structure, the fibrant objects are homotopy algebras over that theory. Our two main examples of strict algebras are operads in the category of simplicial sets and simplicial categories with a given set of objects.


title: On Expected Factors in Reduced Decompositions in Type B

abstract: The expected number of Yang-Baxter moves appearing in a reduced decomposition of the longest element of the Coxeter group of type B_n is computed to be 2-4/n. For the same element, the expected number of 0101 or 1010 factors appearing in a reduced decomposition is 2/(n^2-2).


title: Euclidean distortion and the Sparsest Cut

abstract: We prove that every $n$-point metric space of negative type (and, in particular, every $n$-point subset of $L_1$) embeds into a Euclidean space with distortion $O(\sqrt{\log n} \cdot\log \log n)$, a result which is tight up to the iterated logarithm factor. As a consequence, we obtain the best known polynomial-time approximation algorithm for the Sparsest Cut problem with general demands. Namely, if the demand is supported on a subset of size $k$, we achieve an approximation ratio of $O(\sqrt{\log k}\cdot \log \log k)$.


title: Higher extensions between modules for SL_2

abstract: We calculate Ext^*_{SL_2(k)}(\Delta(\lambda), \Delta(\mu)), Ext^*_{SL_2(k)}(L(\lambda), \Delta(\mu)), Ext^*_{SL_2(k)}(\Delta(\lambda), L(\mu)), and Ext^*_{SL_2(k)}(L(\lambda), L(\mu)), where \Delta(\lambda) is the Weyl module of highest weight \lambda, L(\lambda) is the simple SL_2(k)-module of highest weight \lambda and our field k is algebraically closed of positive characteristic. We also get analogous results for the Dipper-Donkin quantisation. To do thus we construct the Lyndon-Hochschild-Serre spectral sequence in a new way, and find a new condition for the E_2 page of any spectral sequence to be the same as the E_\infty page.


title: On the global and \nabla-filtration dimensions of quasi-hereditary algebras

abstract: In this paper we consider how the \nabla-, \Delta- and global dimensions of a quasi-hereditary algebra are interrelated. We first consider quasi-hereditary algebras with simple preserving duality and such that if \mu < \lambda then \nabla fd(L(\mu)) < \nabla fd(L(\lambda)) where \mu, \lambda are in the poset and L(\mu), L(\lambda) are the corresponding simples. We show that in this case the global dimension of the algebra is twice its \nabla-filtration dimension. We then consider more general quasi-hereditary algebras and look at how these dimensions are affected by the Ringel dual and by two forms of truncation. We restrict again to quasi-hereditary algebras with simple preserving duality and consider various orders on the poset compatible with quasi-hereditary structure and the \nabla-, \Delta- and injective dimensions of the simple and the costandard modules.


title: New Exact Solutions of Differential Equations Derived by Fractional Calculus

abstract: Fractional calculus generalizes the derivative and antiderivative operations of differential and integral calculus from integer orders to the entire complex plane. Methods are presented for using this generalized calculus with Laplace transforms of complex-order derivatives to solve analytically many differential equations in physics, facilitate numerical computations, and generate new infinite-series representations of functions. As examples, new exact analytic solutions of differential equations, including new generalized Bessel equations with complex-power-law variable coefficients, are derived.


title: On Some Discrete Inequalities in Normed Linear Spaces

abstract: Some sharp discrete inequalities in normed linear spaces are obtained. New reverses of the generalised triangle inequality are also given.


title: Combinatorial Congruences and $\psi$-Operators

abstract: The $\psi$-operator for $(\phi, \Gamma)$-modules plays an important role in the study of Iwasawa theory via Fontaine's big rings. In this note, we prove several sharp estimates for the $\psi$-operator in the cyclotomic case. These estimates immediately imply a number of sharp $p$-adic combinatorial congruences, one of which extends the classical congruences of Fleck (1913) and Weisman (1977).


title: Small rational points on elliptic curves over number fields

abstract: Let E/k be an elliptic curve over a number field. We obtain some quantitative refinements of results of Hindry-Silverman, giving an upper bound for the number of k-rational torsion points, and a lower bound for the canonical height of non-torsion k-rational points, in terms of expressions depending explicitly on the degree of k and the Szpiro ratio of E/k. The bounds exhibit only polynomial dependence on both quantities.


title: Inverse hyperbolic problems with time-dependent coefficients

abstract: We consider the inverse problem for the second order self-adjoint hyperbolic equation in a bounded domain in $\R^n$ with lower order terms depending analytically on the time variable. We prove that, assuming the BLR condition, the time-dependent Dirichlet-to-Neumann operator prescribed on a part of the boundary uniquely determines the coefficients of the hyperbolic equation up to a diffeomorphism and a gauge transformation. As a by-product we prove a similar result for the nonself-adjoint hyperbolic operator with time-independent coefficients.


title: Bases for certain cohomology representations of the symmetric group

abstract: We give a combinatorial description (including explicit differential-form bases) for the cohomology groups of the space of n distinct nonzero complex numbers, with coefficients in rank-one local systems which are of finite monodromy around the coordinate hyperplanes and trivial monodromy around all other hyperplanes. In the case where the local system is equivariant for the symmetric group, we write the cohomology groups as direct sums of inductions of one-dimensional characters of subgroups. This relies on an equivariant description of the Orlik-Solomon algebras of full monomial reflection groups (wreath products of the symmetric group with a cyclic group). The combinatorial models involved are certain representations of these wreath products which possess bases indexed by labelled trees.


title: Improvements on Dieulefait-Manoharmayum and applications

abstract: We improve the results in a previous article of Dieulefait and Manoharmayum and we deduce some stronger modularity results. In particular we deduce that any rigid Calabi-Yau threefold defined over Q with good reduction at 5 is modular and we also obtain a fairly general version of the principle of "switching the residual characteristic" used in proofs of cases of Serre's conjecture.


title: A Cohomology (p+1) Form Canonically Associated with Certain Codimension-q Foliations on a Riemannian Manifold

abstract: Let $(M^{n},g)$ be a closed, connected, oriented, $C^{\infty}$, Riemannian, n-manifold with a transversely oriented foliation $\boldkey F$. We show that if $\lbrace X,Y \rbrace$ are basic vector fields, the leaf component of $[X,Y]$, $\Cal{V}[X,Y]$, has vanishing leaf divergence whenever ${\kappa}\wedge \chi_{\boldkey F}$ is a closed (possibly zero) de Rham cohomology (p+1)-form. Here ${\kappa}$ is the mean curvature one-form of the foliation ${\boldkey F}$ and ${\chi_{\boldkey F}}$ is its characteristic form. In the codimension-2 case, ${\kappa}\wedge \chi_{\boldkey F}$ is closed if and only if ${\kappa}$ is horizontally closed. In certain restricted cases, we give necessary and sufficient conditions for ${\kappa}\wedge{\chi_{\boldkey F}}$ to be harmonic. As an application, we give a characterization of when certain closed 3-manifolds are locally Riemannian products. We show that bundle-like foliations with totally umbilical leaves with leaf dimension greater than or equal to two on a constant curvature manifold, with non-integrable transversal distribution, and with Einstein-like transversal geometry are totally geodesic.


title: Beurling-Pollard type theorems

abstract: We establish a version of the Beurling-Pollard theorem for operator synthesis and apply it to derive some results on linear operator equations and to prove a Beurling-Pollard type theorem for Varopoulos tensor algebras. Additionally we establish a Beurling-Pollard theorem for weighted Fourier algebras and use it to obtain ascent estimates for operators that are functions of generalized scalar operators.


title: G-automata, counter languages and the Chomsky hierarchy

abstract: We consider how the languages of $G$-automata compare with other formal language classes. We prove that if the word problem of a group $G$ is accepted by a machine in the class $\mathcal M$ then the language of any $G$-automaton is in the class $\mathcal M$. It follows that the so called {\emph counter languages} (languages of $\mathbb Z^n$-automata) are context-sensitive, and further that counter languages are indexed if and only if the word problem for $\mathbb Z^n$ is indexed.


title: Bounds for avalanche critical values of the Bak-Sneppen model

abstract: We study the Bak-Sneppen model on locally finite transitive graphs $G$, in particular on Z^d and on T_Delta, the regular tree with common degree Delta. We show that the avalanches of the Bak-Sneppen model dominate independent site percolation, in a sense to be made precise. Since avalanches of the Bak-Sneppen model are dominated by a simple branching process, this yields upper and lower bounds for the so-called avalanche critical value $p_c^{BS}(G)$. Our main results imply that 1/(Delta+1) <= \leq p_c^{BS}(T_Delta) \leq 1/(Delta -1)$, and that $1/(2d+1)\leq p_c^{BS}(Z^d)\leq 1/(2d)+ 1/(2d)^2+O(d^{-3}), as d\to\infty.


title: The dynamical U(n) quantum group

abstract: We study the dynamical analogue of the matrix algebra M(n), constructed from a dynamical R-matrix given by Etingof and Varchenko. A left and a right corepresentation of this algebra, which can be seen as analogues of the exterior algebra representation, are defined and this defines dynamical quantum minor determinants as the matrix elements of these corepresentations. These elements are studied in more detail, especially the action of the comultiplication and Laplace expansions. Using the Laplace expansions we can prove that the dynamical quantum determinant is almost central, and adjoining an inverse the antipode can be defined. This results in the dynamical GL(n) quantum group associated to the dynamical R-matrix. We study a *-structure leading to the dynamical U(n) quantum group, and we obtain results for the canonical pairing arising from the R-matrix.


title: Covariant q-differential operators and unitary highest weight representations for U_q su(n,n)

abstract: We investigate a one-parameter family of quantum Harish-Chandra modules of U_q sl(2n). This family is an analog of the holomorphic discrete series of representations of the group SU(n,n) for the quantum group U_q su(n, n). We introduce a q-analog of "the wave" operator (a determinant-type differential operator) and prove certain covariance property of its powers. This result is applied to the study of some quotients of the above-mentioned quantum Harish-Chandra modules. We also prove an analog of a known result by J.Faraut and A.Koranyi on the expansion of reproducing kernels which determines the analytic continuation of the holomorphic discrete series.


title: On a new type of rational and highly convergent series, by which the ratio of the circumference to the diameter is able to be expressed

abstract: In this short paper Euler gives a highly convergent series for arctan and thus pi, which converges much faster than the Leibniz series for arctan.


title: Matrices of Forests and the Analysis of Digraphs

abstract: The matrices of spanning rooted forests are studied as a tool for analysing the structure of digraphs and measuring their characteristics. The problems of revealing the basis bicomponents, measuring vertex proximity, and ranking from preference relations / sports competitions are considered. It is shown that the vertex accessibility measure based on spanning forests has a number of desirable properties. An interpretation for the normalized matrix of out-forests in terms of information dissemination is given. Keywords: Laplacian matrix, spanning forest, matrix-forest theorem, proximity measure, bicomponent, ranking, incomplete tournament, paired comparisons


title: Bootstrapping in convergence groups

abstract: We prove a true bootstrapping result for convergence groups acting on a Peano continuum. We give an example of a Kleinian group H which is the amalgamation of two closed hyperbolic surface groups along a simple closed curve. The limit set Lambda H is the closure of a `tree of circles' (adjacent circles meeting in pairs of points). We alter the action of H on its limit set such that H no longer acts as a convergence group, but the stabilizers of the circles remain unchanged, as does the action of a circle stabilizer on said circle. This is done by first separating the circles and then gluing them together backwards.


title: Nonlinear instability for the Navier-Stokes equations

abstract: It is proved, using a bootstrap argument, that linear instability implies nonlinear instability for the incompressible Navier-Stokes equations in $L^p$ for all $p \in (1,\infty)$ and any finite or infinite domain in any dimension $n$.


title: Twists of X(7) and primitive solutions to x^2+y^3=z^7

abstract: We find the primitive integer solutions to x^2+y^3=z^7. A nonabelian descent argument involving the simple group of order 168 reduces the problem to the determination of the set of rational points on a finite set of twists of the Klein quartic curve X. To restrict the set of relevant twists, we exploit the isomorphism between X and the modular curve X(7), and use modularity of elliptic curves and level lowering. This leaves 10 genus-3 curves, whose rational points are found by a combination of methods.


title: The fixed point subalgebra of a lattice vertex operator algebra by an automorphism of order three

abstract: We study the subalgebra of the lattice vertex operator algebra $V_{\sqrt{2}A_2}$ consisting of the fixed points of an automorphism which is induced from an order 3 isometry of the root lattice $A_2$. We classify the simple modules for the subalgebra. The rationality and the $C_2$-cofiniteness are also established.


title: On the spectra of nonsymmetric Laplacian matrices

abstract: A Laplacian matrix is a square real matrix with nonpositive off-diagonal entries and zero row sums. As a matrix associated with a weighted directed graph, it generalizes the Laplacian matrix of an ordinary graph. A standardized Laplacian matrix is a Laplacian matrix with the absolute values of the off-diagonal entries not exceeding 1/n, where n is the order of the matrix. We study the spectra of Laplacian matrices and relations between Laplacian matrices and stochastic matrices. We prove that the standardized Laplacian matrices are semiconvergent. The multiplicities of 0 and 1 as the eigenvalues of a standardized Laplacian matrix are equal to the in-forest dimension of the corresponding digraph and one less than the in-forest dimension of the complementary digraph, respectively. These eigenvalues are semisimple. The spectrum of a standardized Laplacian matrix belongs to the meet of two closed disks, one centered at 1/n, another at 1-1/n, each having radius 1-1/n, and two closed angles, one bounded with two half-lines drawn from 1, another with two half-lines drawn from 0 through certain points. The imaginary parts of the eigenvalues are bounded from above by 1/(2n) cot(pi/2n); this maximum converges to 1/pi as n goes to infinity. Keywords: Laplacian matrix; Laplacian spectrum of graph; Weighted directed graph; Forest dimension of digraph; Stochastic matrix


title: Multiplicative structures for Koszul algebras

abstract: Let $\Lambda=kQ/I$ be a Koszul algebra over a field $k$, where $Q$ is a finite quiver. An algorithmic method for finding a minimal projective resolution $\mathbb{F}$ of the graded simple modules over $\Lambda$ is given in Green-Solberg. This resolution is shown to have a "comultiplicative" structure in Green-Hartman-Marcos-Solberg, and this is used to find a minimal projective resolution $\mathbb{P}$ of $\Lambda$ over the enveloping algebra $\Lambda^e$. Using these results we show that the multiplication in the Hochschild cohomology ring of $\L$ relative to the resolution $\mathbb{P}$ is given as a cup product and also provide a description of this product. This comultiplicative structure also yields the structure constants of the Koszul dual of $\L$ with respect to a canonical basis over $k$ associated to the resolution $\mathbb{F}$. The natural map from the Hochschild cohomology to the Koszul dual of $\Lambda$ is shown to be surjective onto the graded centre of the Koszul dual.


title: Forest matrices around the Laplacian matrix

abstract: We study the matrices Q_k of in-forests of a weighted digraph G and their connections with the Laplacian matrix L of G. The (i,j) entry of Q_k is the total weight of spanning converging forests (in-forests) with k arcs such that i belongs to a tree rooted at j. The forest matrices, Q_k, can be calculated recursively and expressed by polynomials in the Laplacian matrix; they provide representations for the generalized inverses, the powers, and some eigenvectors of L. The normalized in-forest matrices are row stochastic; the normalized matrix of maximum in-forests is the eigenprojection of the Laplacian matrix, which provides an immediate proof of the Markov chain tree theorem. A source of these results is the fact that matrices Q_k are the matrix coefficients in the polynomial expansion of adj(a*I+L). Thereby they are precisely Faddeev's matrices for -L. Keywords: Weighted digraph; Laplacian matrix; Spanning forest; Matrix-forest theorem; Leverrier-Faddeev method; Markov chain tree theorem; Eigenprojection; Generalized inverse; Singular M-matrix


title: Critical pairs in abelian groups and Kemperman's structure theorem

abstract: A well-known result by Kemperman describes the structure of those pairs (A,B) of finite subsets of an abelian group satisfying |A+B|\le|A|+|B|-1. We establish a description which is, in a sense, dual to Kemperman's, and as an application sharpen several results due to Deshouillers, Hamidoune, Hennecart, and Plagne.


title: Products of Foldable Triangulations

abstract: Regular triangulations of products of lattice polytopes are constructed with the additional property that the dual graphs of the triangulations are bipartite. The (weighted) size difference of this bipartition is a lower bound for the number of real roots of certain sparse polynomial systems by recent results of Soprunova and Sottile [Adv. Math. 204(1):116-151, 2006]. Special attention is paid to the cube case.


title: The Signature of a Manifold

abstract: Let us consider a compact oriented riemannian manifold M without boundary and of dimension n=4k. The signature of M is defined as the signature of a given quadratic form Q. Two different products could be used to define Q and they render equivalent definitions: the exterior product of 2k-forms and the cup product of cohomology classes. The signature of a manifold is proved to yield a topological invariant. Additionally, using the metric, a suitable Dirac operator can be defined whose index coincides with the signature of the manifold. This second version includes corrections and many examples.


title: On the equivariant main conjecture of Iwasawa theory

abstract: Recently, D. Burns and C. Greither (Invent. Math., 2003) deduced an equivariant version of the main conjecture for abelian number fields. This was the key to their proof of the equivariant Tamagawa number conjecture. A. Huber and G. Kings (Duke Math. J., 2003) also use a variant of the Iwasawa main conjecture to prove the Tamagawa number conjecture for Dirichlet motives. We use the result of the second pair of authors and the Theorem of Ferrero-Washington to reprove the equivariant main conjecture in a slightly more general form. The main idea of the proof is essentially the same as in the paper of D. Burns and C. Greither, but we can replace complicated considerations of Iwasawa $mu$-invariants by a considerably simpler argument.


title: On a Duality between Metrics and $\Sigma$-Proximities

abstract: : In studies of discrete structures, functions are frequently used that express proximity, but are not metrics. We consider a class of such functions that is characterized by a normalization condition and an inequality that plays the same role as the triangle inequality does for metrics. We show that the introduced functions, named $\Sigma$-proximities, are in a definite sense dual to metrics: there exists a natural one-to-one correspondence between metrics and $\Sigma$-proximities defined on the same finite set; in contrast to metrics, $\Sigma$-proximities measure {\it comparative} proximity; the closer the objects, the greater the $\Sigma$-proximity; diagonal entries of the $\Sigma$-proximity matrix characterize the ``centrality'' of elements. The results are extended to arbitrary infinite sets.


title: Cross-shaped and Degenerate Singularities in an Unstable Elliptic Free Boundary Problem

abstract: We investigate singular and degenerate behavior of solutions of the unstable free boundary problem $$\Delta u = -\chi_{\{u>0\}} .$$ First, we construct a solution that is not of class $C^{1,1}$ and whose free boundary consists of four arcs meeting in a {\em cross}-shaped singularity. This solution is completely unstable/repulsive from above and below which would make it hard to get by the usual methods, and even numerics is non-trivial. We also show existence of a degenerate solution. This answers two of the open questions in a recent paper by R. Monneau-G.S. Weiss.


title: Primes in Tuples I

abstract: We introduce a method for showing that there exist prime numbers which are very close together. The method depends on the level of distribution of primes in arithmetic progressions. Assuming the Elliott-Halberstam conjecture, we prove that there are infinitely often primes differing by 16 or less. Even a much weaker conjecture implies that there are infinitely often primes a bounded distance apart. Unconditionally, we prove that there exist consecutive primes which are closer than any arbitrarily small multiple of the average spacing, that is, \[ \liminf_{n\to \infty} \frac{p_{n+1}-p_n}{\log p_n} =0 .\] This last result will be considerably improved in a later paper.


title: Structure of the tensor product semigroup

abstract: We study structure of the semigroup Tens(G) consisting of triples of dominant weights (\lambda,\mu,\nu) of a complex reductive Lie group G such that the triple tensor product of the corresponding irreducible representations of G has a nonzero G-invariant vector. We prove two general structural results for Tens(G) and give an explicit computation of Tens(G) for G=Sp(4,C) and G=G_2.


title: Duality for Legendrian contact homology

abstract: The main result of this paper is that, off of a `fundamental class' in degree 1, the linearized Legendrian contact homology obeys a version of Poincare duality between homology groups in degrees k and -k. Not only does the result itself simplify calculations, but its proof also establishes a framework for analyzing cohomology operations on the linearized Legendrian contact homology.


title: Geometric triangulations and discrete Laplacians on manifolds

abstract: This paper uses the technology of weighted and regular triangulations to study discrete versions of the Laplacian on piecewise Euclidean manifolds. Regular triangulations are studied in some detail, including flip algorithms. The Laplacian is then studied as an operator on functions of the vertices as a generalized weighted Laplacian on graphs.


title: Highly connected manifolds with positive Ricci curvature

abstract: We prove the existence of Sasakian metrics with positive Ricci curvature on certain highly connected odd dimensional manifolds. In particular, we show that manifolds homeomorphic to the 2k-fold connected sum of S^{2n-1} x S^{2n} admit Sasakian metrics with positive Ricci curvature for all k. Furthermore, a formula for computing the diffeomorphism types is given and tables are presented for dimensions 7 and 11.


title: On a simple strategy weakly forcing the strong law of large numbers in the bounded forecasting game

abstract: In the framework of the game-theoretic probability of Shafer and Vovk (2001) it is of basic importance to construct an explicit strategy weakly forcing the strong law of large numbers (SLLN) in the bounded forecasting game. We present a simple finite-memory strategy based on the past average of Reality's moves, which weakly forces the strong law of large numbers with the convergence rate of $O(\sqrt{\log n/n})$. Our proof is very simple compared to a corresponding measure-theoretic result of Azuma (1967) on bounded martingale differences and this illustrates effectiveness of game-theoretic approach. We also discuss one-sided protocols and extension of results to linear protocols in general dimension.


title: Semistable reduction for overconvergent F-isocrystals, II: A valuation-theoretic approach

abstract: We introduce a valuation-theoretic approach to the problem of semistable reduction (i.e., existence of logarithmic extensions on suitable covers) of overconvergent isocrystals with Frobenius structure. The key tool is the quasicompactness of the Riemann-Zariski space associated to the function field of a variety.


title: Factorial Grothendieck Polynomials

abstract: In this paper, we study Grothendieck polynomials from a combinatorial viewpoint. We introduce the factorial Grothendieck polynomials, analogues of the factorial Schur functions and present some of their properties, and use them to produce a generalisation of a Littlewood-Richardson rule for Grothendieck polynomials.


title: A sufficient condition for a set of calibrated surfaces to be area-minimizing under diffeomorphisms

abstract: We extend Choe's idea in \cite{choe} to nonpolyhedral calibrated surfaces and give some examples of polyhedral sets over right prisms and nonpolyhedral calibrated surfaces.


title: The Serre spectral sequence of a noncommutative fibration for de Rham cohomology

abstract: For differential calculi on noncommutative algebras, we construct a twisted de Rham cohomology using flat connections on modules. This has properties similar, in some respects, to sheaf cohomology on topological spaces. We also discuss generalised mapping properties of these theories, and relations of these properties to corings. Using this, we give conditions for the Serre spectral sequence to hold for a noncommutative fibration. This might be better read as giving the definition of a fibration in noncommutative differential geometry. We also study the multiplicative structure of such spectral sequences. Finally we show that some noncommutative homogeneous spaces satisfy the conditions to be such a fibration, and in the process clarify the differential structure on these homogeneous spaces. We also give two explicit examples of differential fibrations: these are built on the quantum Hopf fibration with two different differential structures.


title: A spectral gap property for random walks under unitary representations

abstract: Let $G$ be a locally compact group and $\mu$ a probability measure on $G,$ which is not assumed to be absolutely continuous with respect to Haar measure. Given a unitary representation $(\pi, \cal H)$ of $G,$ we study spectral properties of the operator $\pi(\mu)$ acting on $\cal H.$ Assume that $\mu$ is adapted and that the trivial representation $1_G$ is not weakly contained in the tensor product $\pi\otimes \bar\pi.$ We show that $\pi(\mu)$ has a spectral gap, that is, for the spectral radius $r_{\rm spec}(\pi(\mu))$ of $\pi(\mu),$ we have $r_{\rm spec}(\pi(\mu))<1.$ This provides a common generalization of several previously known results. Another consequence is that, if $G$ has Kazhdan's Property (T), then $r_{\rm spec}(\pi(\mu))<1$ for every unitary representation $\pi$ of $G$ without finite dimensional subrepresentations. Moreover, we give new examples of so-called identity excluding groups.


title: A stably free nonfree module and its relevance for homotopy classification, case Q_{28}

abstract: The paper constructs an `exotic' algebraic 2-complex over the generalized quaternion group of order 28, with the boundary maps given by explicit matrices over the group ring. This result depends on showing that a certain ideal of the group ring is stably free but not free. As it is not known whether the complex constructed here is geometrically realizable, this example is proposed as a suitable test object in the investigation of an open problem of C.T.C. Wall, now referred to as the D(2)-problem.


title: On Determining the Eigenprojection and Components of a Matrix

abstract: Matrix theory and its applications make wide use of the eigenprojections of square matrices. The present paper demonstrates that the eigenprojection of a matrix $A$ can be calculated with the use of any annihilating polynomial of A^u, where u >= ind A. This enables one to find the components and the minimal polynomial of A, as well as the Drazin inverse A^D.


title: S-arithmetic groups of SL_2 type

abstract: For a number field K, we show that any S-arithmetic subgroup of SL_2(K) contains a subgroup of finite index generated by three elements if card(S)> 1.


title: Extending Utility Representations of Partial Orders

abstract: The problem is considered as to whether a monotone function defined on a subset P of a Euclidean space can be strictly monotonically extended to the whole space. It is proved that this is the case if and only if the function is {\em separably increasing}. Explicit formulas are given for a class of extensions which involves an arbitrary bounded increasing function. Similar results are obtained for monotone functions that represent strict partial orders on arbitrary abstract sets X. The special case where P is a Pareto subset is considered.


title: Zero-cycles on a twisted Cayley plane

abstract: This is an essentially extended version of the preprint dated by August 2005 (this includes now the varieties of types F_4, E_6 and E_7). Let k be a field of characteristic not 2 and 3. Let G be an exceptional simple algebraic group of type F_4, inner type E_6 or E_7 with trivial Tits algebras. Let X be a projective G-homogeneous variety. If G is of type E_7 we assume in addition that the respective parabolic subgroup is of type P_7. The main result of the paper says that the degree map on the group of zero cycles of X is injective.


title: Hexagonal Lattice Points on Circles

abstract: We study the hexagonal lattice $\mathbb{Z}[\omega]$, where $\omega^6=1$. More specifically, we study the angular distribution of hexagonal lattice points on circles with a fixed radius. We prove that the angles are equidistributed on average, and suggest the possibility of constructing a consistent discrete velocity model (DVM) for the Boltzmann equation, using a hexagonal lattice. Equidistribution on average is expressed in terms of cancellation in exponential sums. We introduce Hecke L-functions and investigate their analytic properties in order to derive estimates on sums of Hecke characters. Using a version of the Halberstam-Richert inequality, these estimates then yield the desired results for the exponential sums. As a further measure of equidistribution, we give a bound for the discrepancy.


title: A better proof of the Goldman-Parker conjecture

abstract: The Goldman-Parker Conjecture classifies the complex hyperbolic C-reflection ideal triangle groups up to discreteness. We proved the Goldman-Parker Conjecture in [Ann. of Math. 153 (2001) 533--598] using a rigorous computer-assisted proof. In this paper we give a new and improved proof of the Goldman-Parker Conjecture. While the proof relies on the computer for extensive guidance, the proof itself is traditional.


title: Touching the $Z_2$ in Three-Dimensional Rotations

abstract: A simple and self-contained proof is presented of the well-known fact that the fundamental group of SO(3) is $Z_2$, using a relationship between closed paths in SO(3) and braids.


abstract: In his earlier paper the author offered a program of generalization of Kolyvagin's result of finiteness of SH to the case of some motives which are quotients of cohomology motives of Shimura varieties. The present paper is devoted to the first step of this program -- finding of an analog of Kolyvagin's trace relations for Siegel sixfolds and for the Hecke correspondence related to the matrix diag $(p,1,1,p,p^2,p^2)$. This is the first non-trivial case where we can expect that this program can be realised. Some results for other types of Siegel varieties and Hecke correspondences are obtained. Ideas and methods of the present paper open a large new area of research: results given here constitute a tiny part of what can be done.


abstract: It is a survey paper on n-dimensional local fields and adeles on n-dimensional schemes.


title: A counterexample to dispersive estimates for Schr\"odinger operators in higher dimensions

abstract: In dimension $n>3$ we show the existence of a compactly supported potential in the differentiability class $C^\alpha$, $\alpha < \frac{n-3}2$, for which the solutions to the linear Schr\"odinger equation in $\R^n$, $$ -i\partial_t u = - \Delta u + Vu, \quad u(0)=f, $$ do not obey the usual $L^1\to L^{\infty}$ dispersive estimate. This contrasts with known results in dimensions $n \leq 3$, where a pointwise decay condition on $V$ is generally sufficient to imply dispersive bounds.


title: On Determining Minimal Spectrally Arbitrary Patterns

abstract: In this paper we present a new family of minimal spectrally arbitrary patterns which allow for arbitrary spectrum by using the Nilpotent-Jacobian method. The novel approach here is that we use the Intermediate Value Theorem to avoid finding an explicit nilpotent realization of the new minimal spectrally arbitrary patterns.


title: Dehn surgery, homology and hyperbolic volume

abstract: If a closed, orientable hyperbolic 3--manifold M has volume at most 1.22 then H_1(M;Z_p) has dimension at most 2 for every prime p not 2 or 7, and H_1(M;Z_2) and H_1(M;Z_7) have dimension at most 3. The proof combines several deep results about hyperbolic 3--manifolds. The strategy is to compare the volume of a tube about a shortest closed geodesic C in M with the volumes of tubes about short closed geodesics in a sequence of hyperbolic manifolds obtained from M by Dehn surgeries on C.


title: Transport and Concentration Problems with Interaction Effects

abstract: After presenting an overview about variational problems on probability measures for functionals involving transport costs and extra terms encouraging or discouraging concentration, we look for optimality conditions, regularity properties and explicit computations in the case where Wasserstein distances and interaction energies are considered.


title: Sharp well-posedness and ill-posedness results for a quadratic non-linear Schr\"odinger equation

abstract: We establish that the quadratic non-linear Schr\"odinger equation $$ iu_t + u_{xx} = u^2$$ where $u: \R \times \R \to \C$, is locally well-posed in $H^s(\R)$ when $s \geq -1$ and ill-posed when $s < -1$. Previous work of Kenig, Ponce and Vega had established local well-posedness for $s > -3/4$. The local well-posedness is achieved by an iteration using a modification of the standard $X^{s,b}$ spaces. The ill-posedness uses an abstract and general argument relying on the high-to-low frequency cascade present in the non-linearity, and a computation of the first non-linear iterate.


title: Normalization of Ideals and Briancon-Skoda Numbers

abstract: We establish bounds for the coefficient $\bar{e}_1(I)$ of the Hilbert function of the integral closure filtration of equimultiple ideals. These values are shown to help control all algorithmic processes of normalization that make use of extensions satisfying the condition $S_2$ of Serre.


title: The Symmetric Traveling Salesman Problem

abstract: Let M be an nXn symetric matrix, n, even, T, an upper bound for T_OPT, an optimal tour, sigma_T, the smaller-valued perfect matching obtained from alternate edges of T expressed as a product of 2-cycles. Applying the modified Floyd-Warshall algorithm to (sigma_T)^-1M^-, we construct acceptable and 2-circuit cycles some sets of which may yield circuits that can be patched into tours. We obtain necessary and sufficient conditions for a set, S, of cycles to yield circuits that may be patched into a tour.Assume that the following (Condition A)is valid: If (sigma_T)s = T*, |T*|<T, then all cycles of s have values less than |T| - |sigma_T|.Let SFWOPT),S(OPT)be the respective sets of cycles yielding T_FWOPT, T_OPT. Given Condition(A), using F-W, we can always obtain S(FWOPT). Using Condition A but not F-W, S_OPT is always obtainable from a subset of the cycles obtained.


title: A simple invariance theorem

abstract: We present a simple extension of Lindeberg's argument for the Central Limit Theorem to get a general invariance result. We apply the technique to prove results from random matrix theory, spin glasses, and maxima of random fields.


title: Tight closure test exponents for certain parameter ideals

abstract: This paper is concerned with the tight closure of an ideal $I$ in a commutative Noetherian ring $R$ of prime characteristic $p$. The formal definition requires, on the face of things, an infinite number of checks to determine whether or not an element of $R$ belongs to the tight closure of $I$. The situation in this respect is much improved by Hochster's and Huneke's test elements for tight closure, which exist when $R$ is a reduced algebra of finite type over an excellent local ring of characteristic $p$. More recently, Hochster and Huneke have introduced the concept of test exponent for tight closure: existence of these test exponents would mean that one would have to perform just one single check to determine whether or not an element of $R$ belongs to the tight closure of $I$. However, to quote Hochster and Huneke, 'it is not at all clear whether to expect test exponents to exist; roughly speaking, test exponents exist if and only if tight closure commutes with localization'. The main purpose of this paper is to provide a short direct proof that test exponents exist for parameter ideals in a reduced excellent equidimensional local ring of characteristic $p$.


title: On the Possible Monoid Structures of the Natural Numbers N, or Finding All Associative Binary Operations on N

abstract: A certain analysis of all possible associative binary operations on N is presented. This is equivalent with an analysis of all possible monoid structures on N. Several results and a conjecture in this regard are given.


title: Dynamics, Laplace transform and Spectral geometry

abstract: We consider a vector field $X$ on a closed manifold which admits a Lyapunov one form. We assume $X$ has Morse type zeros, satisfies the Morse--Smale transversality condition and has non-degenerate closed trajectories only. For a closed one form $\eta$, considered as flat connection on the trivial line bundle, the differential of the Morse complex formally associated to $X$ and $\eta$ is given by infinite series. We introduce the exponential growth condition and show that it guarantees that these series converge absolutely for a non-trivial set of $\eta$. Moreover the exponential growth condition guarantees that we have an integration homomorphism from the deRham complex to the Morse complex. We show that the integration induces an isomorphism in cohomology for generic $\eta$. Moreover, we define a complex valued Ray--Singer kind of torsion of the integration homomorphism, and compute it in terms of zeta functions of closed trajectories of $X$. Finally, we show that the set of vector fields satisfying the exponential growth condition is $C^0$--dense.


title: The vectorial Ribaucour transformation for submanifolds and applications

abstract: In this paper we develop the vectorial Ribaucour transformation for Euclidean submanifolds. We prove a general decomposition theorem showing that under {appropriate} conditions the composition of two or more vectorial Ribaucour transformations is again a vectorial Ribaucour transformation. An immediate consequence of this result is the classical permutability of Ribaucour transformations. Our main application is an explicit local construction of all Euclidean submanifolds with flat normal bundle. Actually, this is a particular case of a more general result. Namely, we obtain a local explicit construction of all Euclidean submanifolds carrying a parallel flat normal subbundle, in particular of all those that carry a parallel normal vector field. Finally, we describe all submanifolds carrying a Dupin principal curvature normal vector field with integrable conullity, a concept that has proven to be crucial in the study of reducibility of Dupin submanifolds.


title: Z-stable ASH algebras

abstract: The Jiang--Su algebra Z has come to prominence in the classification program for nuclear C*-algebras of late, due primarily to the fact that Elliott's classification conjecture predicts that all simple, separable, and nuclear C*-algebras with unperforated K-theory will absorb Z tensorially (i.e., will be Z-stable). There exist counterexamples which suggest that the conjecture will only hold for simple, nuclear, separable and Z-stable C*-algebras. We prove that virtually all classes of nuclear C*-algebras for which the Elliott conjecture has been confirmed so far, consist of Z-stable C*-algebras. This result follows in large part from the following theorem, also proved herein: separable and approximately divisible C*-algebras are Z-stable.


title: Marginal asymptotics for the "large p, small n" paradigm: with applications to microarray data

abstract: The "large p, small n" paradigm arises in microarray studies, where expression levels of thousands of genes are monitored for a small number of subjects. There has been an increasing demand for study of asymptotics for the various statistical models and methodologies using genomic data. In this article, we focus on one-sample and two-sample microarray experiments, where the goal is to identify significantly differentially expressed genes. We establish uniform consistency of certain estimators of marginal distribution functions, sample means and sample medians under the large p small n assumption. We also establish uniform consistency of marginal p-values based on certain asymptotic approximations which permit inference based on false discovery rate techniques. The affects of the normalization process on these results is also investigated. Simulation studies and data analyses are used to assess finite sample performance.


title: A TQFT associated to the LMO invariant of three-dimensional manifolds

abstract: We construct a Topological Quantum Field Theory (in the sense of Atiyah) associated to the universal finite-type invariant of 3-dimensional manifolds, as a functor from the category of 3-dimensional manifolds with parametrized boundary, satisfying some additional conditions, to an algebraic-combinatorial category. It is built together with its truncations with respect to a natural grading, and we prove that these TQFTs are non-degenerate and anomaly-free. The TQFT(s) induce(s) a (series of) representation(s) of a subgroup ${\cal L}_g$ of the Mapping Class Group that contains the Torelli group. The N=1 truncation produces a TQFT for the Casson-Walker-Lescop invariant.


title: Set theoretic complete intersection for curves in a smooth affine algebra

abstract: It is proved in this paper that a locally complete intersection curve in a smooth affine C-algebra with trival conormal bundle is a set theoretic complete intersection if its corresponding class in the Grothendieck Group is torsion.


title: Two statements about infinite products that are not quite true

abstract: Hard to summarize concisely; here are the high points. The first two statements below are ring-theoretic; in these R is a nontrivial ring, R^\omega, and \bigoplus_\omega R are the direct product, respectively direct sum, of countably many copies of R; the remaining two statements are in the context of general algebra (a.k.a. universal algebra): (i) There exist nontrivial rings R for which one has surjective homomorphisms \bigoplus_\omega R -> R^\omega -- but in such cases, R^\omega is in fact finitely generated as a left R-module. (ii) There exist nontrivial rings R for which one has surjective homomorphisms R^\omega -> \bigoplus_\omega R -- but in such cases, R must have DCC on finitely generated right ideals. (iii) The full permutation group S on an infinite set \Omega has the property that the |\Omega|-fold direct product of copies of S is generated over its diagonal subgroup by a single element. (iv) Whenever an algebra S in the sense of universal algebra has the property that the countable direct product S^\omega is finitely generated over its diagonal subalgebra (or even when the corresponding property holds with an ultrapower in place of this direct product), S has some of the other strange properties known to hold for infinite symmetric groups (cf. math.GR/0401304).


title: Simultaneous similarity, bounded generation and amenability

abstract: We prove that a discrete group $G$ is amenable iff it is strongly unitarizable in the following sense: every unitarizable representation $\pi$ on $G$ can be unitarized by an invertible chosen in the von Neumann algebra generated by the range of $\pi$. Analogously a $C^*$-algebra $A$ is nuclear iff any bounded homomorphism $u: A\to B(H)$ is strongly similar to a $*$-homomorphism in the sense that there is an invertible operator $\xi$ in the von Neumann algebra generated by the range of $u$ such that $a\to \xi u(a) \xi^{-1}$ is a $*$-homomorphism. An analogous characterization holds in terms of derivations. We apply this to answer several questions left open in our previous work concerning the length $\ell(A,B)$ of the maximal tensor product $A\otimes_{\max} B$ of two unital $C^*$-algebras, when we consider its generation by the subalgebras $A\otimes 1$ and $1\otimes B$. We show that if $\ell(A,B)<\infty$ either for $B=B(\ell_2)$ or when $B$ is the $C^*$-algebra (either full or reduced) of a non Abelian free group, then $A$ must be nuclear. We also show that $\ell(A,B)\le d$ iff the canonical quotient map from the unital free product $A\ast B$ onto $A\otimes_{\max} B$ remains a complete quotient map when restricted to the closed span of the words of length $\le d$.


title: On Extensions of a Theorem of Baxter

abstract: We combine the Riemann-Hilbert approach with the techniques of Banach algebras to obtain an extension of Baxter's Theorem for polynomials orthogonal on the unit circle. This is accomplished by using the link between the negative Fourier coefficients of the scattering function and the coefficients in the recurrence formula satisfied by these polynomials.


title: Leibniz Dynamics with Time Delay

abstract: In this paper we show that several dynamical systems with time delay can be described as vector fields associated to smooth functions via a bracket of Leibniz structure. Some examples illustrate the theoretical considerations.


title: A simple recurrence for covers of the sphere with branch points of arbitrary ramification

abstract: The problem of counting ramified covers of a Riemann surface up to homeomorphism was proposed by Hurwitz in the late 1800's. This problem translates combinatorially into factoring a permutation of specified cycle type, with certain conditions on the cycle types of the factors, such as minimality and transitivity. Goulden and Jackson have given a proof for the number of minimal, transitive factorizations of a permutation into transpositions. This proof involves a partial differential equation for the generating series, called the Join-Cut equation. Recently, Bousquet-M\'{e}lou and Schaeffer have found the number of minimal, transitive factorizations of a permutation into arbitrary unspecified factors. This was proved by a purely combinatorial argument, based on a direct bijection between factorizations and certain objects called $m$-Eulerian trees. In this paper, we give a simple partial differential equation for Bousquet-M\'{e}lou and Schaeffer's generating series, and for Goulden and Jackson's generating series, as well as a new proof of the result by Bousquet-M\'{e}lou and Schaeffer. We apply algebraic methods based on Lagrange's theorem, and combinatorial methods based on a new use of Bousquet-M\'{e}lou and Schaeffer's $m$-Eulerian trees.


title: On the formation of continued fractions

abstract: In this paper Euler shows how, if we have recursive functions f,g,h and an infinite sequence A,B,C,... which satisfies fA=gB+hC, f'B=g'C+h'D, f''C=g''D+h''E, f'''D=g'''E+h'''F, etc., where the primes denote an index not a derivative, then we can find a continued fraction for fA/B.


title: The complex Lorentzian Leech lattice and the bimonster

abstract: We find 26 reflections in the automorphism group of the the Lorentzian Leech lattice L over Z[exp(2*pi*i/3)] that form the Coxeter diagram seen in the presentation of the bimonster. We prove that these 26 reflections generate the automorphism group of L. We find evidence that these reflections behave like the simple roots and the vector fixed by the diagram automorphisms behaves like the Weyl vector for the refletion group.


title: Dynamical Systems on Leibniz Algebroids

abstract: In this paper we study the differential systems on Leibniz algebroids. We introduce a class of almost metriplectic manifolds as a special case of Leibniz manifolds. Also, the notion of almost metriplectic algebroid is introduced. These types of algebroids are used in the presentation of associated differential systems. We give some interesting examples of differential systems on algebroids and the orbits of the solutions of corresponding systems are established.


title: Integral manifolds of differential equations with piecewise constant argument of generalized type

abstract: In this paper we introduce a general type of differential equations with piecewise constant argument (EPCAG), and consider the problem of backward continuation of solutions. We establish the existence of global integral manifolds of quasilinear EPCAG, consisting of infinitely back continued solutions, while the solutions starting outside the invariant sets may not be back continued. The smoothness of the manifolds is investigated. The existence of bounded and periodic solutions is considered. A new technique of investigation of equations with piecewise argument, based on an integral representation formula, is proposed.


title: Descriptions of the crystal $B(\infty)$ for $G_2$

abstract: We study the crystal base of the negative part of a quantum group. Two explicit descriptions of the crystal $B(\infty)$ for types $G_2$ are given. The first is given in terms of extended Nakajima monomials and the second realization follows a similar result given for other finite types by Cliff.


title: Th\'eorie G\'eom\'etrique des Polyn\^omes Eul\'eriens

abstract: This is the classical monograph on the combinatorial study of Eulerian polynomials, published in 1970. It has been retyped in TeX and made available on the web with the kind permission of Springer-Verlag. This on-line version has an ouput of 49 pages. Written in French it contains the following items: 0. Introduction to and review of the Euler Numbers 1. General properties of the systems of exceedances and rises 2. The Eulerian polynomials 3. The exponential formula 4. Generating functions for the Eulerian polynomials 5. The alternating sums A(n)(-1) and B(n)(-1) 6. References


title: A note on the alternating sums of powers of consecutive integers

abstract: Following an idea due to Euler, we evaluate the alternating sums of powers of consrcutive integers.


title: The Paley-Wiener Theorem for the Jacobi Transform and the Local Huygens' Principle for Root Systems with Even Multiplicities

abstract: This note is a continuation of the previous paper math.AP/0411383 by the same authors. Its purpose is to extend the results of math.AP/0411383 to the context of root systems with even multiplicities. Under the even multiplicity assumption, we prove a local Paley-Wiener theorem for the Jacobi transform and the strong Huygens' principle for the wave equation associated with the modified compact Laplace operator.


title: Numerical verification of a gap condition for linearized NLS

abstract: We make a detailed numerical study of the spectrum of two Schroedinger operators L_- and L_+ arising in the linearization of the supercritical nonlinear Schroedinger equation (NLS) about the standing wave, in three dimensions. This study was motivated by a recent result of the second author on conditional asymptotic stability of solitary waves in the case of a cubic nonlinearity. Underlying the validity of this result is a spectral condition on the operators L_- and L_+, namely that they have no eigenvalues nor resonances in the gap (a region of the positive real axis between zero and the continuous spectrum,) which we call the gap property. The present numerical study verifies this spectral condition, and further shows that the gap property holds for NLS exponents of the form 2*beta + 1, as long as beta_* < beta <= 1, where beta_* = 0.913958905 +- 1e-8. Our strategy consists of rewriting the original eigenvalue problem via the Birman-Schwinger method. From a numerical analysis viewpoint, our main contribution is an efficient quadrature rule for the kernel 1/|x-y| in R^3, i.e., provably spectrally accurate. As a result, we are able to give similar accuracy estimates for all our eigenvalue computations. We also propose an improvement of the Petviashvili's iteration for the computation of standing wave profiles which automatically chooses the radial solution.


title: Classifying singularities up to analytic extensions of scalars

abstract: The singularity space consists of all germs $(X,x)$, with $X$ a Noetherian scheme and $x$ a point, where we identify two such germs if they become the same after an analytic extension of scalars. This is a Polish space for the metric given by the order to which infinitesimal neighborhoods, or jets, agree after base change. In other words, the classification of singularities up to analytic extensions of scalars is a smooth problem in the sense of descriptive set-theory. Over $\mathbb C$, the following two classification problems up to isomorphism are now smooth: (i) analytic germs; and (ii) polarized schemes.


title: On Holomorphic L_{2} functions on Coverings of Strongly Pseudoconvex Manifolds

abstract: In this paper we prove an extension of a result of Gromov, Henkin and Shubin [GHS] on holomorphic L_{2} functions on coverings of strongly pseudoconvex manifolds.


title: A homology and cohomology theory for real projective varieties

abstract: In this paper we develop homology and cohomology theories which play the same role for real projective varieties that Lawson homology and morphic cohomology play for projective varieties respectively. They have nice properties such as the existence of long exact sequences, the homotopy invariance, the Lawson suspension property, the homotopy property for bundle projection, the splitting principle, the cup product, the slant product and the natural transformations to singular theories. The Friedlander-Lawson moving lemma is used to prove a duality theorem between these two theories. This duality theorem is compatible with the $\Z_2$-Poincar\'e duality for real projective varieties with connected full real points.


title: Infinite Deformed Groups and Their Geometrical and Physical Applications

abstract: In this article we give the realization of the Klein's Program for geometrical structures (Riemannian spaces and fiber bundles with connection) with arbitrary variable curvature within the framework of infinite deformed groups. These groups generalize gauge groups to the case of nontrivial action on the base space of bundles with use of idea of groups deformations. We also show that infinite deformed groups give a group-theoretic description of gauge fields (gravitational field with its metric or vierbein part similarly to gauge fields of internal symmetry) which is alternative for their geometrical interpretation.


title: Bergman Complexes, Coxeter Arrangements, and Graph Associahedra

abstract: Tropical varieties play an important role in algebraic geometry. The Bergman complex B(M) and the positive Bergman complex B+(M) of an oriented matroid M generalize to matroids the notions of the tropical variety and positive tropical variety associated to a linear ideal. Our main result is that if A is a Coxeter arrangement of type Phi with corresponding oriented matroid M_Phi, then B+(M_Phi) is dual to the graph associahedron of type Phi, and B(M_Phi) equals the nested set complex of A. In addition, we prove that for any orientable matroid M, one can find |mu(M)| different reorientations of M such that the corresponding positive Bergman complexes cover B(M), where mu(M) denotes the Mobius function of the lattice of flats of M.


title: Approximate Approximations from scattered data

abstract: The aim of this paper is to extend the approximate quasi-interpolation on a uniform grid by dilated shifts of a smooth and rapidly decaying function on a uniform grid to scattered data quasi-interpolation. It is shown that high order approximation of smooth functions up to some prescribed accuracy is possible, if the basis functions, which are centered at the scattered nodes, are multiplied by suitable polynomials such that their sum is an approximate partition of unity. For Gaussian functions we propose a method to construct the approximate partition of unity and describe the application of the new quasi-interpolation approach to the cubature of multi-dimensional integral operators.


title: Normal approximations for descents and inversions of permutations of multisets

abstract: Normal approximations for descents and inversions of permutations of the set $\{1,2,...,n\}$ are well known. A number of sequences that occur in practice, such as the human genome and other genomes, contain many repeated elements. Motivated by such examples, we consider the number of inversions of a permutation $\pi(1), \pi(2),...,\pi(n)$ of a multiset with $n$ elements, which is the number of pairs $(i,j)$ with $1\leq i < j \leq n$ and $\pi(i)>\pi(j)$. The number of descents is the number of $i$ in the range $1\leq i < n$ such that $\pi(i) > \pi(i+1)$. We prove that, appropriately normalized, the distribution of both inversions and descents of a random permutation of the multiset approaches the normal distribution as $n\to\infty$, provided that the permutation is equally likely to be any possible permutation of the multiset and no element occurs more than $\alpha n$ times in the multiset for a fixed $\alpha$ with $0<\alpha < 1$. Both normal approximation theorems are proved using the size biased version of Stein's method of auxiliary randomization and are accompanied by error bounds.


title: A classification theorem for direct limits of extensions of circle algebras by purely infinite C*-algebras

abstract: We give a classification theorem for a class of C*-algebras which are direct limits of extensions of circle algebras by purely infinite C*-algebras. The invariant consists of the following: (1) the set of Murray-von Neumann equivalence classes of projections; (2) the set of homotopy classes of hyponormal partial isometries; (3) a map d; and (4) total K-theory.


title: Linear stability analysis of resonant periodic motions in the restricted three-body problem

abstract: The equations of the restricted three-body problem describe the motion of a massless particle under the influence of two primaries of masses $1-\mu$ and $\mu$, $0\leq \mu \leq 1/2$, that circle each other with period equal to $2\pi$. When $\mu=0$, the problem admits orbits for the massless particle that are ellipses of eccentricity $e$ with the primary of mass 1 located at one of the focii. If the period is a rational multiple of $2\pi$, denoted $2\pi p/q$, some of these orbits perturb to periodic motions for $\mu > 0$. For typical values of $e$ and $p/q$, two resonant periodic motions are obtained for $\mu > 0$. We show that the characteristic multipliers of both these motions are given by expressions of the form $1\pm\sqrt{C(e,p,q)\mu}+O(\mu)$ in the limit $\mu\to 0$. The coefficient $C(e,p,q)$ is analytic in $e$ at $e=0$ and $C(e,p,q)=O(e^{\abs{p-q}})$. The coefficients in front of $e^{\abs{p-q}}$, obtained when $C(e,p,q)$ is expanded in powers of $e$ for the two resonant periodic motions, sum to zero. Typically, if one of the two resonant periodic motions is of elliptic type the other is of hyperbolic type. We give similar results for retrograde periodic motions and discuss periodic motions that nearly collide with the primary of mass $1-\mu$.


title: The Arithmetic of Distributions in Free Probability Theory

abstract: We give an analytical approach to the definition of additive and multiplicative free convolutions which is based on the theory of Nevanlinna and of Schur functions. We consider the set of probability distributions as a semigroup $\bold M$ equipped with the operation of free convolution and prove a Khintchine type theorem for the factorization of elements of this semigroup. An element of $\bold M$ contains either indecomposable ("prime") factors or it belongs to a class, say $I_0$, of distributions without indecomposable factors. In contrast to the classical convolution semigroup in the free additive and multiplicative convolution semigroups the class $I_0$ consists of units (i.e. Dirac measures) only. Furthermore we show that the set of indecomposable elements is dense in $\bold M$.


title: Stable manifolds and homoclinic points near resonances in the restricted three-body problem

abstract: The restricted three-body problem describes the motion of a massless particle under the influence of two primaries of masses $1-\mu$ and $\mu$ that circle each other with period equal to $2\pi$. For small $\mu$, a resonant periodic motion of the massless particle in the rotating frame can be described by relatively prime integers $p$ and $q$, if its period around the heavier primary is approximately $2\pi p/q$, and by its approximate eccentricity $e$. We give a method for the formal development of the stable and unstable manifolds associated with these resonant motions. We prove the validity of this formal development and the existence of homoclinic points in the resonant region. In the study of the Kirkwood gaps in the asteroid belt, the separatrices of the averaged equations of the restricted three-body problem are commonly used to derive analytical approximations to the boundaries of the resonances. We use the unaveraged equations to find values of asteroid eccentricity below which these approximations will not hold for the Kirkwood gaps with $q/p$ equal to 2/1, 7/3, 5/2, 3/1, and 4/1. Another application is to the existence of asymmetric librations in the exterior resonances. We give values of asteroid eccentricity below which asymmetric librations will not exist for the 1/7, 1/6, 1/5, 1/4, 1/3, and 1/2 resonances for any $\mu$ however small. But if the eccentricity exceeds these thresholds, asymmetric librations will exist for $\mu$ small enough in the unaveraged restricted three-body problem.


title: On the Orbit Decomposition of Finite Quandles

abstract: We study the structure of finite quandles in terms of subquandles. Every finite quandle $Q$ decomposes in a natural way as a union of disjoint $Q$-complemented subquandles; this decomposition coincides with the usual orbit decomposition of $Q$. Conversely, the structure of a finite quandle with a given orbit decomposition is determined by its structure maps. We describe a procedure for finding all non-connected quandle structures on a disjoint union of subquandles.


title: Self-contact Sets for 50 Tightly Knotted and Linked Tubes

abstract: We report on new numerical computations of the set of self-contacts in tightly knotted tubes of uniform circular cross-section. Such contact sets have been obtained before for the trefoil and figure eight knots by simulated annealing -- we use constrained gradient-descent to provide new self-contact sets for those and 48 other knot and link types. The minimum length of all unit diameter tubes in a given knot or link type is called the ropelength of that class of curves. Our computations yield improved upper bounds for the ropelength of all knots and links with 9 or fewer crossings except the trefoil.


title: On K3 Surfaces with Large Complex Structure

abstract: We discuss a notion of large complex structure for elliptic K3 surfaces with section inspired by the eight-dimensional F-theory/heterotic duality in string theory. This concept is naturally associated with the Type II Mumford partial compactification of the moduli space of periods for these structures. The paper provides an explicit Hodge-theoretic condition for the complex structure of an elliptic K3 surface with section to be large. We also discuss certain geometrical implications of this large complex structure condition in terms of the Kodaira types of the singular fibers of the elliptic fibration.


title: Toroidal Dehn fillings on large hyperbolic 3-manifolds

abstract: We show that if a hyperbolic 3-manifold $M$ with a single torus boundary admits two Dehn fillings at distance 5, each of which contains an essential torus, then $M$ is a rational homology solid torus, which is not large in the sense of Wu. Moreover, one of the surgered manifold contains an essential torus which meets the core of the attached solid torus minimally in at most two points. This completes the determination of best possible upper bounds for the distance between two exceptional Dehn fillings yielding essential small surfaces in all ten cases for large hyperbolic 3-manifolds.


title: On the K-theory of the coordinate axes in the plane

abstract: Let k be a regular F_p-algebra, let A = k[x,y]/(xy) be the coordinate ring of the coordinate axes in the affine k-plane, and let I = (x,y) be the ideal that defines the intersection point. We evaluate the relative K-groups K_q(A,I) in terms of the groups of big de Rham-Witt forms of the ring k. The result generalizes previous results for K_1 and K_2 by Dennis and Krusemeyer.


title: ADM submanifolds, SL normal bundles examples

abstract: It is showed that many examples of AMD submanifolds of higher dimensions come from SL normal bundles. A symmetry property of SL submanifolds and Bj\"{o}rling type problem for SL normal bundles are also mentioned.


title: On the Nonself-adjoint Sturm-Liouville Operator with Matrix Potential

abstract: In this article we obtain the asymptotic formulas for the eigenvalues and eigenfunctions of the nonself-adjoint operator generated by a system of Sturm-Liouville equations with summable coefficients and the quasiperiodic boundary conditions. Then using these asymptotic formulas, we find the conditions on the potential for which the root funcions of this operator form a Riesz basis.


title: On the Hill's Operator with Matrix Potential

abstract: In this article we obtain the asymptotic formulas for the eigenvalues and eigenfunctions of the self-adjoint operator generated by a system of Sturm-Liouville equations with summable coefficients and the quasiperiodic boundary conditions. Then using these asymptotic formulas, we find the conditions on the potential for which the number of gaps in the spectrum of the Hill's operator with matrix potential is finite.


title: Existence of Bogomol'nyi solitons via Floer theory

abstract: We use Floer homology to prove existence of solutions of a generalized Abelian Higgs equation introduced by Schroers.


title: Derivatives of random matrix characteristic polynomials with applications to elliptic curves

abstract: The value distribution of derivatives of characteristic polynomials of matrices from SO(N) is calculated at the point 1, the symmetry point on the unit circle of the eigenvalues of these matrices. We consider subsets of matrices from SO(N) that are constrained to have $n$ eigenvalues equal to 1, and investigate the first non-zero derivative of the characteristic polynomial at that point. The connection between the values of random matrix characteristic polynomials and values of $L$-functions in families has been well-established. The motivation for this work is the expectation that through this connection with $L$-functions derived from families of elliptic curves, and using the Birch and Swinnerton-Dyer conjecture to relate values of the $L$-functions to the rank of elliptic curves, random matrix theory will be useful in probing important questions concerning these ranks.


title: Stability conditions and Kleinian singularities

abstract: We describe the spaces of stability conditions on certain triangulated categories associated to Dynkin diagrams. These categories can be defined either algebraically via module categories of preprojective algebras, or geometrically via coherent sheaves on resolutions of Kleinian singularities. The resulting spaces are related to regular subsets of the corresponding complexified Cartan algebras.


title: A Remark on a Theorem of math.AG/0511155

abstract: We give another proof of a theorem of H. Kajiura, K. Saito, and A. Takahashi based on the theory of weighted projective lines by Geigle and Lenzing and a theorem of Orlov on triangulated categories of graded B-branes. The content of this paper appears in the appendix to math.AG/0511155.


title: On the independence of Heegner points associated to distinct quadratic imaginary fields

abstract: Let E/Q be an elliptic curve with a fixed modular parametrization F : X_0(N) --> E and let P_1,...,P_r be Heegner points on E attached to the rings of integers of distinct quadratic imaginary field k_1,...,k_r. We prove that if the odd parts of the class numbers of k_1,...,k_r are larger than a constant C=C(E,F) depending only on E and F, then the points P_1,...,P_r are independent in E/(torsion). We also discuss a possible application to the elliptic curve discrete logarithm problem.


title: Introduction to Linear Bialgebra

abstract: The algebraic structure, linear algebra happens to be one of the subjects which yields itself to applications to several fields like coding or communication theory, Markov chains, representation of groups and graphs, Leontief economic models and so on. This book has for the first time, introduced a new algebraic structure called linear bialgebra, which is also a very powerful algebraic tool that can yield itself to applications. With the recent introduction of bimatrices (2005)we have ventured in this book to introduce new concepts like linear bialgebra and Smarandache neutrosophic linear bialgebra and also give the applications of these algebraic structures. It is important to mention here it is a matter of simple exercise to extend these to linear n-algebra for any n greater than 2; for n = 2 we get the linear bialgebra. This book has five chapters. In the first chapter we just introduce some basic notions of linear algebra and Slinear algebra and their applications. Chapter two introduces some new algebraic bistructures. In chapter three we introduce the notion of linear bialgebra and discuss several interesting properties about them. Also, application of linear bialgebra to bicodes is given. A remarkable part of our research in this book is the introduction of the notion of birepresentation of bigroups. The fourth chapter introduces several neutrosophic algebraic structures since they help in defining the new concept of neutrosophic linear bialgebra, neutrosophic bivector spaces, Smarandache neutrosophic linear bialgebra and Smarandache neutrosophic bivector spaces. Theirprobable applications to real-world models are discussed.


title: Laws of the iterated logarithm for \alpha-time Brownian motion

abstract: We introduce a class of iterated processes called $\alpha$-time Brownian motion for $0<\alpha \leq 2$. These are obtained by taking Brownian motion and replacing the time parameter with a symmetric $\alpha$-stable process. We prove a Chung-type law of the iterated logarithm (LIL) for these processes which is a generalization of LIL proved in \cite{hu} for iterated Brownian motion. When $\alpha =1$ it takes the following form $$ \liminf_{T\to\infty}T^{-1/2}(\log \log T) \sup_{0\leq t\leq T}|Z_{t}|=\pi^{2}\sqrt{\lambda_{1}} a.s. $$ where $\lambda_{1}$ is the first eigenvalue for the Cauchy process in the interval $[-1,1].$ We also define the local time $L^{*}(x,t)$ and range $R^{*}(t)=|\{x: Z(s)=x \text{for some} s\leq t\}|$ for these processes for $1<\alpha <2$. We prove that there are universal constants $c_{R},c_{L}\in (0,\infty) $ such that $$ \limsup_{t\to\infty}\frac{R^{*}(t)}{(t/\log \log t)^{1/2\alpha}\log \log t}= c_{R} a.s. $$ $$ \liminf_{t\to\infty} \frac{\sup_{x\in \RR{R}}L^{*}(x,t)}{(t/\log \log t)^{1-1/2\alpha}}= c_{L} a.s. $$


title: Higher order PDE's and iterated Processes

abstract: We introduce a class of stochastic processes based on symmetric $\alpha$-stable processes. These are obtained by taking Markov processes and replacing the time parameter with the modulus of a symmetric $\alpha$-stable process. We call them $\alpha$-time processes. They generalize Brownian time processes studied in \cite{allouba1, allouba2, allouba3}, and they introduce new interesting examples. We establish the connection of $\alpha-$time processes to some higher order PDE's for $\alpha$ rational. We also study the exit problem for $\alpha$-time processes as they exit regular domains and connect them to elliptic PDE's. We also obtain the PDE connection of subordinate killed Brownian motion in bounded domains of regular boundary.


title: Pure extensions of locally compact abelian groups

abstract: In this paper, we study the group Pext(C,A) for locally compact abelian (LCA) groups A and C. Sufficient conditions are established for Pext(C,A) to coincide with the first Ulm subgroup of Ext(C,A). Some structural information on pure injectives in the category of LCA groups is obtained. Letting K denote the class of LCA groups which can be written as the topological direct sum of a compactly generated group and a discrete group, we determine the groups G in K which are pure injective in the category of LCA groups. Finally we describe those groups G in K such that every pure extension of G by a group in K splits and obtain a corresponding dual result.


title: Asymptotic analysis of the Askey-scheme II: from Charlier to Hermite

abstract: We analyze the Hermite polynomials $H_{n}(\xi)$ and their zeros asymptotically as $n\to\infty,$ using the limit relation between the Charlier and Hermite polynomials. Our formulas involve some special functions and they yield very accurate approximations.


title: Smith Normal Form and Acyclic Matrics

abstract: An approach, based on the Smith Normal Form, is introduced to study the spectra of symmetric matrices with a given graph. The approach serves well to explain how the path cover number (resp. diameter of a tree T) is related to the maximum multiplicity occurring for an eigenvalue of a symmetric matrix whose graph is T (resp. the minimum number q(T) of distinct eigenvalues over the symmetric matrices whose graphs are T). The approach is also applied to a more general class of connected graphs G, not necessarily trees, in order to establish a lower bound on q(G).


title: Maximum Likelihood Estimation in Gaussian Chain Graph Models under the Alternative Markov Property

abstract: The AMP Markov property is a recently proposed alternative Markov property for chain graphs. In the case of continuous variables with a joint multivariate Gaussian distribution, it is the AMP rather than the earlier introduced LWF Markov property that is coherent with data-generation by natural block-recursive regressions. In this paper, we show that maximum likelihood estimates in Gaussian AMP chain graph models can be obtained by combining generalized least squares and iterative proportional fitting to an iterative algorithm. In an appendix, we give useful convergence results for iterative partial maximization algorithms that apply in particular to the described algorithm.


title: Multiple Testing and Error Control in Gaussian Graphical Model Selection

abstract: Graphical models provide a framework for exploration of multivariate dependence patterns. The connection between graph and statistical model is made by identifying the vertices of the graph with the observed variables and translating the pattern of edges in the graph into a pattern of conditional independences that is imposed on the variables' joint distribution. Focusing on Gaussian models, we review classical graphical models. For these models the defining conditional independences are equivalent to vanishing of certain (partial) correlation coefficients associated with individual edges that are absent from the graph. Hence, Gaussian graphical model selection can be performed by multiple testing of hypotheses about vanishing (partial) correlation coefficients. We show and exemplify how this approach allows one to perform model selection while controlling error rates for incorrect edge inclusion.


title: Estimation of a Covariance Matrix with Zeros

abstract: We consider estimation of the covariance matrix of a multivariate random vector under the constraint that certain covariances are zero. We first present an algorithm, which we call Iterative Conditional Fitting, for computing the maximum likelihood estimator of the constrained covariance matrix, under the assumption of multivariate normality. In contrast to previous approaches, this algorithm has guaranteed convergence properties. Dropping the assumption of multivariate normality, we show how to estimate the covariance matrix in an empirical likelihood approach. These approaches are then compared via simulation and on an example of gene expression.


title: Chord Diagrams and Gauss Codes for Graphs

abstract: Chord diagrams on circles and their intersection graphs (also known as circle graphs) have been intensively studied, and have many applications to the study of knots and knot invariants, among others. However, chord diagrams on more general graphs have not been studied, and are potentially equally valuable in the study of spatial graphs. We will define chord diagrams for planar embeddings of planar graphs and their intersection graphs, and prove some basic results. Then, as an application, we will introduce Gauss codes for immersions of graphs in the plane and give algorithms to determine whether a particular crossing sequence is realizable as the Gauss code of an immersed graph.


title: Almost Sure Recurrence of the Simple Random Walk Path

abstract: It is shown that the path of a simple random walk on any graph, consisting of all vertices visited and edges crossed by the walk, is almost surely a recurrent subgraph.


title: Automorphic forms and rational homology 3--spheres

abstract: We investigate a question of Cooper adjacent to the Virtual Haken Conjecture. Assuming certain conjectures in number theory, we show that there exist hyperbolic rational homology 3-spheres with arbitrarily large injectivity radius. These examples come from a tower of abelian covers of an explicit arithmetic 3-manifold. The conjectures we must assume are the Generalized Riemann Hypothesis and a mild strengthening of results of Taylor et al on part of the Langlands Program for GL_2 of an imaginary quadratic field. The proof of this theorem involves ruling out the existence of an irreducible two dimensional Galois representation (rho) of Gal(Qbar/Q(sqrt(-2))) satisfying certain prescribed conditions. In contrast to similar questions of this form, (rho) is allowed to have arbitrary ramification at some prime of Z[sqrt(-2)]. Finally, we investigate the congruence covers of twist-knot orbifolds. Our experimental evidence suggests that these topologically similar orbifolds have rather different behavior depending on whether or not they are arithmetic. In particular, the congruence covers of the nonarithmetic orbifolds have a paucity of homology.


title: Reasonably complete forcing notions

abstract: We introduce more properties of forcing notions which imply that their lambda-support iterations are lambda-proper, where lambda is an inaccessible cardinal. This paper is a direct continuation of section A.2 of math.LO/0210205. As an application of our iteration result we show that it is consistent that dominating numbers associated with two normal filters on lambda are distinct.


title: Permutative representations of the Cuntz-Krieger algebras

abstract: We generalize permutative representations of the Cuntz algebras for the \cka\ $\coa$ for any $A$. We characterize cyclic permutative representations by notions of cycle and chain, and show their existence and uniqueness. We show necessary and sufficient conditions for their irreducibility and equivalence. In consequence, we have a complete classification of permutative representations of $\coa$. Furthermore we show decomposition formulae and that the uniqueness of irreducible decomposition holds for permutative representation.


title: Double affine Hecke algebras, conformal coinvariants and Kostka polynomials

abstract: We study a class of representations called ``calibrated representations'' of the degenerate double affine Hecke algebra and those of the rational Cherednik algebra of type ${\mathrm{GL}}_n$. We give a realization of calibrated irreducible modules as spaces of coinvariants constructed from integrable modules over the affine Lie algebra $\hat{\mathfrak{gl}}_m$. Moreover, we give a character formula of these irreducible modules in terms of a level-restricted Kostka polynomials. These results were conjectured by Arakawa, Suzuki and Tsuchiya based on the conformal field theory. The proofs using recent results on the representation theory of the double affine Hecke algebras will be presented in the forthcoming papers.


title: Local Rademacher complexities

abstract: We propose new bounds on the error of learning algorithms in terms of a data-dependent notion of complexity. The estimates we establish give optimal rates and are based on a local and empirical version of Rademacher averages, in the sense that the Rademacher averages are computed from the data, on a subset of functions with small empirical error. We present some applications to classification and prediction with convex function classes, and with kernel classes in particular.


title: Boosting with early stopping: Convergence and consistency

abstract: Boosting is one of the most significant advances in machine learning for classification and regression. In its original and computationally flexible version, boosting seeks to minimize empirically a loss function in a greedy fashion. The resulting estimator takes an additive function form and is built iteratively by applying a base estimator (or learner) to updated samples depending on the previous iterations. An unusual regularization technique, early stopping, is employed based on CV or a test set. This paper studies numerical convergence, consistency and statistical rates of convergence of boosting with early stopping, when it is carried out over the linear span of a family of basis functions. For general loss functions, we prove the convergence of boosting's greedy optimization to the infinimum of the loss function over the linear span. Using the numerical convergence result, we find early-stopping strategies under which boosting is shown to be consistent based on i.i.d. samples, and we obtain bounds on the rates of convergence for boosting estimators. Simulation studies are also presented to illustrate the relevance of our theoretical results for providing insights to practical aspects of boosting. As a side product, these results also reveal the importance of restricting the greedy search step-sizes, as known in practice through the work of Friedman and others. Moreover, our results lead to a rigorous proof that for a linearly separable problem, AdaBoost with \epsilon\to0 step-size becomes an L^1-margin maximizer when left to run to convergence.


title: Contour regression: A general approach to dimension reduction

abstract: We propose a novel approach to sufficient dimension reduction in regression, based on estimating contour directions of small variation in the response. These directions span the orthogonal complement of the minimal space relevant for the regression and can be extracted according to two measures of variation in the response, leading to simple and general contour regression (SCR and GCR) methodology. In comparison with existing sufficient dimension reduction techniques, this contour-based methodology guarantees exhaustive estimation of the central subspace under ellipticity of the predictor distribution and mild additional assumptions, while maintaining \sqrtn-consistency and computational ease. Moreover, it proves robust to departures from ellipticity. We establish population properties for both SCR and GCR, and asymptotic properties for SCR. Simulations to compare performance with that of standard techniques such as ordinary least squares, sliced inverse regression, principal Hessian directions and sliced average variance estimation confirm the advantages anticipated by the theoretical analyses. We demonstrate the use of contour-based methods on a data set concerning soil evaporation.


title: Variable selection using MM algorithms

abstract: Variable selection is fundamental to high-dimensional statistical modeling. Many variable selection techniques may be implemented by maximum penalized likelihood using various penalty functions. Optimizing the penalized likelihood function is often challenging because it may be nondifferentiable and/or nonconcave. This article proposes a new class of algorithms for finding a maximizer of the penalized likelihood for a broad class of penalty functions. These algorithms operate by perturbing the penalty function slightly to render it differentiable, then optimizing this differentiable function using a minorize-maximize (MM) algorithm. MM algorithms are useful extensions of the well-known class of EM algorithms, a fact that allows us to analyze the local and global convergence of the proposed algorithm using some of the techniques employed for EM algorithms. In particular, we prove that when our MM algorithms converge, they must converge to a desirable point; we also discuss conditions under which this convergence may be guaranteed. We exploit the Newton-Raphson-like aspect of these algorithms to propose a sandwich estimator for the standard errors of the estimators. Our method performs well in numerical tests.


title: Statistical analysis on high-dimensional spheres and shape spaces

abstract: We consider the statistical analysis of data on high-dimensional spheres and shape spaces. The work is of particular relevance to applications where high-dimensional data are available--a commonly encountered situation in many disciplines. First the uniform measure on the infinite-dimensional sphere is reviewed, together with connections with Wiener measure. We then discuss densities of Gaussian measures with respect to Wiener measure. Some nonuniform distributions on infinite-dimensional spheres and shape spaces are introduced, and special cases which have important practical consequences are considered. We focus on the high-dimensional real and complex Bingham, uniform, von Mises-Fisher, Fisher-Bingham and the real and complex Watson distributions. Asymptotic distributions in the cases where dimension and sample size are large are discussed. Approximations for practical maximum likelihood based inference are considered, and in particular we discuss an application to brain shape modeling.


title: Directions and projective shapes

abstract: This paper deals with projective shape analysis, which is a study of finite configurations of points modulo projective transformations. The topic has various applications in machine vision. We introduce a convenient projective shape space, as well as an appropriate coordinate system for this shape space. For generic configurations of k points in m dimensions, the resulting projective shape space is identified as a product of k-m-2 copies of axial spaces RP^m. This identification leads to the need for developing multivariate directional and multivariate axial analysis and we propose parametric models, as well as nonparametric methods, for these areas. In particular, we investigate the Frechet extrinsic mean for the multivariate axial case. Asymptotic distributions of the appropriate parametric and nonparametric tests are derived. We illustrate our methodology with examples from machine vision.


title: Empirical Bayes selection of wavelet thresholds

abstract: This paper explores a class of empirical Bayes methods for level-dependent threshold selection in wavelet shrinkage. The prior considered for each wavelet coefficient is a mixture of an atom of probability at zero and a heavy-tailed density. The mixing weight, or sparsity parameter, for each level of the transform is chosen by marginal maximum likelihood. If estimation is carried out using the posterior median, this is a random thresholding procedure; the estimation can also be carried out using other thresholding rules with the same threshold. Details of the calculations needed for implementing the procedure are included. In practice, the estimates are quick to compute and there is software available. Simulations on the standard model functions show excellent performance, and applications to data drawn from various fields of application are used to explore the practical performance of the approach. By using a general result on the risk of the corresponding marginal maximum likelihood approach for a single sequence, overall bounds on the risk of the method are found subject to membership of the unknown function in one of a wide range of Besov classes, covering also the case of f of bounded variation. The rates obtained are optimal for any value of the parameter p in (0,\infty], simultaneously for a wide range of loss functions, each dominating the L_q norm of the \sigmath derivative, with \sigma\ge0 and 0<q\le2.


title: A new class of generalized Bayes minimax ridge regression estimators

abstract: Let y=A\beta+\epsilon, where y is an N\times1 vector of observations, \beta is a p\times1 vector of unknown regression coefficients, A is an N\times p design matrix and \epsilon is a spherically symmetric error term with unknown scale parameter \sigma. We consider estimation of \beta under general quadratic loss functions, and, in particular, extend the work of Strawderman [J. Amer. Statist. Assoc. 73 (1978) 623-627] and Casella [Ann. Statist. 8 (1980) 1036-1056, J. Amer. Statist. Assoc. 80 (1985) 753-758] by finding adaptive minimax estimators (which are, under the normality assumption, also generalized Bayes) of \beta, which have greater numerical stability (i.e., smaller condition number) than the usual least squares estimator. In particular, we give a subclass of such estimators which, surprisingly, has a very simple form. We also show that under certain conditions the generalized Bayes minimax estimators in the normal case are also generalized Bayes and minimax in the general case of spherically symmetric errors.


title: Bayesian Poisson process partition calculus with an application to Bayesian L\'evy moving averages

abstract: This article develops, and describes how to use, results concerning disintegrations of Poisson random measures. These results are fashioned as simple tools that can be tailor-made to address inferential questions arising in a wide range of Bayesian nonparametric and spatial statistical models. The Poisson disintegration method is based on the formal statement of two results concerning a Laplace functional change of measure and a Poisson Palm/Fubini calculus in terms of random partitions of the integers {1,...,n}. The techniques are analogous to, but much more general than, techniques for the Dirichlet process and weighted gamma process developed in [Ann. Statist. 12 (1984) 351-357] and [Ann. Inst. Statist. Math. 41 (1989) 227-245]. In order to illustrate the flexibility of the approach, large classes of random probability measures and random hazards or intensities which can be expressed as functionals of Poisson random measures are described. We describe a unified posterior analysis of classes of discrete random probability which identifies and exploits features common to all these models. The analysis circumvents many of the difficult issues involved in Bayesian nonparametric calculus, including a combinatorial component. This allows one to focus on the unique features of each process which are characterized via real valued functions h. The applicability of the technique is further illustrated by obtaining explicit posterior expressions for L\'evy-Cox moving average processes within the general setting of multiplicative intensity models.


title: Efficiency improvements in inference on stationary and nonstationary fractional time series

abstract: We consider a time series model involving a fractional stochastic component, whose integration order can lie in the stationary/invertible or nonstationary regions and be unknown, and an additive deterministic component consisting of a generalized polynomial. The model can thus incorporate competing descriptions of trending behavior. The stationary input to the stochastic component has parametric autocorrelation, but innovation with distribution of unknown form. The model is thus semiparametric, and we develop estimates of the parametric component which are asymptotically normal and achieve an M-estimation efficiency bound, equal to that found in work using an adaptive LAM/LAN approach. A major technical feature which we treat is the effect of truncating the autoregressive representation in order to form innovation proxies. This is relevant also when the innovation density is parameterized, and we provide a result for that case also. Our semiparametric estimates employ nonparametric series estimation, which avoids some complications and conditions in kernel approaches featured in much work on adaptive estimation of time series models; our work thus also contributes to methods and theory for nonfractional time series models, such as autoregressive moving averages. A Monte Carlo study of finite sample performance of the semiparametric estimates is included.