title: Error bounds for semi-Galerkin approximations of nonhomogeneous incompressible fluids

abstract: We consider the spectral semi-Galerkin method applied to the nonhomogeneous Navier-Stokes equations. Under certain conditions it is known that the approximate solutions constructed through this method converge to a global strong solution of these equations. Here, we derive an optimal uniform in time error estimate in the $H^1$ norm for the velocity. We also derive an error estimate for the density in some spaces $L^r$.


title: A simple proof of the Markoff conjecture for prime powers

abstract: We give a simple and independent proof of the result of Jack Button and Paul Schmutz that the Markoff conjecture on the uniqueness of the Markoff triples (a,b,c), where a, b, and c are in increasing order, holds whenever $c$ is a prime power.


title: A priori estimates for solutions of a nonlinear dispersive equation

abstract: This paper has been withdrawn by the author due to a crucial error.


title: Invariant measures in free MV-algebras

abstract: MV-algebras can be viewed either as the Lindenbaum algebras of Lukasiewicz infinite-valued logic, or as unit intervals of lattice-ordered abelian groups in which a strong order unit has been fixed. The free n-generated MV-algebra Free_n is representable as an algebra of continuous piecewise-linear functions with integer coefficients over the unit cube [0,1]^n. The maximal spectrum of Free_n is canonically homeomorphic to [0,1]^n, and the automorphisms of the algebra are in 1-1 correspondence with the pwl homeomorphisms with integer coefficients of the unit cube. In this paper we prove that the only probability measure on [0,1]^n which is null on underdimensioned 0-sets and is invariant under the group of all such homeomorphisms is the Lebesgue measure. From the viewpoint of lattice-ordered abelian groups, this fact means that, in relevant cases, fixing an automorphism-invariant strong unit implies fixing a distinguished probability measure on the maximal spectrum. From the viewpoint of algebraic logic, it means that the only automorphism-invariant truth averaging process that detects pseudotrue propositions is the integral with respect to Lebesgue measure.


title: On filtering of Markov chains in strong noise

abstract: The filtering problem for finite state Markov chains is revisited, when the intensity of the observation noise increases. We give a description of conditional measure concentration around the invariant distribution of the signal and derive asymptotic expressions for the performance indices of the MMSE and MAP filtering estimates.


title: Weak type estimates associated to Burkholder's martingale inequality

abstract: Given a probability space $(\Omega, \mathsf{A}, \mu)$, let $\mathsf{A}_1, \mathsf{A}_2, ...$ be a filtration of $\sigma$-subalgebras of $\mathsf{A}$ and let $\mathsf{E}_1, \mathsf{E}_2, ...$ denote the corresponding family of conditional expectations. Given a martingale $f = (f_1, f_2, ...)$ adapted to this filtration and bounded in $L_p(\Omega)$ for some $2 \le p < \infty$, Burkholder's inequality claims that $$\|f\|_{L_p(\Omega)} \sim_{\mathrm{c}_p} \Big\| \Big(\sum_{k=1}^\infty \mathsf{E}_{k-1}(|df_k|^2) \Big)^{1/2} \Big\|_{L_{p}(\Omega)} + \Big(\sum_{k=1}^\infty \|df_k\|_p^p \Big)^{1/p}.$$ Motivated by quantum probability, Junge and Xu recently extended this result to the range $1 < p < 2$. In this paper we study Burkholder's inequality for $p=1$, for which the techniques (as we shall explain) must be different. Quite surprisingly, we obtain two non-equivalent estimates which play the role of the weak type $(1,1)$ analog of Burkholder's inequality. As application, we obtain new properties of Davis decomposition for martingales.


title: Utility maximization in incomplete markets

abstract: We consider the problem of utility maximization for small traders on incomplete financial markets. As opposed to most of the papers dealing with this subject, the investors' trading strategies we allow underly constraints described by closed, but not necessarily convex, sets. The final wealths obtained by trading under these constraints are identified as stochastic processes which usually are supermartingales, and even martingales for particular strategies. These strategies are seen to be optimal, and the corresponding value functions determined simply by the initial values of the supermartingales. We separately treat the cases of exponential, power and logarithmic utility.


title: Geometric structures on the tangent bundle of the Einstein spacetime

abstract: We describe conditions under which a spacetime connection and a scaled Lorentzian metric define natural symplectic and Poisson structures on the tangent bundle of the Einstein spacetime.


title: Equivalent and absolutely continuous measure changes for jump-diffusion processes

abstract: We provide explicit sufficient conditions for absolute continuity and equivalence between the distributions of two jump-diffusion processes that can explode and be killed by a potential.


title: On the power of two choices: Balls and bins in continuous time

abstract: Suppose that there are n bins, and balls arrive in a Poisson process at rate \lambda n, where \lambda >0 is a constant. Upon arrival, each ball chooses a fixed number d of random bins, and is placed into one with least load. Balls have independent exponential lifetimes with unit mean. We show that the system converges rapidly to its equilibrium distribution; and when d\geq 2, there is an integer-valued function m_d(n)=\ln \ln n/\ln d+O(1) such that, in the equilibrium distribution, the maximum load of a bin is concentrated on the two values m_d(n) and m_d(n)-1, with probability tending to 1, as n\to \infty. We show also that the maximum load usually does not vary by more than a constant amount from \ln \ln n/\ln d, even over quite long periods of time.


title: Hypoellipticity in infinite dimensions and an application in interest rate theory

abstract: We apply methods from Malliavin calculus to prove an infinite-dimensional version of Hormander's theorem for stochastic evolution equations in the spirit of Da Prato-Zabczyk. This result is used to show that HJM-equations from interest rate theory, which satisfy the Hormander condition, have the conceptually undesirable feature that any selection of yields admits a density as multi-dimensional random variable.


title: A simple solution to the k-core problem

abstract: We study the k-core of a random (multi)graph on n vertices with a given degree sequence. We let n tend to infinity. Then, under some regularity conditions on the degree sequences, we give conditions on the asymptotic shape of the degree sequence that imply that with high probability the k-core is empty, and other conditions that imply that with high probability the k-core is non-empty and the sizes of its vertex and edge sets satisfy a law of large numbers; under suitable assumptions these are the only two possibilities. In particular, we recover the result by Pittel, Spencer and Wormald on the existence and size of a k-core in G(n,p) and G(n,m). Our method is based on the properties of empirical distributions of independent random variables, and leads to simple proofs.


title: The coalescent effective size of age-structured populations

abstract: We establish convergence to the Kingman coalescent for a class of age-structured population models with time-constant population size. Time is discrete with unit called a year. Offspring numbers in a year may depend on mother's age.


title: Singular Poisson reduction of cotangent bundles

abstract: We consider the Poisson reduced space $(T^*Q)/K$ with respect to a cotangent lifted action. It is assumed that $K$ is a compact Lie group which acts by isometries on the Riemannian manifold $Q$ and that the action on $Q$ is of single isotropy type. Realizing $(T^*Q)/K$ as a Weinstein space we determine the induced Poisson structure and its symplectic leaves. We thus extend the Weinstein construction for principal fiber bundles to the case of surjective Riemannian submersions $Q\to Q/K$.


title: Polarizations of Prym Varieties of pairs of coverings

abstract: To any pair of coverings $f_i: X \ra X_i, i = 1,2$ of smooth projective curves one can associate an abelian subvariety of the Jacobian $J_X$, the Prym variety $P(f_1,f_2)$ of the pair $(f_1,f_2)$. In some cases we can compute the type of the restriction of the canonical principal polarization of $JX$. We obtain 2 families of Prym-Tyurin varieties of exponent 6.


title: Representation of solutions to BSDEs associated with a degenerate FSDE

abstract: In this paper we investigate a class of decoupled forward-backward SDEs, where the volatility of the FSDE is degenerate and the terminal value of the BSDE is a discontinuous function of the FSDE. Such an FBSDE is associated with a degenerate parabolic PDE with discontinuous terminal condition. We first establish a Feynman-Kac type representation formula for the spatial derivative of the solution to the PDE. As a consequence, we show that there exists a stopping time \tau such that the martingale integrand of the BSDE is continuous before \tau and vanishes after \tau. However, it may blow up at \tau, as illustrated by an example. Moreover, some estimates for the martingale integrand before \tau are obtained. These results are potentially useful for pricing and hedging discontinuous exotic options (e.g., digital options) when the underlying asset's volatility is small, and they are also useful for studying the rate of convergence of finite-difference approximations for degenerate parabolic PDEs.


title: Principal polarizations on products of elliptic curves

abstract: An abelian variety admits only a finite number of isomorphism classes of principal polarizations. The paper gives an interpretation of this number in terms of class numbers of definite Hermitian forms in the case of a product of elliptic curves without complex multiplication. In the case of a self-product of an elliptic curve, as well as in the two-dimensional case, classical class number computations can be applied to determine this number.


title: The sizes of the pioneering, lowest crossing and pivotal sites in critical percolation on the triangular lattice

abstract: Let L_n denote the lowest crossing of a square 2n\times2n box for critical site percolation on the triangular lattice imbedded in Z^2. Denote also by F_n the pioneering sites extending below this crossing, and Q_n the pivotal sites on this crossing. Combining the recent results of Smirnov and Werner [Math. Res. Lett. 8 (2001) 729-744] on asymptotic probabilities of multiple arm paths in both the plane and half-plane, Kesten's [Comm. Math. Phys. 109 (1987) 109-156] method for showing that certain restricted multiple arm paths are probabilistically equivalent to unrestricted ones, and our own second and higher moment upper bounds, we obtain the following results. For each positive integer \tau, as n\to\infty: 1. E(|L_n|^{\tau})=n^{4\tau/3+o(1)}. 2. E(|F_n|^{\tau})=n^{7\tau/4+o(1)}. 3. E(|Q_n|^{\tau})=n^{3\tau/4+o(1)}. These results extend to higher moments a discrete analogue of the recent results of Lawler, Schramm and Werner [Math. Res. Lett. 8 (2001) 401-411] that the frontier, pioneering points and cut points of planar Brownian motion have Hausdorff dimensions, respectively, 4/3, 7/4 and 3/4.


title: A large deviations approach to asymptotically optimal control of crisscross network in heavy traffic

abstract: In this work we study the problem of asymptotically optimal control of a well-known multi-class queuing network, referred to as the ``crisscross network,'' in heavy traffic. We consider exponential inter-arrival and service times, linear holding cost and an infinite horizon discounted cost criterion. In a suitable parameter regime, this problem has been studied in detail by Martins, Shreve and Soner [SIAM J. Control Optim. 34 (1996) 2133-2171] using viscosity solution methods. In this work, using the pathwise solution of the Brownian control problem, we present an elementary and transparent treatment of the problem (with the identical parameter regime as in [SIAM J. Control Optim. 34 (1996) 2133-2171]) using large deviation ideas introduced in [Ann. Appl. Probab. 10 (2000) 75-103, Ann. Appl. Probab. 11 (2001) 608-649]. We obtain an asymptotically optimal scheduling policy which is of threshold type. The proof is of independent interest since it is one of the few results which gives the asymptotic optimality of a control policy for a network with a more than one-dimensional workload process.


title: The probability of exceeding a high boundary on a random time interval for a heavy-tailed random walk

abstract: We study the asymptotic probability that a random walk with heavy-tailed increments crosses a high boundary on a random time interval. We use new techniques to extend results of Asmussen [Ann. Appl. Probab. 8 (1998) 354-374] to completely general stopping times, uniformity of convergence over all stopping times and a wide class of nonlinear boundaries. We also give some examples and counterexamples.


title: Equilibrium for fragmentation with immigration

abstract: This paper introduces stochastic processes that describe the evolution of systems of particles in which particles immigrate according to a Poisson measure and split according to a self-similar fragmentation. Criteria for existence and absence of stationary distributions are established and uniqueness is proved. Also, convergence rates to the stationary distribution are given. Linear equations which are the deterministic counterparts of fragmentation with immigration processes are next considered. As in the stochastic case, existence and uniqueness of solutions, as well as existence and uniqueness of stationary solutions, are investigated.


title: On existence of minimizers for the Hardy-Sobolev-Maz'ya inequality

abstract: We show existence of minimizers for the Hardy-Sobolev-Maz'ya inequality in $R^{m+n}\setminus\R^n$ for $m=1$ and $n>2$ or for $m>2$ and $n>0$.


title: Convergence of random measures in geometric probability

abstract: Given $n$ independent random marked $d$-vectors $X_i$ with a common density, define the measure $\nu_n = \sum_i \xi_i $, where $\xi_i$ is a measure (not necessarily a point measure) determined by the (suitably rescaled) set of points near $X_i$. Technically, this means here that $\xi_i$ stabilizes with a suitable power-law decay of the tail of the radius of stabilization. For bounded test functions $f$ on $R^d$, we give a law of large numbers and central limit theorem for $\nu_n(f)$. The latter implies weak convergence of $\nu_n(\cdot)$, suitably scaled and centred, to a Gaussian field acting on bounded test functions. The general result is illustrated with applications including the volume and surface measure of germ-grain models with unbounded grain sizes.


title: Sharp estimates for pseudodifferential operators with symbols of limited smoothness and commutators

abstract: We consider here pseudo-differential operators whose symbol $\sigma(x,\xi)$ is not infinitely smooth with respect to $x$. Decomposing such symbols into four -sometimes five- components and using tools of paradifferential calculus, we derive sharp estimates on the action of such pseudo-differential operators on Sobolev spaces and give explicit expressions for their operator norm in terms of the symbol $\sigma(x,\xi)$. We also study commutator estimates involving such operators, and generalize or improve the so-called Kato-Ponce and Calderon-Coifman-Meyer estimates in various ways.


title: Beta-elements and divided congruences

abstract: The f-invariant is an injective homomorphism from the 2-line of the Adams-Novikov spectral sequence to a group which is closely related to divided congruences of elliptic modular forms. We compute the f-invariant for two infinite families of beta-elements and explain the relation of the arithmetic of divided congruences with the Kervaire invariant one problem.


title: Classification of elliptic and K3 fibrations birational to some Q-Fano 3-folds

abstract: A complete classification is presented of elliptic and K3 fibrations birational to certain mildly singular complex Fano 3-folds. Detailed proofs are given for one example case, namely that of a general hypersurface X of degree 30 in weighted P^4 with weights 1,4,5,6,15; but our methods apply more generally. For constructing birational maps from X to elliptic and K3 fibrations we use Kawamata blowups and Mori theory to compute anticanonical rings; to exclude other possible fibrations we make a close examination of the strictly canonical singularities of (X,(1/n)H), where H is the linear system associated to the putative birational map and n is its anticanonical degree.


title: On finding complex roots of polynomials using the Routh array

abstract: This paper has been withdrawn by the authors. There was an erroneous estimate of the degree of a transformed polynomial, making the method appear more effective than it really is. We thank an anonymous referee for pointing out this error.


title: The Linearisation Map in Algebraic K-Theory

abstract: Let X be a pointed connected simplicial set with loop group G. The linearisation map in K-theory as defined by Waldhausen uses G-equivariant spaces. This paper gives an alternative description using presheaves of sets and abelian groups on the simplex category of X. In other words, the linearisation map is defined in terms of X only, avoiding the use of the less geometric loop group. The paper also includes a comparison of categorical finiteness with the more geometric notion of finite CW objects in cofibrantly generated model categories. The application to the linearisation map employs a model structure on the category of abelian group objects of retractive spaces over X.


title: Cusps and the family hyperbolic metric

abstract: The hyperbolic metric for the punctured unit disc in the Euclidean plane is singular at the origin. A renormalization of the metric at the origin is provided by the Euclidean metric. For Riemann surfaces there is a unique germ for the isometry class of a complete hyperbolic metric at a cusp. The renormalization for the punctured unit disc provides a renormalization for a hyperbolic metric at a cusp. For a holomorphic family of punctured Riemann surfaces the family of (co)tangent spaces along a puncture defines a tautological holomorphic line bundle over the base of the family. The Hermitian connection and Chern form for the renormalized metric are determined. Connections to the work of M. Mirzakhani, L. Takhtajan and P. Zograf, and intersection numbers for the moduli space of punctured Riemann surfaces studied by E. Witten are presented.


title: Solving Problems in Scalar Algebras of Reduced Powers

abstract: Following our previous work, we suggest here a large class of algebras of scalars in which simultaneous and correlated computations can be performed owing to the existence of surjective algebra homomorphisms. This may replace the currently used traditional computations in which only real or complex scalars are used, or occasionally, nonstandard ones. The usual real, complex, or nonstandard scalars are included in the mentioned large class of algebras. Such simultaneous and correlated computations offer a depth of insight which has so far been missed when only using the few traditional kind of scalars.


title: Metric Diophantine approximation over a local field of positive characteristic

abstract: We estalish the conjectures of Sprindzhuk over a local field of positive characteristic using the dynamical method of Kleinbock-Margulis.


title: A Khintchine type theorem for hyperplanes

abstract: We prove that the convergence Khintchine theorem holds for affine hyperplanes whose parametrizing matrices satisfy a mild Diophantine condition. We use the dynamical method of Kleinbock-Margulis.


title: Stability of isometric maps in the Heisenberg group

abstract: In this paper we prove some approximation results for biLipschitz maps in the Heisenberg group. Namely, we show that a biLipschitz map with biLipschitz constant close to one can be pointwise approximated, quantitatively on any fixed ball, by an isometry. This leds to an approximation in BMO norm for the map's Pansu derivative. We also prove that a global quasigeodesic can be approximated by a geodesic in any fixed segment.


title: Hearing the type of a domain in C^2 with the d-bar-Neumann Laplacian

abstract: A smooth bounded pseudoconvex domain in two complex variables is of finite type if and only if the number of eigenvalues of the d-bar-Neumann Laplacian that are less than or equal to $\lambda$ has at most polynomial growth as $\lambda$ goes to infinity.


title: Teichmuller theory of the punctured solenoid

abstract: The punctured solenoid $\S$ is an initial object for the category of punctured surfaces with morphisms given by finite covers branched only over the punctures. The (decorated) Teichm\"uller space of $\S$ is introduced, studied, and found to be parametrized by certain coordinates on a fixed triangulation of $\S$. Furthermore, a point in the decorated Teichm\"uller space induces a polygonal decomposition of $\S$ giving a combinatorial description of its decorated Teichm\"uller space itself. This is used to obtain a non-trivial set of generators of the modular group of $\S$, which is presumably the main result of this paper. Moreover, each word in these generators admits a normal form, and the natural equivalence relation on normal forms is described. There is furthermore a non-degenerate modular group invariant two form on the Teichm\"uller space of $\S$. All of this structure is in perfect analogy with that of the decorated Teichm\"uller space of a punctured surface of finite type.


title: Renormalization in the Henon family, I: universality but non-rigidity

abstract: In this paper geometric properties of infinitely renormalizable real H\'enon-like maps $F$ in $\R^2$ are studied. It is shown that the appropriately defined renormalizations $R^n F$ converge exponentially to the one-dimensional renormalization fixed point. The convergence to one-dimensional systems is at a super-exponential rate controlled by the average Jacobian and a universal function $a(x)$. It is also shown that the attracting Cantor set of such a map has Hausdorff dimension less than 1, but contrary to the one-dimensional intuition, it is not rigid, does not lie on a smooth curve, and generically has unbounded geometry.


title: Real K3 surfaces with non-symplectic involution and applications. II

abstract: We consider real forms of relatively minimal rational surfaces F_m. Connected components of moduli of real non-singular curves in |-2K_{F_m}| had been classified recently for m=0, 1, 4 in math.AG/0312396. Applying similar methods, here we fill the gap for m=2 and m=3 to complete similar classification for any 0\le m\le 4 when |-2K_{F_m}| is reduced. The case of F_2 is especially remarkable and classical (quadratic cone in P^3). As an application, we finished classification of connected components of moduli of real hyper-elliptically polarized K3 surfaces and their deformations to real polarized K3 surfaces started in math.AG/0312396, math.AG/0507197. This could be important in some questions because real hyper-elliptically polarized K3 surfaces can be constructed explicitly.


title: Quotients of Tannakian Categories

abstract: We classify the "quotients" of a tannakian category in which the objects of a tannakian subcategory become trivial, and we examine the properties of such quotient categories.


title: Bounded generation of S-arithmetic subgroups of isotropic orthogonal groups over number fields

abstract: Let f be a nondegenerate quadratic form in at least 5 variables over a number field K and let S be a finite set of valuations of K containing all Archimedean ones. We prove that if the Witt index of f is at least 2 or it is 1 and S contains a non-Archimedean valuation, then the S-arithmetic subgroups of the special orthogonal group of f have bounded generation. These groups provide a series of examples of boundedly generated S-arithmetic groups in isotropic, but not quasi-split, algebraic groups.


title: Uncertainty estimates and L_2 bounds for the Kuramoto-Sivashinsky equation

abstract: We consider the Kuramoto-Sivashinsky (KS) equation in one spatial dimension with periodic boundary conditions. We apply a Lyapunov function argument similar to the one first introduced by Nicolaenko, Scheurer, and Temam, and later improved by Collet, Eckmann, Epstein and Stubbe, and Goodman, to prove that ||u||_2 < C L^1.5. This result is slightly weaker than that recently announced by Giacomelli and Otto, but applies in the presence of an additional linear destabilizing term. We further show that for a large class of Lyapunov functions \phi the exponent 1.5 is the best possible from this line of argument. Further, this result together with a result of Molinet gives an improved estimate for L_2 boundedness of the Kuramoto-Sivashinsky equation in thin rectangular domains in two spatial dimensions.


title: Diagonals of self-adjoint operators

abstract: The eigenvalues of a self-adjoint nxn matrix A can be put into a decreasing sequence $\lambda=(\lambda_1,...,\lambda_n)$, with repetitions according to multiplicity, and the diagonal of A is a point of $R^n$ that bears some relation to $\lambda$. The Schur-Horn theorem characterizes that relation in terms of a system of linear inequalities. We give a new proof of the latter result for positive trace-class operators on infinite dimensional Hilbert spaces, generalizing results of one of us on the diagonals of projections. We also establish an appropriate counterpart of the Schur inequalities that relate spectral properties of self-adjoint operators in $II_1$ factors to their images under a conditional expectation onto a maximal abelian subalgebra.


title: A different expression of the Weil-Petersson potential on the quasi-Fuchsian deformation space

abstract: We extend a definition of the Weil-Petersson potential on the universal Teichmuller space to the quasi-Fuchsian deformation space. We prove that up to a constant, this function coincides with the Weil-Petersson potential on the quasi-Fuchsian deformation space. As a result, we prove a lower bound for the Weil-Petersson potential on the quasi-Fuchsian deformation space.


title: Two non-conjugate embeddings of $S_3\times \mathbb Z_2$ into the Cremona group II

abstract: We prove more precisely the following main result of \cite{Isk1}. There is two non-conjugate embeddings of $S_3\times \ZZ_2$ into the Cremona group that is given by the linear action of this group on the plane and the action on the two-dimensional torus.


title: Canonical Wick rotations in 3-dimensional gravity

abstract: We develop a ``canonical Wick rotation-rescaling theory in 3-dimensional gravity''. This includes: (a) A simultaneous classification that shows how generic maximal globally hyperbolic spacetimes of constant curvature, which admit a complete Cauchy surface (in particular a compact one), as well as complex projective structures on arbitrary surfaces, are all encoded by pairs (H,L), H being a ``straight convex sets'' in the hyperbolic plane, and L a ``measured geodesic laminations'' suitably defined on H. (b) Canonical geometric correlations: spacetimes of different curvature, that share a same encoding pair (H,L), are related to each other by ``canonical rescaling''; they can be transformed by ``canonical Wick rotations'' in hyperbolic 3-manifolds, that carry asymptotically the corresponding projective structures. Both Wick rotations and rescalings act along the "canonical cosmological time" and have ``universal rescaling functions''. These correlations are functorial with respect to isomorphisms of the respective geometric categories. We analyze the behaviour along a ray of measured laminations, (broken) T-symmetry by spacetimes of negative curvature, the relationship with ``earthquake theory'', beyond the case of compact Cauchy surface. WR-rescaling does apply on the ``ends'' of geometrically finite hyperbolic 3-manifolds, that hence realize concrete interactions of their globally hyperbolic ``ending spacetimes'' of constant curvature. It also provides further "classical amplitudes" of these interactions, beyond the volume of the hyperbolic convex cores.


title: Spectral characterization of aging: the rem-like trap model

abstract: We review the aging phenomenon in the context of the simplest trap model, Bouchaud's REM-like trap model, from a spectral theoretic point of view. We show that the generator of the dynamics of this model can be diagonalized exactly. Using this result, we derive closed expressions for correlation functions in terms of complex contour integrals that permit an easy investigation into their large time asymptotics in the thermodynamic limit. We also give a ``grand canonical'' representation of the model in terms of the Markov process on a Poisson point process. In this context we analyze the dynamics on various time scales.


title: Some remarks on first passage of Levy processes, the American put and pasting principles

abstract: The purpose of this article is to provide, with the help of a fluctuation identity, a generic link between a number of known identities for the first passage time and overshoot above/below a fixed level of a Levy process and the solution of Gerber and Shiu [Astin Bull. 24 (1994) 195-220], Boyarchenko and Levendorskii [Working paper series EERS 98/02 (1998), Unpublished manuscript (1999), SIAM J. Control Optim. 40 (2002) 1663-1696], Chan [Original unpublished manuscript (2000)], Avram, Chan and Usabel [Stochastic Process. Appl. 100 (2002) 75-107], Mordecki [Finance Stoch. 6 (2002) 473-493], Asmussen, Avram and Pistorius [Stochastic Process. Appl. 109 (2004) 79-111] and Chesney and Jeanblanc [Appl. Math. Fin. 11 (2004) 207-225] to the American perpetual put optimal stopping problem. Furthermore, we make folklore precise and give necessary and sufficient conditions for smooth pasting to occur in the considered problem.


title: Explosion phenomena in stochastic coagulation-fragmentation models

abstract: First we establish explosion criteria for jump processes with an arbitrary locally compact separable metric state space. Then these results are applied to two stochastic coagulation-fragmentation models--the direct simulation model and the mass flow model. In the pure coagulation case, there is almost sure explosion in the mass flow model for arbitrary homogeneous coagulation kernels with exponent bigger than 1. In the case of pure multiple fragmentation with a continuous size space, explosion occurs in both models provided the total fragmentation rate grows sufficiently fast at zero. However, an example shows that the explosion properties of both models are not equivalent.


title: Dynamic exponential utility indifference valuation

abstract: We study the dynamics of the exponential utility indifference value process C(B;\alpha) for a contingent claim B in a semimartingale model with a general continuous filtration. We prove that C(B;\alpha) is (the first component of) the unique solution of a backward stochastic differential equation with a quadratic generator and obtain BMO estimates for the components of this solution. This allows us to prove several new results about C_t(B;\alpha). We obtain continuity in B and local Lipschitz-continuity in the risk aversion \alpha, uniformly in t, and we extend earlier results on the asymptotic behavior as \alpha\searrow0 or \alpha\nearrow\infty to our general setting. Moreover, we also prove convergence of the corresponding hedging strategies.


title: Numerical solution of conservative finite-dimensional stochastic Schrodinger equations

abstract: The paper deals with the numerical solution of the nonlinear Ito stochastic differential equations (SDEs) appearing in the unravelling of quantum master equations. We first develop an exponential scheme of weak order 1 for general globally Lipschitz SDEs governed by Brownian motions. Then, we proceed to study the numerical integration of a class of locally Lipschitz SDEs. More precisely, we adapt the exponential scheme obtained in the first part of the work to the characteristics of certain finite-dimensional nonlinear stochastic Schrodinger equations. This yields a numerical method for the simulation of the mean value of quantum observables. We address the rate of convergence arising in this computation. Finally, an experiment with a representative quantum master equation illustrates the good performance of the new scheme.


title: A regression-based Monte Carlo method to solve backward stochastic differential equations

abstract: We are concerned with the numerical resolution of backward stochastic differential equations. We propose a new numerical scheme based on iterative regressions on function bases, which coefficients are evaluated using Monte Carlo simulations. A full convergence analysis is derived. Numerical experiments about finance are included, in particular, concerning option pricing with differential interest rates.


title: Analysis of phase transitions in the mean-field Blume-Emery-Griffiths model

abstract: In this paper we give a complete analysis of the phase transitions in the mean-field Blume-Emery-Griffiths lattice-spin model with respect to the canonical ensemble, showing both a second-order, continuous phase transition and a first-order, discontinuous phase transition for appropriate values of the thermodynamic parameters that define the model. These phase transitions are analyzed both in terms of the empirical measure and the spin per site by studying bifurcation phenomena of the corresponding sets of canonical equilibrium macrostates, which are defined via large deviation principles. Analogous phase transitions with respect to the microcanonical ensemble are also studied via a combination of rigorous analysis and numerical calculations. Finally, probabilistic limit theorems for appropriately scaled values of the total spin are proved with respect to the canonical ensemble. These limit theorems include both central-limit-type theorems, when the thermodynamic parameters are not equal to critical values, and noncentral-limit-type theorems, when these parameters equal critical values.


title: Higher order Hessian structures on manifolds

abstract: In this paper we define $n$th order Hessian structures on manifolds and study them. In particular, when $n = 3$, we make a detailed study and establish a one-to-one correspondence between {\it third-order Hessian structures} and a {\it certain class of connections} on the second-order tangent bundle of a manifold. Further, we show that a connection on the tangent bundle of a manifold induces a connection on the second-order tangent bundle. Also we define second-order geodesics of special second-order connection which gives a geometric characterization of symmetric third-order Hessian structures.


title: Estimates and nonexistence of solutions of the scalar curvature equation on noncompact manifolds

abstract: This paper is to study the conformal scalar curvature equation on complete noncompact Riemannian manifold of nonpositive curvature. We derive some estimates and properties of supersolutions of the scalar curvature equation, and obtain some nonexistence results for complete solutions of scalar curvature equation.


title: Ideal amenability of Banach algebras on locally compact groups

abstract: In this paper we study the ideal amenability of Banach algebras. Let $\cal A$ be a Banach algebra and let $I$ be a closed two-sided ideal in $\cal A$, $\cal A$ is $I$-weakly amenable if $H^{1}({\cal A},I^*)=\{0\}$. Further, $\cal A$ is ideally amenable if $\cal A$ is $I$-weakly amenable for every closed two-sided ideal $I$ in $\cal A$. We know that a continuous homomorphic image of an amenable Banach algebra is again amenable. We show that for ideal amenability the homomorphism property for suitable direct summands is true similar to weak amenability and we apply this result for ideal amenability of Banach algebras on locally compact groups.


title: The Socle and finite dimensionality of some Banach algebras

abstract: The purpose of this note is to describe some algebraic conditions on a Banach algebra which force it to be finite dimensional. One of the main results in Theorem~2 which states that for a locally compact group $G$, $G$ is compact if there exists a measure $\mu$ in $\hbox{Soc}(L^{1}(G))$ such that $\mu(G) \neq 0$. We also prove that $G$ is finite if $\hbox{Soc}(M(G))$ is closed and every nonzero left ideal in $M(G)$ contains a minimal left ideal.


title: Breakdown and groups

abstract: The concept of breakdown point was introduced by Hampel [Ph.D. dissertation (1968), Univ. California, Berkeley; Ann. Math. Statist. 42 (1971) 1887-1896] and developed further by, among others, Huber [Robust Statistics (1981). Wiley, New York] and Donoho and Huber [In A Festschrift for Erich L. Lehmann (1983) 157-184. Wadsworth, Belmont, CA]. It has proved most successful in the context of location, scale and regression problems. Attempts to extend the concept to other situations have not met with general acceptance. In this paper we argue that this is connected to the fact that in the location, scale and regression problems the translation and affine groups give rise to a definition of equivariance for statistical functionals. Comparisons in terms of breakdown points seem only useful when restricted to equivariant functionals and even here the connection between breakdown and equivariance is a tenuous one.


title: 2-adic valuations of certain ratios of products of factorials and applications

abstract: We prove the conjecture of Falikman--Friedland--Loewy on the parity of the degrees of projective varieties of $n\times n$ complex symmetric matrices of rank at most $k$. We also characterize the parity of the degrees of projective varieties of $n\times n$ complex skew symmetric matrices of rank at most $2p$. We give recursive relations which determine the parity of the degrees of projective varieties of $m\times n$ complex matrices of rank at most $k$. In the case the degrees of these varieties are odd, we characterize the minimal dimensions of subspaces of $n\times n$ skew symmetric real matrices and of $m\times n$ real matrices containing a nonzero matrix of rank at most $k$. The parity questions studied here are also of combinatorial interest since they concern the parity of the number of plane partitions contained in a given box, on the one hand, and the parity of the number of symplectic tableaux of rectangular shape, on the other hand.


title: Discussion of "Breakdown and groups" by P. L. Davies and U. Gather

abstract: Discussion of ``Breakdown and groups'' by P. L. Davies and U. Gather [math.ST/0508497]


title: Rejoinder to "Breakdown and groups" by P. L. Davies and U. Gather

abstract: Rejoinder to ``Breakdown and groups'' by P. L. Davies and U. Gather [math.ST/0508497]


title: The GL(m|n) type quantum matrix algebras II: the structure of the characteristic subalgebra and its spectral parameterization

abstract: In our previous paper math.QA/0412192 the Cayley-Hamilton identity for the GL(m|n) type quantum matrix algebra was obtained. Here we continue investigation of that identity. We derive it in three alternative forms and, most importantly, we obtain it in a factorized form. The factorization leads to a separation of the spectra of the quantum supermatrix into the "even" and "odd" parts. The latter, in turn, allows us to parameterize the characteristic subalgebra (which can also be called the subalgebra of spectral invariants) in terms of the supersymmetric polynomials in the eigenvalues of the quantum supermatrix. For our derivation we use two auxiliary results which may be of independent interest. First, we calculate the multiplication rule for the linear basis of the Schur functions $s_{\lambda}(M)$ for the characteristic subalgebra of the Hecke type quantum matrix algebra. The structure constants in this basis are the Littlewood-Richardson coefficients. Second, we derive a series of bilinear relations in the graded ring $\Lambda$ of Schur symmetric functions in countably many variables.


title: Computable structures of rank omega_1^{CK}

abstract: We obtain a computable structure of Scott rank omega_1^{CK} (call this ock), and give a general coding procedure that transforms any hyperarithmetical structure A into a computable structure A' such that the rank of A is ock, ock+1, or < ock iff the same is true of A'.


title: Simplicity of Lyapunov spectra: proof of the Zorich-Kontsevich conjecture

abstract: We prove the Zorich-Kontsevich conjecture that the non-trivial Lyapunov exponents of the Teichm\"uller flow on (any connected component of a stratum of) the moduli space of Abelian differentials on compact Riemann surfaces are all distinct. By previous work of Zorich and Kontsevich, this implies the existence of the complete asymptotic Lagrangian flag describing the behavior in homology of the vertical foliation in a typical translation surface.


title: On the action of the Weil group on the l-adic cohomology of rigid spaces over local fields

abstract: We investigate the action of the Weil group on the compactly supported l-adic cohomology groups of rigid spaces over local fields. We prove that every eigenvalue of the action is a Weil number when either a rigid space is smooth or the characteristic of the base field is equal to 0. Since a smooth rigid space is locally isomorphic to the Raynaud generic fiber of an algebraizable formal scheme, we can use the techniques of alterations and monodromy spectral sequences in the smooth case. In the general case, we use the continuity theorem of Huber, which requires the restriction on the characteristic of the base field.


title: Khovanov-Rozansky homology of two-bridge knots and links

abstract: We compute the reduced version of Khovanov and Rozansky's sl(N) homology for two-bridge knots and links. The answer is expressed in terms of the HOMFLY polynomial and signature.


title: Lusztig's q-analogue of weight multiplicity and one-dimensional sums for affine root systems

abstract: In this paper we complete the proof of the X=K conjecture, that for every family of nonexceptional affine algebras, the graded multiplicities of tensor products of symmetric power Kirillov-Reshetikhin modules known as one-dimensional sums, have a large rank stable limit X that has a simple expression (called the K-polynomial) as nonnegative integer combination of Kostka-Foulkes polynomials. We consider a subfamily of Lusztig's q-analogues of weight multiplicity which we call stable KL polynomials and denote by KL. We give a type-independent proof that K=KL. This proves that X=KL: the family of stable one-dimensional sums coincides with family of stable KL polynomials. Our result generalizes the theorem of Nakayashiki and Yamada which establishes the above equality in the case of one-dimensional sums of affine type A and the Lusztig q-analogue of type A, where both are Kostka-Foulkes polynomials.


title: On the P\'olya Enumeration Theorem

abstract: Simple formulas for the number of different cyclic and dihedral necklaces containing $n_j$ beads of the $j$-th color, $j\leq m$ and $\sum_{j=1}^mn_j=N$, are derived.


title: Normal Quadratics in Ore Extensions, Quantum Planes, and Quantized Weyl Algebras

abstract: Let R be a Noetherian domain and let ({\sigma}, {\delta}) be a quasi-derivation of R such that {\sigma} is an automorphism. There is an induced quasi-derivation on the classical quotient ring Q of R. Suppose F = t^2 - v is normal in the Ore extension R[t; {\sigma}, {\delta}] where v {\epsilon} R. We show F is prime in R[t; {\sigma}, {\delta}] if and only if F is irreducible in Q[t; {\sigma}, {\delta}] if and only if there does not exist w {\epsilon} Q such that v = {\sigma} (w)w - {\delta} (w). We apply this result to classify prime quadratic forms in quantum planes and quantized Weyl algebras.


title: Towards the definition of metric hyperbolicity

abstract: We introduce measure-theoretic definitions of {\it hyperbolic structure for measure-preserving automorphisms}. A wide class of $K$-automorphisms possesses a hyperbolic structure; we prove that all $K$-automorphisms have a slightly weaker structure of {\it semi-hyperbolicity}. Instead of the notions of stable and unstable foliations and other notions from smooth theory, we use the tools of the theory of polymorphisms. The central role is played by {\it polymorphisms} associated with a special invariant equivalence relation, more exactly, with a homoclinic equivalence relation. We call an automorphism with given hyperbolic structure a hyperbolic automorphism and prove that it is canonically quasi-similar to a so-called prime nonmixing polymorphism. We present a short but necessary vocabulary of polymorphisms and Markov operators from \cite{V1,V2}.


title: Relative modular classes of Lie algebroids

abstract: We study the relative modular classes of Lie algebroids, and we determine their relationship with the modular classes of Lie algebroids with a twisted Poisson structure.


title: Elliptic boundary problems on manifolds with polycylindrical ends

abstract: We investigate general Shapiro-Lopatinsky elliptic boundary value problems on manifolds with polycylindrical ends. This is accomplished by compactifying such a manifold to a manifold with corners of in general higher codimension, and we then deal with boundary value problems for cusp differential operators. We introduce an adapted Boutet de Monvel's calculus of pseudodifferential boundary value problems, and construct parametrices for elliptic cusp operators within this calculus. Fredholm solvability and elliptic regularity up to the boundary and up to infinity for boundary value problems on manifolds with polycylindrical ends follows.


title: An extension of quantitative nondivergence and applications to Diophantine exponents

abstract: We present a sharpening of nondivergence estimates for unipotent (or more generally polynomial-like) flows on homogeneous spaces. Applied to metric Diophantine approximation, it yields precise formulas for Diophantine exponents of affine subspaces of $\Bbb R^n$ and their nondegenerate submanifolds.


title: Concentration of Haar measures, with an application to random matrices

abstract: We show that the mixing times of random walks on compact groups can be used to obtain concentration inequalities for the respective Haar measures. As an application, we derive a concentration inequality for the empirical distribution of eigenvalues of sums of random hermitian matrices, with possible applications in free probability. The advantage over existing techniques is that the new method can deal with functions that are non-Lipschitz or even discontinuous with respect to the usual metrics.


title: A generalization of the Lindeberg principle

abstract: We generalize Lindeberg's proof of the central limit theorem to an invariance principle for arbitrary smooth functions of independent and weakly dependent random variables. The result is applied to get a similar theorem for smooth functions of exchangeable random variables. This theorem allows us to identify, for the first time, the limiting spectral distributions of Wigner matrices with exchangeable entries.


title: Homomorphisms between Weyl modules for SL_3(k)

abstract: We classify all homomorphisms between Weyl modules for SL_3(k) when k is an algebraically closed field of characteristic at least three, and show that the Hom-spaces are all at most one-dimensional. As a corollary we obtain all homomorphisms between Specht modules for the symmetric group when the labelling partitions have at most three parts and the prime is at least three. We conclude by showing how a result of Fayers and Lyle on Hom-spaces for Specht modules is related to earlier work of Donkin for algebraic groups.


title: Homomorphisms and Higher Extensions for Schur algebras and symmetric groups

abstract: This paper surveys, and in some cases generalises, many of the recent results on homomorphisms and the higher Ext groups for q-Schur algebras and for the Hecke algebra of type A. We review various results giving isomorphisms between Ext groups in the two categories, and discuss those cases where explicit results have been determined.


title: A family of meta-Fibonacci sequences defined by variable order recursions

abstract: We define a family of meta-Fibonacci sequences where the order of the of recursion at stage n is a variable r(n), and the n^{th} term of a sequence is the sum of the previous r(n) terms. For the terms of any such sequence, we give upper and lower bounds which depend only on r(n).


title: Alpha-determinant cyclic modules of $gl_n(C)$

abstract: The alpha-determinant unifies and interpolates the notion of the determinant and permanent. We determine the irreducible decomposition of the cyclic module of $gl_n(C)$ defined by the alpha-determinant. The degeneracy of the irreducible decomposition is determined by the content polynomial of a given partition.


title: Approximation by polynomials in a weighted space of infinitely differentiable functions

abstract: The density of polynomials in a weighted space of infinitely differentiable functions in a multidimensional real space is proved under minimal conditions on weight functions and on differences between weight functions. We apply this result for description of strong dual for weighted spaces of infinitely differentiable functions on real line and weighted spaces of sequences of infinitely differentiable functions on real line in terms of the Fourier-Laplace transform of functionals.


title: Absolute continuity of the spectrum for periodically modulated leaky wires in $\mathbb{R}^3$

abstract: We consider a model of leaky quantum wire in three dimensions. The Hamiltonian is a singular perturbation of the Laplacian supported by a line with the coupling which is bounded and periodically modulated along the line. We demonstrate that such a system has a purely absolutely continuous spectrum and its negative part has band structure with an at most finite number of gaps. This result is extended also to the situation when there is an infinite number of the lines supporting the perturbations arranged periodically in one direction.

categories: math.SP math-ph math.AP math.MP quant-ph


title: Discussion of "Analysis of variance--why it is more important than ever" by A. Gelman

abstract: Discussion of ``Analysis of variance--why it is more important than ever'' by A. Gelman [math.ST/0504499]


title: Rejoinder to "Analysis of variance--why it is more important than ever" by A. Gelman

abstract: Rejoinder to ``Analysis of variance--why it is more important than ever'' by A. Gelman [math.ST/0504499]


title: Models of Non-Well-Founded Sets via an Indexed Final Coalgebra Theorem

abstract: The paper uses the formalism of indexed categories to recover the proof of a standard final coalgebra theorem, thus showing existence of final coalgebras for a special class of functors on categories with finite limits and colimits. As an instance of this result, we build the final coalgebra for the powerclass functor, in the context of a Heyting pretopos with a class of small maps. This is then proved to provide a model for various non-well-founded set theories, depending on the chosen axiomatisation for the class of small maps.


title: Bounded cohomology, cross ratios and cocycles

abstract: We use cross ratios to describe second real continuous bounded cohomology for locally compact topological groups. We also derive a rigidity result for cocycles with values in the isometry group of a proper hyperbolic geodesic metric space.


title: On the cascade rollback synchronization

abstract: We consider a cascade model of $N$ different processors performing a distributed parallel simulation. The main goal of the study is to show that the long-time dynamics of the system has a cluster behavior. To attack this problem we combine two methods: stochastic comparison and Foster-Lyapunov functions.


title: Subcomplexes in Curved BGG-Sequences

abstract: BGG-sequences offer a uniform construction for invariant differential operators for a large class of geometric structures called parabolic geometries. For locally flat geometries, the resulting sequences are complexes, but in general the compositions of the operators in such a sequence are nonzero. In this paper, we show that under appropriate torsion freeness and/or semi-flatness assumptions certain parts of all BGG sequences are complexes. Several examples of structures, including quaternionic structures, hypersurface type CR structures and quaternionic contact structures are discussed in detail. In the case of quaternionic structures we show that several families of complexes obtained in this way are elliptic.


title: Infinitesimal Automorphisms and Deformations of Parabolic Geometries

abstract: We show that infinitesimal automorphisms and infinitesimal deformations of parabolic geometries can be nicely described in terms of the twisted de-Rham sequence associated to a certain linear connection on the adjoint tractor bundle. For regular normal geometries, this description can be related to the underlying geometric structure using the machinery of BGG sequences. In the locally flat case, this leads to a deformation complex, which generalizes the is well know complex for locally conformally flat manifolds. Recently, a theory of subcomplexes in BGG sequences has been developed. This applies to certain types of torsion free parabolic geometries including, quaternionic structures, quaternionic contact structures and CR structures. We show that for these structures one of the subcomplexes in the adjoint BGG sequence leads (even in the curved case) to a complex governing deformations in the subcategory of torsion free geometries. For quaternionic structures, this deformation complex is elliptic.


title: Topological Quandles and Invariants of Links

abstract: We introduce a notion of topological quandle. Given a topological quandle $Q$ we associate to every classical link $L$ in $\R ^3$ an invariant $J_Q(L)$ which is a topological space (defined up to a homeomorphism). The space $J_Q(L)$ can be interpreted as a space of colourings of a diagram of the link $L$ with colours from the quandle $Q$.


title: On a conjecture of Widom

abstract: We prove a conjecture of H.Widom stated in [W] (math/0108008) about the reality of eigenvalues of certain infinite matrices arising in asymptotic analysis of large Toeplitz determinants. As a byproduct we obtain a new proof of A.Okounkov's formula for the (determinantal) correlation functions of the Schur measures on partitions.


title: A large deviation inequality for vector functions on finite reversible Markov Chains

abstract: Let $S_N$ be the sum of vector-valued functions defined on a finite Markov chain. An analogue of the Bernstein--Hoeffding inequality is derived for the probability of large deviations of $S_N$ and relates the probability to the spectral gap of the Markov chain. Examples suggest that this inequality is better than alternative inequalities if the chain has a sufficiently large spectral gap and the function is high-dimensional.


title: A spectral method for integral formulations of medium-frequency scattering problems

abstract: A fast method for the computation of layer potentials that arise in acoustic scattering is introduced. The principal idea is to split the singular kernel into a smooth and a local part. The potential due to the smooth part is computed efficiently using non-equispaced FFTs, the potential due to the local part is expanded as a series in the mollification parameter. The complexity of the approach is shown to be $O(n + \kappa^3 \log \kappa)$, where $n$ is the number of degrees of freedom in the discretization and $\kappa$ is the wave number. The constant factor in this asymptotic estimate is small since no singular surface integrals must be computed. Therefore the method is particularly efficient for medium-sized scatterers (50-100 wavelengths) that may have complicated geometry


title: Homogeneity of dynamically defined wild knots

abstract: In this paper we prove that a wild knot $K$ which is the limit set of a Kleinian group acting conformally on the unit 3-sphere, with its standard metric, is homogeneous: given two points $p, q\in{K}$ there exists a homeomorphism $f$ of the sphere such that $f(K)=K$ and $f(p)=q$. We also show that if the wild knot is a fibered knot then we can choose an $f$ which preserves the fibers.


title: Finiteness and Torelli Spaces

abstract: Torelli space (in genus g) is the moduli space of compact Riemann surfaces of genus g together with a symplectic basis of their first homology group. It is the quotient of the genus g Teichmuller space by the Torelli group T_g and is a model of the classifying space of T_g. It is known that almost all T_g are not finite complexes. The goal of this note is to present a suite of problems designed to probe the infinite topology of Torelli spaces. Some background is given and a few new results are proved.


title: Connection between deriving bridges and radial parts from multidimensional Ornstein-Uhlenbeck processes

abstract: First we give a construction of bridges derived from a general Markov process using only its transition densities. We give sufficient conditions for their existence and uniqueness (in law). Then we prove that the law of the radial part of the bridge with endpoints zero derived from a special multidimensional Ornstein-Uhlenbeck process equals the law of the bridge with endpoints zero derived from the radial part of the same Ornstein-Uhlenbeck process. We also construct bridges derived from general multidimensional Ornstein-Uhlenbeck processes.


title: L^p-spectral multipliers for the Hodge Laplacian acting on 1-forms on the Heisenberg group

abstract: We prove that, if \Delta_1 is the Hodge Laplacian acting on differential 1-forms on the (2n+1)-dimensional Heisenberg group, and if m is a Mihlin-H\"ormander multiplier on the positive half-line, with L^2-order of smoothness greater than n+1/2, then m(\Delta_1) is L^p-bounded for 1<p<\infty. Our approach leads to an explicit description of the spectral decomposition of \Delta_1 on the space of L^2-forms in terms of the spectral analysis of the sub-Laplacian L and the central derivative T, acting on scalar-valued functions.


title: Asymptotics of orthogonal polynomials beyond the scope of Szego's theorem

abstract: First we give here a simple proof of a remarkable result of Videnskii and Shirokov: let $B$ be a Blaschke product with $n$ zeros, then there exists an outer function $\phi, \phi(0)=1$, such that $\|(B\phi)'\| \leq C n$, where $C$ is an absolute constant. Then we apply this result to a certain problem of finding the asymptotic of orthogonal polynomials.


title: Noncommmutative Gelfand Duality for not necessarily unital $C^*$-algebras, Jordan Canonical form, and the existence of invariant subspaces

abstract: Gelfand-Naimark duality (Commutative $C^*$-algebras $\equiv$ Locally compact Hausdorff spaces) is extended to $C^*$-algebras $\equiv$ Quotient maps on locally compact Hausdorff spaces. Using this duality, we give for an \emph{arbitrary} bounded operator on a complex Hilbert space of several dimensions, a functional calculus and the existence theorem for nontrivial invariant subspace.


title: Arithmetic properties of q-Fibonacci numbers and q-Pell numbers

abstract: We investigate some arithmetic properties of the q-Fibonacci numbers and the q-Pell numbers.


title: On the level p weight 2 case of Serre's conjecture

abstract: This brief note only contains a modest contribution: we just fix some inaccuracies in the proof of the prime level weight 2 case of Serre's conjecture given in Khare's preprint "On Serre's modularity conjecture for 2-dimensional mod p representations of G_Q unramified outside p", for the case of trivial character. More precisely, the modularity lifting result needed at a crucial step is the one for the case of a deformation corresponding to a $p$-adic semistable (in the sense of Fontaine) Galois representation attached to a semistable abelian variety, but in Khare's preprint it is applied a lemma only valid for potentially crystalline representations. The completion is easy: both the modularity lifting result applied in Khare's preprint (the one for the case of an abelian variety with potentially good reduction) and the one we need (the one for an abelian variety with bad semistable reduction) can be found in my paper "Modularity of abelian surfaces with Quaternionic Multiplication" (2002): they follow easily from a combination of modularity liftings results a la Wiles and other arguments.


title: A congruence identity satisfied by m-permutable varieties

abstract: We present a new and useful congruence identity satisfied by m-permutable varieties.


title: $L^p$--$L^q$ decay estimates for wave equations with monotone time-dependent dissipation

abstract: This expository article is intended to give an overview about recently achieved results on asymptotic properties of solutions to the Cauchy problem $u_{tt}-\Delta u+b(t)u_t =0,\qquad u(0,\cdot)=u_1,\quad \mathrm{D}_tu(0,\cdot)=u_2$ for a wave equation with time-dependent dissipation term. The results are based on structural properties of the Fourier multipliers representing its solution. The article explains the general philosophy behind the approach.


title: T-duality for non-free circle actions

abstract: We study the topology of T-duality for pairs of U(1)-bundles and three-dimensional integral cohomology classes over orbispaces. In particular, our results apply to U(1)-spaces with finite isotropy. We generalize the theory developed in our previous paper math.GT/0405132 from spaces to orbispaces.


title: Fourier-Laplace transform of a variation of polarized complex Hodge structure

abstract: We show that the Fourier-Laplace transform of a regular holonomic module over the Weyl algebra of one variable, which generically underlies a variation of polarized Hodge structure, underlies itself an integrable variation of polarized twistor structure.


title: Connes-amenability of bidual and weighted semigroup algebras

abstract: We investigate the notion of Connes-amenability for dual Banach algebras, as introduced by Runde, for bidual algebras and weighted semigroup algebras. We provide some simplifications to the notion of a $\sigma WC$-virtual diagonal, as introduced by Runde, especially in the case of the bidual of an Arens regular Banach algebra. We apply these results to discrete, weighted, weakly cancellative semigroup algebras, showing that these behave in the same way as C$^*$-algebras with regards Connes-amenability of the bidual algebra. We also show that for each one of these cancellative semigroup algebras $l^1(S,\omega)$, we have that $l^1(S,\omega)$ is Connes-amenable (with respect to the canonical predual $c_0(S)$) if and only if $l^1(S,\omega)$ is amenable, which is in turn equivalent to $S$ being an amenable group. This latter point was first shown by Gr{\"o}nb\ae k, but we provide a unified proof. Finally, we consider the homological notion of injectivity, and show that here, weighted semigroup algebras do not behave like C$^*$-algebras.


title: On the Hall algebra of an elliptic curve, II

abstract: This paper is a sequel to math.AG/0505148, where the Hall algebra U^+_E of the category of coherent sheaves on an elliptic curve E defined over a finite field was explicitly described, and shown to be a two-parameter deformation of the ring of diagonal invariants R^+=C[x_1^{\pm 1}, ..., y_1,...]^{S_{\infty}} (in infinitely many variables). In the present work, we study a geometric version of this Hall algebra, by considering a convolution algebra of perverse sheaves on the moduli spaces of coherent sheaves on E. This allows us to define a "canonical basis" B of U^+_E in terms of intersection cohomology complexes. We also give a characterization of this basis in terms of an involution, a lattice and a certain PBW-type basis. Finally we provide some (loose) interpretation of the above construction in terms of Schubert varieties in (nonexistent!) "double affine grassmanian", and in terms of character sheaves of loop groups (both of type A).


title: Base point free theorems--saturation, b-divisors, and canonical bundle formula--

abstract: We reformulate base point free theorems. Our formulation is flexible and has some important applications. One of the main purposes of this paper is to prove a generalization of the base point free theorem in Fukuda's paper: On numerically effective log canonical divisors.


title: Hilbert schemes of points via McKay correspondences

abstract: The results of this paper were already known.


title: Dynamical Quantum Groups - The Super Story

abstract: We review recent results in the study of quantum groups in the super setting. In particular, we provide an overview of results about solutions of the Yang-Baxter equations in the super setting and begin to develop the super analog of the theory of dynamical quantum groups.


title: Almost Regular Bundles on del Pezzo Fibrations

abstract: This paper is devoted to the study of a certain class of principal bundles on del Pezzo surfaces, which were introduced and studied by Friedman and Morgan in \cite{FMdP}: The two authors showed that there exists a unique principal bundle (up to isomorphism) on a given (Gorenstein) del Pezzo surface satisfying certain properties. We call these bundles {\em almost regular}. In turn, we study them in families. In this case, the existence and the moduli of these bundles are governed by the cohomology groups of an abelian sheaf ${\mathscr A}$: On a given del Pezzo fibration, the existence of an almost regular bundle depends on the vanishing of an obstruction class in $H^2({\mathscr A})$. In which case, the set of isomorphism classes of almost regular bundles become a homogeneous space under the $H^1({\mathscr A})$ action.


title: Lie algebras with S4-action and structurable algebras

abstract: The normal symmetric triality algebras (STA's) and the normal Lie related triple algebras (LRTA's) have been recently introduced by the second author, in connection with the principle of triality. It turns out that the unital normal LRTA's are precisely the structurable algebras extensively studied by Allison. It will be shown that the normal STA's (respectively LRTA's) are the algebras that coordinatize those Lie algebras whose automorphism group contains a copy of the alternating (resp. symmetric) group of degree 4.


title: Relaxation theorems in nonlinear elasticity

abstract: Relaxation theorems which apply to one, two and three-dimensional nonlinear elasticity are proved. We take into account the fact an infinite amount of energy is required to compress a finite line, surface or volume into zero line, surface or volume. However, we do not prevent orientation reversal.


title: Analysis on Symmetric and Locally Symmetric Spaces (Multiplicities, Cohomology and Zeta functions)

abstract: The goal of the course was a review of results mainly due to M. Olbrich and the first author. We consider a discrete cocompact subgroup $\Gamma$ of a semisimple Lie group $G$. We relate the group cohomology of $\Gamma$ with coefficients in the maximal globalization of a representation of $G$ with the multiplicities of unitary representations of $G$ in $L^2(G/\Gamma)$. Explicit calculations are given in the case $G=SL(2,R)$. In the rank-one case we state a version of the Selberg trace formula, discuss the singularities of the Selberg zeta-functions, and state their relation with the cohomology of $\Gamma$ in principal series representations.


title: Seshadri constants via Lelong numbers

abstract: One of Demailly's characterizations of Seshadri constants on ample line bundles works with Lelong numbers of certain positive singular hermitian metrics. In this note sections of multiples of the line bundle are used to produce such metrics and then to deduce another formula for Seshadri constants. It is applied to compute Seshadri constants on blown up products of curves, to disprove a conjectured characterization of maximal rationally connected quotients and to introduce a new approach to Nagata's conjecture.


title: Geometry and Dynamics of Discrete Isometry Groups of Higher Rank Symmetric Spaces

abstract: For real hyperbolic spaces, the dynamics of individual isometries and the geometry of the limit set of nonelementary discrete isometry groups have been studied in great detail. Most of the results were generalised to discrete isometry groups of simply connected Riemannian manifolds of pinched negative curvature. For symmetric spaces of higher rank, which contain isometrically embedded Euclidean planes, the situation becomes far more complicated. This paper is devoted to the study of the geometric limit set of ``nonelementary'' discrete isometry groups of higher rank symmetric spaces. We obtain the natural generalisations of some well-known results from Kleinian group theory. Our main tool consists in a detailed description of the dynamics of individual isometries. As a by-product, we give a new geometric construction of free isometry groups with parabolic elements in higher rank symmetric spaces.


title: SPM Bulletin 13

abstract: Contents of this issue: Workshops on SPM themes; Second workshop on Coverings, Selections and Games in Topology (SPM05); Analysis and Descriptive Set Theory Workshop; Descriptive set theory: Effective methods, equivalence relations; Analysis: typical functions, level sets structure; Organizational and additional details; Research announcements; Cardinal restrictions on some homogeneous compacta; Filters: Topological congruence relations on groups; Inverse Limits and Function Algebras; Ultrafilters and partial products of infinite cyclic groups; More on regular reduced products; Consistency of ``the ideal of null restricted to some A is kappa-complete not kappa^+-complete, kappa weakly inaccessible and cov(M)=aleph_1''; On removing one point from a compact space; Problems from earlier issues.


title: Numerical solutions to integrodifferential equations which interpolate heat and wave equations

abstract: In the paper we study some numerical solutions to Volterra equations which interpolate heat and wave equations. We present a scheme for construction of approximate numerical solutions for one and two spatial dimensions. Some solutions to the stochastic version of such equations (for one spatial dimension) are presented as well.


title: Heller triangulated categories

abstract: Let E be a Frobenius category, let_E_ denote its stable category. The shift functor on_E_ induces a first shift functor on the category of acyclic complexes with entries in_E_ by pointwise application. Shifting a complex by 3 positions yields a second shift functor on this category. Passing to the quotient modulo split acyclic complexes, Heller remarked that these two shift functors become isomorphic, via an isomorphism satisfying still a further compatibility. Moreover, Heller remarked that a choice of such an isomorphism determines a triangulation on_E_, except for the octahedral axiom. We generalize the notion of acyclic complexes such that the accordingly enlarged version of Heller's construction includes octahedra.


title: Injective cogenerators among operator bimodules

abstract: Given C$^*$-algebras $A$ and $B$ acting cyclically on Hilbert spaces $\h$ and $\k$, respectively, we characterize completely isometric $A,B$-bimodule maps from $\bkh$ into operator $A,B$-bimodules. We determine cogenerators in some classes of operator bimodules. For an injective cogenerator $X$ in a suitable category of operator $A,B$-bimodules we show: if $A$, regarded as a C$^*$-subalgebra of $\al(X)$ (adjointable left multipliers on $X$), is equal to its relative double commutant in $\al(X)$, then $A$ must be a W$^*$-algebra.


title: The Lyapunov function for Schr\"odinger operators with a periodic 2x2 matrix potential

abstract: We consider the Schr\"odinger operator on the real line with a 2x2 matrix valued 1-periodic potential. The spectrum of this operator is absolutely continuous and consists of intervals separated by gaps. We define a Lyapunov function which is analytic on a two sheeted Riemann surface. On each sheet, the Lyapunov function has the same properties as in the scalar case, but it has branch points, which we call resonances. We prove the existence of real as well as non-real resonances for specific potentials. We determine the asymptotics of the periodic and anti-periodic spectrum and of the resonances at high energy. We show that there exist two type of gaps: 1) stable gaps, where the endpoints are periodic and anti-periodic eigenvalues, 2) unstable (resonance) gaps, where the endpoints are resonances (i.e., real branch points of the Lyapunov function). We also show that periodic and anti-periodic spectrum together determine the spectrum of the matrix Hill operator.


title: Spectral estimates for Schr\"odinger operator with periodic matrix potentials on the real line

abstract: We consider the Schr\"odinger operator on the real line with a $N\ts N$ matrix valued periodic potential, N>1. The spectrum of this operator is absolutely continuous and consists of intervals separated by gaps. We define the Lyapunov function, which is analytic on an associated N-sheeted Riemann surface. On each sheet the Lyapunov function has the standard properties of the Lyapunov function for the scalar case. The Lyapunov function has (real or complex) branch points, which we call resonances. We determine the asymptotics of the periodic, anti-periodic spectrum and of the resonances at high energy (in terms of the Fourier coefficients of the potential). We show that there exist two types of gaps: i) stable gaps, i.e., the endpoints are periodic and anti-periodic eigenvalues, ii) unstable (resonance) gaps, i.e., the endpoints are resonances (real branch points). Moreover, the following results are obtained: 1) we define the quasimomentum as an analytic function on the Riemann surface of the Lyapunov function; various properties and estimates of the quasimomentum are obtained, 2) we construct the conformal mapping with real part given by the integrated density of states and imaginary part given by the Lyapunov exponent. We obtain various properties of this conformal mapping, which are similar to the case N=1, 3) we determine various new trace formulae for potentials, the integrated density of states and the Lyapunov exponent, 4) a priori estimates of gap lengths in terms of potentials are obtained.


title: One-Parameter Families of Operators in $\mathbb{C}$

abstract: We develop classes of one-parameter families (OPF) of operators on $C^\infty_c(\mathbb{C})$ which characterize the behavior of operators associated to the $\bar\partial$-problem in $L^2(\mathbb{C},e^{-2p})$ where $p$ is a subharmonic, nonharmonic polynomial. We prove that an order 0 OPF operator extends to a bounded operator from $L^q(\mathbb{C})$ to itself, $1<q<\infty$, with a bound that depends on $q$ and the degree of $p$ but not on the parameter $\tau$ or the coefficients of $p$. Last, we show that there is a one-to-one correspondence given by the partial Fourier transform in $\tau$ between OPF operators of order $m\leq 2$ and nonisotropic smoothing (NIS) operators of order $m\leq 2$ on polynomial models in $\mathbb{C}^2$.


title: Classifying Descents According to Parity

abstract: In this paper we refine the well-known permutation statistic "descent" by fixing parity of (exactly) one of the descent's numbers. We provide explicit formulas for the distribution of these (four) new statistics. We use certain differential operators to obtain the formulas. Moreover, we discuss connection of our new statistics to the Genocchi numbers. We also provide bijective proofs of some of our results.


title: Heat Equations in $\mathbb{R}\times\mathbb{C}$

abstract: Let $p:\mathbb{C}\to\mathbb{R}$ be a subharmonic, nonharmonic polynomial and $\tau$ a real parameter. Define $\bar{Z}_{\tau p} = \partial_{\bar z} + \tau p_{\bar z}$, a closed, densely-defined operator on $L^2(\mathbb{C})$. If $\Box_{\tau p} = \bar{Z}_{\tau p}\bar{Z}_{\tau p}^*$ and $\tau>0$, we solve the heat equation $ (\partial_s + \Box_{\tau p}) u =0$, $u(0,z) = f(z)$, on $(0,\infty)\times\mathbb{C}$. The solution comes via the heat semigroup $e^{-s\Box_{\tau p}}$, and we show that $u(s,z)$ is given as integration of the intial condition against a distributional kernel $H_{\tau p}(s,z,w)$. We prove that $H_{\tau p}$ is $C^\infty$ off the diagonal $\{(s,z,w):s=0 \text{and }z=w\}$ and that $H_{\tau p}$ and its derivatives have exponential decay.


title: Hilbert's Program Then and Now

abstract: Hilbert's program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to "dispose of the foundational questions in mathematics once and for all, "Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, "finitary" means, one should give proofs of the consistency of these axiomatic systems. Although Godel's incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial successes, and generated important advances in logical theory and meta-theory, both at the time and since. The article discusses the historical background and development of Hilbert's program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s.


title: Cohomology of 3-dimensional color Lie algebras

abstract: We develop the cohomology theory of color Lie superalgebras due to Scheunert--Zhang in a framework of nonhomogeneous quadratic Koszul algebras. In this approach, the Chevalley--Eilenberg complex of a color Lie algebra becomes a standard Koszul complex for its universal enveloping algebra. As an application, we calculate cohomologies with trivial coefficients of 3-dimensional color Lie superalgebras.


title: On the focusing critical semi-linear wave equation

abstract: The focusing critical wave equation in three dimensions exhibits a special class of static solutions which are linearly unstable. These solutions decay like an inverse first power. We construct small codimension one stable manifolds in the class of radial perturbations for these static solutions. We show that initial data on this manifold lead to global solutions. Moreover, the long-time behavior of these solutions can be described explicitly. In particular, the family of static solutions acts as an attractor for these solutions. On a technical level, we remark that the linearized operator exhibits a zero energy resonance, and we develop the tools needed for that case.


title: Perfect single error-correcting codes in the Johnson Scheme

abstract: Delsarte conjectured in 1973 that there are no nontrivial pefect codes in the Johnson scheme. Etzion and Schwartz recently showed that perfect codes must be k-regular for large k, and used this to show that there are no perfect codes correcting single errors in J(n,w) for n <= 50000. In this paper we show that there are no perfect single error-correcting codes for n <= 2^250.


title: Non-generic blow-up solutions for the critical focusing NLS in 1-d

abstract: This paper addresses the existence of codimension one stable manifolds for the pseudo-conformal blow-up solution for critical one-dimensional NLS. By the work of Perelman and Merle, Raphael, the blow-up rate of these solutions is far from the generic one. However, Bourgain,Wang and Perelman formulated the possibility of codimension one stable manifolds for the non-generic blow-up solutions. This paper established the existence of such manifolds, albeit only in the measurable category.


title: A remark on Littlewood-Paley theory for the distorted Fourier transform

abstract: We show that the usual Mikhlin multiplier theorem relative to the distorted Fourier transform holds in the range (3/2,3) at least for radial functions and potentials. The restricted range is due to the fact that the Schroedinger operator which gives rise to the distorted Fourier transform may have a zero energy resonance. Consequently, the Littlewood-Paley theorem is shown also only for the range (3/2,3).


title: Inductive limits of K-theoretic complexes with torsion coefficients

abstract: We present the first range result for the total K-theory of C*-algebras. This invariant has been used successfully to classify certain separable, nuclear C*-algebras of real rank zero. Our results complete the classification of the so-called AD algebras of real rank zero.


title: Valleys and the maximum local time for random walk in random environment

abstract: Let $\xi(n, x)$ be the local time at $x$ for a recurrent one-dimensional random walk in random environment after $n$ steps, and consider the maximum $\xi^*(n) = \max_x \xi(n,x)$. It is known that $\limsup \xi^*(n)/n$ is a positive constant a.s. We prove that $\liminf_n (\log\log\log n)\xi^*(n)/n$ is a positive constant a.s.; this answers a question of P. R\'ev\'esz (1990). The proof is based on an analysis of the {\em valleys /} in the environment, defined as the potential wells of record depth. In particular, we show that almost surely, at any time $n$ large enough, the random walker has spent almost all of its lifetime in the two deepest valleys of the environment it has encountered. We also prove a uniform exponential tail bound for the ratio of the expected total occupation time of a valley and the expected local time at its bottom.


title: Random-Turn Hex and other selection games

abstract: The game of Hex has two players who take turns placing stones of their respective colors on the hexagons of a rhombus-shaped hexagonal grid. Black wins by completing a crossing between two opposite edges, while White wins by completing a crossing between the other pair of opposite edges. Although ordinary Hex is famously difficult to analyze, Random-Turn Hex--in which players toss a coin before each turn to decide who gets to place the next stone--has a simple optimal strategy. It belongs to a general class of random-turn games--called selection games--in which the expected payoff when both players play the random-turn game optimally is the same as when both players play randomly. We also describe the optimal strategy and study the expected length of the game under optimal play for Random-Turn Hex and several other selection games.


title: Localized polynomial frames on the interval with Jacobi weights

abstract: As is well known the kernel of the orthogonal projector onto the polynomials of degree $n$ in $L^2(w_{\a,\b}, [-1, 1])$ with $w_{\a,\b}(t) = (1-t)^\a(1+t)^\b$ can be written in terms of Jacobi polynomials. It is shown that if the coefficients in this kernel are smoothed out by sampling a $C^\infty$ function then the resulting function has almost exponential (faster than any polynomial) rate of decay away from the main diagonal. This result is used for the construction of tight polynomial frames for $L^2(w_{\a,\b})$ with elements having almost exponential localization.


title: Exterior algebra methods for the construction of rational surfaces in the projective fourspace

abstract: The aim of this paper is to present a construction of smooth rational surfaces in projective fourspace with degree 12 and sectional genus 13. The construction is based on exterior algebra methods, finite field searches and standard deformation theory.


title: Constructing the hyperdefinable group from the group configuration

abstract: For simple theories with a strong version of amalgamation we obtain the canonical hyperdefinable group from the group configuration. This provides a generalization to simple theories of the group configuration theorem for stable theories.


title: Invariants of the coadjoint representation of Lie algebras in dimension n\leq 8

abstract: We describe the invariants for the coadjoint representation of all real Lie algebras with nontrivial Levi decomposition up to dimension eight.


title: Branching Brownian motion with "mild" Poissonian obstacles

abstract: We study a spatial branching model, where the underlying motion is Brownian motion and the branching is affected by a random collection of reproduction blocking sets called "mild" obstacles. We show that the quenched local growth rate is given by the branching rate in the `free' region . When the underlying motion is an arbitrary diffusion process, we obtain a dichotomy for the local growth that is independent of the Poissonian intensity. Finally, and most importantly, we obtain the asymptotics (in probability) of the quenched (when $d\le 2$) and the annealed (arbitrary d) global growth rates, and identify subexponential correction terms.


title: Finding discontinuities of piecewise-smooth functions

abstract: Formulas for stable differentiation of piecewise-smooth functions are given. The data are noisy values of these functions. The locations of discontinuity points and the sizes of the jumps across these points are not assumed known, but found stably from the noisy data.


title: On unbounded operators and applications

abstract: Assume that $Au=f,\quad (1)$ is a solvable linear equation in a Hilbert space $H$, $A$ is a linear, closed, densely defined, unbounded operator in $H$, which is not boundedly invertible, so problem (1) is ill-posed. It is proved that the closure of the operator $(A^*A+\a I)^{-1}A^*$, with the domain $D(A^*)$, where $\a>0$ is a constant, is a linear bounded everywhere defined operator with norm $\leq 1$. This result is applied to the variational problem $F(u):= ||Au-f||^2+\a ||u||^2=min$, where $f$ is an arbitrary element of $H$, not necessarily belonging to the range of $A$. Variational regularization of problem (1) is constructed, and a discrepancy principle is proved.


title: An inverse problem for parabolic equations

abstract: This paper is withdrawn.


title: Some families of componentwise linear monomial ideals

abstract: Let R=k[x_1,...,x_n] be a polynomial ring over a field k. Let J={j_1,...,j_t} be a subset of [n]={1,...,n}, and let m_J denote the ideal (x_{j_1},...,x_{j_t}) of R. Given subsets J_1,...,J_s of [n] and positive integers a_1,...,a_s, we study ideals of the form I=m_{J_1}^{a_1} \cap ... \cap m_{J_s}^{a_s}. These ideals arise naturally, for example, in the study of fat points, tetrahedral curves, and Alexander duality of squarefree monomial ideals. Our main focus is determining when ideals of this form are componentwise linear. Using polymatroidality, we prove that I is always componentwise linear when s <= 3 or when J_i \cup J_j = [n] for all i \neq j. When s >= 4, we give examples to show that I may or may not be componentwise linear. We apply these results to ideals of small sets of general fat points in multiprojective space, and we extend work of Fatabbi, Lorenzini, Valla, and the first author by computing the graded Betti numbers in the s=2 case. Since componentwise linear ideals satisfy the Multiplicity Conjecture of Herzog, Huneke, and Srinivasan when char(k)=0, our work also yields new cases in which this conjecture holds.


title: A New Way to Tabulate Knots

abstract: We introduce a new way to tabulate knots by representing knot diagrams using a pair of planar trees. This pair of trees have their edges labeled by integers, they have no valence 2 vertices, and they have the same number of valence 1 vertices. The number of valence 1 vertices of the trees is called the girth of the knot diagram. The classification problem of knots admitting girth 2 and 3 diagrams is studied. The planar tree pair representations of girth less than 4 for knot diagrams in Rolfsen's table are given.


title: Majorization for Changes in Angles Between Subspaces, Ritz Values, and Graph Laplacian Spectra

abstract: Many inequality relations between real vector quantities can be succinctly expressed as "weak (sub)majorization" relations. We explain these ideas and apply them in several areas: angles between subspaces, Ritz values, and graph Laplacian spectra, which we show are all surprisingly related... An application of our Ritz values weak majorization result for Laplacian graph spectra comparison is suggested, based on the possibility to interpret eigenvalues of the edge Laplacian of a given graph as Ritz values of the edge Laplacian of the complete graph. We prove that $ \sum_k |\lambda1_k - \lambda2_k| \leq n l,$ where $\lambda1_k$ and $\lambda2_k$ are all ordered elements of the Laplacian spectra of two graphs with the same $n$ vertices and with $l$ equal to the number of differing edges.


title: Normalized random measures driven by increasing additive processes

abstract: This paper introduces and studies a new class of nonparametric prior distributions. Random probability distribution functions are constructed via normalization of random measures driven by increasing additive processes. In particular, we present results for the distribution of means under both prior and posterior conditions and, via the use of strategic latent variables, undertake a full Bayesian analysis. Our class of priors includes the well-known and widely used mixture of a Dirichlet process.


title: A Bayesian \chi^2 test for goodness-of-fit

abstract: This article describes an extension of classical \chi^2 goodness-of-fit tests to Bayesian model assessment. The extension, which essentially involves evaluating Pearson's goodness-of-fit statistic at a parameter value drawn from its posterior distribution, has the important property that it is asymptotically distributed as a \chi^2 random variable on K-1 degrees of freedom, independently of the dimension of the underlying parameter vector. By examining the posterior distribution of this statistic, global goodness-of-fit diagnostics are obtained. Advantages of these diagnostics include ease of interpretation, computational convenience and favorable power properties. The proposed diagnostics can be used to assess the adequacy of a broad class of Bayesian models, essentially requiring only a finite-dimensional parameter vector and conditionally independent observations.


title: Central limit theorem for sequential Monte Carlo methods and its application to Bayesian inference

abstract: The term ``sequential Monte Carlo methods'' or, equivalently, ``particle filters,'' refers to a general class of iterative algorithms that performs Monte Carlo approximations of a given sequence of distributions of interest (\pi_t). We establish in this paper a central limit theorem for the Monte Carlo estimates produced by these computational methods. This result holds under minimal assumptions on the distributions \pi_t, and applies in a general framework which encompasses most of the sequential Monte Carlo methods that have been considered in the literature, including the resample-move algorithm of Gilks and Berzuini [J. R. Stat. Soc. Ser. B Stat. Methodol. 63 (2001) 127-146] and the residual resampling scheme. The corresponding asymptotic variances provide a convenient measurement of the precision of a given particle filter. We study, in particular, in some typical examples of Bayesian applications, whether and at which rate these asymptotic variances diverge in time, in order to assess the long term reliability of the considered algorithm.


title: Nonparametric Estimation of an Additive Model With a Link Function

abstract: This paper describes an estimator of the additive components of a nonparametric additive model with a known link function. When the additive components are twice continuously differentiable, the estimator is asymptotically normally distributed with a rate of convergence in probability of n^{-2/5}. This is true regardless of the (finite) dimension of the explanatory variable. Thus, in contrast to the existing asymptotically normal estimator, the new estimator has no curse of dimensionality. Moreover, the estimator has an oracle property. The asymptotic distribution of each additive component is the same as it would be if the other components were known with certainty.


title: From finite sample to asymptotics: A geometric bridge for selection criteria in spline regression

abstract: This paper studies, under the setting of spline regression, the connection between finite-sample properties of selection criteria and their asymptotic counterparts, focusing on bridging the gap between the two. We introduce a bias-variance decomposition of the prediction error, using which it is shown that in the asymptotics the bias term dominates the variability term, providing an explanation of the gap. A geometric exposition is provided for intuitive understanding. The theoretical and geometric results are illustrated through a numerical example.


title: Local linear spatial regression

abstract: A local linear kernel estimator of the regression function x\mapsto g(x):=E[Y_i|X_i=x], x\in R^d, of a stationary (d+1)-dimensional spatial process {(Y_i,X_i),i\in Z^N} observed over a rectangular domain of the form I_n:={i=(i_1,...,i_N)\in Z^N| 1\leq i_k\leq n_k,k=1,...,N}, n=(n_1,...,n_N)\in Z^N, is proposed and investigated. Under mild regularity assumptions, asymptotic normality of the estimators of g(x) and its derivatives is established. Appropriate choices of the bandwidths are proposed. The spatial process is assumed to satisfy some very general mixing conditions, generalizing classical time-series strong mixing concepts. The size of the rectangular domain I_n is allowed to tend to infinity at different rates depending on the direction in Z^N.


title: Determining the dimension of iterative Hessian transformation

abstract: The central mean subspace (CMS) and iterative Hessian transformation (IHT) have been introduced recently for dimension reduction when the conditional mean is of interest. Suppose that X is a vector-valued predictor and Y is a scalar response. The basic problem is to find a lower-dimensional predictor \eta^TX such that E(Y|X)=E(Y|\eta^TX). The CMS defines the inferential object for this problem and IHT provides an estimating procedure. Compared with other methods, IHT requires fewer assumptions and has been shown to perform well when the additional assumptions required by those methods fail. In this paper we give an asymptotic analysis of IHT and provide stepwise asymptotic hypothesis tests to determine the dimension of the CMS, as estimated by IHT. Here, the original IHT method has been modified to be invariant under location and scale transformations. To provide empirical support for our asymptotic results, we will present a series of simulation studies. These agree well with the theory. The method is applied to analyze an ozone data set.


title: Hybrid Shrinkage Estimators Using Penalty Bases For The Ordinal One-Way Layout

abstract: This paper constructs improved estimators of the means in the Gaussian saturated one-way layout with an ordinal factor. The least squares estimator for the mean vector in this saturated model is usually inadmissible. The hybrid shrinkage estimators of this paper exploit the possibility of slow variation in the dependence of the means on the ordered factor levels but do not assume it and respond well to faster variation if present. To motivate the development, candidate penalized least squares (PLS) estimators for the mean vector of a one-way layout are represented as shrinkage estimators relative to the penalty basis for the regression space. This canonical representation suggests further classes of candidate estimators for the unknown means: monotone shrinkage (MS) estimators or soft-thresholding (ST) estimators or, most generally, hybrid shrinkage (HS) estimators that combine the preceding two strategies. Adaptation selects the estimator within a candidate class that minimizes estimated risk. Under the Gaussian saturated one-way layout model, such adaptive estimators minimize risk asymptotically over the class of candidate estimators as the number of factor levels tends to infinity. Thereby, adaptive HS estimators asymptotically dominate adaptive MS and adaptive ST estimators as well as the least squares estimator. Local annihilators of polynomials, among them difference operators, generate penalty bases suitable for a range of numerical examples.


title: Estimation of nonlinear models with Berkson measurement errors

abstract: This paper is concerned with general nonlinear regression models where the predictor variables are subject to Berkson-type measurement errors. The measurement errors are assumed to have a general parametric distribution, which is not necessarily normal. In addition, the distribution of the random error in the regression equation is nonparametric. A minimum distance estimator is proposed, which is based on the first two conditional moments of the response variable given the observed predictor variables. To overcome the possible computational difficulty of minimizing an objective function which involves multiple integrals, a simulation-based estimator is constructed. Consistency and asymptotic normality for both estimators are derived under fairly general regularity conditions.


title: Bayesian-motivated tests of function fit and their asymptotic frequentist properties

abstract: We propose and analyze nonparametric tests of the null hypothesis that a function belongs to a specified parametric family. The tests are based on BIC approximations, \pi_{BIC}, to the posterior probability of the null model, and may be carried out in either Bayesian or frequentist fashion. We obtain results on the asymptotic distribution of \pi_{BIC} under both the null hypothesis and local alternatives. One version of \pi_{BIC}, call it \pi_{BIC}^*, uses a class of models that are orthogonal to each other and growing in number without bound as sample size, n, tends to infinity. We show that \sqrtn(1-\pi_{BIC}^*) converges in distribution to a stable law under the null hypothesis. We also show that \pi_{BIC}^* can detect local alternatives converging to the null at the rate \sqrt\log n/n. A particularly interesting finding is that the power of the \pi_{BIC}^*-based test is asymptotically equal to that of a test based on the maximum of alternative log-likelihoods. Simulation results and an example involving variable star data illustrate desirable features of the proposed tests.