title: Weil-Petersson metric on the universal Teichmuller space II. Kahler potential and period mapping

abstract: We study the Hilbert manifold structure on $T_{0}(1)$ -- the connected component of the identity of the Hilbert manifold T(1). We characterize points on $T_{0}(1)$ in terms of Bers and pre-Bers embeddings, and prove that the Grunsky operators $B_{1}$ and $B_{4}$, associated with the points in $T_{0}(1)$ via conformal welding, are Hilbert-Schmidt. We define a ``universal Liouville action'' -- a real-valued function $\SSS_{1}$ on $T_{0}(1)$, and prove that it is a K\"{a}hler potential of the Weil-Petersson metric on $T_{0}(1)$. We also prove that $\SSS_{1}$ is $-\tfrac{1}{12\pi}$ times the logarithm of the Fredholm determinant of associated quasi-circle, which generalizes classical results of Schiffer and Hawley. We define the universal period mapping $\hat{\cP}: T(1)\to\cB(\ell^{2})$ of T(1) into the Banach space of bounded operators on the Hilbert space $\ell^{2}$, prove that $\hat{\cP}$ is a holomorphic mapping of Banach manifolds, and show that $\hat{\cP}$ coincides with the period mapping introduced by Kurillov and Yuriev and Nag and Sullivan. We prove that the restriction of $\hat{\cP}$ to $T_{0}(1)$ is an inclusion of $T_{0}(1)$ into the Segal-Wilson universal Grassmannian, which is a holomorphic mapping of Hilbert manifolds. We also prove that the image of the topological group $S$ of symmetric homeomorphisms of $S^{1}$ under the mapping $\hat{\cP}$ consists of compact operators on $\ell^{2}$.


title: Extended degree functions and monomial modules

abstract: The arithmetic degree, the smallest extended degree, and the homological degree are invariants that have been proposed as alternatives of the degree of a module if this module is not Cohen-Macaulay. We compare these degree functions and study their behavior when passing to the generic initial or the lexicographic submodule. This leads to various bounds and to counterexamples to a conjecture of Gunston and Vasconcelos, respectively. Particular attention is given to the class of sequentially Cohen-Macaulay modules. The results in this case lead to an algorithm that computes the smallest extended degree.


title: On the invariant theory of the Bezoutiant

abstract: We study the classical invariant theory of the Bezoutiant R(A,B) of a pair of binary forms A,B. It is shown that R(A,B) admits a Taylor expansion whose coefficients are (essentially) the odd transvectants (A,B)_{2r+1}. Moreover, R(A,B) is entirely determined by the first two terms M = (A,B)_1, N =(A,B)_3. Using the Plucker relations, we give equivariant formulae which express the higher transvectants (A,B)_5, (A,B)_7 in terms of M,N. We also describe a `reduction formula' which calculates B from the knowledge of A and R(A,B).


title: SPM Bulletin 9

abstract: This is the ninth issue of this bulletin. CONTENTS: Proceedings of SPM Workshop; A brief remark on van der Waerden spaces; Complete ccc Boolean algebras, the order sequential topology, and a problem of von Neumann; Cardinal invariants p, t and h and real functions; A comment on p<t; On squares of spaces and F_sigma-sets; Comparing the uniformity invariants of null sets for different measures; Maximal functions and the additivity of various families of null sets; How many miles to beta(omega)? -- Approximating beta(omega) by metric-dependent compactifications; The cardinal characteristic for relative gamma-sets; Uncountable intersections of open sets under CPA_prism; Covering R^{n+1} by graphs of n-ary functions and long linear orderings of Turing degrees; CONFERENCE: Foundations of the Formal Sciences V: Infinite Games; Problem of the month; Problems from earlier issues


title: On the rigidity of small domains

abstract: Let $K$ be an algebraically closed field of arbitrary characteristic. Let $A$ be an affine domain over $K$ with transcendence degree 1 which is not isomorphic to $K[x]$, and let $B$ be a domain over $K$. We show that the AK invariant distributes over the tensor product of $A$ by $B$. As a consequence, we obtain a generalization of the cancellation theorem of S. Abhyankar, P. Eakin, and W. Heinzer.


title: On Multiple Recurrence

abstract: Let X be a metric space with metric d and T,S be two commutative measure-preserving maps of X. In this paper we obtain numerical results about multiple recurrence of almost every point of this dynamical system. On other words we study the question about convergence to zero of max{d(T^n x,x), d(S^n x,x)}.


title: Return of $x + x^2y + z^2 + t^3 = 0$

abstract: We develop techniques for computing the AK invariant of domains with arbitrary characteristic. As an example, we show that for any field $K$ the ring $K[X,Y,Z,T] / (X + X^2 Y + Z^2 + T^3)$ is not isomorphic to a polynomial ring over $K$.


title: On automorphisms of Danielewski surfaces

abstract: We develop techniques for computing the AK invariant of a domain with arbitrary characteristic. We use these techniques to describe for any field $K$ the automorphism group of $K[X,Y,Z]/(X^n Y - Z^2 - h(X)Z)$, where $h(0) \ne 0$ and $n \geq 2$, as well as the isomorphism classes of these algebras.


title: Non-computable Julia sets

abstract: We show that under the definition of computability which is natural from the point of view of applications, there exist non-computable quadratic Julia sets.


title: Wild recurrent critical points

abstract: It is conjectured that a rational map whose coefficients are algebraic over $\Q_p$ has no wandering components of the Fatou set. R. Benedetto has shown that any counter example to this conjecture must have a wild recurrent critical point. We provide here the first examples of rational maps whose coefficients are algebraic over $\Q_p$ and that have a (wild) recurrent critical point. In fact, we show that there is such a rational map in every one parameter family of rational maps that is defined over a finite extension of $\Q_p$ and that has a Misiurewicz bifurcation.


title: New results on the peak algebra

abstract: The peak algebra is a unital subalgebra of the symmetric group algebra, linearly spanned by sums of permutations with a common set of peaks. By exploiting the combinatorics of sparse subsets of [n-1] (and of certain classes of compositions of n called almost-odd and thin), we construct three new linear bases of this algebra. We discuss two peak analogs of the first Eulerian idempotent and construct a basis of semi-idempotent elements. We use these bases to describe the Jacobson radical of the peak algebra and to characterize the elements of this algebra in terms of the canonical action of the symmetric groups on the tensor algebra of a vector space. We define a chain of ideals such that the ideal at the bottom of the chain is the linear span of sums of permutations with a common set of interior peaks and the ideal at the top is the whole algebra. We extend the above results to these ideals, generalizing results of Schocker (the case of the bottom ideal).


title: On Matrix Polynomials with Real Roots

abstract: It is proved that the roots of combinations of matrix polynomials with real roots can be recast as eigenvalues of combinations of real symmetric matrices, under certain hypotheses. The proof is based on recent solution of the Lax conjecture. Several applications and corollaries, in particular concerning hyperbolic matrix polynomials, are presented.


title: Van der Waerden Conjecture for Mixed Discriminants

abstract: We prove that the mixed discriminant of doubly stochastic $n$-tuples of semidefinite hermitian $n \times n$ matrices is bounded below by $\frac{n!}{n^{n}}$ and that this bound is uniquely attained at the $n$-tuple $(\frac{1}{n} I,...,\frac{1}{n} I)$. This result settles a conjecture posed by R. Bapat in 1989. We consider various generalizations and applications of this result.


title: On non-integrable complex distributions: an approach by transversality with real domains

abstract: We study the classification of singularities of holomorphic foliations and non-integrable one-forms under the hypothesis of transversality with real hypersurfaces.


title: Curved flats, exterior differential systems, and conservation laws

abstract: Let $\sigma$ be an involution of a real semi-simple Lie group $U$, $U_0$ the subgroup fixed by $\sigma$, and $U/U_0$ the corresponding symmetric space. Ferus and Pedit called a submanifold $M$ of a rank $r$ symmetric space $U/U_0$ a {\it curved flat} if $T_pM$ is tangent to an $r$-dimensional flat of $U/U_0$ at $p$ for each $p\in M$. They noted that the equation for curved flats is an integrable system. Bryant used the involution $\sigma$ to construct an involutive exterior differential system $\ci_\sigma$ such that integral submanifolds of $\ci_\sigma$ are curved flats. Terng used $r$ first flows in the $U/U_0$-hierarchy of commuting soliton equations to construct the $U/U_0$-system. She showed that the $U/U_0$-system and the curved flat system are gauge equivalent, used the inverse scattering theory to solve the Cauchy problem globally with smooth rapidly decaying initial data, used loop group factorization to construct infinitely many families of explicit solutions, and noted that many these systems occur as the Gauss-Codazzi equations for submanifolds in space forms. The main goals of this paper are: (i) give a review of these known results, (ii) use techniques from soliton theory to construct infinitely many integral submanifolds and conservation laws for the exterior differential system $\ci_\sigma$.


title: Level Crossing Probabilities II: Polygonal Recurrence of Multidimensional Random Walks

abstract: In part I (math.PR/0406392) we proved for an arbitrary one-dimensional random walk with independent increments that the probability of crossing a level at a given time n is of the maximal order square root of n. In higher dimensions we call a random walk 'polygonally recurrent' (resp. transient) if a.s. infinitely many (resp. finitely many) of the straight lines between two consecutive sites hit a given bounded set. The above estimate implies that three-dimensional random walks with independent components are polygonally transient. Similarly a directionally reinforced random walk on Z^3 in the sense of Mauldin, Monticino and v.Weizsaecker [1] is transient. On the other hand we construct an example of a transient but polygonally recurrent random walk with independent components on Z^2.


title: Multiscale likelihood analysis and complexity penalized estimation

abstract: We describe here a framework for a certain class of multiscale likelihood factorizations wherein, in analogy to a wavelet decomposition of an L^2 function, a given likelihood function has an alternative representation as a product of conditional densities reflecting information in both the data and the parameter vector localized in position and scale. The framework is developed as a set of sufficient conditions for the existence of such factorizations, formulated in analogy to those underlying a standard multiresolution analysis for wavelets, and hence can be viewed as a multiresolution analysis for likelihoods. We then consider the use of these factorizations in the task of nonparametric, complexity penalized likelihood estimation. We study the risk properties of certain thresholding and partitioning estimators, and demonstrate their adaptivity and near-optimality, in a minimax sense over a broad range of function spaces, based on squared Hellinger distance as a loss function. In particular, our results provide an illustration of how properties of classical wavelet-based estimators can be obtained in a single, unified framework that includes models for continuous, count and categorical data types.


title: Confidence balls in Gaussian regression

abstract: Starting from the observation of an R^n-Gaussian vector of mean f and covariance matrix \sigma^2 I_n (I_n is the identity matrix), we propose a method for building a Euclidean confidence ball around f, with prescribed probability of coverage. For each n, we describe its nonasymptotic property and show its optimality with respect to some criteria.


title: Isometric immersions into S^n x R and H^n x R and applications to minimal surfaces

abstract: We give a necessary and sufficient condition for an n-dimensional Riemannian manifold to be isometrically immersed in S^n x R or H^n x R in terms of its first and second fundamental forms and of the projection of the vertical vector field on its tangent plane. We deduce the existence of a one-parameter family of isometric minimal deformations of a given minimal surface in S^2 x R or H^2 x R, obtained by rotating the shape operator.


title: Minimax estimation of linear functionals over nonconvex parameter spaces

abstract: The minimax theory for estimating linear functionals is extended to the case of a finite union of convex parameter spaces. Upper and lower bounds for the minimax risk can still be described in terms of a modulus of continuity. However in contrast to the theory for convex parameter spaces rate optimal procedures are often required to be nonlinear. A construction of such nonlinear procedures is given. The results developed in this paper have important applications to the theory of adaptation.


title: The Riemann Surface of the Logarithm Constructed in a Geometrical Framework

abstract: The logarithmic Riemann surface Sigma_{log} is a classical holomorphic 1-manifold. It lives into R^4 and induces a covering space of C - 0 defined by exp. This paper suggests a geometric construction of it, derived as the limit of a sequence of vector fields extending exp suitably to embeddings of C into R^3, which turn to be helicoid surfaces living into C x R. In the limit we obtain a bijective complex exponential on the covering space in question, and thus a well-defined complex logarithm. In addition, the helicoids are diffeomorphic (not bi-holomorphic) copies of Sigma_{log} as smooth realizations living into R^3, without obstruction. Our approach is purely geometrical and does not employ any tools provided by the complex structure, thus holomorphy is no longer necessary to obtain constructively this Riemann surface Sigma_{log}. Moreover, the differential geometric framework we adopt affords explicit generalization on submanifolds of C^m x \R^m and certain corollaries are derived.


title: A Quaternionic Proof of the Universality of Some Quadratic Forms

abstract: Quadratic forms over Z that represent all positive integers are called universal. Starting with Ramanujan, 54 universal quaternary quadratic forms without cross product terms were discovered. The form that is the sum of four squares was proved universal by Hurwitz using a special ring of quaternions. Here seven other quaternary quadratic forms are shown universal by investigation of appropriate rings of quaternions.


title: Statistical inference for time-inhomogeneous volatility models

abstract: This paper offers a new approach for estimating and forecasting the volatility of financial time series. No assumption is made about the parametric form of the processes. On the contrary, we only suppose that the volatility can be approximated by a constant over some interval. In such a framework, the main problem consists of filtering this interval of time homogeneity; then the estimate of the volatility can be simply obtained by local averaging. We construct a locally adaptive volatility estimate (LAVE) which can perform this task and investigate it both from the theoretical point of view and through Monte Carlo simulations. Finally, the LAVE procedure is applied to a data set of nine exchange rates and a comparison with a standard GARCH model is also provided. Both models appear to be capable of explaining many of the features of the data; nevertheless, the new approach seems to be superior to the GARCH method as far as the out-of-sample results are concerned.


title: Estimating invariant laws of linear processes by U-statistics

abstract: Suppose we observe an invertible linear process with independent mean-zero innovations and with coefficients depending on a finite-dimensional parameter, and we want to estimate the expectation of some function under the stationary distribution of the process. The usual estimator would be the empirical estimator. It can be improved using the fact that the innovations are centered. We construct an even better estimator using the representation of the observations as infinite-order moving averages of the innovations. Then the expectation of the function under the stationary distribution can be written as the expectation under the distribution of an infinite series in terms of the innovations, and it can be estimated by a U-statistic of increasing order (also called an ``infinite-order U-statistic'') in terms of the estimated innovations. The estimator can be further improved using the fact that the innovations are centered. This improved estimator is optimal if the coefficients of the linear process are estimated optimally.


title: The efficiency of the estimators of the parameters in GARCH processes

abstract: We propose a class of estimators for the parameters of a GARCH(p,q) sequence. We show that our estimators are consistent and asymptotically normal under mild conditions. The quasi-maximum likelihood and the likelihood estimators are discussed in detail. We show that the maximum likelihood estimator is optimal. If the tail of the distribution of the innovations is polynomial, even a quasi-maximum likelihood estimator based on exponential density performs better than the standard normal density-based quasi-likelihood estimator of Lee and Hansen and Lumsdaine.


title: Selecting optimal multistep predictors for autoregressive processes of unknown order

abstract: We consider the problem of choosing the optimal (in the sense of mean-squared prediction error) multistep predictor for an autoregressive (AR) process of finite but unknown order. If a working AR model (which is possibly misspecified) is adopted for multistep predictions, then two competing types of multistep predictors (i.e., plug-in and direct predictors) can be obtained from this model. We provide some interesting examples to show that when both plug-in and direct predictors are considered, the optimal multistep prediction results cannot be guaranteed by correctly identifying the underlying model's order. This finding challenges the traditional model (order) selection criteria, which usually aim to choose the order of the true model. A new prediction selection criterion, which attempts to seek the best combination of the prediction order and the prediction method, is proposed to rectify this difficulty. When the underlying model is stationary, the validity of the proposed criterion is justified theoretically.


title: A Quaternionic Proof of the Representation Formula of a Quaternary Quadratic Form

abstract: Recently the author used certain quaternion orders to demonstrate the universality of some quaternary quadratic forms. Here a further study is done on one of these orders analogous to Hurwitz's proof of the formula for the number of representations of a positive integer by sums of four squares using quaternions. The result is the formula for the number of representations of a positive integer by one of the above mentioned quaternary quadratic forms.


title: Optimal distributed dynamic advertising

abstract: We propose a novel approach to modeling advertising dynamics for a firm operating over distributed market domain based on controlled partial differential equations of diffusion type. Using our model, we consider a general type of finite-horizon profit maximization problem in a monopoly setting. By reformulating this profit maximization problem as an optimal control problem in infinite dimensions, we derive sufficient conditions for the existence of its optimal solutions under general profit functions, as well as state and control constraints, and provide general characterization of the optimal solutions. Sharper, feedback-form, characterizations of the optimal solutions are obtained for two variants of the general problem.


title: Galois theory for comatrix corings: descent theory, Morita theory, Frobenius and separability properties

abstract: El Kaoutit and G\'omez Torrecillas introduced comatrix corings, generalizing Sweedler's canonical coring, and proved a new version of the Faithfully Flat Descent Theorem. They also introduced Galois corings, as corings isomorphic to a comatrix coring. In this paper, we further investigate this theory. We prove a new version of the Joyal-Tierney Descent Theorem, and generalize the Galois Coring Structure Theorem. We associate a Morita context to a coring with a fixed comodule, and relate it to Galois-type properties of the coring. An affineness criterion is proved in the situation where the coring is coseparable. Further properties of the Morita context are studied in the situation where the coring is (co)Frobenius.


title: A Lower Bound of The First Eigenvalue of a Closed Manifold with Positive Ricci Curvature

abstract: We give an estimate on the lower bound of the first non-zero eigenvalue of the Laplacian for a closed Riemannian manifold with positive Ricci curvature in terms of the in-diameter and the lower bound of the Ricci curvature.


title: Simple Complete Boolean Algebras

abstract: For every regular cardinal kappa there exists a simple complete Boolean algebra with kappa generators.


title: Sub-Finsler geometry in dimension three

abstract: We define the notion of sub-Finsler geometry as a natural generalization of sub-Riemannian geometry with applications to optimal control theory. We compute a complete set of local invariants, geodesic equations, and the Jacobi operator for the three-dimensional case and investigate homogeneous examples.


title: Dependent first order theories, continued

abstract: A dependent theory is a (first order complete theory) T which does not have the independence property. A main result here is: if we expand a model of T by the traces on it of sets definable in a bigger model then we preserve its being dependent. Another one justifies the cofinality restriction in the theorem (from a previous work) saying that pairwise perpendicular indiscernible sequences, can have arbitrary dual-cofinalities in some models containing them.


title: On two problems of Erdos and Hechler: New methods in singular Madness

abstract: For an infinite cardinal mu, MAD(mu) denotes the set of all cardinalities of nontrivial maximal almost disjoint families over mu. Erdos and Hechler proved the consistency of [mu in MAD(mu)] for a singular cardinal mu and asked if it was ever possible for a singular mu that [mu notin MAD(mu)], and also whether 2^{cf(mu)}<mu ===> [mu in MAD(mu)] for every singular cardinal mu. We introduce a new method for controlling MAD(mu) for a singular mu and, among other new results about the structure of MAD(mu) for singular mu, settle both problems affirmatively.


title: Continuum-wise expansive homeomorphisms on Peano continua

abstract: On a Peano continuum, all local stable and unstable components of a continuum-wise expansive homeomorphism are non trivial. In particular, there is sensitive dependence on initial conditions. This generalizes results in \cite{h,l} about lack of Lyapunov stable points (weak sinks) and existence of non trivial stable and unstable components for expansive homeomorphisms on Peano continua. We also use this fact to generalize a result in \cite{ktt}: a Peano curve $X$ admitting a continuum-wise expansive homeomorphism is nowhere rim-countable. However, it is not resolved the question of whether such a dynamics could be possible in a locally planar Peano curve. Some other questions are posed.


title: A finitely presented group with unbounded dead-end depth

abstract: The dead-end depth of an element g of a group G, with respect to a generating set A is the distance from g to the complement of the radius $d_A(1,g)$ closed ball, in the word metric $d_A$ defined with respect to A. We exhibit a finitely presented group G with a finite generating set with respect to which there is no upper bound on the dead-end depth of elements. The authors regret that the published version of this article (Proc. Amer. Math. Soc., 134(2), pp.343-349, 2006) contains a significant error concerning the model for G described in Section 2. We are grateful to Jorg Lehnert for pointing out our mistake. In this corrected version, that model has been overhauled, and that has necessitated a number of changes in the subsequent arguments.


title: Levy processes: Capacity and Hausdorff dimension

abstract: We use the recently-developed multiparameter theory of additive Levy processes to establish novel connections between an arbitrary Levy process $X$ in $\mathbf{R}^d$, and a new class of energy forms and their corresponding capacities. We then apply these connections to solve two long-standing problems in the folklore of the theory of Levy processes. First, we compute the Hausdorff dimension of the image $X(G)$ of a nonrandom linear Borel set $G\subset \mathbf{R}_+$, where $X$ is an arbitrary Levy process in $\mathbf{R}^d$. Our work completes the various earlier efforts of Taylor [Proc. Cambridge Phil. Soc. 49 (1953) 31-39], McKean [Duke Math. J. 22 (1955) 229-234], Blumenthal and Getoor [Illinois J. Math. 4 (1960) 370-375, J. Math. Mech. 10 (1961) 493-516], Millar [Z. Wahrsch. verw. Gebiete 17 (1971) 53-73], Pruitt [J. Math. Mech. 19 (1969) 371-378], Pruitt and Taylor [Z. Wahrsch. Verw. Gebiete 12 (1969) 267-289], Hawkes [Z. Wahrsch. verw. Gebiete 19 (1971) 90-102, J. London Math. Soc. (2) 17 (1978) 567-576, Probab. Theory Related Fields 112 (1998) 1-11], Hendricks [Ann. Math. Stat. 43 (1972) 690-694, Ann. Probab. 1 (1973) 849-853], Kahane [Publ. Math. Orsay (83-02) (1983) 74-105, Recent Progress in Fourier Analysis (1985b) 65-121], Becker-Kern, Meerschaert and Scheffler [Monatsh. Math. 14 (2003) 91-101] and Khoshnevisan, Xiao and Zhong [Ann. Probab. 31 (2003a) 1097-1141], where $\dim X(G)$ is computed under various conditions on $G$, $X$ or both.


title: Lie algebroid morphisms, Poisson Sigma Models, and off-shell closed gauge symmetries

abstract: Chern-Simons gauge theories in 3 dimensions and the Poisson Sigma Model (PSM) in 2 dimensions are examples of the same theory, if their field equations are interpreted as morphisms of Lie algebroids and their symmetries (on-shell) as homotopies of such morphisms. We point out that the (off-shell) gauge symmetries of the PSM in the literature are not globally well-defined for non-parallelizable Poisson manifolds and propose a covariant definition of them as left action of some finite-dimensional Lie algebroid. Our approach allows to avoid complications arising in the infinite dimensional super-geometry of the BV- and AKSZ-formalism. This preprint is a starting point in a series of papers meant to introduce Yang-Mills type gauge theories of Lie algebroids, which include and generalize the standard YM theory, the PSM, and gerbes.


title: Survey: Information flow on trees

abstract: Consider a tree network T, where each edge acts as an independent copy of a given channel M, and information is propagated from the root. For which T and M does the configuration obtained at level n of T typically contain significant information on the root variable? This model appeared independently in biology, information theory, and statistical physics. Its analysis uses techniques from the theory of finite markov chains, statistics, statistical physics, information theory, cryptography and noisy computation. In this paper, we survey developments and challenges related to this problem.


title: Robust reconstruction on trees is determined by the second eigenvalue

abstract: Consider a Markov chain on an infinite tree T=(V,E) rooted at \rho. In such a chain, once the initial root state \sigma(\rho) is chosen, each vertex iteratively chooses its state from the one of its parent by an application of a Markov transition rule (and all such applications are independent). Let \mu_j denote the resulting measure for \sigma(\rho)=j. The resulting measure \mu_j is defined on configurations \sigma=(\sigma(x))_{x\in V}\in A^V, where A is some finite set. Let \mu_j^n denote the restriction of \mu to the sigma-algebra generated by the variables \sigma(x), where x is at distance exactly n from \rho. Letting \alpha_n=max_{i,j\in A}d_{TV}(\mu_i^n,\mu_j^n), where d_{TV} denotes total variation distance, we say that the reconstruction problem is solvable if lim inf_{n\to\infty}\alpha_n>0. Reconstruction solvability roughly means that the nth level of the tree contains a nonvanishing amount of information on the root of the tree as n\to\infty. In this paper we study the problem of robust reconstruction. Let \nu be a nondegenerate distribution on A and \epsilon >0. Let \sigma be chosen according to \mu_j^n and \sigma' be obtained from \sigma by letting for each node independently, \sigma(v)=\sigma'(v) with probability 1-\epsilon and \sigma'(v) be an independent sample from \nu otherwise. We denote by \mu_j^n[\nu,\epsilon ] the resulting measure on \sigma'. The measure \mu_j^n[\nu,\epsilon ] is a perturbation of the measure \mu_j^n.


title: Additive Reverses of the Generalised Triangle Inequality in Normed Spaces

abstract: Some additive reverses of the generalised triangle inequality in normed linear spaces are given. Applications for complex numbers are provided as well.


title: Floer mini-max theory, the Cerf diagram, and the spectral invariants

abstract: The author previously defined the spectral invariants, denoted by $\rho(H;a)$, of a Hamiltonian function $H$ as the mini-max value of the action functional $\AA_H$ over the Novikov Floer cycles in the Floer homology class dual to the quantum cohomology class $a$. The spectrality axiom of the invariant $\rho(H;a)$ states that the mini-max value is a critical value of the action functional $\AA_H$. The main purpose of the present paper is to prove this axiom for {\it nondegenerate} Hamiltonian functions in {\it irrational} symplectic manifolds $(M,\omega)$. We also prove that the spectral invariant function $\rho_a: H \mapsto \rho(H;a)$ can be pushed down to a {\it continuous} function defined on the universal ({\it \'etale}) covering space $\widetilde{Ham}(M,\omega)$ of the group $Ham(M,\omega)$ of Hamiltonian diffeomorphisms on general $(M,\omega)$. For a certain generic homotopy, which we call a {\it Cerf homotopy} $\HH = \{H^s\}_{0 \leq s\leq 1}$ of Hamiltonians, the function $\rho_a \circ \HH: s \mapsto \rho(H^s;a)$ is piecewise smooth away from a countable subset of $[0,1]$ for each non-zero quantum cohomology class $a$. The proof of this nondegenerate spectrality relies on several new ingredients in the chain level Floer theory, which have their own independent interest: a structure theorem on the Cerf bifurcation diagram of the critical values of the action functionals associated to a generic one-parameter family of Hamiltonian functions, a general structure theorem and the handle sliding lemma of Novikov Floer cycles over such a family and a {\it family version} of new transversality statements involving the Floer chain map, and many others. We call this chain level Floer theory as a whole the {\it Floer mini-max theory}.


title: Haruspicy 2: The anisotropic generating function of self-avoiding polygons not D-finite

abstract: We prove that the anisotropic generating function of self-avoiding polygons is not a D-finite function - proving a conjecture of Guttmann and Enting. This result is also generalised to self-avoiding polygons on hypercubic lattices. Using the haruspicy techniques developed in an earlier paper we are also prove the form of the coefficients of the anisotropic generating function, which was first conjectured by Guttmann and Enting.

categories: math.CO cond-mat.stat-mech math-ph math.MP


title: Missing at random, likelihood ignorability and model completeness

abstract: This paper provides further insight into the key concept of missing at random (MAR) in incomplete data analysis. Following the usual selection modelling approach we envisage two models with separable parameters: a model for the response of interest and a model for the missing data mechanism (MDM). If the response model is given by a complete density family, then frequentist inference from the likelihood function ignoring the MDM is valid if and only if the MDM is MAR. This necessary and sufficient condition also holds more generally for models for coarse data, such as censoring. Examples are given to show the necessity of the completeness of the underlying model for this equivalence to hold.


title: Information bounds for Cox regression models with missing data

abstract: We derive information bounds for the regression parameters in Cox models when data are missing at random. These calculations are of interest for understanding the behavior of efficient estimation in case-cohort designs, a type of two-phase design often used in cohort studies. The derivations make use of key lemmas appearing in Robins, Rotnitzky and Zhao [J. Amer. Statist. Assoc. 89 (1994) 846-866] and Robins, Hsieh and Newey [J. Roy. Statist. Soc. Ser. B 57 (1995) 409-424], but in a form suited for our purposes here. We begin by summarizing the results of Robins, Rotnitzky and Zhao in a form that leads directly to the projection method which will be of use for our model of interest. We then proceed to derive new information bounds for the regression parameters of the Cox model with data Missing At Random (MAR). In the final section we exemplify our calculations with several models of interest in cohort studies, including an i.i.d. version of the classical case-cohort design of Prentice [Biometrika 73 (1986) 1-11]


abstract: Finite sample properties of multiple imputation estimators under the linear regression model are studied. The exact bias of the multiple imputation variance estimator is presented. A method of reducing the bias is presented and simulation is used to make comparisons. We also show that the suggested method can be used for a general class of linear estimators.


title: Sufficient burn-in for Gibbs samplers for a hierarchical random effects model

abstract: We consider Gibbs and block Gibbs samplers for a Bayesian hierarchical version of the one-way random effects model. Drift and minorization conditions are established for the underlying Markov chains. The drift and minorization are used in conjunction with results from J. S. Rosenthal [J. Amer. Statist. Assoc. 90 (1995) 558-566] and G. O. Roberts and R. L. Tweedie [Stochastic Process. Appl. 80 (1999) 211-229] to construct analytical upper bounds on the distance to stationarity. These lead to upper bounds on the amount of burn-in that is required to get the chain within a prespecified (total variation) distance of the stationary distribution. The results are illustrated with a numerical example.


title: Mean squared error of empirical predictor

abstract: The term ``empirical predictor'' refers to a two-stage predictor of a linear combination of fixed and random effects. In the first stage, a predictor is obtained but it involves unknown parameters; thus, in the second stage, the unknown parameters are replaced by their estimators. In this paper, we consider mean squared errors (MSE) of empirical predictors under a general setup, where ML or REML estimators are used for the second stage. We obtain second-order approximation to the MSE as well as an estimator of the MSE correct to the same order. The general results are applied to mixed linear models to obtain a second-order approximation to the MSE of the empirical best linear unbiased predictor (EBLUP) of a linear mixed effect and an estimator of the MSE of EBLUP whose bias is correct to second order. The general mixed linear model includes the mixed ANOVA model and the longitudinal model as special cases.


title: Least Angle Regression

abstract: The purpose of model selection algorithms such as All Subsets, Forward Selection and Backward Elimination is to choose a linear model on the basis of the same set of data to which the model will be applied. Typically we have available a large collection of possible covariates from which we hope to select a parsimonious set for the efficient prediction of a response variable. Least Angle Regression (LARS), a new model selection algorithm, is a useful and less greedy version of traditional forward selection methods. Three main properties are derived: (1) A simple modification of the LARS algorithm implements the Lasso, an attractive version of ordinary least squares that constrains the sum of the absolute regression coefficients; the LARS modification calculates all possible Lasso estimates for a given problem, using an order of magnitude less computer time than previous methods. (2) A different LARS modification efficiently implements Forward Stagewise linear regression, another promising new model selection method;


title: $w$-function of the KdV hierarchy

abstract: In this paper we construct a family of commuting multidimensional differential operators of order 3, which is closely related to the KdV hierarchy. We find a common eigenfunction of this family and an algebraic relation between these operators. Using these operators we associate a hyperelliptic curve to any solution of the stationary KdV equation. A basic generating function of the solutions of stationary KdV equation is introduced as a special polarization of the equation of the hyperelliptic curve. We also define and discuss the notion of a $w$-function of a solution of the stationary $g$-KdV equation.


title: On the K-theory of higher rank graph C*-algebras

abstract: Given a row-finite $k$-graph $\Lambda$ with no sources we investigate the $K$-theory of the higher rank graph $C^*$-algebra, $C^*(\Lambda)$. When $k=2$ we are able to give explicit formulae to calculate the $K$-groups of $C^*(\Lambda)$. The $K$-groups of $C^*(\Lambda)$ for $k>2$ can be calculated under certain circumstances and we consider the case $k=3$. We prove that for arbitrary $k$, the torsion-free rank of $K_0(C^*(\Lambda))$ and $K_1(C^*\Lambda))$ are equal when $C^*(\Lambda)$ is unital, and for $k=2$ we determine the position of the class of the unit of $C^*(\Lambda)$ in $K_0(C^*(\Lambda))$.


title: A definition and some characteristic properties of pseudo-stopping times

abstract: Recently, D. Williams \cite{williams} gave an explicit example of a random time $\rho $ associated with Brownian motion such that $\rho $ is not a stopping time but $\mathbb{E}M_{\rho}=\mathbb{E}M_{0}$ for every bounded martingale $M$. The aim of this paper is to give some characterizations for such random times, which we call pseudo-stopping times, and to construct further examples, using techniques of progressive enlargements of filtrations.


title: Training samples in objective Bayesian model selection

abstract: Central to several objective approaches to Bayesian model selection is the use of training samples (subsets of the data), so as to allow utilization of improper objective priors. The most common prescription for choosing training samples is to choose them to be as small as possible, subject to yielding proper posteriors; these are called minimal training samples. When data can vary widely in terms of either information content or impact on the improper priors, use of minimal training samples can be inadequate. Important examples include certain cases of discrete data, the presence of censored observations, and certain situations involving linear models and explanatory variables. Such situations require more sophisticated methods of choosing training samples. A variety of such methods are developed in this paper, and successfully applied in challenging situations.


title: Explicit determination of images of Galois representations attached to Hilbert modular forms

abstract: In a previous article, the second author proved that the image of the Galois representation mod $\lambda$ attached to a Hilbert modular newform is large or all but finitely many primes $\lambda$, if the form is not a theta series. In this brief note, we give an explicit bound for this exceptional finite set of primes and determine the images in three different examples. Our examples are of Hilbert newforms on real quadratic fields, of parallel or non-parallel weight and of different levels.


title: Local Whittle estimation in nonstationary and unit root cases

abstract: Asymptotic properties of the local Whittle estimator in the nonstationary case (d>{1/2}) are explored. For {1/2}<d\leq 1, the estimator is shown to be consistent, and its limit distribution and the rate of convergence depend on the value of d. For d=1, the limit distribution is mixed normal. For d>1 and when the process has a polynomial trend of order \alpha >{1/2}, the estimator is shown to be inconsistent and to converge in probability to unity.


title: Discussion of "Least angle regression" by Efron et al

abstract: Discussion of ``Least angle regression'' by Efron et al. [math.ST/0406456]


title: Optimal predictive model selection

abstract: Often the goal of model selection is to choose a model for future prediction, and it is natural to measure the accuracy of a future prediction by squared error loss. Under the Bayesian approach, it is commonly perceived that the optimal predictive model is the model with highest posterior probability, but this is not necessarily the case. In this paper we show that, for selection among normal linear models, the optimal predictive model is often the median probability model, which is defined as the model consisting of those variables which have overall posterior probability greater than or equal to 1/2 of being in a model. The median probability model often differs from the highest probability model.


title: Consistent covariate selection and post model selection inference in semiparametric regression

abstract: This paper presents a model selection technique of estimation in semiparametric regression models of the type Y_i=\beta^{\prime}\underbarX_i+f(T_i)+W_i, i=1,...,n. The parametric and nonparametric components are estimated simultaneously by this procedure. Estimation is based on a collection of finite-dimensional models, using a penalized least squares criterion for selection. We show that by tailoring the penalty terms developed for nonparametric regression to semiparametric models, we can consistently estimate the subset of nonzero coefficients of the linear part. Moreover, the selected estimator of the linear component is asymptotically normal.


title: Nonconcave penalized likelihood with a diverging number of parameters

abstract: A class of variable selection procedures for parametric models via nonconcave penalized likelihood was proposed by Fan and Li to simultaneously estimate parameters and select important variables. They demonstrated that this class of procedures has an oracle property when the number of parameters is finite. However, in most model selection problems the number of parameters should be large and grow with the sample size. In this paper some asymptotic properties of the nonconcave penalized likelihood are established for situations in which the number of parameters tends to \infty as the sample size increases. Under regularity conditions we have established an oracle property and the asymptotic normality of the penalized likelihood estimators. Furthermore, the consistency of the sandwich formula of the covariance matrix is demonstrated. Nonconcave penalized likelihood ratio statistics are discussed, and their asymptotic distributions under the null hypothesis are obtained by imposing some mild conditions on the penalty functions.


title: Rejoinder to "Least angle regression" by Efron et al

abstract: Rejoinder to ``Least angle regression'' by Efron et al. [math.ST/0406456]


title: A strict totally coordinatized version of Kapranov and Voevodsky's 2-category {\bf 2Vect}

abstract: We give a concrete description of a strict totally coordinatized version of Kapranov and Voevodsky's 2-category of finite dimensional 2-vector spaces. In particular, we give explicit formulas for composition of 1-morphisms and the two compositions between 2-morphisms


title: Normalized height of projective toric varieties

abstract: We present an explicit expression for the normalized height of a projective toric variety. This expression decomposes as a sum of local contributions, each term being the integral of a certain function, concave and piecewise linear-affine. More generally, we obtain an explicit expression for the normalized multiheight of a torus with respect to several monomial embeddings. The set of functions introduced behaves as an arithmetic analog of the polytope classically associated with the torus action. Besides the formulae for the height and multiheight, we show that this object behaves in a natural way with respect to several standard constructions: decomposition into orbits, joins, Segre products and Veronese embeddings. The proof follows an indirect way: instead of the definition of the normalized height, we rely on the computation of an appropriate arithmetic Hilbert function.


title: Some equivalence relations which are Borel reducible to isomorphism between separable Banach spaces

abstract: We improve the known results about the complexity of the relation of isomorphism between separable Banach spaces up to Borel reducibility, and we achieve this using the classical spaces $c_0$, $\ell_p$ and $L_p$, $1 \leq p <2$. More precisely, we show that the relation $E_{K_{\sigma}}$ is Borel reducible to isomorphism and complemented biembeddability between subspaces of $c_0$ or $\ell_p, 1 \leq p <2$. We show that the relation $E_{K_{\sigma}} \otimes =^+$ is Borel reducible to isomorphism, complemented biembeddability, and Lipschitz equivalence between subspaces of $L_p, 1 \leq p <2$.


title: Crystals and coboundary categories

abstract: Following an idea of A. Berenstein, we define a commutor for the category of crystals of a finite dimensional complex reductive Lie algebra. We show that this endows the category of crystals with the structure of a coboundary category. Similar to the case of braided categories, there is a group naturally acting on multiple tensor products in coboundary categories. We call this group the cactus group and identify it as the fundamental group of the moduli space of marked real genus zero stable curves.


title: Some results about the Schroeder-Bernstein Property for separable Banach spaces

abstract: We construct a continuum of mutually non-isomorphic separable Banach spaces which are complemented in each other. Consequently, the Schroeder-Bernstein Index of any of these spaces is $2^{\aleph_0}$. Our construction is based on a Banach space introduced by W. T. Gowers and B. Maurey in 1997. We also use classical descriptive set theory methods, as in some work of V. Ferenczi and C. Rosendal, to improve some results of P. G. Casazza and of N. J. Kalton on the Schroeder-Bernstein Property for spaces with an unconditional finite-dimensional Schauder decomposition.


title: Generalized double affine Hecke algebras of rank 1 and quantized Del Pezzo surfaces

abstract: Let D be a simply laced Dynkin diagram of rank r whose affinization has the shape of a star (i.e., D4,E6,E7,E8). To such a diagram one can attach a group G whose generators correspond to the legs of the affinization, have orders equal to the leg lengths plus 1, and the product of the generators is 1. The group G is then a 2-dimensional crystallographic group: G=Z_l\ltimes Z^2, where l is 2,3,4, and 6, respectively. In this paper, we define a flat deformation H(t,q) of the group algebra C[G] of this group, by replacing the relations saying that the generators have prescribed orders by their deformations, saying that the generators satisfy monic polynomial equations of these orders with arbitrary roots (which are deformation parameters). The algebra H(t,q) for D4 is the Cherednik algebra of type C^\check C_1, which was studied by Noumi, Sahi, and Stokman, and controls Askey-Wilson polynomials. We prove that H(t,q) is the universal deformation of the twisted group algebra of G, and that this deformation is compatible with certain filtrations on C[G]. We also show that if q is a root of unity, then for generic t the algebra H(t,q) is an Azumaya algebra, and its center is the function algebra on an affine del Pezzo surface. For generic q, the spherical subalgebra eH(t,q)e provides a quantization of such surfaces. We also discuss connections of H(t,q) with preprojective algebras and Painlev\'e VI.


title: Interpreting groups and fields in some nonelementary classes

abstract: This paper is concerned with extensions of geometric stability theory to some nonelementary classes. We prove the following theorem: Theorem: Let C be a large homogeneous model of a stable diagram D. Let p, q in S_D(A), where p is quasiminimal and q unbounded. Let P=p(C) and Q=q(C). Suppose that there exists an integer n<omega such that dim(a_1...a_n/A cup C)=n, for any independent a_1,..., a_n in P and finite subset C subseteq Q, but dim(a_1...a_n a_{n+1}/A cup C) <= n, for some independent a_1,...,a_n,a_{n+1} in P and some finite subset C subseteq Q. Then C interprets a group G which acts on the geometry P' obtained from P. Furthermore, either C interprets a non-classical group, or n=1,2,3 and * If n=1 then G is abelian and acts regularly on P'. * If n=2 the action of G on P' is isomorphic to the affine action of K times K^* on the algebraically closed field K. * If n = 3 the action of G on P' is isomorphic to the action of PGL_2(K) on the projective line {P}^1(K) of the algebraically closed field K .


title: More on: the revised GCH and middle diamond

abstract: We strengthen the revised GCH theorem by showing, e.g., that for lambda=cf(lambda)>beth_omega, for all but finitely many regular kappa<beth_omega, lambda is accessible on cofinality kappa in a weak version of it holds. In particular, lambda=2^mu=mu^+>beth_omega implies the diamond on lambda is restricted to cofinality kappa for all but finitely many kappa in Reg cap beth_omega and we strengthen the results on the middle diamond. Moreover, we get stronger results on the middle diamond.


title: Fibred sites and stack cohomology

abstract: The usual notion of a site fibred over a stack is expanded to a definition of a site C/A fibred over a presheaf of categories A. Presheaves of simplicial sets on the site fibred over a presheaf of categories A are contravariant enriched diagrams defined on A, taking values in simplicial sets. The standard model structure for presheaves of simplicial sets induces a coarse equivariant structure for enriched contravariant A-diagrams. If the presheaf of categories is a presheaf of groupoids G, then the associated homotopy theory is Quillen equivalent to the homotopy theory of simplicial presheaves over BG, and so the homotopy theory for the fibred site C/G is an invariant of the homotopy type of G. Similar homotopy invariance results obtain for presheaves of spectra and presheaves of symmetric spectra on C/G. In particular, stack cohomology can be calculated on the fibred site for a representing presheaf of groupoids.


title: The dbar steepest descent method and the asymptotic behavior of polynomials orthogonal on the unit circle with fixed and exponentially varying nonanalytic weights

abstract: We develop a new asymptotic method for the analysis of matrix Riemann-Hilbert problems. Our method is a generalization of the steepest descent method first proposed by Deift and Zhou; however our method systematically handles jump matrices that need not be analytic. The essential technique is to introduce nonanalytic extensions of certain functions appearing in the jump matrix, and to therefore convert the Riemann-Hilbert problem into a dbar problem. We use our method to study several asymptotic problems of polynomials orthogonal with respect to a measure given on the unit circle, obtaining new detailed uniform convergence results, and for some classes of nonanalytic weights, complete information about the asymptotic behavior of the individual zeros.


title: The reflexive dimension of a lattice polytope

abstract: The reflexive dimension refldim(P) of a lattice polytope P is the minimal d so that P is the face of some d-dimensional reflexive polytope. We show that refldim(P) is finite for every P, and give bounds for refldim(kP) in terms of refldim(P) and k.


title: The Morse Complex for a Morse Function on a Manifold with Corners

abstract: A Morse function f on a manifold with corners M allows the characterization of the Morse data for a critical point by the Morse index. In fact, a modified gradient flow allows a proof of the Morse theorems in a manner similar to that of classical Morse theory. It follows that M is homotopy equivalent to a CW-complex with one cell of dimension \lambda for each essential critical point of index \lambda. The goal of this article is to determine the boundary maps of this CW-complex, in the case where M is compact and orientable. First, the boundary maps are defined in terms of the modified gradient flow. Then a transversality condition is imposed which insures that the attaching map is non-degenerate in a neighborhood of each critical point. The degree of this map is then interpreted as a sum of trajectories connecting two critical points each counted with a multiplicity determined by a choice of orientations on the tangent spaces of the unstable manifold at each critical point.


title: Recurrent graphs where two independent random walks collide finitely often

abstract: We present a class of graphs where simple random walk is recurrent, yet two independent walkers meet only finitely many times almost surely. In particular, the comb lattice, obtained from Z^2 by removing all horizontal edges off the X-axis, has this property. We also conjecture that the same property holds for some other graphs, including the incipient infinite cluster for critical percolation in Z^2.


title: Multiplicative Monotone Convolution

abstract: We show that the monotonic independence introduced by Muraki can also be used to define a multiplicative convolution. We also find a method for the calculation of this convolution based on an appropriate form of the Cauchy transform. We discuss infinite divisibility in the multiplicative monotonic context as well.


title: Rational Solutions of the Schlesinger System and Isoprincipal Deformations of Rational Matrix Functions II

abstract: In this second article of the series we study holomorphic families of generic rational matrix functions parameterized by the pole and zero loci. In particular, the isoprincipal deformations of generic rational matrix functions are proved to be isosemiresidual. The corresponding rational solutions of the Schlesinger system are constructed and the explicit expression for the related tau function is given. The main tool is the theory of joint system representations for rational matrix functions with prescribed pole and zero structures.


title: Canonical equivariant extensions using classical Hodge theory

abstract: Lin and Sjamaar have used symplectic Hodge theory to obtain canonical equivariant extensions for Hamiltonian actions on closed symplectic manifolds that have the strong Lefschetz property. Here we obtain canonical equivariant extensions much more generally by means of classical Hodge theory.


title: Perturbations of non self-adjoint Sturm-Liouville problems, with applications to harmonic oscillators

abstract: We study the behavior of the limit of the spectrum of a non self-adjoint Sturm-Liouville operator with analytic potential as the semi-classical parameter $h\to 0$. We get a good description of the spectrum and limit spectrum near $\infty$. We also study the action of one special perturbation of the operator (adding a Heaviside function), and prove that the limit spectrum is very unstable. As an illustration we describe the limit spectrum as $h\to 0$ for $P^h=-h^2\Delta+i x^2$ and the effect of this perturbation.


title: Unit Killing Vector Fields on Nearly Kahler Manifolds

abstract: We study 6-dimensional nearly Kahler manifolds admitting a Killing vector field of unit length. In the compact case it is shown that up to a finite cover there is only one geometry possible, that of the 3--symmetric space $S^3 \times S^3$.


title: On affinely closed homogeneous spaces

abstract: Affinely closed homogeneous spaces G/H, i.e., affine homogeneous spaces that admit only the trivial affine embedding, are characterized for any affine algebraic group G. As a corollary, a description of affine G-algebras with finitely generated invariant subalgebras is obtained.


title: Varieties with minimal secant degree and linear systems of maximal dimension on surfaces

abstract: In this paper we prove, using a refinement of Terracini's Lemma, a sharp lower bound for the degree of (higher) secant varieties to a given projective variety, which extends the well known lower bound for the degree of a variety in terms of its dimension and codimension in projective space. Moreover we study varieties for which the bound is attained proving some general properties related to tangential projections, e.g. these varieties are rational. In particular we completely classify surfaces (and curves) for which the bound is attained. It turns out that these surfaces enjoy some maximality properties for their embedding dimension in terms of their degree or sectional genus. This is related to classical beautiful results of Castelnuovo and Enriques that we revise here in terms of adjunction theory.


title: A sharp H\"older estimate for elliptic equations in two variables

abstract: We prove a sharp H\"older estimate for solutions of linear two-dimensional, divergence form elliptic equations with measurable coefficients, such that the matrix of the coefficients is symmetric and has {\em unit determinant}. Our result extends some previous work by Piccinini and Spagnolo. The proof relies on a sharp Wirtinger type inequality.


title: Absence of resonance near the critical line on asymptotically hyperbolic spaces

abstract: As a consequence of a result of Cardoso and Vodev, we show that the resolvent of the Laplacian on asymptotically hyperbolic manifolds is analytic in an exponential neighbourhood of the critical line. The case of non-trapping metrics with constant curvature near infinity is also considered: there exists a strip with at most a finite number of resonances.


title: On Smooth Divisors of a Projective Hypersurface

abstract: We prove an effective bound for the degree of a smooth divisor of a hypersurface of P^n, n>4 (projective space over an algebraically closed field of characteristic zero). Our result follows from a strong (since the degree of the divisor is not involved) generalization of the "Speciality theorem" of Gruson-Peskine, which we prove to hold for any smooth, subcanonical, codimension two, projective verieties of dimension at least three.


title: Novikov homology, twisted Alexander polynomials and Thurston cones

abstract: We continue the study of the twisted Novikov homology, introduced in our joint paper with H.Goda (arXiv:math.DG/0312374), and its generalizations. The main applications of the developed algebraic techniques are to the topology of 3-manifolds. We show in particular that the twisted Novikov homology of a 3-manifold M of zero Euler characteristic vanishes if and only if the corresponding twisted Alexander polynomial of the fundamental group of M is monic. We discuss the relations between the Thurston norm on 1-cohomology of a three-dimensional manifold and the twisted Novikov homology of this manifold.


title: Cherednik and Hecke algebras of varieties with a finite group action

abstract: This paper is an expanded and updated version of the preprint arXiv:math/0406499. It includes a more detailed description of the basics of the theory of Cherednik and Hecke algebras of varieties started in arXiv:math/0406499, as well as a new Section 4, which reviews the developments in this theory since 2004 with references to the relevant literature. Let $G$ be a finite group of linear transformations of a finite dimensional complex vector space $V$. To this data one can attach a family of algebras $H_{t,c}(V,G)$, parametrized by complex numbers $t$ and conjugation invariant functions $c$ on the set of complex reflections in $G$, which are called rational Cherednik algebras. These algebras have been studied for over 15 years and revealed a rich structure and deep connections with algebraic geometry, representation theory, and combinatorics. In this paper, we define global analogs of Cherednik algebras, attached to any smooth algebraic or analytic variety $X$ with a finite group $G$ of automorphisms. We show that many interesting properties of Cherednik algebras (such as the PBW theorem, universal deformation property, relation to Calogero-Moser spaces, action on quasiinvariants) still hold in the global case, and give several interesting examples. Then we define the KZ functor for global Cherednik algebras, and use it to define (in the case $\pi_2(X)\otimes \Bbb Q=0$) a flat deformation of the orbifold fundamental group of the orbifold $X/G$, which we call the Hecke algebra of $X/G$. This includes usual, affine, and double affine Hecke algebras for Weyl groups, Hecke algebras of complex reflection groups, as well as many new examples.


title: Counting isolated singularities in germs of applications ${\C^n,0\to \C^p,0}$, n<p

abstract: In this paper we give a formula for counting the number of isolated stable singularities of a stable perturbation of corank 1 germs $f:\C^n,0\to \C^p,0$ with $n<p$ that appear in the image $f(\C^n).$ We also define a set of ${\cal A}$-invariants and show that their finiteness is a necessary and sufficient condition for the ${\cal A}$-finiteness of the germ $f.$


title: Pasting pseudofunctors

abstract: We give an abstract criterion for pasting pseudofunctors on two subcategories of a category into a pseudofunctor on the whole category. As an application we extend the variance theory of the twisted inverse image $(-)^!$ over schemes to that over formal schemes. Thus we show that over composites of compactifiable maps of noetherian formal schemes, there is a pseudofunctor $(-)^!$ such that if $f$ is a pseudoproper map, then $f^!$ is the right adjoint to the derived direct image $\R f_*$ and if $f$ is etale, then $f^!$ is the inverse image $f^*$. We also show that $(-)^!$ is compatible with flat base change.


title: On the cobar construction of a bialgebra

abstract: We show that the cobar construction of a DG-bialgebra is a homotopy G-algebra. This implies that the bar construction of this cobar is a DG-bialgebra as well.


title: Topological mixing for substitutions on two letters

abstract: We investigate topological mixing for Z and R actions associated with primitive substitutions on two letters. The characterization is complete if the second eigenvalue $\theta_2$ of the substitution matrix satisfies $|\theta_2|\ne 1$. If $|\theta_2|<1$, then (as is well-known) the substitution system is not topologically weak mixing, so it is not topologically mixing. We prove that if $|\theta_2|> 1$, then topological mixing is equivalent to topological weak mixing, which has an explicit arithmetic characterization. The case $|\theta_2|=1$ is more delicate, and we only obtain some partial results.


title: Coin flipping from a cosmic source: On error correction of truly random bits

abstract: We study a problem related to coin flipping, coding theory, and noise sensitivity. Consider a source of truly random bits $x \in \bits^n$, and $k$ parties, who have noisy versions of the source bits $y^i \in \bits^n$, where for all $i$ and $j$, it holds that $\Pr[y^i_j = x_j] = 1 - \eps$, independently for all $i$ and $j$. That is, each party sees each bit correctly with probability $1-\epsilon$, and incorrectly (flipped) with probability $\epsilon$, independently for all bits and all parties. The parties, who cannot communicate, wish to agree beforehand on {\em balanced} functions $f_i : \bits^n \to \bits$ such that $\Pr[f_1(y^1) = ... = f_k(y^k)]$ is maximized. In other words, each party wants to toss a fair coin so that the probability that all parties have the same coin is maximized. The functions $f_i$ may be thought of as an error correcting procedure for the source $x$. When $k=2,3$ no error correction is possible, as the optimal protocol is given by $f_i(x^i) = y^i_1$. On the other hand, for large values of $k$, better protocols exist. We study general properties of the optimal protocols and the asymptotic behavior of the problem with respect to $k$, $n$ and $\eps$. Our analysis uses tools from probability, discrete Fourier analysis, convexity and discrete symmetrization.


title: The Isomorphism Problem for Computable Abelian p-Groups of Bounded Length

abstract: Theories of classification distinguish classes with some good structure theorem from those for which none is possible. Some classes (dense linear orders, for instance) are non-classifiable in general, but are classifiable when we consider only countable members. This paper explores such a notion for classes of computable structures by working out a sequence of examples. We follow recent work by Goncharov and Knight in using the degree of the isomorphism problem for a class to distinguish classifiable classes from non-classifiable. In this paper, we calculate the degree of the isomorphism problem for Abelian $p$-groups of bounded Ulm length. The result is a sequence of classes whose isomorphism problems are cofinal in the hyperarithmetical hierarchy. In the process, new back-and-forth relations on such groups are calculated.


title: Finite blocking property versus pure periodicity

abstract: A translation surface S is said to have the finite blocking property if for every pair (O,A) of points in S there exists a finite number of "blocking" points B_1,...,B_n such that every geodesic from O to A meets one of the B_i's. S is said to be purely periodic if the directional flow is periodic in each direction whose directional flow contains a periodic trajectory (this implies that S admits a cylinder decomposition in such directions). We will prove that finite blocking property implies pure periodicity. We will also classify the surfaces that have the finite blocking property in genus 2: such surfaces are exactly the torus branched coverings. Moreover, we prove that in every stratum, such surfaces form a set of null measure. In the Appendix, we prove that completely periodic translation surfaces form a set of null measure in every stratum.


title: A model category structure on the category of simplicial categories

abstract: In this paper we put a cofibrantly generated model category structure on the category of small simplicial categories. The weak equivalences are a simplicial analogue of the notion of equivalence of categories.


title: Extension theorems for reductive group schemes

abstract: We prove several basic extension theorems for reductive group schemes. We also prove that each Lie algebra with a perfect Killing form over a commutative $\dbZ$-algebra, is the Lie algebra of an adjoint group scheme.


title: A Law of Large Numbers for Weighted Majority

abstract: Consider an election between two candidates in which the voters' choices are random and independent and the probability of a voter choosing the first candidate is $p>1/2$. Condorcet's Jury Theorem which he derived from the weak law of large numbers asserts that if the number of voters tends to infinity then the probability that the first candidate will be elected tends to one. The notion of influence of a voter or its voting power is relevant for extensions of the weak law of large numbers for voting rules which are more general than simple majority. In this paper we point out two different ways to extend the classical notions of voting power and influences to arbitrary probability distributions. The extension relevant to us is the ``effect'' of a voter, which is a weighted version of the correlation between the voter's vote and the election's outcomes. We prove an extension of the weak law of large numbers to weighted majority games when all individual effects are small and show that this result does not apply to any voting rule which is not based on weighted majority.


title: On the finite blocking property

abstract: A planar polygonal billiard $\P$ is said to have the finite blocking property if for every pair $(O,A)$ of points in $\P$ there exists a finite number of ``blocking'' points $B_1, ..., B_n$ such that every billiard trajectory from $O$ to $A$ meets one of the $B_i$'s. Generalizing our construction of a counter-example to a theorem of Hiemer and Snurnikov (see \cite{Mo}), we show that the only regular polygons that have the finite blocking property are the square, the equilateral triangle and the hexagon. Then we extend this result to translation surfaces. We prove that the only Veech surfaces with the finite blocking property are the torus branched coverings. We also provide a local sufficient condition for a translation surface to fail the finite blocking property. This enables us to give a complete classification for the L-shaped surfaces as well as to obtain a density result in the space of translation surfaces in every genus $g\geq 2$.


title: Areal Optimization of Polygons

abstract: We will first solve the following problem analytically: given a piece of wire of specified length, we will find where the wire should be cut and bent to form two regular polygons not necessarily having the same number of sides, so that the combined area of the polygons thus formed is maximized, minimized, greater than, and less than a specified area. We will extend the results to the cases where the wire is divided into three and finally into an arbitrary number of segments. The second problem we will solve is as follows: two wires of specified length are to be bent into two regular polygons whose total number of sides is fixed. We will determine how the total number of polygonal sides are to be allocated between the wires so that the total area of the polygons is maximized. We will extend the results found here to the case where we are given any number of wires of specified length.


title: The dynamics of Pythagorean triples

abstract: We construct a piecewise onto 3-to-1 dynamical system on the positive quadrant of the unit circle, such that for rational points (which correspond to normalized Primitive Pythagorean Triples), the associated ternary expansion is finite, and is equal to the address of the PPT on Barning's ternary tree of PPTs, while irrational points have infinite expansions. The dynamical system is conjugate to a modified Euclidean algorithm. The invariant measure is identified, and the system is shown to be conservative and ergodic. We also show, based on a result of Aaronson and Denker, that the dynamical system can be obtained as a factor map of a cross-section of the geodesic flow on a quotient space of the hyperbolic plane by the group $\Gamma(2)$, a free subgroup of the modular group with two generators.


title: Uniqueness of maximal entropy measure on essential spanning forests

abstract: An essential spanning forest of an infinite graph $G$ is a spanning forest of $G$ in which all trees have infinitely many vertices. Let $G_n$ be an increasing sequence of finite connected subgraphs of $G$ for which $\bigcup G_n=G$. Pemantle's arguments imply that the uniform measures on spanning trees of $G_n$ converge weakly to an $\operatorname {Aut}(G)$-invariant measure $\mu_G$ on essential spanning forests of $G$. We show that if $G$ is a connected, amenable graph and $\Gamma \subset \operatorname {Aut}(G)$ acts quasitransitively on $G$, then $\mu_G$ is the unique $\Gamma$-invariant measure on essential spanning forests of $G$ for which the specific entropy is maximal. This result originated with Burton and Pemantle, who gave a short but incorrect proof in the case $\Gamma\cong\mathbb{Z}^d$. Lyons discovered the error and asked about the more general statement that we prove.


title: The Elementary Theory of the Frobenius Automorphisms

abstract: A Frobenius difference field is an algebraically closed field of characteristic $p>0$, enriched with a symbol for $x \mapsto x^{p^m}$. We study a sentence or formula in the language of fields with a distinguished automorphism, interpreted in Frobenius difference fields with $p$ or $m$ tending to infinity. In particular, a decision procedure is found to determine when a sentence is true in almost every Frobenius difference field. This generalizes Cebotarev's density theorem and Weil's Riemann hypothesis for curves (both in qualitative versions), but hinges on a result going slightly beyond the latter. The setting for the proof is the geometry of difference varieties of transformal dimension zero; these generalize algebraic varieties, and are shown to have a rich structure, only partly explicated here. Some applications are given, in particular to finite simple groups, and to the Jacobi bound for difference equations.


title: Asymptotic properties of solutions to weakly dissipative wave equations below scaling

abstract: The aim of this paper is to understand the influence of a dissipative term which is small in the sense that it is asymptotically below scaling on the asymptotic properties of solutions. A diagonalization procedure is applied in order to construct the main terms of the solution representation and this information is used to prove $L^p$--$L^q$ decay estimates. Furthermore, the question of sharpness is considered and formulated in terms of a modified scattering theory.


title: Dual scattering channel schemes and transmission line methods

abstract: Dual scattering channel (DSC) schemes naturally extend the transmission line matrix (TLM) numerical method beyond the lines set up by P.B.JOHNS and coworkers. Conceptually, DSC schemes retain from TLM the typical formal splitting of the computed fields into incident and reflected components, interchanged and scattered between adjacent cells, without yet a need for transmission lines. They generally admit non trivial cell interface scattering and so release from a set of modeling limitations to that the classical TLM method is subject. The elements characterizing DSC schemes are outlined and illustrated by coupling within a non-orthogonal mesh a model of heat propagation to a lossy Maxwell field.


title: Hausdorff continuous solutions of nonlinear PDEs through the order completion method

abstract: It was shown in 1994, in Oberguggenberger & Rosinger, that very large classes of nonlinear PDEs have solutions which can be assimilated with usual measurable functions on the Euclidean domains of definition of the respective equations. In this paper the regularity of these solutions is significantly improved by showing that they can in fact be assimilated with Hausdorff continuous functions. The method of solution of PDEs is based on the Dedekind order completion of spaces of smooth functions which are defined on the domains of the given equations.


title: Martingale transforms goodness-of-fit tests in regression models

abstract: This paper discusses two goodness-of-fit testing problems. The first problem pertains to fitting an error distribution to an assumed nonlinear parametric regression model, while the second pertains to fitting a parametric regression model when the error distribution is unknown. For the first problem the paper contains tests based on a certain martingale type transform of residual empirical processes. The advantage of this transform is that the corresponding tests are asymptotically distribution free. For the second problem the proposed asymptotically distribution free tests are based on innovation martingale transforms. A Monte Carlo study shows that the simulated level of the proposed tests is close to the asymptotic level for moderate sample sizes.


title: A stochastic process approach to false discovery control

abstract: This paper extends the theory of false discovery rates (FDR) pioneered by Benjamini and Hochberg [J. Roy. Statist. Soc. Ser. B 57 (1995) 289-300]. We develop a framework in which the False Discovery Proportion (FDP)--the number of false rejections divided by the number of rejections--is treated as a stochastic process. After obtaining the limiting distribution of the process, we demonstrate the validity of a class of procedures for controlling the False Discovery Rate (the expected FDP). We construct a confidence envelope for the whole FDP process. From these envelopes we derive confidence thresholds, for controlling the quantiles of the distribution of the FDP as well as controlling the number of false discoveries. We also investigate methods for estimating the p-value distribution.


title: Testing predictor contributions in sufficient dimension reduction

abstract: We develop tests of the hypothesis of no effect for selected predictors in regression, without assuming a model for the conditional distribution of the response given the predictors. Predictor effects need not be limited to the mean function and smoothing is not required. The general approach is based on sufficient dimension reduction, the idea being to replace the predictor vector with a lower-dimensional version without loss of information on the regression. Methodology using sliced inverse regression is developed in detail.


title: Density estimation for biased data

abstract: The concept of biased data is well known and its practical applications range from social sciences and biology to economics and quality control. These observations arise when a sampling procedure chooses an observation with probability that depends on the value of the observation. This is an interesting sampling procedure because it favors some observations and neglects others. It is known that biasing does not change rates of nonparametric density estimation, but no results are available about sharp constants. This article presents asymptotic results on sharp minimax density estimation. In particular, a coefficient of difficulty is introduced that shows the relationship between sample sizes of direct and biased samples that imply the same accuracy of estimation. The notion of the restricted local minimax, where a low-frequency part of the estimated density is known, is introduced; it sheds new light on the phenomenon of nonparametric superefficiency. Results of a numerical study are presented.


title: Semiparametric density estimation by local L_2-fitting

abstract: This article examines density estimation by combining a parametric approach with a nonparametric factor. The plug-in parametric estimator is seen as a crude estimator of the true density and is adjusted by a nonparametric factor. The nonparametric factor is derived by a criterion called local L_2-fitting. A class of estimators that have multiplicative adjustment is provided, including estimators proposed by several authors as special cases, and the asymptotic theories are developed. Theoretical comparison reveals that the estimators in this class are better than, or at least competitive with, the traditional kernel estimator in a broad class of densities. The asymptotically best estimator in this class can be obtained from the elegant feature of the bias function.


title: Empirical-likelihood-based confidence interval for the mean with a heavy-tailed distribution

abstract: Empirical-likelihood-based confidence intervals for a mean were introduced by Owen [Biometrika 75 (1988) 237-249], where at least a finite second moment is required. This excludes some important distributions, for example, those in the domain of attraction of a stable law with index between 1 and 2. In this article we use a method similar to Qin and Wong [Scand. J. Statist. 23 (1996) 209-219] to derive an empirical-likelihood-based confidence interval for the mean when the underlying distribution has heavy tails. Our method can easily be extended to obtain a confidence interval for any order of moment of a heavy-tailed distribution.


title: Bounds on coverage probabilities of the empirical likelihood ratio confidence regions

abstract: This paper studies the least upper bounds on coverage probabilities of the empirical likelihood ratio confidence regions based on estimating equations. The implications of the bounds on empirical likelihood inference are also discussed.


title: Estimation of fractal dimension for a class of Non-Gaussian stationary processes and fields

abstract: We present the asymptotic distribution theory for a class of increment-based estimators of the fractal dimension of a random field of the form g{X(t)}, where g:R\to R is an unknown smooth function and X(t) is a real-valued stationary Gaussian field on R^d, d=1 or 2, whose covariance function obeys a power law at the origin. The relevant theoretical framework here is ``fixed domain'' (or ``infill'') asymptotics. Surprisingly, the limit theory in this non-Gaussian case is somewhat richer than in the Gaussian case (the latter is recovered when g is affine), in part because estimators of the type considered may have an asymptotic variance which is random in the limit. Broadly, when g is smooth and nonaffine, three types of limit distributions can arise, types (i), (ii) and (iii), say. Each type can be represented as a random integral. More specifically, type (i) can be represented as the integral of a certain random function with respect to Lebesgue measure; type (ii) can be represented as the integral of a second random function


title: The empirical process on Gaussian spherical harmonics

abstract: We establish weak convergence of the empirical process on the spherical harmonics of a Gaussian random field in the presence of an unknown angular power spectrum. This result suggests various Gaussianity tests with an asymptotic justification. The issue of testing for Gaussianity on isotropic spherical random fields has recently received strong empirical attention in the cosmological literature, in connection with the statistical analysis of cosmic microwave background radiation.


title: Monomial ideals and the Scarf complex for coherent systems in reliability theory

abstract: A certain type of integer grid, called here an echelon grid, is an object found both in coherent systems whose components have a finite or countable number of levels and in algebraic geometry. If \alpha=(\alpha_1,...,\alpha_d) is an integer vector representing the state of a system, then the corresponding algebraic object is a monomial x_1^{\alpha_1}... x_d^{\alpha_d} in the indeterminates x_1,..., x_d. The idea is to relate a coherent system to monomial ideals, so that the so-called Scarf complex of the monomial ideal yields an inclusion-exclusion identity for the probability of failure, which uses many fewer terms than the classical identity. Moreover in the ``general position'' case we obtain via the Scarf complex the tube bounds given by Naiman and Wynn [J. Inequal. Pure Appl. Math. (2001) 2 1-16]. Examples are given for the binary case but the full utility is for general multistate coherent systems and a comprehensive example is given.


title: Controlling alliances through executing pressure

abstract: In this paper the standard prisoners' dilemma is embedded in environmental conditions in which the interaction takes place. This provides a theoretical background to the analysis of the empirical studies which indicate that including additional factors when considering an alliance is very important. We show that such an approach, though theoretically simple, provides a powerful tool for suggesting successful strategies for forming, maintaining and withstanding a rival attack on an alliance, projecting an alliance possible success and determining which measures must be taken to maintain an alliance in a changing environment. It also provides insight into the possibility of preventing alliances in rivals. The relative simplicity of this framework means that the approach can be easily applied when the real life decisions are taken.


title: The geometry of 2-calibrated manifolds

abstract: We define 2-calibrated structures, which are analogs of symplectic structures in odd dimensions. We show the existence of differential topological constructions compatible with the structure.


title: Almost isometric embeddings of metric spaces

abstract: We investigate a relations of almost isometric embedding and almost isometry between metric spaces and prove that with respect to these relations: (1) There is a countable universal metric space. (2) There may exist fewer than continuum separable metric spaces on aleph_1 so that every separable metric space is almost isometrically embedded into one of them when the continuum hypothesis fails. (3) There is no collection of fewer than continuum metric spaces of cardinality aleph_2 so that every ultra-metric space of cardinality aleph_2 is almost isometrically embedded into one of them if aleph_2<2^{aleph_0}. We also prove that various spaces X satisfy that if a space X is almost isometric to X than Y is isometric to X.


title: The depth of ultraproducts of Boolean Algebras

abstract: We show in ZFC, that the depth of ultraproducts of Boolean Algebras may be bigger than the ultraproduct of the depth of those Boolean Algebras.


title: Bide - Side Exponential and Moment Inequalities for Tails of Distributions of Polynomial Martingales

abstract: In this paper non-asymptotic exponential estimates are derived for the tail distribution of polynomial martingale differences in terms unconditional tails distributions of summands. Applications are considered in the theory of polynomials on independent random variables, to the theory of U-statistics, multiply martingale series and in the theory of weak compactness measures on the Banach spaces. Partially supported by the Israel Ministry of Absorbtion Mathematics Subject Classification (2000): 47A45, 47B10, 60F10, 60G42.


title: The Maximum Likelihood Degree

abstract: Maximum likelihood estimation in statistics leads to the problem of maximizing a product of powers of polynomials. We study the algebraic degree of the critical equations of this optimization problem. This degree is related to the number of bounded regions in the corresponding arrangement of hypersurfaces, and to the Euler characteristic of the complexified complement. Under suitable hypotheses, the maximum likelihood degree equals the top Chern class of a sheaf of logarithmic differential forms. Exact formulae in terms of degrees and Newton polytopes are given for polynomials with generic coefficients.


title: Exponential Orlicz Spaces: New Norms and Applications

abstract: The aim of this paper is investigating of Orlicz spaces with exponential function and correspondence Orlicz norm: we introduce some new equivalent norms, obtain the tail characterization, study the product of functions in Orlicz spaces etc. We consider some applications: estimation of operators in Orlicz spaces and problem of martingales convergence and divergence


title: Universal Adaptive Estimations and Confidence Intervals in the Nonparametric Statistics

abstract: The paper considers so-called adaptive estimations of regression, distribution density and spectral density of a Gaussian stationary sequence, asymptotically optimal in order at a growing number of observation on any regular subspace compactly embedded in space $L_2$, and confidence intervals, also adaptive, are constructed on their basis for the estimated functions in an integral norm.


title: Classification of log del Pezzo surfaces of index $\le 2$

abstract: This is an expanded version of our work [AN88], 1988, in Russian. We classify del Pezzo surfaces over C with log terminal singularities of index \le 2. By classification, we understand a description of the intersection graph of all exceptional curves on an appropriate (somewhat stronger than minimal) resolution of singularities together with the subgraph of the curves which are contracted to singular points. The final results are similar to classical results about classification of non-singular del Pezzo surfaces and use the usual finite root systems. However, the intermediate considerations use the theory of K3 surfaces (especially of K3 surfaces with non-symplectic involutions) and the theory of reflection groups in hyperbolic spaces (especially or reflection groups of hyperbolic lattices). As an ``elementary'' application, our results permit one to classify sextics in P^2 with simple singularities and a component of geometric genus \ge 2.


title: Hypercomplex manifolds with trivial canonical bundle and their holonomy

abstract: Let (M,I,J,K) be a compact hypercomplex manifold admitting an HKT-metric. Assume that the canonical bundle of (M,I) is trivial as a holomorphic line bundle. We show that the holonomy of Obata connection on M is contained in SL(n,H). In Appendix we apply these arguments to compact nilmanifolds equipped with abelian hypercomplex structures, showing that such manifolds have holonomy in SL(n,H).


title: A Swan-like Theorem

abstract: Richard G. Swan proved in 1962 that trinomials x^{8k} + x^m + 1 with 8k > m have an even number of irreducible factors, and so cannot be irreducible. In fact, he found the parity of the number of irreducible factors for any square-free trinomial in F_2[x]. We prove a result that is similar in spirit. Namely, suppose n is odd and f(x) = x^n + Sum_{i in S} x^i + 1 in F_2[x], where S subset {i : i odd, i < n/3} Union {i : i = n (mod 4), i < n} We show that if n = +-1 (mod 8) then f(x) has an odd number of irreducible factors, and if n = +=3 (mod 8) then f(x) has an even number of irreducible factors. This has an application to the problem of finding polynomial bases {1,a,a^2,...a^{n-1}} of F_{2^n} such that Tr(a^i) = 0 for all 1 <= i < n.


title: On plethysm conjectures of Stanley and Foulkes: the $2 \times n$ case

abstract: We prove Stanley's plethysm conjecture for the $2 \times n$ case, which composed with the work of Black and List provides another proof of Foulkes conjecture for the $2 \times n$ case. We also show that the way Stanley formulated his conjecture, it is false in general, and suggest an alternative formulation.


title: Space-time foam dense singularities and de Rham cohomology

abstract: In an earlier paper of the authors it was shown that the sheaf theoretically based recently developed abstract differential geometry of the first author can in an easy and natural manner incorporate singularities on arbitrary closed nowhere dense sets in Euclidean spaces, singularities which therefore can have arbitrary large positive Lebesgue measure. As also shown, one can construct in such a singular context a de Rham cohomology, as well as a short exponential sequence, both of which are fundamental in differential geometry. In this paper, these results are significantly strengthened, motivated by the so called space-time foam structures in general relativity, where singularities can be dense. In fact, this time one can deal with singularities on arbitrary sets, provided that their complementaries are dense, as well. In particular, the cardinal of the set of singularities can be larger than that of the nonsingular points.


title: Linear conditions imposed on flag varieties

abstract: We study subvarieties of the flag variety called Hessenberg varieties, defined by certain linear conditions. These subvarieties arise naturally in applications including geometric representation theory, number theory, and numerical analysis. We describe completely the homology of Hessenberg varieties over GL_n(C) and show that they have no odd-dimensional homology. We provide an explicit geometric construction which partitions each Hessenberg variety into pieces homeomorphic to affine space. We characterize these affine pieces by fillings of Young tableaux and show that the dimension of the affine piece can be computed by combinatorial rules generalizing the Eulerian numbers. We give an equivalent formulation of this result in terms of roots. We conclude with a section on open questions.


title: Distinguishing numbers for graphs and groups

abstract: A graph G is distinguished if its vertices are labelled by a map \phi: V(G) \longrightarrow {1,2,...,k} so that no graph automorphism preserves \phi. The distinguishing number of G is the minimum number k necessary for \phi to distinguish the graph. It is one measure of the complexity of the graph. We extend these definitions to an arbitrary group action of G on a set X. A labelling \phi: X \longrightarrow {1,2,...,k} is distinguishing if no nontrivial element of G preserves \phi except those in the stabilizer of X. The distinguishing number of the group action on X is the minimum k needed for \phi to distinguish the group action. We show that distinguishing group actions is a more general problem than distinguishing graphs. We completely characterize actions of the symmetric group S_n on a set with distinguishing number n.


title: The Geometry of Linear Regular Types

abstract: This paper is concerned with extending results from "The Geometry of 1-Based Minimal Types" by Kim and the present author. We work in the more general context of the solution set D of a regular Lascar Strong Type defined over the empty set in a simple theory T. In Pillay's book "Geometric Stability Theory", a notion of p-weight is developed for regular types in stable theories. Here we show that the corresponding notion holds in simple theories and give a geometric analysis of associated structures G(D) and G(D)(large), the former of which appears in the above paper. We show that D is linear iff G(D) and G(D)(large) (localized, respectively) are both modular with respect to the p-closure operator. Finally, we show that modularity of G(D)(large) provides a local analogue of 1-basedness for the theory T.


title: Action-type axiomatizable classes of group representations

abstract: The paper adjoins the book B.Plotkin, S.Vovsi "Varieties of representations of groups", Riga, "Zinatne", 1983, and turns to be, in a sense, its continuation. In the book the varieties of representations had been considered. In the matter of fact, the varieties under consideration are action-type varieties. This paper studies other classes of representations, axiomatizable in the special action-type logic.


title: Recognizing Cluster Algebras of Finite type

abstract: We compute the list of all minimal 2-infinite diagrams, which are cluster algebraic analogues of extended Dynkin graphs.


title: Decomposition of the Diagonal Action of S_n on the Coinvariant Space of S_n x S_n

abstract: The purpose of this paper is to give an explicit description of the irreducible decomposition of the multigraded S_n-module of coinvariants of S_n x S_n. Many of the results presented can be extended to analogous questions for other finite reflection group.


title: The cyclotomic trace map and values of zeta-functions

abstract: We show that the cyclotomic trace map for smooth varieties over number rings can be interpreted as a regulator map and hence are related to special values of $\zeta$-functions.


title: Variational Properties of the Gauss-Bonnet Curvatures

abstract: The Gauss-Bonnet curvature of order $2k$ is a generalization to higher dimensions of the Gauss-Bonnet integrand in dimension $2k$, as the usual scalar curvature generalizes the two dimensional Gauss-Bonnet integrand. In this paper, we evaluate the first variation of the integrals of these curvatures seen as functionals on the space of all Riemannian metrics on the manifold under consideration. An important property of this derivative is that it depends only on the curvature tensor and not on its covariant derivatives. We show that the critical points of this functional once restricted to metrics with unit volume are generalized Einstein metrics and once restricted to a pointwise conformal class of metrics are metrics with constant Gauss-Bonnet curvature.


title: On tame enveloping semigroups

abstract: A dynamical version of the Bourgain-Fremlin-Talagrand dichotomy shows that the enveloping semigroup of a dynamical system is either very large and contains a topological copy of the Stone-Cech compactification of the natural numbers, or it is a "tame" topological space whose topology is determined by the convergence of sequences. In the latter case we say that the dynamical system is tame. We show that (i) a metric distal minimal system is tame iff it is equicontinuous (ii) for an abelian acting group a tame metric minimal system is PI (hence a weakly mixing minimal system is never tame), and (iii) a tame minimal cascade has zero topological entropy. We also show that for minimal distal-but-not-equicontinuous systems the canonical map from the enveloping operator semigroup onto the Ellis semigroup is never an isomorphism. This answers a long standing open question. We give a complete characterization of minimal systems whose enveloping semigroup is metrizable. In particular it follows that for abelian acting group such a system is equicontinuous.


title: More on Cardinal Arithmetic

abstract: This paper deals with variety of problems in pcf theory and infinitary combinatorics. We look at normal filters and prc, measures of the size of [lambda]^{<kappa}, pcf-inaccessibility, entangled orders (and narrow Boolean Algebras), measuring prod_{i<kappa}f(i) by a family of ideals and a family of sequences <B_i:i<kappa> with |B_i|<mu_i, and finally we deal with the existence of strongly almost disjoint families.


title: Big Handlebody Distance Implies Finite Mapping Class Group

abstract: We show that if $M$ is a closed three manifold with a Heegaard splitting with sufficiently big "handlebody distance" then the subgroup of the mapping class group of the Heegaard surface, which extend to both handlebodies is finite. As a corollary, this implies that under the same hypothesis, the mapping class group of $M$ is finite.


title: Hereditarily separable groups and monochromatic uniformization

abstract: We give a combinatorial equivalent to the existence of a non-free hereditarily separable group of cardinality aleph_1. This can be used, together with a known combinatorial equivalent of the existence of a non-free Whitehead group, to prove that it is consistent that every Whitehead group is free but not every hereditarily separable group is free. We also show that the fact that Z is a p.i.d. with infinitely many primes is essential for this result.


title: n-Homomorphisms

abstract: Let $\mathcal A$ and $\mathcal B$ be two (complex) algebras. A linear map $\phi:{\mathcal A}\to{\mathcal B}$ is called $n$-homomorphism if $\phi(a_{1}... a_{n})=\phi(a_{1})...\phi(a_{n})$ for each $a_{1},...,a_{n}\in{\mathcal A}.$ In this paper, we investigate $n$-homomorphisms and their relation to homomorphisms. We characterize $n$-homomorphisms in terms of homomorphisms under certain conditions. Some results related to continuity and commutativity are given as well.