title: $Z$-set unknotting in large cubes

abstract: This paper has been withdrawn by the author. Much simpler proof of the main result was obtained which led to major changes in the presentation.


title: A Quillen Approach to Derived Categories and Tensor Products

abstract: We put a monoidal model category structure on the category of chain complexes of quasi-coherent sheaves over a quasi-compact and semi-separated scheme X. The approach generalizes and simplifies methods used by the author to build monoidal model structures on the category of chain complexes of modules over a ring and chain complexes of sheaves over a ringed space. Indeed, much of the paper is dedicated to showing that in any Grothendieck category G, a nice enough class of objects, which we call a Kaplansky class, induces a model structure on the category Ch(G) of chain complexes. We also find simple conditions to put on the Kaplansky class which will guarantee that our model structure in monoidal. We see that the common model structures used in practice are all induced by such Kaplansky classes.


title: The graph isomorphism problem is polynomial

abstract: It is known that a graph isomorphism testing algorithm is polynomially equivalent to a detecting of a graph non-trivial automorphism algorithm. The polynomiality of the latter algorithm, is obtained by consideration of symmetry properties of regular $k$-partitions that, on one hand, generalize automorphic $k$-partitions (=systems of $k$-orbits of permutation groups), and, on other hand, schemes of relations (strongly regular 2-partitions or regular 3-partitions), that are a subject of the algebraic combinatorics. It is shown that the stabilization of a graph by quadrangles detects the triviality of the graph automorphism group. The result is obtained by lineariation of the algebraic combinatorics. Keywords: $k$-partitions, symmetry, algebraic combinatorics


title: Large deviations bound for semiflows over a non-uniformly expanding base

abstract: We obtain a exponential large deviation upper bound for continuous observables on suspension semiflows over a non-uniformly expanding base transformation with non-flat singularities or criticalities, where the roof function defining the suspension behaves like the logarithm of the distance to the singular/critical set of the base map. That is, given a continuous function we consider its space average with respect to a physical measure and compare this with the time averages along orbits of the semiflow, showing that the Lebesgue measure of the set of points whose time averages stay away from the space average tends to zero exponentially fast as time goes to infinity. Suspension semiflows model the dynamics of flows admitting cross-sections, where the dynamics of the base is given by the Poincar\'e return map and the roof function is the return time to the cross-section. The results are applicable in particular to semiflows modeling the geometric Lorenz attractors and the Lorenz flow, as well as other semiflows with multidimensional non-uniformly expanding base with non-flat singularities and/or criticalities under slow recurrence rate conditions to this singular/critical set.


title: A correct proof of the McMorris-Powers' theorem on the consensus of phylogenies

abstract: McMorris and Powers proved an Arrow-type theorem on phylogenies given as collections of quartets. There is an error in one of the main lemmas used to prove this theorem. However, this lemma (and thereby the theorem) is still true, and a correct proof is provided.


title: Dessins d'enfants and differential equations

abstract: We state and solve a discrete version of the classical Riemann-Hilbert problem. In particular, we associate a Riemann-Hilbert problem to every dessin d'enfants. We show how to compute the solution for a dessin that is a tree. This amounts to finding a Fuchsian differential equation satisfied by the local inverses of a Shabat polynomial. We produce a universal annihilating operator for the inverses of a generic polynomial. We classify those plane trees that have a representation by Mobius transformations and those that have a linear representation of dimension at most two. This yields an analogue for trees of Schwarz's classical list, that is, a list of those plane trees whose Riemann-Hilbert problem has a hypergeometric solution of order at most two.


title: Non-autonomous dynamics of wave equations with nonlinear damping and critical nonlinearity

abstract: The authors consider non-autonomous dynamical behavior of wave-type evolutionary equations with nonlinear damping and critical nonlinearity. These type of waves equations are formulated as non-autonomous dynamical systems (namely, cocycles). A sufficient and necessary condition for the existence of pullback attractors is established for norm-to-weak continuous non-autonomous dynamical systems, in terms of pullback asymptotic compactness or pullback $\kappa-$contraction criteria. A technical method for verifying pullback asymptotic compactness, via contractive functions, is devised. These results are then applied to the wave-type evolutionary equations with nonlinear damping and critical nonlinearity, to obtain the existence of pullback attractors. The required pullback asymptotic compactness for the existence of pullback attractors is fulfilled by some new a priori estimates for concrete wave type equations arising from applications. Moreover, the pullback $\kappa-$contraction criterion for the existence of pullback attractors is of independent interest.


title: Mean-variance Hedging in the Discontinuous Case

abstract: The results on the mean-variance hedging problem in Gouri\'eroux, Laurent and Pham (1998), Rheinl\"ander and Schweizer (1997) and Arai (2005) are extended to discontinuous semimartingale models. When the num\'eraire method is used, we only assume the Radon-Nikodym derivative of the variance-optimal signed martingale measure (VSMM) is non-zero almost surely (but may be strictly negative). When discussing the relation between the solutions and the Galtchouk-Kunita-Watanabe decompositions under the VSMM, we only assume the VSMM is equivalent to the reference probability.


title: Halphen Pencils on Weighted Fano Threefold Hypersurfaces

abstract: We classify all pencils on a general weighted hypersurface in $\mathbb{P}(1,a_{1},a_{2},a_{3},a_{4})$ of degree $\sum_{i=1}^{4}a_{i}$ whose general members are surfaces of Kodaira dimension zero.


title: An algorithm for computing some Heegaard Floer homologies

abstract: In this paper, we give an algorithm to compute the hat version of the Heegaard Floer homology of a closed oriented three-manifold. This method also allows us to compute the filtrations coming from a null-homologous link in a three-manifold.


title: Construction of elements in the closure of Grigorchuk group

abstract: We describe constraints that need to be satisfied ``near the top'' of the portraits of the elements in Grigorchuk group. These constraints, if satisfied by the portraits of all sections of some binary tree automorphism, guarantee that this automotphism belongs to the closure of Grigorchuk group in the pro-finite group of binary tree automorphisms. The constraints may be viewed as an effective version of a more conceptual description given earlier by Grigorchuk.


title: On Some Dynamical Systems in Finite Fields and Residue Rings

abstract: We use character sums to confirm several recent conjectures of V. I. Arnold on the uniformity of distribution properties of a certain dynamical system in a finite field. On the other hand, we show that some conjectures are wrong. We also analyze several other conjectures of V. I. Arnold related to the orbit length of similar dynamical systems in residue rings and outline possible ways to prove them. We also show that some of them require further tuning.


title: Linearity Defects of Face Rings

abstract: Let $S = K[x_1, ..., x_n ]$ be a polynomial ring over a field $K$, and $E = K < y_1, ..., y_n >$ an exterior algebra. The "linearity defect" $ld_E(N)$ of a finitely generated graded $E$-module $N$ measures how far $N$ departs from "componentwise linear". It is known that $ld_E(N) < \infty$ for all $N$. But the value can be arbitrary large, while the similar invariant $ld_S(M)$ for an $S$-module $M$ is alway at most $n$. We show that if $I_\Delta$ (resp. $J_\Delta$) is the squarefree monomial ideal of $S$ (resp. $E$) corresponding to a simplicial complex $\Delta$ on ${1, >..., n}$, then $ld_E(E/J_\Delta) = ld_S(S/I_\Delta)$. Moreover, except some extremal cases, $ld$ is a topological invariant of the Alexander dual $\Delta^\vee$ of $\Delta$. We also show that, when $n > 3$, $ld_E(E/J_\Delta) = n-2$ (this is the largest possible value) if and only if $\Delta$ is an $n$-gon.


title: Translated Poisson approximation using exchangeable pair couplings

abstract: It is shown that the method of exchangeable pairs introduced by Stein [Approximate Computation of Expectations (1986) IMS, Hayward, CA] for normal approximation can effectively be used for translated Poisson approximation. Introducing an additional smoothness condition, one can obtain approximation results in total variation and also in a local limit metric. The result is applied, in particular, to the anti-voter model on finite graphs as analyzed by Rinott and Rotar [Ann. Appl. Probab. 7 (1997) 1080--1105], obtaining the same rate of convergence, but now for a stronger metric.


title: Equivalence of Riesz and Baez-Duarte criterion for the Riemann Hypothesis

abstract: We investigate the relation between the Riesz and the Baez-Duarte criterion for the Riemann Hypothesis. In particular we present the relation between the function $R(x)$ appearing in the Riesz criterion and the sequence $c_k$ appearing in the Baez-Duarte formulation. It is shown that $R(x)$ can expressed by $c_k$ and vice versa the sequence $c_k$ can be obtained from the values of $R(x)$ at integer arguments. We give also some relations involving $c_k$ and $R(x)$, in particular value of the alternating sum of $c_k$.


title: A new topology on the space of unbounded selfadjoint operators and the spectral flow

abstract: We define a new topology, weaker than the gap topology, on the space of selfadjoint unbounded operators on a separable Hilbert space. We show that the subspace of selfadjoint Fredholm operators represents the functor $K^1$ from the category of compact spaces to the category of abelian groups and prove a similar result for $K^0$. We define the spectral flow of a continuous path of selfadjoint Fredholm operators generalizing the approach of Booss-Bavnek--Lesch--Phillips.


title: Integrable hierarchies and the modular class

abstract: We observe that the modular class of a Poisson-Nijhenhuis manifold has a canonical representative and that, under a cohomological assumption, this vector field is bi-hamiltonian. In many examples the associated hierarchy of flows reproduces classical integrable hierarchies.


title: On irreducible n-ary quasigroups with reducible retracts

abstract: An n-ary operation q:A^n->A is called an n-ary quasigroup of order |A| if in x_0=q(x_1,...,x_n) knowledge of any n elements of x_0,...,x_n uniquely specifies the remaining one. An n-ary quasigroup q is permutably reducible if q(x_1,...,x_n)=p(r(x_{s(1)},...,x_{s(k)}),x_{s(k+1)},...,x_{s(n)}) where p and r are (n-k+1)-ary and k-ary quasigroups, s is a permutation, and 1<k<n. For even n we construct a permutably irreducible n-ary quasigroup of order 4r such that all its retracts obtained by fixing one variable are permutably reducible. We use a partial Boolean function that satisfies similar properties. For odd n the existence of a permutably irreducible n-ary quasigroup such that all its (n-1)-ary retracts are permutably reducible is an open question; however, there are nonexistence results for 5-ary and 7-ary quasigroups of order 4. Keywords:n-ary quasigroups, n-quasigroups, reducibility, Seidel switching, two-graphs


title: Fusion in the Extended Verlinde Algebra

abstract: In this paper we study modular $G$-equivariant fusion categories and their extended Verlinde algebras. We dicuss settings in which fusion rules are diagonalizable. In particular, when $G = \mathbb{Z}_{2}$ we generalize the Verlinde formula. We discuss an important example at length: the type $D_{2m+2}$ quantum subgroup of the semisimple representations of $\mathcal{U}_{q}(\mathfrak{sl}_{2})$.


title: Small divisors and large multipliers

abstract: We study germs of singular holomorphic vector fields at the origin of $\Bbb C^n$ of which the linear part is 1-resonant and which have a polynomial normal form. The formal normalizing diffeomorphism is usually divergent at the origin but there exists holomorphic diffeomorphisms in some "sectorial domains" which transform these vector fields into their normal form. In this article, we study the interplay between the small divisors phenomenon and the Gevrey character of the sectorial normalizing diffeomorphisms. We show that the Gevrey ordrer of the latter is linked to the diophantine type of the small divisors.


title: A New Upper Bound for Diagonal Ramsey Numbers

abstract: We prove a new upper bound for diagonal two-colour Ramsey numbers, showing that there exists a constant $C$ such that \[r(k+1, k+1) \leq k^{- C \frac{\log k}{\log \log k}} \binom{2k}{k}.\]


title: Blocking light in compact Riemannian manifolds

abstract: We study compact Riemannian manifolds for which the light between any pair of points is blocked by finitely many point shades. Compact flat Riemannian manifolds are known to have this finite blocking property. We conjecture that amongst compact Riemannian manifolds this finite blocking property characterizes the flat metrics. Using entropy considerations, we verify this conjecture amongst metrics with nonpositive sectional curvatures. Using the same approach, K. Burns and E. Gutkin have independently obtained this result. Additionally, we show that compact quotients of Euclidean buildings have the finite blocking property. On the positive curvature side, we conjecture that compact Riemannian manifolds with the same blocking properties as compact rank one symmetric spaces are necessarily isometric to a compact rank one symmetric space. We include some results providing evidence for this conjecture.


title: The Number of Complete Maps on Surfaces

abstract: A map is a connected topological graph cellularly embedded in a surface and a complete map is a cellularly embedded complete graph in a surface. In this paper, all automorphisms of complete maps of order n are determined by permutations on its vertices. Applying a scheme for enumerating maps on surfaces with a given underlying graph, the numbers of unrooted complete maps on orientable or non-orientable surfaces are obtained.


title: Automorphisms and Enumeration of Maps of Cayley Graph of a Finite Group

abstract: A map is a connected topological graph $\Gamma$ cellularly embedded in a surface. In this paper, applying Tutte's algebraic representation of map, new ideas for enumerating non-equivalent orientable or non-orientable maps of graph are presented. By determining automorphisms of maps of Cayley graph $\Gamma={\rm Cay}(G:S)$ with ${\rm Aut} \Gamma\cong G\times H$ on locally, orientable and non-orientable surfaces, formulae for the number of non-equivalent maps of $\Gamma$ on surfaces (orientable, non-orientable or locally orientable) are obtained . Meanwhile, using reseults on GRR graph for finite groups, we enumerate the non-equivalent maps of GRR graph of symmetric groups, groups generated by 3 involutions and abelian groups on orientable or non-orientable surfaces.


title: An Invarian p-adic q-integral on the rings of p-adic integers

abstract: In the recent p-adic q-integral on the p-adic integers' rings was constructed >. The purpose of this paper is to give several interesting integral equation for the p-adic q-integerals on the rings of p-adic integers. As an integral equations, we will treat relations between p-adic q-integral's equations and q-Bernoulli and Euler numbers.


title: Permutations, cycles, and the pattern 2-13

abstract: We count the number of occurrences of restricted patterns of length 3 in permutations with respect to length and the number of cycles. The main tool is a bijection between permutations in standard cycle form and weighted Motzkin paths.


title: Mutation and the colored Jones polynomial

abstract: We show examples of knots with the same polynomial invariants and hyperbolic volumes, with variously coinciding 2-cable polynomials and colored Jones polynomials, which are not mutants.


title: Hilbertian matrix cross normed spaces arising from normed ideals

abstract: Generalizing Pisier's idea, we introduce a Hilbertian matrix cross normed space associated with a pair of symmetric normed ideals. When the two ideals coincide, we show that our construction gives an operator space if and only if the ideal is the Schatten class. In general, a pair of symmetric normed ideals that are not necessarily the Schatten class may give rise to an operator space. We study the space of completely bounded mappings between the matrix cross normed spaces obtained in this way and show that the multiplicator norm naturally appears as the completely bounded norm.


title: K-theory of some C*-algebras and buildings

abstract: We compute an exact formula for the order of the class of the identity in the K_0 group of an infinite class of two-dimensional Kuntz-Crieger algebras.


title: Stochastic Stokes' drift of a flexible dumbbell

abstract: We consider the stochastic Stokes drift of a flexible dumbbell. The dumbbell consists of two isotropic Brownian particles connected by a linear spring with zero natural length, and is advected by a sinusoidal wave. We find an asymptotic approximation for the Stokes drift in the limit of a weak wave, and find good agreement with the results of a Monte Carlo simulation. We show that it is possible to use this effect to sort particles by their flexibility even when all the particles have the same diffusivity.


title: Pseudo-maximum likelihood estimation of ARCH$(\infty)$ models

abstract: Strong consistency and asymptotic normality of the Gaussian pseudo-maximum likelihood estimate of the parameters in a wide class of ARCH$(\infty)$ processes are established. The conditions are shown to hold in case of exponential and hyperbolic decay in the ARCH weights, though in the latter case a faster decay rate is required for the central limit theorem than for the law of large numbers. Particular parameterizations are discussed.


title: Statistical inference for time-varying ARCH processes

abstract: In this paper the class of ARCH$(\infty)$ models is generalized to the nonstationary class of ARCH$(\infty)$ models with time-varying coefficients. For fixed time points, a stationary approximation is given leading to the notation ``locally stationary ARCH$(\infty)$ process.'' The asymptotic properties of weighted quasi-likelihood estimators of time-varying ARCH$(p)$ processes ($p<\infty$) are studied, including asymptotic normality. In particular, the extra bias due to nonstationarity of the process is investigated. Moreover, a Taylor expansion of the nonstationary ARCH process in terms of stationary processes is given and it is proved that the time-varying ARCH process can be written as a time-varying Volterra series.


title: The ODE method for stability of skip-free Markov chains with applications to MCMC

abstract: Fluid limit techniques have become a central tool to analyze queueing networks over the last decade, with applications to performance analysis, simulation and optimization. In this paper, some of these techniques are extended to a general class of skip-free Markov chains. As in the case of queueing models, a fluid approximation is obtained by scaling time, space and the initial condition by a large constant. The resulting fluid limit is the solution of an ordinary differential equation (ODE) in ``most'' of the state space. Stability and finer ergodic properties for the stochastic model then follow from stability of the set of fluid limits. Moreover, similarly to the queueing context where fluid models are routinely used to design control policies, the structure of the limiting ODE in this general setting provides an understanding of the dynamics of the Markov chain. These results are illustrated through application to Markov chain Monte Carlo methods.


title: Energy concentration and Sommerfeld condition for Helmholtz equation with variable index at infinity

abstract: We consider the Helmholtz equation with a variable index of refraction $n(x)$, which is not necessarily constant at infinity but can have an angular dependency like $n(x)\to n\_\infty(x/|x |)$ as $|x |\to \infty$. Under some appropriate assumptions on this convergence and on $n\_\infty$ we prove that the Sommerfeld condition at infinity still holds true under the explicit form $$ \int\_{\R^d} | \nabla u -i n\_\infty^{1/2} u \xox |^2 \f{dx}{|x |}<+\infty. $$ It is a very striking and unexpected feature that the index $n\_{\infty}$ appears in this formula and not the gradient of the phase as established by Saito in \cite {S} and broadly used numerically. This apparent contradiction is clarified by the existence of some extra estimates on the energy decay. In particular we prove that $$ \int\_{\R^d} | \nabla\_\omega n\_\infty(\xox)|^2 \f{| u |^2}{|x |} dx < +\infty. $$ In fact our main contribution is to show that this can be interpreted as a concentration of the energy along the critical lines of $n\_\infty$. In other words, the Sommerfeld condition hides the main physical effect arising for a variable $n$ at infinity; energy concentration on lines rather than dispersion in all directions.


title: Estimation for almost periodic processes

abstract: Processes with almost periodic covariance functions have spectral mass on lines parallel to the diagonal in the two-dimensional spectral plane. Methods have been given for estimation of spectral mass on the lines of spectral concentration if the locations of the lines are known. Here methods for estimating the intercepts of the lines of spectral concentration in the Gaussian case are given under appropriate conditions. The methods determine rates of convergence sufficiently fast as the sample size $n\to\infty$ so that the spectral estimation on the estimated lines can then proceed effectively. This task involves bounding the maximum of an interesting class of non-Gaussian possibly nonstationary processes.


title: On discriminating between long-range dependence and changes in mean

abstract: We develop a testing procedure for distinguishing between a long-range dependent time series and a weakly dependent time series with change-points in the mean. In the simplest case, under the null hypothesis the time series is weakly dependent with one change in mean at an unknown point, and under the alternative it is long-range dependent. We compute the CUSUM statistic $T_n$, which allows us to construct an estimator $\hat{k}$ of a change-point. We then compute the statistic $T_{n,1}$ based on the observations up to time $\hat{k}$ and the statistic $T_{n,2}$ based on the observations after time $\hat{k}$. The statistic $M_n=\max[T_{n,1},T_{n,2}]$ converges to a well-known distribution under the null, but diverges to infinity if the observations exhibit long-range dependence. The theory is illustrated by examples and an application to the returns of the Dow Jones index.


title: K-theory of torus manifolds

abstract: The {\it torus manifolds} have been defined and studied by M. Masuda and T. Panov (arXiv:math.AT/0306100) who in particular describe its cohomology ring structure. In this note we shall describe the topological $K$-ring of a class of torus manifolds (those for which the orbit space under the action of the compact torus is a {\it homology polytope} whose {\it nerve} is a {shellable} simplicial complex) in terms of generators and relations. Since these torus manifolds include the class of quasi-toric manifolds this is a generalisation of earlier results due to the author and P. Sankaran (arXiv: math.AG/0504107).


title: Isoperimetric inequalities and mixing time for a random walk on a random point process

abstract: We consider the random walk on a simple point process on $\Bbb{R}^d$, $d\geq2$, whose jump rates decay exponentially in the $\alpha$-power of jump length. The case $\alpha =1$ corresponds to the phonon-induced variable-range hopping in disordered solids in the regime of strong Anderson localization. Under mild assumptions on the point process, we show, for $\alpha\in(0,d)$, that the random walk confined to a cubic box of side $L$ has a.s. Cheeger constant of order at least $L^{-1}$ and mixing time of order $L^2$. For the Poisson point process, we prove that at $\alpha=d$, there is a transition from diffusive to subdiffusive behavior of the mixing time.


title: Testing the order of a model

abstract: This paper deals with order identification for nested models in the i.i.d. framework. We study the asymptotic efficiency of two generalized likelihood ratio tests of the order. They are based on two estimators which are proved to be strongly consistent. A version of Stein's lemma yields an optimal underestimation error exponent. The lemma also implies that the overestimation error exponent is necessarily trivial. Our tests admit nontrivial underestimation error exponents. The optimal underestimation error exponent is achieved in some situations. The overestimation error can decay exponentially with respect to a positive power of the number of observations. These results are proved under mild assumptions by relating the underestimation (resp. overestimation) error to large (resp. moderate) deviations of the log-likelihood process. In particular, it is not necessary that the classical Cram\'{e}r condition be satisfied; namely, the $\log$-densities are not required to admit every exponential moment. Three benchmark examples with specific difficulties (location mixture of normal distributions, abrupt changes and various regressions) are detailed so as to illustrate the generality of our results.


title: On Severi varieties on Hirzebruch surfaces

abstract: In the current paper we prove that any Severi variety on a Hirzebruch surface contains a unique component parameterizing irreducible nodal curves of the given genus in characteristic zero.


title: Givental's Lagrangian Cone and S^1-Equivariant Gromov-Witten Theory

abstract: In the approach to Gromov-Witten theory developed by Givental, genus-zero Gromov-Witten invariants of a manifold X are encoded by a Lagrangian cone in a certain infinite-dimensional symplectic vector space. We give a construction of this cone, in the spirit of S^1-equivariant Floer theory, in terms of S^1-equivariant Gromov-Witten theory of the product X \times P^1. This gives a conceptual understanding of the "dilaton shift": a change-of-variables which plays an essential role in Givental's theory.


title: Inverse spectral analysis for finite matrix-valued Jacobi operators

abstract: Consider the Jacobi operators $\cJ$ given by $(\cJ y)_n=a_ny_{n+1}+b_ny_n+a_{n-1}^*y_{n-1}$, $y_n\in \C^m$ (here $y_0=y_{p+1}=0$), where $b_n=b_n^*$ and $a_n:\det a_n\ne 0$ are the sequences of $m\ts m$ matrices, $n=1,..,p$. We study two cases: (i) $a_n=a_n^*>0$; (ii) $a_n$ is a lower triangular matrix with real positive entries on the diagonal (the matrix $\cJ$ is $(2m+1)$-band $mp\ts mp$ matrix with positive entries on the first and the last diagonals). The spectrum of $\cJ$ is a finite sequence of real eigenvalues $\l_1<...<\l_N$, where each eigenvalue $\l_j$ has multiplicity $k_j\le m$. We show that the mapping $(a,b)\mapsto \{(\l_j,k_j)\}_1^N\oplus \{additional spectral data \}$ is 1-to-1 and onto. In both cases (i), \nolinebreak (ii), we give the complete solution of the inverse problem.


title: Parametrization of the isospectral set for the vector-valued Sturm-Liouville problem

abstract: We obtain a parametrization of the isospectral set of matrix-valued potentials for the vector-valued Sturm-Liouville problem on a finite interval.


title: The inverse Sturm-Liouville problem with mixed boundary conditions

abstract: Consider the operator $H\p=-\p''+q\p=\l\p$, $\p(0)=0$, $\p'(1)+b\p(1)=0$ acting in $L^2(0,1)$, where $q\in L^2(0,1)$ is a real potential. Let $\l_n(q,b)$, $n\ge 0$, be the eigenvalues of $H$ and $\n_n(q,b)$ be the so-called norming constants. We give a complete characterization of all spectral data $(\{\l_n\}_0^\iy;\{\n_n\}_0^\iy)$ that correspond to $(q;b)\in L^2(0,1)\ts\R$. If $b$ is fixed, then we obtain a similar characterization and parameterize the iso-spectral manifolds.


title: Semiparametric estimation of a two-component mixture model

abstract: Suppose that univariate data are drawn from a mixture of two distributions that are equal up to a shift parameter. Such a model is known to be nonidentifiable from a nonparametric viewpoint. However, if we assume that the unknown mixed distribution is symmetric, we obtain the identifiability of this model, which is then defined by four unknown parameters: the mixing proportion, two location parameters and the cumulative distribution function of the symmetric mixed distribution. We propose estimators for these four parameters when no training data is available. Our estimators are shown to be strongly consistent under mild regularity assumptions and their convergence rates are studied. Their finite-sample properties are illustrated by a Monte Carlo study and our method is applied to real data.


title: The inverse problem for perturbed harmonic oscillator on the half-line with Dirichlet boundary conditions

abstract: We consider the perturbed harmonic oscillator $T_D\psi=-\psi''+x^2\psi+q(x)\psi$, $\psi(0)=0$, in $L^2(\R_+)$, where $q\in\bH_+=\{q', xq\in L^2(\R_+)\}$ is a real-valued potential. We prove that the mapping $q\mapsto{\rm spectral data}={\rm \{eigenvalues of\}T_D{\rm \}}\oplus{\rm \{norming constants\}}$ is one-to-one and onto. The complete characterization of the set of spectral data which corresponds to $q\in\bH_+$ is given.


title: A priori estimates for conformal mappings on complex plane with parallel slits

abstract: We study the properties of a conformal mapping $z(k)$ from the plane without vertical slits $\G_n=[u_n-ih_n, u_n+ih_n], n\in\Z$ and $h=(h_n)_{n\in\Z}\in \ell^2$, onto the complex plane without horizontal slits $\g_n\ss\R, n\in\Z$, with the asymptotics $z(iv)=iv+ o(1), v\to\iy$. Here $u_{n+1}-u_n\ge 1, n\in \Z$. Introduce the sequences $l=(|\g_n|)_{n\in\Z}$. % where $J_n\ge 0,J_n^2=\int_{\G_n}|\Im z(k,h)||dk|/\pi$. We obtain a priori two-sided estimates for $\|h\|_{p,\o}, \|l\|_{p,\o}$, where %$\|h\|_{\o}^p$ is the norm of the Banach space %the extension of i)-ii) for the case $h\in\ell_{\o}^p$, where %$\ell_{\o}^p,1\le p\le 2$ with % the norm $\|h\|_{p,\o}^p=\sum \o_n|h_n|^p, 1\le p\le 2$ with any weight $\o_n\ge 1, n\in \Z$. Moreover, we determine other estimates.


title: The distribution of periodic torus orbits on homogeneous spaces

abstract: We prove results towards the equidistribution of certain families of periodic torus orbits on homogeneous spaces, with particular focus on the case of the diagonal torus acting on quotients of $\PGL_n(\R)$. After attaching to each periodic orbit an integral invariant (the discriminant) our results have the following flavour: certain standard conjectures about the distribution of such orbits hold up to exceptional sets of at most $O(\Delta ^{\epsilon})$ orbits of discriminant $\leq \Delta$. The proof relies on the well-separatedness of periodic orbits together with measure rigidity for torus actions. We also give examples of sequences of periodic orbits of this action that fail to become equidistributed, even in higher rank. We give an application of our results to sharpen a theorem of Minkowski on ideal classes in totally real number fields of cubic and higher degrees.


title: Zeta determinant for double sequences of spectral type

abstract: We study the spectral functions, and in particular the zeta function, associated to a class of sequences of complex numbers, called of spectral type. We investigate the decomposability of the zeta function associated to a double sequence with respect to some simple sequence, and we provide a technique for obtaining the first terms in the Laurent expansion at zero of the zeta function associated to a double sequence. We particularize this technique to the case of sums of sequences of spectral type, and we give two applications: the first concerning some special functions appearing in number theory, and the second the functional determinant of the Laplace operator on a product space.


title: Quantization of Gamma-Lie bialgebras

abstract: We introduce the notion of Gamma-Lie bialgebra, where Gamma is a group. These objects give rise to cocommutative co-Poisson algebras, for which we construct quantization functors. This enlarges the class of co-Poisson algebras for which a quantization is known. Our result relies on our earlier work, where we showed that twists of Lie bialgebras can be quantized; we complement this work by studying the behavior of this quantization under compositions of twists.


title: Closed form expressions for Bayesian sample size

abstract: Sample size criteria are often expressed in terms of the concentration of the posterior density, as controlled by some sort of error bound. Since this is done pre-experimentally, one can regard the posterior density as a function of the data. Thus, when a sample size criterion is formalized in terms of a functional of the posterior, its value is a random variable. Generally, such functionals have means under the true distribution. We give asymptotic expressions for the expected value, under a fixed parameter, for certain types of functionals of the posterior density in a Bayesian analysis. The generality of our treatment permits us to choose functionals that encapsulate a variety of inference criteria and large ranges of error bounds. Consequently, we get simple inequalities which can be solved to give minimal sample sizes needed for various estimation goals. In several parametric examples, we verify that our asymptotic bounds give good approximations to the expected values of the functionals they approximate. Also, our numerical computations suggest our treatment gives reasonable results.


title: On the multiplication map of a multigraded algebra

abstract: Given a multigraded algebra $A$, it is a natural question whether or not for two homogeneous components $A_u$ and $A_v$, the product $A_{nu}A_{nv}$ is the whole component $A_{nu+nv}$ for $n$ big enough. We give combinatorial and geometric answers to this question.


title: Quasi-categories vs Segal spaces

abstract: We show that complete Segal spaces and Segal categories are Quillen equivalent to quasi-categories.


title: Structures of Three-Manifilds

abstract: This is lecture notes of a talk I gave at the Morningside Center of Mathematics on June 20, 2006. In this talk, I survey on Poincare and geometrization conjecture.


title: Letters of a Bi-Rationalist: VII. Ordered termination

abstract: To construct a resulting model in LMMP is sufficient to prove existence of log flips and their termination for certain sequences. We prove that LMMP in dimension $d-1$ and termination of terminal log flips in dimension $d$ imply, for any log pair of dimension $d$, the existence of a {\em resulting} log model: a strictly log minimal model or a strictly log terminal Mori log fibration, and imply existence of log flips in dimension $d+1$. As consequence, we prove existence of a resulting model of 4-fold log pairs, existence of log flips in dimension 5, and some fragments of Geography of log models in dimension 4.


title: An Intertwining Operator for the Group B2

abstract: There is a commutative algebra of differential-difference operators, acting on polynomials on R_2, associated with the reflection group B2. This paper presents an integral transform which intertwines this algebra, allowing one free parameter, with the algebra of partial derivatives. The method of proof depends on properties of a certain class of balanced terminating hypergeometric series of 4F3-type. These properties are in the form of recurrence and contiguity relations and are proved herein.


title: Toric Degenerations of GIT Quotients, Chow Quotients, and $\bar{M_{0,n}$

abstract: We show that the moduli space of stable n-pointed rational curves can be flatly degenerated to a projective toric variety. We arrive at this by showing that the Chow quotients of the Grassmannians admit toric degenerations, which in turn, follows from a theorem that we prove for toric degenerations of more general Chow quotients. Along the way, we also argued that GIT quotient of a flat family is again flat. In particular, all GIT quotients of flag varieties by maximal tori can be flatly degenerated to projective toric varieties ([9] and [12]).


title: Contact structures on 3-manifolds are deformations of foliations

abstract: In this note we observe, answering a question of Eliashberg and Thurston, that all contact structures on a closed oriented 3-manifold are $C^\infty$-deformations of foliations.


title: Covering spaces and Q-gradings on Heegaard Floer homology

abstract: Heegaard Floer homology, first introduced by P. Ozsvath and Z. Szabo, associates to a 3-manifold Y a family of relatively graded Abelian groups HF(Y,t), indexed by Spin^c structures t on Y. In the case that Y is a rational homology sphere, Ozsvath and Szabo lift the relative Z-grading to an absolute Q-grading. This induces a relative Q-grading on \bigoplus_{t\in Spin^c(Y)} HF(Y,t). In this paper we describe an alternate construction of this relative Q-grading by studying the Heegaard Floer homology of covering spaces.


title: Hausdorff dimension of the set of points on divergent trajectories of a homogeneous flow on a product space

abstract: In this paper we compute the Hausdorff dimension of the set D_n of points on divergent trajectories of the homogeneous flow induced by a certain one-parameter subgroup of G=SL(2,R) acting by left multiplication on the product space G^n/Gamma^n, where Gamma=SL(2,Z). We prove that the Hausdorff dimension of D_n equals 3n-(1/2) for any n greater than one.


title: Minimal Generators for Symmetric Ideals

abstract: Let $K$ be a field, and let $R = K[X]$ be the polynomial ring in an infinite collection $X$ of indeterminates over $K$. Let ${\mathfrak S}_{X}$ be the symmetric group of $X$. The group ${\mathfrak S}_{X}$ acts naturally on $R$, and this in turn gives $R$ the structure of a left module over the (left) group ring $R[{\mathfrak S}_{X}]$. A recent theorem of Aschenbrenner and Hillar states that the module $R$ is Noetherian. We prove that submodules of $R$ can have any number of minimal generators.


title: Unique Ergodicity of Translation Flows

abstract: This preliminary report contains a sketch of the proof of the following result: a slowly divergent Teichmuller geodesic satisfying a certain logarithmic law is determined by a uniquely ergodic measured foliation.


title: An algebraic extension of the MacMahon Master Theorem

abstract: We present a new algebraic extension of the classical MacMahon Master Theorem. The basis of our extension is the Koszul duality for non-quadratic algebras defined by Berger. Combinatorial implications are also discussed.


title: E_7, Wirtinger inequalities, Cayley 4-form, and homotopy

abstract: We study optimal curvature-free inequalities of the type discovered by C. Loewner and M. Gromov, using a generalisation of the Wirtinger inequality for the comass. Using a model for the classifying space BS^3 built inductively out of BS^1, we prove that the symmetric metrics of certain two-point homogeneous manifolds turn out not to be the systolically optimal metrics on those manifolds. We point out the unexpected role played by the exceptional Lie algebra E_7 in systolic geometry, via the calculation of Wirtinger constants. Using a technique of pullback with controlled systolic ratio, we calculate the optimal systolic ratio of the quaternionic projective plane, modulo the existence of a Joyce manifold with Spin(7) holonomy and unit middle-dimensional Betti number.


title: Coarse-graining schemes and a posteriori error estimates for stochastic lattice systems

abstract: The primary objective of this work is to develop coarse-graining schemes for stochastic many-body microscopic models and quantify their effectiveness in terms of a priori and a posteriori error analysis. In this paper we focus on stochastic lattice systems of interacting particles at equilibrium. %such as Ising-type models. The proposed algorithms are derived from an initial coarse-grained approximation that is directly computable by Monte Carlo simulations, and the corresponding numerical error is calculated using the specific relative entropy between the exact and approximate coarse-grained equilibrium measures. Subsequently we carry out a cluster expansion around this first-and often inadequate-approximation and obtain more accurate coarse-graining schemes. The cluster expansions yield also sharp a posteriori error estimates for the coarse-grained approximations that can be used for the construction of adaptive coarse-graining methods. We present a number of numerical examples that demonstrate that the coarse-graining schemes developed here allow for accurate predictions of critical behavior and hysteresis in systems with intermediate and long-range interactions. We also present examples where they substantially improve predictions of earlier coarse-graining schemes for short-range interactions.


title: On isomorphisms of factorial domains and the Jacobian conjecture in any characteristic

abstract: The main theorem (2.2) consists in two characterizations of isomorphisms of factorial domains in terms of prime or primary rings elements, and unramified, flat or weakly injective affine schemes morphisms. In order to apply this theorem to the famous Jacobian Conjecture, we first introduce its different versions in any characteristic (3.1), and give two reformulations of some these versions in terms of domains of positive characteristic (3.8) and finite prime fields (3.9). Finally, we deduce from the main theorem an original reformulation of the any characteristic version of the Jacobian Conjecture in terms of prime or primary rings elements (3.11).


title: On the equivalence of the Jacobian, Dixmier and Poisson Conjectures in any characteristic

abstract: Thanks to recent results on ring homomorphisms of Azumaya algebras and to the following ones about endomorphisms of canonical Poisson algebras and Dirac quantum algebras, and about the reformulation in positive characteristic of these conjectures in characteristic zero, we prove the equivalence of these three conjectures in any characteristic, giving also by this way a new proof of the equivalence of the complex version of the two first conjectures recently proved by Y. Tsuchimoto.


title: Three-dimensional toric morphisms with anti-nef canonical divisors

abstract: In this paper, we classify projective toric birational morphisms from Gorenstein toric 3-folds onto the 3-dimensional affine space with relatively ample anti-canonical divisors.


title: Convergence of algorithms for reconstructing convex bodies and directional measures

abstract: We investigate algorithms for reconstructing a convex body $K$ in $\mathbb {R}^n$ from noisy measurements of its support function or its brightness function in $k$ directions $u_1,...,u_k$. The key idea of these algorithms is to construct a convex polytope $P_k$ whose support function (or brightness function) best approximates the given measurements in the directions $u_1,...,u_k$ (in the least squares sense). The measurement errors are assumed to be stochastically independent and Gaussian. It is shown that this procedure is (strongly) consistent, meaning that, almost surely, $P_k$ tends to $K$ in the Hausdorff metric as $k\to\infty$. Here some mild assumptions on the sequence $(u_i)$ of directions are needed. Using results from the theory of empirical processes, estimates of rates of convergence are derived, which are first obtained in the $L_2$ metric and then transferred to the Hausdorff metric. Along the way, a new estimate is obtained for the metric entropy of the class of origin-symmetric zonoids contained in the unit ball. Similar results are obtained for the convergence of an algorithm that reconstructs an approximating measure to the directional measure of a stationary fiber process from noisy measurements of its rose of intersections in $k$ directions $u_1,...,u_k$. Here the Dudley and Prohorov metrics are used. The methods are linked to those employed for the support and brightness function algorithms via the fact that the rose of intersections is the support function of a projection body.


title: Recovering convex boundaries from blurred and noisy observations

abstract: We consider the problem of estimating convex boundaries from blurred and noisy observations. In our model, the convolution of an intensity function $f$ is observed with additive Gaussian white noise. The function $f$ is assumed to have convex support $G$ whose boundary is to be recovered. Rather than directly estimating the intensity function, we develop a procedure which is based on estimating the support function of the set $G$. This approach is closely related to the method of geometric hyperplane probing, a well-known technique in computer vision applications. We establish bounds that reveal how the estimation accuracy depends on the ill-posedness of the convolution operator and the behavior of the intensity function near the boundary.


title: Graph powers, Delsarte, Hoffman, Ramsey and Shannon

abstract: The $k$-th $p$-power of a graph $G$ is the graph on the vertex set $V(G)^k$, where two $k$-tuples are adjacent iff the number of their coordinates which are adjacent in $G$ is not congruent to 0 modulo $p$. The clique number of powers of $G$ is poly-logarithmic in the number of vertices, thus graphs with small independence numbers in their $p$-powers do not contain large homogenous subsets. We provide algebraic upper bounds for the asymptotic behavior of independence numbers of such powers, settling a conjecture of Alon and Lubetzky up to a factor of 2. For precise bounds on some graphs, we apply Delsarte's linear programming bound and Hoffman's eigenvalue bound. Finally, we show that for any nontrivial graph $G$, one can point out specific induced subgraphs of large $p$-powers of $G$ with neither a large clique nor a large independent set. We prove that the larger the Shannon capacity of $\bar{G}$ is, the larger these subgraphs are, and if $G$ is the complete graph, then some $p$-power of $G$ matches the bounds of the Frankl-Wilson Ramsey construction, and is in fact a subgraph of a variant of that construction.


title: Note on the Radicals of Numbers

abstract: We prove that for any given s > 0 the geometric mean of the radicals of the phi(n) integers less than n and relatively prime to n, is greater than K(s)R(n) ^(-s)n, where K(s) an absolute constant depending only on s.


title: Singularities appearing on generic fibers of morphisms between smooth schemes

abstract: I give various criteria for singularities to appear on geometric generic fibers of morphism between smooth schemes in positive characteristics. This involves local fundamental groups, jacobian ideals, projective dimension, tangent and cotangent sheaves, and the effect of Frobenius. As an application, I determine which rational double points do appear on geometric generic fibers.


title: A PBW theorem for O_e(M_n), O_e(GL_n) and O_e(SL_n) over O(M_n), O(GL_n) and O(SL_n)

abstract: This paper has been withdrawn by the author. Its natural evolution is preprint math.QA/0610691, which is different enough to bear a different title (though they share about 2/3s of common content).


title: High-dimensional graphs and variable selection with the Lasso

abstract: The pattern of zero entries in the inverse covariance matrix of a multivariate normal distribution corresponds to conditional independence restrictions between variables. Covariance selection aims at estimating those structural zeros from data. We show that neighborhood selection with the Lasso is a computationally attractive alternative to standard covariance selection for sparse high-dimensional graphs. Neighborhood selection estimates the conditional independence restrictions separately for each node in the graph and is hence equivalent to variable selection for Gaussian linear models. We show that the proposed neighborhood selection scheme is consistent for sparse high-dimensional graphs. Consistency hinges on the choice of the penalty parameter. The oracle value for optimal prediction does not lead to a consistent neighborhood estimate. Controlling instead the probability of falsely joining some distinct connectivity components of the graph, consistent estimation for sparse graphs is achieved (with exponential rates), even when the number of variables grows as the number of observations raised to an arbitrary power.


title: Geometry of planar log-fronts

abstract: The log-front of two plane curves P(z,w)=0 and Q(z,w)=0 is the locus of (a,b) such that Q(az,bw)=0 is tangent to P(z,w)=0. Log-fronts generalize dual curves, wave fronts, and arise naturally in the theory of random surfaces. Our goal in this paper is to prove analogs of Plucker and Klein formulas for log-fronts.


title: Groebner bases for families of affine or projective schemes

abstract: Let $I$ be an ideal of the polynomial ring $A[x]=A[x_1,...,x_n]$ over the commutative, noetherian ring $A$. Geometrically $I$ defines a family of affine schemes over $\Spec(A)$: For $\p\in\Spec(A)$, the fibre over $\p$ is the closed subscheme of affine space over the residue field $k(\p)$, which is determined by the extension of $I$ under the canonical map $\sigma_\p:A[x]\to k(\p)[x]$. If $I$ is homogeneous there is an analogous projective setting, but again the ideal defining the fibre is $\sigI$. For a chosen term order this ideal has a unique reduced Gr\"{o}bner basis which is known to contain considerable geometric information about the fibre. We study the behavior of this basis for varying $\p$ and prove the existence of a canonical decomposition of the base space $\Spec(A)$ into finitely many locally closed subsets over which the reduced Gr\"{o}bner bases of the fibres can be parametrized in a suitable way.


title: A volume maximizing canonical surface in 3-space

abstract: Answering a question posed by Enriques, we construct a minimal smooth algebraic surface $S$ of general type over the complex numbers with $K^2 = 45$ and $p_g = 4$, and with birational canonical map. Our surface is a regular (q=0) ball quotient which is an etale quotient of a Hirzebruch covering of the plane. The canonical system $|K_S|$ has a fixed part and the degree of the canonical image is 19.


title: A Uniform Estimate for Scalar Curvature Equation on Manifolds of dimension 4

abstract: On Riemannian manifolds of dimension 4, for prescribed scalar curvature equation, under lipschitzian condition on the prescribed curvature, we have an uniform estimate for the solutions of the equation if we control their minimas.


title: Properties of principal component methods for functional and longitudinal data analysis

abstract: The use of principal component methods to analyze functional data is appropriate in a wide range of different settings. In studies of ``functional data analysis,'' it has often been assumed that a sample of random functions is observed precisely, in the continuum and without noise. While this has been the traditional setting for functional data analysis, in the context of longitudinal data analysis a random function typically represents a patient, or subject, who is observed at only a small number of randomly distributed points, with nonnegligible measurement error. Nevertheless, essentially the same methods can be used in both these cases, as well as in the vast number of settings that lie between them. How is performance affected by the sampling plan? In this paper we answer that question. We show that if there is a sample of $n$ functions, or subjects, then estimation of eigenvalues is a semiparametric problem, with root-$n$ consistent estimators, even if only a few observations are made of each function, and if each observation is encumbered by noise. However, estimation of eigenfunctions becomes a nonparametric problem when observations are sparse. The optimal convergence rates in this case are those which pertain to more familiar function-estimation settings. We also describe the effects of sampling at regularly spaced points, as opposed to random points. In particular, it is shown that there are often advantages in sampling randomly. However, even in the case of noisy data there is a threshold sampling rate (depending on the number of functions treated) above which the rate of sampling (either randomly or regularly) has negligible impact on estimator performance, no matter whether eigenfunctions or eigenvectors are being estimated.


title: A note on the Menchov-Rademacher Inequality

abstract: We improve constants in the Rademacher-Menchov inequality.


title: Moduli spaces of curves with linear series and the slope conjecture

abstract: We describe the moduli space G^r_d of triples consisting of a curve C, a line bundle L on C of degree d, and a linear system V on L of dimension r. This moduli space extends over a partial compactification {\tilde M_g} of M_g inside {\bar M_g}. For the proper map h : G^r_d --> \tilde M_g, we compute the push-forward on Chow 1-cocyles in the case where h has relative dimension zero. As a consequence we obtain another counterexample to the Harris-Morrison slope conjecture as well as an infinite sequence of potential counterexamples.


title: Assessing extrema of empirical principal component functions

abstract: The difficulties of estimating and representing the distributions of functional data mean that principal component methods play a substantially greater role in functional data analysis than in more conventional finite-dimensional settings. Local maxima and minima in principal component functions are of direct importance; they indicate places in the domain of a random function where influence on the function value tends to be relatively strong but of opposite sign. We explore statistical properties of the relationship between extrema of empirical principal component functions, and their counterparts for the true principal component functions. It is shown that empirical principal component funcions have relatively little trouble capturing conventional extrema, but can experience difficulty distinguishing a ``shoulder'' in a curve from a small bump. For example, when the true principal component function has a shoulder, the probability that the empirical principal component function has instead a bump is approximately equal to 1/2. We suggest and describe the performance of bootstrap methods for assessing the strength of extrema. It is shown that the subsample bootstrap is more effective than the standard bootstrap in this regard. A ``bootstrap likelihood'' is proposed for measuring extremum strength. Exploratory numerical methods are suggested.


title: Curious extensions of Ramanujan's 1-psi-1 summation formula

abstract: We deduce new q-series identities by applying inverse relations to certain identities for basic hypergeometric series. The identities obtained themselves do not belong to the hierarchy of basic hypergeometric series. We extend two of our identities, by analytic continuation, to bilateral summation formulae which contain Ramanujan's 1-psi-1 summation and a very-well-poised 4-psi-6 summation as special cases.


title: Direct singularities and completely invariant domains of entire functions

abstract: Let f be a transcendental entire function that omits a complex value a. We show that for every simply connected region D that does not contain a the full preimage of D is disconnected. We conjecture that the same holds if one only assumes that a is omitted locally. We were able to prove this conjecture under the additional assumption that f is of finite order. We include some auxilliary results on the singularities of the inverses of entire functions which are of independent interest.


title: Generalized score test of homogeneity for mixed effects models

abstract: Many important problems in psychology and biomedical studies require testing for overdispersion, correlation and heterogeneity in mixed effects and latent variable models, and score tests are particularly useful for this purpose. But the existing testing procedures depend on restrictive assumptions. In this paper we propose a class of test statistics based on a general mixed effects model to test the homogeneity hypothesis that all of the variance components are zero. Under some mild conditions, not only do we derive asymptotic distributions of the test statistics, but also propose a resampling procedure for approximating their asymptotic distributions conditional on the observed data. To overcome the technical challenge, we establish an invariance principle for random quadratic forms indexed by a parameter. A simulation study is conducted to investigate the empirical performance of the test statistics. A real data set is analyzed to illustrate the application of our theoretical results.


title: Projective Linking and Boundaries of Positive Holomorphic Chains in Projective Manifolds, Part II

abstract: In Part I of this paper we introduced the notion of the projective linking number Link(M,Z) of a compact oriented real submanifold M of dimension 2p-1 in complex projective n-space P^n with an algebraic subvariety Z of codimension p in P^n - M. It is shown here that a basic conjecture concerning the projective hull of real curves in P^2 implies the following result: M is the boundary of a positive holomorphic p-chain T of mass M(T) < K in P^n if and only if Link(M,Z) > -K p!deg(Z) for all algebraic subvarieties Z of codimension p in P^n - M. An analogous result is implied in any projective manifold X. The above theorem implies a duality between relative and absolute homology classes which are represented by positive holomorphic chains.


title: Spectral flow and winding number in von Neumann algebras

abstract: We introduce a new topology, weaker than the gap topology, on the space of selfadjoint operators affiliated to a semifinite von Neumann algebra. We define the real-valued spectral flow for a continuous path of selfadjoint Breuer-Fredholm operators in terms of a generalization of the winding number. We compare our definition with Phillips' analytical definition and derive integral formulas for the spectral flow for certain paths of unbounded operators with common domain, generalizing those of Carey--Phillips. Furthermore we prove the homotopy invariance of the real-valued index. As an example we consider invariant symmetric elliptic differential operators on Galois coverings.


title: Compact operators on spaces with asymmetric norm

abstract: The aim of the present paper is to define compact operators on asymmetric normed spaces and to study some of their properties. The dual of a bounded linear operator is defined and a Schauder type theorem is proved within this framework. The paper contains also a short discussion on various completeness notions for quasi-metric and for quasi-uniform spaces.


title: Level m stratifications of versal deformations of p-divisible groups

abstract: Let $k$ be an algebraically closed field of characteristic $p>0$. Let $c,d,m$ be positive integers. Let $D$ be a $p$-divisible group of codimension $c$ and dimension $d$ over $k$. Let $\scrD$ be a versal deformation of $D$ over a smooth $k$-scheme $\scrA$ which is equidimensional of dimension $cd$. We show that there exists a reduced, locally closed subscheme $\grs_D(m)$ of $\scrA$ that has the following property: a point $y\in\scrA(k)$ belongs to $\grs_D(m)(k)$ if and only if $y^*(\scrD)[p^m]$ is isomorphic to $D[p^m]$. We prove that $\grs_D(m)$ is {\it regular and equidimensional} of {\it dimension} $cd-\dim(\pmb{\text{Aut}}(D[p^m]))$. We give a proof of {\it Traverso's formula} which for $m>>0$ computes the codimension of $\grs_D(m)$ in $\scrA$ (i.e., $\dim(\pmb{\text{Aut}}(D[p^m]))$) in terms of the Newton polygon of $D$. We also provide a criterion of when $\grs_D(m)$ satisfies the {\it purity property} (i.e., it is an affine $\scrA$-scheme). Similar results are proved for {\it quasi Shimura $p$-varieties of Hodge type} that generalize the special fibres of good integral models of Shimura varieties of Hodge type in unramified mixed characteristic $(0,p)$.


title: Regularity of weak foliations for thermostats

abstract: Let $M$ be a closed oriented surface endowed with a Riemannian metric $g$. We consider the flow $\phi$ determined by the motion of a particle under the influence of a magnetic field $\Omega$ and a thermostat with external field ${\bf e}$. We show that if $\phi$ is Anosov, then it has weak stable and unstable foliations of class $C^{1,1}$ if and only if the external field ${\bf e}$ has a global potential $U$, $g_{1}:=e^{-2U}g$ has constant curvature and $e^{-U}\Omega$ is a constant multiple of the area form of $g_1$. We also give necessary and sufficient conditions for just one of the weak foliations to be of class $C^{1,1}$ and we show that the {\it combined} effect of a thermostat and a magnetic field can produce an Anosov flow with a weak stable foliation of class $C^{\infty}$ and a weak unstable foliation which is {\it not} $C^{1,1}$. Finally we study Anosov thermostats depending quadratically on the velocity and we characterize those with smooth weak foliations. In particular, we show that quasi-fuchsian flows as defined by Ghys in \cite{Ghy1} can arise in this fashion.


title: Casualty Sensitivity in Wartime: Success Matters, But Less Than A Just Cause

abstract: This paper has been withdrawn.


title: First Countable Continua and Proper Forcing

abstract: Assuming the Continuum Hypothesis, there is a compact first countable connected space of weight aleph_1 with no totally disconnected perfect subsets. Each such space, however, may be destroyed by some proper forcing order which does not add reals.


title: Slow movement of random walk in random environment on a regular tree

abstract: We consider a recurrent random walk in random environment on a regular tree. Under suitable general assumptions upon the distribution of the environment, we show that the walk exhibits an unusual slow movement: the order of magnitude of the walk in the first $n$ steps is $(\log n)^3$.


title: The Hopf Boundary Point Lemma for Vector Bundle Sections

abstract: The paper establishes a version of the Hopf boundary point lemma for sections of a vector bundle over a manifold with boundary. This result may be viewed as a counterpart to the tensor maximum principle obtained by R. Hamilton in 1986. Potential applications include the study of various geometric flows and the construction of invariant sets for geometric boundary value problems.


title: The integral monodromy of hyperelliptic and trielliptic curves

abstract: We compute the $\integ/\ell$ and $\integ_\ell$ monodromy of every irreducible component of the moduli spaces of hyperelliptic and trielliptic curves. In particular, we provide a proof that the $\integ/\ell$ monodromy of the moduli space of hyperelliptic curves of genus $g$ is the symplectic group $\sp_{2g}(\integ/\ell)$. We prove that the $\integ/\ell$ monodromy of the moduli space of trielliptic curves with signature $(r,s)$ is the special unitary group $\su_{(r,s)}(\integ/\ell\tensor\integ[\zeta_3])$.


title: On the Number of Facets of Three-Dimensional Dirichlet Stereohedra III: Full Cubic Groups

abstract: We are interested in the maximum possible number of facets that Dirichlet stereohedra for three-dimensional crystallographic groups can have. The problem for non-cubic groups was studied in previous papers by D. Bochis and the second author (Discrete Comput. Geom. 25:3 (2001), 419-444, and Beitr. Algebra Geom., 47:1 (2006), 89-120). This paper deals with ''full'' cubic groups, while ''quarter'' cubic groups are left for a subsequent paper. Here, ''full'' and ''quarter'' refers to the recent classification of three-dimensional crystallographic groups by Conway, Delgado-Friedrichs, Huson and Thurston (math.MG/9911185, Beitr. Algebra Geom. 42.2 (2001), 475-507). Our main result in this paper is that Dirichlet stereohedra for any of the 27 full groups cannot have more than 25 facets. We also find stereohedra with 17 facets for one of these groups.


title: Higher Topos Theory

abstract: This purpose of this book is twofold: to provide a general introduction to higher category theory (using the formalism of "quasicategories" or "weak Kan complexes"), and to apply this theory to the study of higher versions of Grothendieck topoi. A few applications to classical topology are included.


title: Discrete versus continuous models in evolutionary dynamics: from simple to simpler -- and even simpler -- models

abstract: There are many different models--both continuous and discrete--used to describe gene mutation fixation. In particular, the Moran process, the Kimura equation and the replicator dynamics are all well known models, that might lead to different conclusions. We present a discussion of a unified framework to embrace all these models, in the large population regime.


title: Character sums with Beatty sequences on Burgess-type intervals

abstract: We estimate multiplicative character sums taken on the values of a non-homogeneous Beatty sequence $\{[\alpha n + \beta] : n =1,2,... \}$, where $\alpha,\beta\in\R$, and $\alpha$ is irrational. Our bounds are nontrivial over the same short intervals for which the classical character sum estimates of Burgess have been established.


title: Stability of direct images under Frobenius morphism

abstract: Let $X$ be a smooth projective variety over an algebraically field $k$ with ${\rm char}(k)=p>0$ and $F:X\to X_1$ be the relative Frobenius morphism. When ${\rm dim}(X)=1$, we prove that $F_*W$ is a stable bundle for any stable bundle $W$ (Theorem \ref{thm1.3}). As a step to study the question for higher dimensional $X$, we generalize the canonical filtration (defined by Joshi-Ramanan-Xia-Yu for curves) to higher dimensional $X$ (Theorem \ref{thm2.6}).


title: A sub-product construction of Poincare-Einstein metrics

abstract: Given any two Einstein (pseudo-)metrics, with scalar curvatures suitably related, we give an explicit construction of a Poincar\'e-Einstein (pseudo-)metric with conformal infinity the conformal class of the product of the initial metrics. We show that these metrics are equivalent to ambient metrics for the given conformal structure. The ambient metrics have holonomy that agrees with the conformal holonomy. In the generic case the ambient metric arises directly as a product of the metric cones over the original Einstein spaces. In general the conformal infinity of the Poincare metrics we construct is not Einstein, and so this describes a class of non-conformally Einstein metrics for which the (Fefferman-Graham) obstruction tensor vanishes.


title: Proof of the Branner-Hubbard conjucture on Cantor Julia sets

abstract: By means of a nested sequence of some critical pieces constructed by Kozlovski, Shen, and van Strien, and by using a covering lemma recently proved by Kahn and Lyubich, we prove that the Julia set of a polynomial is a Cantor set if and only if each component of the filled-in Julia set containing critical points is aperiodic. This result was a conjecture raised by Branner and Hubbard in 1992.


title: Comments on "A note on optimal detection of a change in distribution," by Benjamin Yakir

abstract: The purpose of this note is to show that in a widely cited paper by Yakir [Ann. Statist. 25 (1997) 2117--2126, doi:10.1214/aos/1069362390], the proof that the so-called modified Shiryayev--Roberts procedure is exactly optimal is incorrect. We also clarify the issues involved by both mathematical arguments and a simulation study. The correctness of the theorem remains in doubt.


title: Parametrization of local CR automorphisms by finite jets and applications

abstract: For any real-analytic hypersurface M in complex euclidean space of dimension >= 2 which does not contain any complex-analytic subvariety of positive dimension, we show that for every point p in M the local real-analytic CR automorphisms of M fixing p can be parametrized real-analytically by their l(p)-jets at p. As a direct application, we derive a Lie group structure for the topological group Aut(M,p). Furthermore, we also show that the order l(p) of the jet space in which the group Aut(M,p) embeds can be chosen to depend upper-semicontinuously on p. As a first consequence, it follows that that given any compact real-analytic hypersurface M in complex euclidean space, there exists an integer k depending only on M such that for every point p in M germs at p of CR diffeomorphisms mapping M into another real-analytic hypersurface in a complex space of the same dimension are uniquely determined by their k-jet at that point. Another consequence is a boundary version of H. Cartan's uniqueness theorem. Our parametrization theorem also holds for the stability group of any essentially finite minimal real-analytic CR manifold of arbitrary codimension. One of the new main tools developed in the paper, which may be of independent interest, is a parametrization theorem for invertible solutions of a certain kind of singular analytic equations, which roughly speaking consists of inverting certain families of parametrized maps with singularities.


title: Remarks on the rank properties of formal CR maps

abstract: We prove several new transversality results for formal CR maps between formal real hypersurfaces in complex space. Both cases of finite and infinite type hypersurfaces are tackled in this note.


title: Minimal length of two intersecting simple closed geodesics

abstract: On a hyperbolic Riemann surface, given two simple closed geodesics that intersect $n$ times, we address the question of a sharp lower bound $L_n$ on the length attained by the longest of the two geodesics. We show the existence of a surface $S_n$ on which there exists two simple closed geodesics of length $L_n$ intersecting $n$ times and explicitly find $L_n$ for $n\leq 3$.


title: Simultaneous estimates for vector-valued Gabor frames of Hermite functions

abstract: We derive frame estimates for vector-valued Gabor systems with window functions belonging to Schwartz space. The main result provides frame bound estimates for windows composed of Hermite functions. The proof is based on a recently established sampling theorem for the simply connected Heisenberg group, which is translated to a family of frame estimates via a direct integral decomposition.


title: Equilibrium Glauber dynamics of continuous particle systems as a scaling limit of Kawasaki dynamics

abstract: A Kawasaki dynamics in continuum is a dynamics of an infinite system of interacting particles in $\mathbb{R}^d$ which randomly hop over the space. In this paper, we deal with an equilibrium Kawasaki dynamics which has a Gibbs measure $mu$ as invariant measure. We study a scaling limit of such a dynamics, derived through a scaling of the jump rate. Informally, we expect that, in the limit, only jumps of ``infinite length'' will survive, i.e., we expect to arrive at a Glauber dynamics in continuum (a birth-and-death process in $\mathbb{R}^d$). We prove that, in the low activity-high temperature regime, the generators of the Kawasaki dynamics converge to the generator of a Glauber dynamics. The convergence is on the set of exponential functions, in the $L^2(\mu)$-norm. Furthermore, additionally assuming that the potential of pair interaction is positive, we prove the weak convergence of the finite-dimensional distributions of the processes.


title: Grassmann Manifold G(2,8) and Complex Structure on $S^6$

abstract: In this paper, we use Clifford algebra and the spinor calculus to study the complex structures on Euclidean space $R^8$ and the spheres $S^4,S^6$. By the spin representation of $G(2,8)\subset Spin(8)$ we show that the Grassmann manifold G(2,8) can be looked as the set of orthogonal complex structures on $R^8$. In this way, we show that G(2,8) and $CP^{3}$ can be looked as twistor spaces of $S^6$ and $S^4$ respectively. Then we show that there is no almost complex structure on sphere $S^4$ and there is no orthogonal complex structure on the sphere $S^6$.


title: Estimation in semiparametric spatial regression

abstract: Nonparametric methods have been very popular in the last couple of decades in time series and regression, but no such development has taken place for spatial models. A rather obvious reason for this is the curse of dimensionality. For spatial data on a grid evaluating the conditional mean given its closest neighbors requires a four-dimensional nonparametric regression. In this paper a semiparametric spatial regression approach is proposed to avoid this problem. An estimation procedure based on combining the so-called marginal integration technique with local linear kernel estimation is developed in the semiparametric spatial regression setting. Asymptotic distributions are established under some mild conditions. The same convergence rates as in the one-dimensional regression case are established. An application of the methodology to the classical Mercer and Hall wheat data set is given and indicates that one directional component appears to be nonlinear, which has gone unnoticed in earlier analyses.


title: On the toric algebra of graphical models

abstract: We formulate necessary and sufficient conditions for an arbitrary discrete probability distribution to factor according to an undirected graphical model, or a log-linear model, or other more general exponential models. For decomposable graphical models these conditions are equivalent to a set of conditional independence statements similar to the Hammersley--Clifford theorem; however, we show that for nondecomposable graphical models they are not. We also show that nondecomposable models can have nonrational maximum likelihood estimates. These results are used to give several novel characterizations of decomposable graphical models.


title: Elementary Equivalence of Endomorphism Rings of Abelian p-Groups

abstract: In this paper we study a relationship between elementary equivalence of endomorphism rings of Abelian p-groups and second order equivalence of the corresponding Abelian p-groups.


title: Feller Semigroups Obtained by Variable Order Subordination

abstract: For certain classes of negative definite symbols $q(x,\xi)$ and state space dependent Bernstein function $f(x,s)$ we prove that $-p(x,D)$, the pseudo-differential operator with symbol $-p(x,\xi)=-f(x,q(x,\xi))$, extends to the generator of a Feller semigroup. Our result extends previously known results related to operators of variable (fractional) order of differentiation, or variable order fractional powers. New concrete examples are given.


title: A characterization of the Tutte polynomial via combinatorial embeddings

abstract: We give a new characterization of the Tutte polynomial of graphs. Our characterization is formally close (but inequivalent) to the original definition given by Tutte as the generating function of spanning trees counted according to activities. Tutte's notion of activity requires to choose a \emph{linear order} on the edge set (though the generating function of the activities is, in fact, independent of this order). We define a new notion of activity, the embedding-activity, which requires to choose a \emph{combinatorial embedding} of the graph, that is, a cyclic order of the edges around each vertex. We prove that the Tutte polynomial equals the generating function of spanning trees counted according to embedding-activities (this generating function being, in fact, independent of the embedding).


title: A remark on approximation on totally real sets

abstract: We give a new proof of a classical theorem on approximation of continuous functions on totally real sets


title: On the homotopy groups of symmetric spectra

abstract: The symmetric spectra introduced by Hovey, Shipley and Smith are a convenient model for the stable homotopy category with a nice associative and commutative smash product on the point set level and a compatible Quillen closed model structure. About the only disadvantage of this model is that the stable equivalences cannot be defined by inverting those morphisms which induce isomorphisms on homotopy groups, because this would leave too many homotopy types. In this sense the naively defined homotopy groups are often `wrong`, and then their precise relationship to the `true` homotopy groups (i.e., morphisms in the stable homotopy category from sphere spectra) appears mysterious. In this paper I discuss and exploit extra algebraic structure on the naively defined homotopy groups of symmetric spectra, namely a special kind of action of the monoid of injective self maps of the natural numbers. This extra structure clarifies several issues about homotopy groups and stable equivalences and explains why the naive homotopy groups are not so wrong after all. For example, the monoid action allows a simple characterization of semistable symmetric spectra.


title: A trace on fractal graphs and the Ihara zeta function

abstract: Starting with Ihara's work in 1968, there has been a growing interest in the study of zeta functions of finite graphs, by Sunada, Hashimoto, Bass, Stark and Terras, Mizuno and Sato, to name just a few authors. Then, Clair and Mokhtari-Sharghi have studied zeta functions for infinite graphs acted upon by a discrete group of automorphisms. The main formula in all these treatments establishes a connection between the zeta function, originally defined as an infinite product, and the Laplacian of the graph. In this article, we consider a different class of infinite graphs. They are fractal graphs, i.e. they enjoy a self-similarity property. We define a zeta function for these graphs and, using the machinery of operator algebras, we prove a determinant formula, which relates the zeta function with the Laplacian of the graph. We also prove functional equations, and a formula which allows approximation of the zeta function by the zeta functions of finite subgraphs.


title: Correlation-sharing for detection of differential gene expression

abstract: We propose a method for detecting differential gene expression that exploits the correlation between genes. Our proposal averages the univariate scores of each feature with the scores in correlation neighborhoods. In a number of real and simulated examples, the new method often exhibits lower false discovery rates than simple t-statistic thresholding. We also provide some analysis of the asymptotic behavior of our proposal. The general idea of correlation-sharing can be applied to other prediction problems involving a large number of correlated features. We give an example in protein mass spectrometry.


title: Generic expanding maps without absolutely continuous invariant $\sigma$-finite measure

abstract: We show that a $C^1$-generic expanding map of the circle has no absolutely continuous invariant $\sigma$-finite measure.


title: The Maslov class of Lagrangian tori and quantum products in Floer cohomology

abstract: We use Floer cohomology to prove the monotone version of a conjecture of Audin: the minimal Maslov number of a monotone Lagrangian torus in C^n is 2. Our approach is based on the study of the quantum cup product on Floer cohomology and in particular the behaviour of Oh's spectral sequence with respect to this product. As further applications we prove existence of holomorphic disks with boundaries on Lagrangians as well as new results on Lagrangian intersections.


title: Measure Concentration of Hidden Markov Processes

abstract: We prove what appears to be the first concentration of measure result for hidden Markov processes. Our bound is stated in terms of the contraction coefficients of the underlying Markov process, and strictly generalizes the Markov process concentration results of Marton (1996) and Samson (2000). Somewhat surprisingly, the bound turns out to be the same as for ordinary Markov processes; this property, however, fails for general hidden/observed process pairs.


title: Blaschke's problem for hypersurfaces

abstract: We solve Blaschke's problem for hypersurfaces of dimension $n\geq 3$. Namely, we determine all pairs of Euclidean hypersurfaces $f,\tilde{f}\colon M^n\to\R^{n+1}$ that induce conformal metrics on $M^n$ and envelope a common sphere congruence in $\R^{n+1}$.


title: A presentation for the baseleaf preserving mapping class group of the punctured solenoid

abstract: We give a presentation for the baseleaf preserving mapping class group $Mod(\S)$ of the punctured solenoid $\S$. The generators for our presentation were introduced previously, and several relations among them were derived. In addition, we show that $Mod(\S)$ has no non-trivial central elements. Our main tool is a new complex of triangulations of the disk upon which $Mod(\S)$ acts.


title: Area-stationary surfaces inside the sub-Riemannian three-sphere

abstract: We consider the sub-Riemannian metric $g_{h}$ on $\mathbb{S}^3$ provided by the restriction of the Riemannian metric of curvature 1 to the plane distribution orthogonal to the Hopf vector field. We compute the geodesics associated to the Carnot-Carath\'eodory distance and we show that, depending on their curvature, they are closed or dense subsets of a Clifford torus. We study area-stationary surfaces with or without a volume constraint in $(\mathbb{S}^3,g_{h})$. By following the ideas and techniques in [RR] we introduce a variational notion of mean curvature, characterize stationary surfaces, and prove classification results for complete volume-preserving area-stationary surfaces with non-empty singular set. We also use the behaviour of the Carnot-Carath\'eodory geodesics and the ruling property of constant mean curvature surfaces to show that the only $C^2$ compact, connected, embedded surfaces in $(\mathbb{S}^3,g_{h})$ with empty singular set and constant mean curvature $H$ such that $H/\sqrt{1+H^2}$ is an irrational number, are Clifford tori. Finally we describe which are the complete rotationally invariant surfaces with constant mean curvature in $(\mathbb{S}^3,g_{h})$.


title: A parametrization of equilateral triangles having integer coordinates

abstract: We study the existence of equilateral triangles of given side lengths and with integer coordinates in dimension three. We show that such a triangle exists if and only if their side lengths are of the form $\sqrt{2(m^2-mn+n^2)}$ for some integers $m,n$. We also show a similar characterization for the sides of a regular tetrahedron in $\Z^3$: such a tetrahedron exists if and only if the sides are of the form $k\sqrt{2}$, for some $k\in\N$. The classification of all the equilateral triangles in $\Z^3$ contained in a given plane is studied and the beginning analysis is presented. A more general parametrization is proven under a special assumption. Some related questions are stated in the end.


title: Singular riemannian foliations with sections, transnormal maps and basic forms

abstract: A singular riemannian foliation F on a complete riemannian manifold M is said to admit sections if each regular point of M is contained in a complete totally geodesic immersed submanifold (a section) that meets every leaf of F orthogonally and whose dimension is the codimension of the regular leaves of F. We prove that the algebra of basic forms of M relative to F is isomorphic to the algebra of those differential forms on a section that are invariant under the generalized Weyl pseudogroup of this section. This extends a result of Michor for polar actions. It follows from this result that the algebra of basic function is finitely generated if the sections are compact. We also prove that the leaves of F coincide with the level sets of a transnormal map (generalization of isoparametric map) if M is simply connected, the sections are flat and the leaves of F are compact. This result extends previous results due to Carter and West, Terng, and Heintze, Liu and Olmos.


title: Deformation quantization of a Kaehler-Poisson structure vanishing on a Levi nondegenerate hypersurface

abstract: We give an elementary proof of the result by Leichtnam, Tang, and Weinstein that there exists a deformation quantization with separation of variables on a complex manifold endowed with a Kaehler-Poisson structure vanishing on a Levi nondegenerate hypersurface and nondegenerate on its complement.


title: $G$-reconstruction of graphs

abstract: Let $G$ be a group of permutations acting on an $n$-vertex set $V$, and $X$ and $Y$ be two simple graphs on $V$. We say that $X$ and $Y$ are $G$-isomorphic if $Y$ belongs to the orbit of $X$ under the action of $G$. One can naturally generalize the reconstruction problems so that when $G$ is $S_n$, the symmetric group, we have the usual reconstruction problems. In this paper, we study $G$-edge reconstructibility of graphs. We prove some old and new results on edge reconstruction and reconstruction from end vertex deleted subgraphs.


title: A Note on Characteristic Classes

abstract: This paper studies the relationship between the sections and the Chern or Pontrjagin classes of a vector bundle by the theory of connection. Our results are natural generalizations of the Gauss-Bonnet Theorem.


title: The Geometry and Topology on Grassmann Manifolds

abstract: This paper shows that the Grassmann Manifolds $G_{\bf F}(n,N)$ can all be imbedded in an Euclidean space $M_{\bf F}(N)$ naturally and the imbedding can be realized by the eigenfunctions of Laplacian $\triangle$ on $G_{\bf F}(n,N)$. They are all minimal submanifolds in some spheres of $M_{\bf F}(N)$ respectively. Using these imbeddings, we construct some degenerate Morse functions on Grassmann Manifolds, show that the homology of the complex and quaternion Grassmann Manifolds can be computed easily.


title: Double affine Hecke algebras for the spin symmetric group

abstract: We introduce a new class (in two versions) of rational double affine Hecke algebras (DaHa) associated to the spin symmetric group. We establish the basic properties of the algebras, such as PBW and Dunkl representation, and connections to Nazarov's degenerate affine Hecke-Clifford algebra and to a new degenerate affine Hecke algebra introduced here. We formulate a Morita equivalence between the two versions of rational DaHa's. The trigonometric generalization of the above constructions is also formulated and its relation to the rational counterpart is established.


title: Decay estimates for the Schroedinger evolution on asymptotically conic surfaces of revolution I

abstract: We establish a dispersive estimate (with a decay of 1/t), valid for all times, for the Schroedinger evolution on a non-compact 2-dimensional manifold with a trapped geodesic.


title: Indefinite-metric quantum field theory and operator algebra

abstract: It is often inevitable to introduce an indefinite-metric space in quantum field theory. There is a problem to determine the metric structure of a given representation space of field operators. We show the systematic method to determine such indefinite-metric explicitly. At first, we choose a new involution $*$ of field operators instead of the original involution $\sdag$ such that there is a Hilbert space $({\cal H},<\cdot|\cdot>)$ with the positive-definite metric $<\cdot|\cdot>$ which is consistent with $*$. Next we find another hermitian form $(\cdot|\cdot)$ on ${\cal H}$ such that $({\cal H},(\cdot|\cdot))$ is a Krein space and $(\cdot|\cdot)$ is consistent with $\sdag$. We apply this method to various models and show that our results coincide with known results.


title: On Questions of Decay and Existence for the Viscous Camassa-Holm Equations

abstract: We consider the viscous $n$-dimensional Camassa-Holm equations, with $n=2,3,4$ in the whole space. We establish existence and regularity of the solutions and study the large time behavior of the solutions in several Sobolev spaces. We first show that if the data is only in $L^2$ then the solution decays without a rate and that this is the best that can be expected for data in $L^2$. For solutions with data in $H^m\cap L^1$ we obtain decay at an algebraic rate which is optimal in the sense that it coincides with the rate of the underlying linear part.


title: On the distribution of angles between geodesic rays associated with hyperbolic lattice points

abstract: For every two points $z_0,z_1$ in the upper half-plane, consider all elements $\gamma$ in the principal congruence group $\Gamma(N)$, acting on the upper half-plane by fractional linear transformations, such that the hyperbolic distance between $z_1$ and $\gamma z_0$ is at most $R>0$. We study the distribution of angles between the geodesic rays $[z_1,\gamma z_0]$ as $R\to \infty$, proving that the limiting distribution exists independently of $N$ and explicitly computing it. When $z_1=z_0$ this is found to be the uniform distribution on the interval $[-\pi/2,\pi/2]$.


title: Symmetric crystals and affine Hecke algebras of type B

abstract: The Lascoux-Leclerc-Thibon conjecture, reformulated and solved by S. Ariki, asserts that the K-group of the representations of the affine Hecke algebras of type A is isomorphic to the algebra of functions on the maximal unipotent subgroup of the group associated with the Lie algebra $gl_\infty$ or the affine Lie algebra $A^{(1)}_\ell$, and the irreducible representations correspond to the upper global bases. In this note, we formulate analogous conjectures for certain classes of irreducible representations of affine Hecke algebras of type B. We corrected typos.


title: A reconstruction problem related to balance equations-I

abstract: A modified $k$-deck of a graph is obtained by removing $k$ edges in all possible ways and adding $k$ (not necessarily new) edges in all possible ways. Krasikov and Roditty used these decks to give an independent proof of M\"uller's result on the edge reconstructibility of graphs. They asked if a $k$-edge deck could be constructed from its modified $k$-deck. In this paper, we solve the problem when $k=1$. We also offer new proofs of Lov\'asz's result, one describing the constructed graph explicitly, (thus answering a question of Bondy), and another based on the eigenvalues of Johnson graph.


title: Triangulations of spheres and discs

abstract: The main ob jective of this research is to find the different types of elliptic triangulations for planar discs and spheres. We begin in Chapter 1 with the mandatory introduction. In the second chapter we define and study the notion of a patch, that is, a triangulation of a planar disc. By introducing a suitable notion of degree for the vertex points, we focus on those patches with points of degrees less tah or equal to 6. Such patches are called el liptic. We show that the elliptic patches with precisely three points of degree four, denoted by (0, 3, 0), can be classified. The number of vertex points of these patches are calculated, and we also describe their triangulation structures. From the classification of patches of the type (0, 3, 0), we describe and find the number of vertex points for three other elliptic patches of types (0, 2, 2), (0, 1, 4), (0, 0, 6). We also describe an enlargement method for constructing patches (which we call the generic construction method) and apply this method to derive formulas for certain patches. In the third chapter we describe some configurations for constructing elliptic spherical triangulations. These are the mutant configu- ration, the productive configuration and the self-reproductive configuration. We also describe the face-fullering and edge-fullering methods as well as the glueing of patches method for constructing triangulations and patches. We show that there are only 19 possible types of elliptic triangulations for spheres and determine the existence (as well as nonexistence) of all these types except for a small number of cases.


title: Geodesics of Hofer's metric on the space of Lagrangian submanifolds

abstract: We study geodesics of Hofer's metric on the space of Lagrangian submanifolds in arbitrary symplectic manifolds from the variational point of view. We give a characterization of length-critical paths with respect to this metric. As a result, we prove that if two Lagrangian submanifolds are disjoint then we cannot join them by length-minimizing geodesics.


title: Privileged users in zero-error transmission over a noisy channel

abstract: The $k$-th power of a graph $G$ is the graph whose vertex set is $V(G)^k$, where two distinct $k$-tuples are adjacent iff they are equal or adjacent in $G$ in each coordinate. The Shannon capacity of $G$, $c(G)$, is $\lim_{k\to\infty}\alpha(G^k)^{1/k}$, where $\alpha(G)$ denotes the independence number of $G$. When $G$ is the characteristic graph of a channel $\mathcal{C}$, $c(G)$ measures the effective alphabet size of $\mathcal{C}$ in a zero-error protocol. A sum of channels, $\mathcal{C}=\sum_i \mathcal{C}_i$, describes a setting when there are $t\geq 2$ senders, each with his own channel $\mathcal{C}_i$, and each letter in a word can be selected from either of the channels. This corresponds to a disjoint union of the characteristic graphs, $G=\sum_i G_i$. We show that for any fixed $t$ and any family $F$ of subsets of $T={1,2,...,t}$, there are $t$ graphs $G_1,G_2, ...,G_t$, so that for every subset $I$ of $T$, the Shannon capacity of the disjoint union $\sum_{i \in I} G_i$ is "large" if $I$ contains a member of $F$, and is "small" otherwise.


title: From global class field concepts and modular representations to the conjectures of Shimura-Taniyama-Weil,Birch-Swinnerton-Dyer and Riemann

abstract: Based upon new global class field concepts leading to Langlands two-dimensional global correspondences,a modular representation of cusp forms is proposed in terms of global elliptic (bisemi)modules which are (truncated) Fourier series over R.As application,the conjectures of Shimura-Taniyama-Weil,Birch-Swinnerton-Dyer and Riemann are analyzed.


title: On a conjecture of Wilf

abstract: Let n and k be natural numbers and let S(n,k) denote the Stirling numbers of the second kind. It is a conjecture of Wilf that the alternating sum \sum_{j=0}^{n} (-1)^{j} S(n,j) is nonzero for all n>2. We prove this conjecture for all n not congruent to 2 and not congruent to 2944838 modulo 3145728 and discuss applications of this result to graph theory, multiplicative partition functions, and the irrationality of p-adic series.


title: The convergence space of minimal usco mappings

abstract: A convergence structure generalizing the order convergence structure on the set of Hausdorff continuous interval functions is defined on the set of minimal usco maps. The properties of the obtained convergence space are investigated and essential links with the pointwise convergence and the order convergence are revealed. The convergence structure can be extended to a uniform convergence structure so that the convergence space is complete. The important issue of the denseness of the subset of all continuous functions is also addressed.


title: Closed graph and open mapping theorems for topological $\wt{\C}$-modules and applications

abstract: We present closed graph and open mapping theorems for $\wt{\C}$-linear maps acting between suitable classes of topological and locally convex topological $\wt{\C}$-modules. This is done by adaptation of De Wilde's theory of webbed spaces and Adasch's theory of barrelled spaces to the context of locally convex and topological $\wt{\C}$-modules respectively. We give applications of the previous theorems to Colombeau theory as well to the theory of Banach $\wt{\C}$-modules. In particular we obtain a necessary condition for $\Ginf$-hypoellipticity on the symbol of a partial differential operator with generalized constant coefficients.


title: Information bounds and efficient estimation in a class of censored transformation models

abstract: Transformation models provide a common tool for regression analysis of censored failure time data. The most common approach towards parameter estimation in these models is based on the nonparametric profile likelihood method. Several authors proposed also ad hoc M-estimators of the Euclidean component of the model. These estimators are usually simpler to impelement and many of them have good practical performance. In this paper we consider the form of the information bound for estimation if the Euclidean parameter of the model and propose a modification of inefficient M-estimators to one-step maximum likelihood estimates.


title: An intrinsic measure for submanifolds in stratified groups

abstract: For each submanifold of a stratified group, we find a number and a measure only depending on its tangent bundle, the grading and the fixed Riemannian metric. In two step stratified groups, we show that such number and measure coincide with the Hausdorff dimension and with the spherical Hausdorff measure of the submanifold with respect to the Carnot-Caratheodory distance, respectively. Our main technical tool is an intrinsic blow-up at points of maximum degree. We also show that the intrinsic tangent cone to the submanifold at these points is always a subgroup. Finally, by direct computations in the Engel group, we show how our results can be extended to higher step stratified groups, provided the submanifold is sufficiently regular.


title: Independent sets in tensor graph powers

abstract: The tensor product of two graphs, $G$ and $H$, has a vertex set $V(G)\times V(H)$ and an edge between $(u,v)$ and $(u',v')$ iff both $u u' \in E(G)$ and $v v' \in E(H)$. Let $A(G)$ denote the limit of the independence ratios of tensor powers of $G$, $\lim \alpha(G^n)/|V(G^n)|$. This parameter was introduced by Brown, Nowakowski and Rall, who showed that $A(G)$ is lower bounded by the vertex expansion ratio of independent sets of $G$. In this note we study the relation between these parameters further, and ask whether they are in fact equal. We present several families of graphs where equality holds, and discuss the effect the above question has on various open problems related to tensor graph products.


title: Permutation presentations of modules over finite groups

abstract: We introduce a notion of permutation presentations of modules over finite groups, and completely determine finite groups over which every module has a permutation presentation. To get this result, we prove that every coflasque module over a cyclic p-group is permutation projective.