title: On the stochastic calculus method for spins systems

abstract: In this note we show how to generalize the stochastic calculus method introduced by Comets and Neveu [Comm. Math. Phys. 166 (1995) 549-564] for two models of spin glasses, namely, the SK model with external field and the perceptron model. This method allows to derive quite easily some fluctuation results for the free energy in those two cases.


title: Closures of exponential families

abstract: The variation distance closure of an exponential family with a convex set of canonical parameters is described, assuming no regularity conditions. The tools are the concepts of convex core of a measure and extension of an exponential family, introduced previously by the authors, and a new concept of accessible faces of a convex set. Two other closures related to the information divergence are also characterized.


title: One-dependent trigonometric determinantal processes are two-block-factors

abstract: Given a trigonometric polynomial f:[0,1]\to[0,1] of degree m, one can define a corresponding stationary process {X_i}_{i\in Z} via determinants of the Toeplitz matrix for f. We show that for m=1 this process, which is trivially one-dependent, is a two-block-factor.


title: Asymptotics for hitting times

abstract: In this paper we characterize possible asymptotics for hitting times in aperiodic ergodic dynamical systems: asymptotics are proved to be the distribution functions of subprobability measures on the line belonging to the functional class {6pt} {-3mm}(A){6mm}F={F:R\to [0,1]:\left\lbrack \matrixF is increasing, null on ]-\infty, 0]; \noalignF is continuous and concave; \noalignF(t)\le t for t\ge 0.\right.}. {6pt} Note that all possible asymptotics are absolutely continuous.


title: Krein's spectral theory and the Paley-Wiener expansion for fractional Brownian motion

abstract: In this paper we develop the spectral theory of the fractional Brownian motion (fBm) using the ideas of Krein's work on continuous analogous of orthogonal polynomials on the unit circle. We exhibit the functions which are orthogonal with respect to the spectral measure of the fBm and obtain an explicit reproducing kernel in the frequency domain. We use these results to derive an extension of the classical Paley-Wiener expansion of the ordinary Brownian motion to the fractional case.


title: Criticality for branching processes in random environment

abstract: We study branching processes in an i.i.d. random environment, where the associated random walk is of the oscillating type. This class of processes generalizes the classical notion of criticality. The main properties of such branching processes are developed under a general assumption, known as Spitzer's condition in fluctuation theory of random walks, and some additional moment condition. We determine the exact asymptotic behavior of the survival probability and prove conditional functional limit theorems for the generation size process and the associated random walk. The results rely on a stimulating interplay between branching process theory and fluctuation theory of random walks.


title: Questions on surface braid groups

abstract: We provide new group presentations for surface braid groups which are positive. We study some properties of such presentations and we solve the conjugacy problem in a particular case.


title: Confidence intervals for nonhomogeneous branching processes and polymerase chain reactions

abstract: We extend in two directions our previous results about the sampling and the empirical measures of immortal branching Markov processes. Direct applications to molecular biology are rigorous estimates of the mutation rates of polymerase chain reactions from uniform samples of the population after the reaction. First, we consider nonhomogeneous processes, which are more adapted to real reactions. Second, recalling that the first moment estimator is analytically known only in the infinite population limit, we provide rigorous confidence intervals for this estimator that are valid for any finite population. Our bounds are explicit, nonasymptotic and valid for a wide class of nonhomogeneous branching Markov processes that we describe in detail. In the setting of polymerase chain reactions, our results imply that enlarging the size of the sample becomes useless for surprisingly small sizes. Establishing confidence intervals requires precise estimates of the second moment of random samples. The proof of these estimates is more involved than the proofs that allowed us, in a previous paper, to deal with the first moment. On the other hand, our method uses various, seemingly new, monotonicity properties of the harmonic moments of sums of exchangeable random variables.


title: Sectorial convergence of U-statistics

abstract: In this note we show that almost sure convergence to zero of symmetrized U-statistics indexed by a linear sector in Z^d_+ is equivalent to convergence along the diagonal of Z^d_+, as it is considered in Lata\la and Zinn [Ann. Probab. 28 (2000) 1908-1924]. Comparisons with similar results for sums of multi-indexed i.i.d. random variables are also made.


title: A strong invariance principle for associated random fields

abstract: In this paper we generalize Yu's [Ann. Probab. 24 (1996) 2079-2097] strong invariance principle for associated sequences to the multi-parameter case, under the assumption that the covariance coefficient u(n) decays exponentially as n\to \infty. The main tools that we use are the following: the Berkes and Morrow [Z. Wahrsch. Verw. Gebiete 57 (1981) 15-37] multi-parameter blocking technique, the Csorgo and Revesz [Z. Wahrsch. Verw. Gebiete 31 (1975) 255-260] quantile transform method and the Bulinski [Theory Probab. Appl. 40 (1995) 136-144] rate of convergence in the CLT.


title: An adaptation theory for nonparametric confidence intervals

abstract: A nonparametric adaptation theory is developed for the construction of confidence intervals for linear functionals. A between class modulus of continuity captures the expected length of adaptive confidence intervals. Sharp lower bounds are given for the expected length and an ordered modulus of continuity is used to construct adaptive confidence procedures which are within a constant factor of the lower bounds. In addition, minimax theory over nonconvex parameter spaces is developed.


title: Periodic boxcar deconvolution and diophantine approximation

abstract: We consider the nonparametric estimation of a periodic function that is observed in additive Gaussian white noise after convolution with a ``boxcar,'' the indicator function of an interval. This is an idealized model for the problem of recovery of noisy signals and images observed with ``motion blur.'' If the length of the boxcar is rational, then certain frequencies are irretreviably lost in the periodic model. We consider the rate of convergence of estimators when the length of the boxcar is irrational, using classical results on approximation of irrationals by continued fractions. A basic question of interest is whether the minimax rate of convergence is slower than for nonperiodic problems with 1/f-like convolution filters. The answer turns out to depend on the type and smoothness of functions being estimated in a manner not seen with ``homogeneous'' filters.


title: Singularities of divisors of low degree on abelian varieties

abstract: Building on previous work of Kollar, Ein, Lazarsfeld, and Hacon, we show that ample divisors of low degree on an abelian variety have mild singularities in case the abelian variety is simple or the degree of the polarization is two.


title: Robust nonparametric inference for the median

abstract: We consider the problem of constructing robust nonparametric confidence intervals and tests of hypothesis for the median when the data distribution is unknown and the data may contain a small fraction of contamination. We propose a modification of the sign test (and its associated confidence interval) which attains the nominal significance level (probability coverage) for any distribution in the contamination neighborhood of a continuous distribution. We also define some measures of robustness and efficiency under contamination for confidence intervals and tests. These measures are computed for the proposed procedures.


title: Special simplices and Gorenstein toric rings

abstract: Christos Athanasiadis studies an effective technique to show that Gorenstein sequences coming from compressed polytopes are unimodal. In the present paper we will use such the technique to find a rich class of Gorenstein toric rings with unimodal $h$-vectors arising from finite graphs.


title: Sieve empirical likelihood ratio tests for nonparametric functions

abstract: Generalized likelihood ratio statistics have been proposed in Fan, Zhang and Zhang [Ann. Statist. 29 (2001) 153-193] as a generally applicable method for testing nonparametric hypotheses about nonparametric functions. The likelihood ratio statistics are constructed based on the assumption that the distributions of stochastic errors are in a certain parametric family. We extend their work to the case where the error distribution is completely unspecified via newly proposed sieve empirical likelihood ratio (SELR) tests. The approach is also applied to test conditional estimating equations on the distributions of stochastic errors. It is shown that the proposed SELR statistics follow asymptotically rescaled \chi^2-distributions, with the scale constants and the degrees of freedom being independent of the nuisance parameters. This demonstrates that the Wilks phenomenon observed in Fan, Zhang and Zhang [Ann. Statist. 29 (2001) 153-193] continues to hold under more relaxed models and a larger class of techniques. The asymptotic power of the proposed test is also derived, which achieves the optimal rate for nonparametric hypothesis testing. The proposed approach has two advantages over the generalized likelihood ratio method: it requires one only to specify some conditional estimating equations rather than the entire distribution of the stochastic error, and the procedure adapts automatically to the unknown error distribution including heteroscedasticity. A simulation study is conducted to evaluate our proposed procedure empirically.


title: The Hough transform estimator

abstract: This article pursues a statistical study of the Hough transform, the celebrated computer vision algorithm used to detect the presence of lines in a noisy image. We first study asymptotic properties of the Hough transform estimator, whose objective is to find the line that ``best'' fits a set of planar points. In particular, we establish strong consistency and rates of convergence, and characterize the limiting distribution of the Hough transform estimator. While the convergence rates are seen to be slower than those found in some standard regression methods, the Hough transform estimator is shown to be more robust as measured by its breakdown point. We next study the Hough transform in the context of the problem of detecting multiple lines. This is addressed via the framework of excess mass functionals and modality testing. Throughout, several numerical examples help illustrate various properties of the estimator. Relations between the Hough transform and more mainstream statistical paradigms and methods are discussed as well.


title: Wavelet-based estimation with multiple sampling rates

abstract: We suggest an adaptive sampling rule for obtaining information from noisy signals using wavelet methods. The technique involves increasing the sampling rate when relatively high-frequency terms are incorporated into the wavelet estimator, and decreasing it when, again using thresholded terms as an empirical guide, signal complexity is judged to have decreased. Through sampling in this way the algorithm is able to accurately recover relatively complex signals without increasing the long-run average expense of sampling. It achieves this level of performance by exploiting the opportunities for near-real time sampling that are available if one uses a relatively high primary resolution level when constructing the basic wavelet estimator. In the practical problems that motivate the work, where signal to noise ratio is particularly high and the long-run average sampling rate may be several hundred thousand operations per second, high primary resolution levels are quite feasible.


title: Combinatorial and metric properties of Thompson's group T

abstract: We discuss metric and combinatorial properties of Thompson's group T, including normal forms for elements and unique tree pair diagram representatives. We relate these properties to those of Thompson's group F when possible, and highlight combinatorial differences between the two groups. We define a set of unique normal forms for elements of T arising from minimal factorizations of elements into natural pieces. We show that the number of carets in a reduced representative of an element of T estimates the word length, and that F is undistorted in T. We describe how to recognize torsion elements in T.


title: On optimal spatial subsample size for variance estimation

abstract: We consider the problem of determining the optimal block (or subsample) size for a spatial subsampling method for spatial processes observed on regular grids. We derive expansions for the mean square error of the subsampling variance estimator, which yields an expression for the theoretically optimal block size. The optimal block size is shown to depend in an intricate way on the geometry of the spatial sampling region as well as characteristics of the underlying random field. Final expressions for the optimal block size make use of some nontrivial estimates of lattice point counts in shifts of convex sets. Optimal block sizes are computed for sampling regions of a number of commonly encountered shapes. Numerical studies are performed to compare subsampling methods as well as procedures for estimating the theoretically best block size.


title: New approaches to Bayesian consistency

abstract: We use martingales to study Bayesian consistency. We derive sufficient conditions for both Hellinger and Kullback-Leibler consistency, which do not rely on the use of a sieve. Alternative sufficient conditions for Hellinger consistency are also found and demonstrated on examples.


title: On the posterior distribution of the number of components in a finite mixture

abstract: The posterior distribution of the number of components k in a finite mixture satisfies a set of inequality constraints. The result holds irrespective of the parametric form of the mixture components and under assumptions on the prior distribution weaker than those routinely made in the literature on Bayesian analysis of finite mixtures. The inequality constraints can be used to perform an ``internal'' consistency check of MCMC estimates of the posterior distribution of k and to provide improved estimates which are required to satisfy the constraints. Bounds on the posterior probability of k components are derived using the constraints. Implications on prior distribution specification and on the adequacy of the posterior distribution of k as a tool for selecting an adequate number of components in the mixture are also explored.


title: Equivalence theory for density estimation, Poisson processes and Gaussian white noise with drift

abstract: This paper establishes the global asymptotic equivalence between a Poisson process with variable intensity and white noise with drift under sharp smoothness conditions on the unknown function. This equivalence is also extended to density estimation models by Poissonization. The asymptotic equivalences are established by constructing explicit equivalence mappings. The impact of such asymptotic equivalence results is that an investigation in one of these nonparametric models automatically yields asymptotically analogous results in the other models.


title: Attributing a probability to the shape of a probability density

abstract: We discuss properties of two methods for ascribing probabilities to the shape of a probability distribution. One is based on the idea of counting the number of modes of a bootstrap version of a standard kernel density estimator. We argue that the simplest form of that method suffers from the same difficulties that inhibit level accuracy of Silverman's bandwidth-based test for modality: the conditional distribution of the bootstrap form of a density estimator is not a good approximation to the actual distribution of the estimator. This difficulty is less pronounced if the density estimator is oversmoothed, but the problem of selecting the extent of oversmoothing is inherently difficult. It is shown that the optimal bandwidth, in the sense of producing optimally high sensitivity, depends on the widths of putative bumps in the unknown density and is exactly as difficult to determine as those bumps are to detect. We also develop a second approach to ascribing a probability to shape, using Muller and Sawitzki's notion of excess mass. In contrast to the context just discussed, it is shown that the bootstrap distribution of empirical excess mass is a relatively good approximation to its true distribution. This leads to empirical approximations to the likelihoods of different levels of ``modal sharpness,'' or ``delineation,'' of modes of a density. The technique is illustrated numerically.


title: Bump hunting with non-Gaussian kernels

abstract: It is well known that the number of modes of a kernel density estimator is monotone nonincreasing in the bandwidth if the kernel is a Gaussian density. There is numerical evidence of nonmonotonicity in the case of some non-Gaussian kernels, but little additional information is available. The present paper provides theoretical and numerical descriptions of the extent to which the number of modes is a nonmonotone function of bandwidth in the case of general compactly supported densities. Our results address popular kernels used in practice, for example, the Epanechnikov, biweight and triweight kernels, and show that in such cases nonmonotonicity is present with strictly positive probability for all sample sizes n\geq3. In the Epanechnikov and biweight cases the probability of nonmonotonicity equals 1 for all n\geq2. Nevertheless, in spite of the prevalence of lack of monotonicity revealed by these results, it is shown that the notion of a critical bandwidth (the smallest bandwidth above which the number of modes is guaranteed to be monotone) is still well defined. Moreover, just as in the Gaussian case, the critical bandwidth is of the same size as the bandwidth that minimises mean squared error of the density estimator. These theoretical results, and new numerical evidence, show that the main effects of nonmonotonicity occur for relatively small bandwidths, and have negligible impact on many aspects of bump hunting.


title: Optimal designs for a class of nonlinear regression models

abstract: For a broad class of nonlinear regression models we investigate the local E- and c-optimal design problem. It is demonstrated that in many cases the optimal designs with respect to these optimality criteria are supported at the Chebyshev points, which are the local extrema of the equi-oscillating best approximation of the function f_0\equiv 0 by a normalized linear combination of the regression functions in the corresponding linearized model. The class of models includes rational, logistic and exponential models and for the rational regression models the E- and c-optimal design problem is solved explicitly in many cases.


title: Geometric isomorphism and minimum aberration for factorial designs with quantitative factors

abstract: Factorial designs have broad applications in agricultural, engineering and scientific studies. In constructing and studying properties of factorial designs, traditional design theory treats all factors as nominal. However, this is not appropriate for experiments that involve quantitative factors. For designs with quantitative factors, level permutation of one or more factors in a design matrix could result in different geometric structures, and, thus, different design properties. In this paper indicator functions are introduced to represent factorial designs. A polynomial form of indicator functions is used to characterize the geometric structure of those designs. Geometric isomorphism is defined for classifying designs with quantitative factors. Based on indicator functions, a new aberration criteria is proposed and some minimum aberration designs are presented.


title: Estimators of diffusions with randomly spaced discrete observations: A general theory

abstract: We provide a general method to analyze the asymptotic properties of a variety of estimators of continuous time diffusion processes when the data are not only discretely sampled in time but the time separating successive observations may possibly be random. We introduce a new operator, the generalized infinitesimal generator, to obtain Taylor expansions of the asymptotic moments of the estimators. As a special case, our results apply to the situation where the data are discretely sampled at a fixed nonrandom time interval. We include as specific examples estimators based on maximum-likelihood and discrete approximations such as the Euler scheme.


title: Nonparametric estimation of scalar diffusions based on low frequency data

abstract: We study the problem of estimating the coefficients of a diffusion (X_t,t\geq 0); the estimation is based on discrete data X_{n\Delta},n=0,1,...,N. The sampling frequency \Delta^{-1} is constant, and asymptotics are taken as the number N of observations tends to infinity. We prove that the problem of estimating both the diffusion coefficient (the volatility) and the drift in a nonparametric setting is ill-posed: the minimax rates of convergence for Sobolev constraints and squared-error loss coincide with that of a, respectively, first- and second-order linear inverse problem. To ensure ergodicity and limit technical difficulties we restrict ourselves to scalar diffusions living on a compact interval with reflecting boundary conditions. Our approach is based on the spectral analysis of the associated Markov semigroup. A rate-optimal estimation of the coefficients is obtained via the nonparametric estimation of an eigenvalue-eigenfunction pair of the transition operator of the discrete time Markov chain (X_{n\Delta},n=0,1,...,N) in a suitable Sobolev norm, together with an estimation of its invariant density.


title: Asymptotic properties of the maximum likelihood estimator in autoregressive models with Markov regime

abstract: An autoregressive process with Markov regime is an autoregressive process for which the regression function at each time point is given by a nonobservable Markov chain. In this paper we consider the asymptotic properties of the maximum likelihood estimator in a possibly nonstationary process of this kind for which the hidden state space is compact but not necessarily finite. Consistency and asymptotic normality are shown to follow from uniform exponential forgetting of the initial distribution for the hidden Markov chain conditional on the observations.


title: Asymptotic operating characteristics of an optimal change point detection in hidden Markov models

abstract: Let \xi_0,\xi_1,...,\xi_{\omega-1} be observations from the hidden Markov model with probability distribution P^{\theta_0}, and let \xi_{\omega},\xi_{\omega+1},... be observations from the hidden Markov model with probability distribution P^{\theta_1}. The parameters \theta_0 and \theta_1 are given, while the change point \omega is unknown. The problem is to raise an alarm as soon as possible after the distribution changes from P^{\theta_0} to P^{\theta_1}, but to avoid false alarms. Specifically, we seek a stopping rule N which allows us to observe the \xi's sequentially, such that E_{\infty}N is large, and subject to this constraint, sup_kE_k(N-k|N\geq k) is as small as possible. Here E_k denotes expectation under the change point k, and E_{\infty} denotes expectation under the hypothesis of no change whatever. In this paper we investigate the performance of the Shiryayev-Roberts-Pollak (SRP) rule for change point detection in the dynamic system of hidden Markov models. By making use of Markov chain representation for the likelihood function, the structure of asymptotically minimax policy and of the Bayes rule, and sequential hypothesis testing theory for Markov random walks, we show that the SRP procedure is asymptotically minimax in the sense of Pollak [Ann. Statist. 13 (1985) 206-227]. Next, we present a second-order asymptotic approximation for the expected stopping time of such a stopping scheme when \omega=1. Motivated by the sequential analysis in hidden Markov models, a nonlinear renewal theory for Markov random walks is also given.


title: Topology of words

abstract: We introduce a topological approach to words. Words are approximated by Gauss words and then studied up to natural modifications inspired by homotopy transformations of curves on the plane.


title: Connectivity properties of moment maps on based loop groups

abstract: For a compact, connected, simply-connected Lie group G, the loop group LG is the infinite-dimensional Hilbert Lie group consisting of H^1-Sobolev maps S^1-->G. The geometry of LG and its homogeneous spaces is related to representation theory and has been extensively studied. The space of based loops Omega(G) is an example of a homogeneous space of $LG$ and has a natural Hamiltonian T x S^1 action, where T is the maximal torus of G. We study the moment map mu for this action, and in particular prove that its regular level sets are connected. This result is as an infinite-dimensional analogue of a theorem of Atiyah that states that the preimage of a moment map for a Hamiltonian torus action on a compact symplectic manifold is connected. In the finite-dimensional case, this connectivity result is used to prove that the image of the moment map for a compact Hamiltonian T-space is convex. Thus our theorem can also be viewed as a companion result to a theorem of Atiyah and Pressley, which states that the image mu(Omega(G)) is convex. We also show that for the energy functional E, which is the moment map for the S^1 rotation action, each non-empty preimage is connected.


title: Algebraic shifting and graded Betti numbers

abstract: Let $S = K[x_1, ..., x_n]$ denote the polynomial ring in $n$ variables over a field $K$ with each $\deg x_i = 1$. Let $\Delta$ be a simplicial complex on $[n] = \{1, ..., n \}$ and $I_\Delta \subset S$ its Stanley--Reisner ideal. We write $\Delta^e$ for the exterior algebraic shifted complex of $\Delta$ and $\Delta^c$ for a combinatorial shifted complex of $\Delta$. Let $\beta_{ii+j}(I_{\Delta}) = \dim_K \Tor_i(K, I_\Delta)_{i+j}$ denote the graded Betti numbers of $I_\Delta$. In the present paper it will be proved that (i) $\beta_{ii+j}(I_{\Delta^e}) \leq \beta_{ii+j}(I_{\Delta^c})$ for all $i$ and $j$, where the base field is infinite, and (ii) $\beta_{ii+j}(I_{\Delta}) \leq \beta_{ii+j}(I_{\Delta^c})$ for all $i$ and $j$, where the base field is arbitrary. Thus in particular one has $\beta_{ii+j}(I_\Delta) \leq \beta_{ii+j}(I_{\Delta^{lex}})$ for all $i$ and $j$, where $\Delta^{lex}$ is the unique lexsegment simplicial complex with the same $f$-vector as $\Delta$ and where the base field is arbitrary.


title: Fully bounded noetherian rings and Frobenius extensions

abstract: Let $i: A\to R$ be a ring morphism, and $\chi: R\to A$ a right $R$-linear map with $\chi(\chi(r)s)=\chi(rs)$ and $\chi(1_R)=1_A$. If $R$ is a Frobenius $A$-ring, then we can define a trace map $\tr: A\to A^R$. If there exists an element of trace 1 in $A$, then $A$ is right FBN if and only if $A^R$ is right FBN and $A$ is right noetherian. The result can be generalized to the case where $R$ is an $I$-Frobenius $A$-ring, and the condition on the trace can be replaced by a weaker condition. We recover results of Garc\'{\i}a and del R\'{\i}o and by D\v{a}sc\v{a}lescu, Kelarev and Torrecillas on actions of group and Hopf algebras on FBN rings as special cases. We also obtain applications to extensions of Frobenius algebras, and to Frobenius corings with a grouplike element.


title: On the cohomology of relative Hopf modules

abstract: Let $H$ be a Hopf algebra over a field $k$, and $A$ an $H$-comodule algebra. The categories of comodules and relative Hopf modules are then Grothendieck categories with enough injectives. We study the derived functors of the associated Hom functors, and of the coinvariants functor, and discuss spectral sequences that connect them. We also discuss when the coinvariants functor preserves injectives.


title: Solving Polynomial Systems Equation by Equation

abstract: By a numerical continuation method called a diagonal homotopy we can compute the intersection of two positive dimensional solution sets of polynomial systems. This paper proposes to use this diagonal homotopy as the key step in a procedure to intersect general solution sets. Of particular interest is the special case where one of the sets is defined by a single polynomial equation. This leads to an algorithm for finding a numerical representation of the solution set of a system of polynomial equations introducing the equations one-by-one. Preliminary computational experiments show this approach can exploit the special structure of a polynomial system, which improves the performance of the path following algorithms.


title: Equivariant spectral triples for $SU_q(\ell+1)$ and the odd dimensional quantum spheres

abstract: We formulate the notion of equivariance of an operator with respect to a covariant representation of a C^*-dynamical system. We then use a combinatorial technique used by the authors earlier in characterizing spectral triples for SU_q(2) to investigate equivariant spectral triples for two classes of spaces: the quantum groups SU_q(\ell+1) for \ell>1, and the odd dimensional quantum spheres S_q^{2\ell+1} of Vaksman & Soibelman. In the former case, a precise characterization of the sign and the singular values of an equivariant Dirac operator acting on the L_2 space is obtained. Using this, we then exhibit equivariant Dirac operators with nontrivial sign on direct sums of multiple copies of the L_2 space. In the latter case, viewing S_q^{2\ell+1} as a homogeneous space for SU_q(\ell+1), we give a complete characterization of equivariant Dirac operators, and also produce an optimal family of spectral triples with nontrivial K-homology class.


title: Livsic Regularity For Markov Systems

abstract: We prove measurable Livsic theorems for dynamical systems modelled by Markov Towers. Our regularity results apply to solutions of cohomological equations posed on Henon-like mappings and a wide variety of nonuniformly hyperbolic systems. We consider both Holder cocycles and cocycles with singularities of prescribed order.


title: Duality of Tropical Curves

abstract: Duality of curves is one of the important aspects of the ``classical'' algebraic geometry. In this paper, using this foundation, the duality of tropical polynomials is constructed to introduce the duality of Non-Archimedean curves. Using the development of ``mechanism'' which is based on ``distortion'' values and their matrices, we discuss some aspects refereing to quadrics with respect to their dual objects. This topic includes also the induced dual subdivision of Newton Polytope and its compatible properties. Finally, a regularity of tropical curves in the duality sense is generally defined and, studied for families of tropical quadrics.


title: Closed subsets of the Weyl alcove and TQFTs

abstract: For an arbitrary simple Lie algebra $\g$ and an arbitrary root of unity $q,$ the closed subsets of the Weyl alcove of the quantum group $U_q(\g)$ are classified. Here a closed subset is a set such that if any two weights in the Weyl alcove are in the set, so is any weight in the Weyl alcove which corresponds to an irreducible summand of the tensor product of a pair of representations with highest weights the two original weights. The ribbon category associated to each closed subset admits a ``quotient'' by a trivial subcategory as described by Brugui\`eres and M\"uger, to give a modular category and a framed three-manifold invariant or a spin modular category and a spin three-manifold invariant. Most of these theories are equivalent to theories defined in previous work of the author, but several exceptional cases represent the first nontrivial examples to the author's knowledge of theories which contain noninvertible trivial objects, making the theory much richer and more complex.


title: Almost Sure Invariance Principle For Nonuniformly Hyperbolic Systems

abstract: We prove an almost sure invariance principle that is valid for general classes of nonuniformly expanding and nonuniformly hyperbolic dynamical systems. Discrete time systems and flows are covered by this result. In particular, the result applies to the planar periodic Lorentz flow with finite horizon. Statistical limit laws such as the central limit theorem, the law of the iterated logarithm, and their functional versions, are immediate consequences.


title: On the Homotopy Classification of Elliptic Operators on Manifolds with Edges

abstract: We obtain a classification of elliptic operators modulo stable homotopy on manifolds with edges (this is in some sense the simplest class of manifolds with nonisolated singularities). We show that the operators are classified by the K-homology group of the manifold. To this end, we construct exact sequence in elliptic theory isomorphic to the K-homology exact sequence. The main part of the proof is the computation of the boundary map using semiclassical quantization.


title: On Hessian measures for non-commuting vector fields

abstract: Previous results on Hessian measures by Trudinger and Wang are extended to the subelliptic case. Specifically we prove the weak continuity of the 2-Hessian operator, with respect to local L1 convergence, for a system of m vector fields of step 2 and derive gradient estimates for the corresponding k-convex functions, k=1,2....m, for arbitrary step.


title: Abelian functions for trigonal curves of degree four and determinantal formulae in purely trigonal case

abstract: This paper gives a natural extension of Frobenius-Stickelberger formula and Kiepert formula to Abelian functions for "Purely Trigonal Curves", especially, of degree four. A description on the theory of Abelian functions for general trigonal curves of degree four is also included.


title: The Chow ring of punctual Hilbert schemes of toric surfaces

abstract: Let X be a smooth projective toric surface, and H^d(X) the Hilbert scheme parametrising the length d zero-dimensional subschemes of X. We compute the rational Chow ring A^*(H^d(X))\_Q. More precisely, if T is the two-dimensional torus contained in X, we compute the rational equivariant Chow ring A\_T^*(H^d(X))\_Q and the usual Chow ring is an explicit quotient of the equivariant Chow ring. The case of some quasi-projective toric surfaces such as the affine plane are described by our method too.


title: The Complexity of Graph Pebbling

abstract: We explore the complexity of computing the optimal pebbling number and pebbling number of a graph. We show that deciding whether the optimal pebbling number of G is at most k is NP-complete and deciding whether the pebbling number of G is at most k is \Pi_2-complete. Additionally, we provide a characterization of when an unordered set of pebbling moves can be ordered to form a valid sequence of pebbling moves.


title: Generalizations of Siegel's and Picard's Theorems

abstract: We prove new theorems which are higher-dimensional generalizations of the classical theorems of Siegel on integral points on affine curves and of Picard on holomorphic maps from $\mathbb{C}$ to affine curves. These include results on integral points over varying number fields of bounded degree and results on Kobayashi hyperbolicity. We give a number of new conjectures describing, from our point of view, how we expect Siegel's and Picard's theorems to optimally generalize to higher dimensions. In some special cases we will be able to relate our conjectures to existing conjectures. In this respect, we are also led to formulate a new conjecture relating the absolute discriminant and height of an algebraic point on a projective variety over a number field.


title: Hyperplane sections and derived categories

abstract: We give a generalization of the theorem of Bondal and Orlov about the derived categories of coherent sheaves on intersections of quadrics revealing its relation to projective duality. As an application we describe the derived categories of coherent sheaves on Fano 3-folds of index 1 and degrees 12, 16 and 18.


title: Expected term bases for generic multivariate Hermite interpolation

abstract: The main goal of the paper is to find an effective estimation for the minimal number of generic points in $\mathbb K^2$ for which the basis for Hermite interpolation consists of the first $\ell$ terms (with respect to total degree ordering). As a result we prove that the space of plane curves of degree $d$ having generic singularities of multiplicity $\leq m$ has the expected dimension if the number of low order singularities (of multiplicity $k\leq12$) is greater then some $r(m,k)$. Additionally, the upper bounds for $r(m,k)$ are given.


title: Marginally trapped surfaces in L4 and an extended Weierstrass-Bryant representation

abstract: We give a conformal representation in terms of meromorphic data for a certain class of spacelike surfaces in the Lorentz-Minkowski 4-space L^4 whose mean curvature vector is either lightlike or zero at each point. This representation extends simultaneously the Weierstrass representation for minimal surfaces in Euclidean 3-space and for maximal surfaces in the Lorentz-Minkowski 3-space, and the Bryant representation for mean curvature one surfaces in the hyperbolic 3-space and in the de Sitter 3-space.


title: Mirror Congruence for Rational Points on Calabi-Yau Varieties

abstract: Wan conjectures that if $X$ and $Y$ form a strong mirror pair of Calabi-Yau varieties over a finite field $F_q$ with $q$ elements, then X and Y have the same number of $F_{q^k}$-rational points modulo $q^k$. We prove this conjecture under the condition that $Y$ can be obtained from $X$ through quotient construction.


title: On the generalization of theorems from Riemannian to Finsler Geometry I: Metric Theorems

abstract: A method to generalize results from Riemannian Geometry to Finsler geometry is presented. We use the method to generalize several results that involve only metric conditions. Between them we show that the topology induced by the Finsler structure is equivalent to the manifold topology, we provide a new proof of the Hopf-Rinow theorem in Finsler geometry and we prove the existence of the center of mass of a convex body when the non-symmetric distance function comes from a non-reversible Finsler function.


title: On the adiabatic perturbation theory for systems with impacts

abstract: We justify an applicability of the adiabatic perturbation theory for three well known systems with impacts: a ball between two slowly moving walls, a slowly irregular waveguide, and an adiabatic piston.


title: Pinching Holomorphic Correspondences

abstract: For certain classes of holomorphic correspondences which are matings between Kleinian groups and polynomials, we prove the existence of pinching deformations, analogous to Maskit's deformations of Kleinian groups which pinch loxodromic elements to parabolic elements. We apply our results to establish the existence of matings between quadratic maps and the modular group, for a large class of quadratic maps, and of matings between the quadratic map $z\to z^2$ and circle-packing representations of the free product $C\_2*C\_3$ of cyclic groups of order 2 and 3.


title: Surfaces in three-dimensional Lie groups

abstract: We derive the Weierstrass (or spinor) representation for surfaces in three-dimensional Lie groups Nil, \tilde{SL}_2, and Sol with Thurston's geometries and establish the generating equations for minimal surfaces in these groups. By using the spectral properties of the corresponding Dirac operators we find analogs of the Willmore functional for surfaces in these geometries.


title: On the Weyl Representation of Metaplectic Operators

abstract: We study the Weyl representation of metaplectic operators associated to a symplectic matrix having no non-trivial fixed point, and justify a formula suggested in earlier work of Mehlig and Wilkinson. We give precise calculations of the associated Maslov-type indices; these indices intervene in a crucial way in Gutzwiller's formula of semiclassical mechanics, and are simply related to an index defined by Conley and Zehnder.


title: Extended Weyl Calculus and Application to the Phase-Space Schr\"{o}dinger Equation

abstract: We show that the Schr\"{o}dinger equation in phase space proposed by Torres-Vega and Frederick is canonical in the sense that it is a natural consequence of the extended Weyl calculus obtained by letting the Heisenberg group act on functions (or half-densities) defined on phase space. This allows us, in passing, to solve rigorously the TF equation for all quadratic Hamiltonians.


title: Splitting criterion for reflexive sheaves

abstract: The purpose of this paper is to study the structure of reflexive sheaves over projective spaces through hyperplane sections. We give a criterion for a reflexive sheaf to split into a direct sum of line bundles. An application to the theory of free hyperplane arrangements is also given.


title: Limit theorems for bipower variation in financial econometrics

abstract: In this paper we provide an asymptotic analysis of generalised bipower measures of the variation of price processes in financial economics. These measures encompass the usual quadratic variation, power variation and bipower variations which have been highlighted in recent years in financial econometrics. The analysis is carried out under some rather general Brownian semimartingale assumptions, which allow for standard leverage effects.


title: Bayesian alignment using hierarchical models, with applications in protein bioinformatics

abstract: An important problem in shape analysis is to match configurations of points in space filtering out some geometrical transformation. In this paper we introduce hierarchical models for such tasks, in which the points in the configurations are either unlabelled, or have at most a partial labelling constraining the matching, and in which some points may only appear in one of the configurations. We derive procedures for simultaneous inference about the matching and the transformation, using a Bayesian approach. Our model is based on a Poisson process for hidden true point locations; this leads to considerable mathematical simplification and efficiency of implementation. We find a novel use for classic distributions from directional statistics in a conditionally conjugate specification for the case where the geometrical transformation includes an unknown rotation. Throughout, we focus on the case of affine or rigid motion transformations. Under a broad parametric family of loss functions, an optimal Bayesian point estimate of the matching matrix can be constructed, that depends only on a single parameter of the family. Our methods are illustrated by two applications from bioinformatics. The first problem is of matching protein gels in 2 dimensions, and the second consists of aligning active sites of proteins in 3 dimensions. In the latter case, we also use information related to the grouping of the amino acids. We discuss some open problems and suggest directions for future work.


title: Random walks in a Dirichlet environment

abstract: This paper states a law of large numbers for a random walk in a random iid environment on ${\mathbb Z}^d$, where the environment follows some Dirichlet distribution. Moreover, we give explicit bounds for the asymptotic velocity of the process and also an asymptotic expansion of this velocity at low disorder.


title: The large sieve, monodromy and zeta functions of curves

abstract: We prove a large sieve statement for the average distribution of Frobenius conjugacy classes in arithmetic monodromy groups over finite fields. As a first application we prove a stronger version of a result of Chavdarov on the ``generic'' irreducibility of the numerator of the zeta functions in a family of curves with large monodromy.


title: On pointwise adaptive curve estimation with a degenerate random design

abstract: We consider the nonparametric regression with a random design model, and we are interested in the adaptive estimation of the regression at a point $x\_0$ where the design is degenerate. When the design density is $\beta$-regularly varying at $x\_0$ and $f$ has a smoothness $s$ in the H\"{o}lder sense, we know from Ga\"{i}ffas (2004)\nocite{gaiffas04a} that the minimax rate is equal to $n^{-s/(1+2s+\beta)} \ell(1/n)$ where $\ell$ is slowly varying. In this paper we provide an estimator which is adaptive both on the design and the regression function smoothness and we show that it converges with the rate $(\log n/n)^{s/(1+2s+\beta)} \ell(\log n/n)$. The procedure consists of a local polynomial estimator with a Lepski type data-driven bandwidth selector similar to the one in Goldenshluger and Nemirovski (1997)\nocite{goldenshluger\_nemirovski97} or Spokoiny (1998)\nocite{spok98}. Moreover, we prove that the payment of a $\log$ in this adaptive rate compared to the minimax rate is unavoidable.


title: Minimum representing measures in Idempotent Analysis

abstract: We show that the set of max-plus measures representing a given max-plus harmonic vector has a least element. This may be viewed as an analogue of the uniqueness of the integral representation of harmonic functions in Potential Theory. As an application, we show how the distance-like functions of a metric space can be expressed in terms of the Busemann points of the metric boundary.


title: Distance Configurations of Points in a Plane with a Galois group that is not Soluble

abstract: We have conjectured that the constraint equations defined by a generic Laman graph are not soluble by radicals when the graph is 3-connected. We prove that this conjecture follows from the following simpler conjecture: the constraint equations defined by a generic Laman graph are not soluble by radicals if the graph does not contain a proper subgraph which is itself a Laman graph.


title: Siegel-Veech constants in H(2)

abstract: Abelian differentials on Riemann surfaces can be seen as translation surfaces, which are flat surfaces with cone-type singularities. Closed geodesics for the associated flat metrics form cylinders whose number under a given maximal length generically has quadratic asymptotics in this length, with a common coefficient constant for the quadratic asymptotics called a Siegel--Veech constant which is shared by almost all surfaces in each moduli space of translation surfaces. Square-tiled surfaces are specific translation surfaces which have their own quadratic asymptotics for the number of cylinders of closed geodesics. It is an interesting question whether, as n tends to infinity, the Siegel--Veech constants of square-tiled surfaces with n tiles tend to the generic constants of the ambient moduli space. We prove that this is the case in the moduli space H(2) of translation surfaces of genus two with one singularity.


title: Spectral estimates for degenerate critical levels

abstract: We establish spectral estimates at a critical energy level for $h$-pseudors . Via a trace formula, we compute the contribution of isolated (non-extremum) critical points under a condition of "real principal type". The main result holds for all dimensions, for a singularity of any finite order and can be invariantly expressed in term of the geometry of the singularity. When the singularities are not integrable on the energy surface the results are significative since the order w.r.t. $h$ of the spectral distributions are bigger than in the regular setting.


title: Wandering Fatou components on p-adic polynomial dynamics

abstract: We will study perturbations of the polynomials $P_\lambda$, of the form $$Q_\lambda= P_\lambda +Q$$ in the space of centered monic polynomials, where $P_\lambda$ is the polynomial family defined by $$P_{\lambda}(z)=\frac{\lambda}{p}z^p+(1-\frac{\lambda}{p}) z ^{p+1}$$ with $\lambda \in \Lambda= \{z: |z-1| <1\}$, studied by Benedetto, who showed that for a dense set of parameters, the polynomials $P_\lambda$ have a wandering disc contained in the filled Julia set. We will show an analogous result for the family $Q_\lambda$, obtaining the following consequence: The polynomials $P_\lambda$ belong to $\bar{\mathrm{E}}_{p+1}$ where $\mathrm{E}_{p+1}$ denotes the set of polynomials that have a wandering disc in the filled Julia set, in the space of centered monic polynomials of degree $p+1$.


title: Rational Formulas for Traces in zero-dimensional Algebras

abstract: We present a rational expression for the trace of the multiplication map M_r in a finite-dimensional algebra of the form A:=K[x_1,...,x_n]/I in terms of the generalized Chow form of I. Here, I is a zero-dimensional ideal of K[x_1,...,x_n] is a zero-dimensional ideal, K is a field of characteristic zero, and r(x_1,..., x_n) a rational function whose denominator is not a zero divisor in A. If I is a complete intersection in the torus, we get numerator and denominator formulas for traces in terms of sparse resultants.


title: Analytic cell decomposition and analytic motivic integration

abstract: The main results of this paper are a Cell Decomposition Theorem for Henselian valued fields with analytic structure in an analytic Denef-Pas language, and its application to analytic motivic integrals and analytic integrals over $\FF_q((t))$ of big enough characteristic. To accomplish this, we introduce a general framework for Henselian valued fields $K$ with analytic structure, and we investigate the structure of analytic functions in one variable, defined on annuli over $K$. We also prove that, after parameterization, definable analytic functions are given by terms. The results in this paper pave the way for a theory of \emph{analytic} motivic integration and \emph{analytic} motivic constructible functions in the line of R. Cluckers and F. Loeser [\emph{Fonctions constructible et int\'egration motivic I}, Comptes rendus de l'Acad\'emie des Sciences, {\bf 339} (2004) 411 - 416].


title: The Essential Norm of Composition Operator between Generalized Bloch Spaces in Polydiscs and its Applications

abstract: Let $U^{n}$ be the unit polydisc of ${\Bbb C}^{n}$ and $\phi=(\phi_1, >..., \phi_n)$ a holomorphic self-map of $U^{n}.$ By ${\cal B}^p(U^{n})$, ${\cal B}^p_{0}(U^{n})$ and ${\cal B}^p_{0*}(U^{n})$ denote the $p$-Bloch space, Little $p$-Bloch space and Little star $p$-Bloch space in the unit polydisc $U^n$ respectively, where $p, q>0$. This paper gives the estimates of the essential norms of bounded composition operators $C_{\phi}$ induced by $\phi$ between ${\cal B}^p(U^n)$ (${\cal B}^p_{0}(U^n)$ or ${\cal B}^p_{0*}(U^n)$) and ${\cal B}^q(U^n)$ (${\cal B}^q_{0}(U^n)$ or ${\cal B}^q_{0*}(U^n)$). As their applications, some necessary and sufficient conditions for the bounded composition operators $C_{\phi}$ to be compact from ${\cal B}^p(U^n)$ $({\cal B}^p_{0}(U^n)$ or ${\cal B}^p_{0*}(U^n))$ into ${\cal B}^q(U^n)$ (${\cal B}^q_{0}(U^n)$ or ${\cal B}^q_{0*}(U^n)$) are obtained.


title: Existence and Weyl's law for spherical cusp forms

abstract: Let G be a split adjoint semisimple group over Q and K a maximal compact subgroup of the real points G(R). We shall give a uniform, short and essentially elementary proof of the Weyl law for cusp forms on congruence quotients of G(R)/K. This proves a conjecture of Sarnak for Q-split groups, previously known only for the case of PGL(n). The key idea amounts to a new type of simple trace formula.


title: The Vertex-Face Correspondence and the Elliptic 6j-symbols

abstract: A new formula connecting the elliptic $6j$-symbols and the fusion of the vertex-face intertwining vectors is given. This is based on the identification of the $k$ fusion intertwining vectors with the change of base matrix elements from Sklyanin's standard base to Rosengren's natural base in the space of even theta functions of order $2k$. The new formula allows us to derive various properties of the elliptic $6j$-symbols, such as the addition formula, the biorthogonality property, the fusion formula and the Yang-Baxter relation. We also discuss a connection with the Sklyanin algebra based on the factorised formula for the $L$-operator.


title: Fusion of Baxter's Elliptic $R$-matrix and the Vertex-Face Correspondence

abstract: The matrix elements of the $2\times 2$ fusion of Baxter's elliptic $R$-matrix, $R^{(2,2)}(u)$, are given explicitly. Based on a note by Jimbo, we give a formula which show that $R^{(2,2)}(u)$ is gauge equivalent to Fateev's $R$-matrix for the 21-vertex model. Then the crossing symmetry formula for $R^{(2,2)}(u)$ is derived. We also consider the fusion of the vertex-face correspondence relation and derive a crossing symmetry relation between the fusion of the intertwining vectors and their dual vectors.


title: A Conjecture about Raising Operators for Macdonald Polynomials

abstract: A multivariable hypergeometric-type formula for raising operators of the Macdonald polynomials is conjectured. It is proved that this agrees with Jing and Jozefiak's expression for the two-row Macdonald polynomials, and also with Lassalle and Schlosser's formula for partitions with length three.


title: Random Trees and General Branching Processes

abstract: We consider a model of random tree growth, where at each time unit a new vertex is added and attached to an already existing vertex chosen at random. The probability with which a vertex with degree $k$ is chosen is proportional to $w(k)$, where the weight function $w$ is the parameter of the model. In the papers of B. Bollobas, O. Riordan, J. Spencer, G. Tusnady, and, independently, Mori, the asymptotic degree distribution is obtained for a model that is equivalent to the special case of ours, when the weight function is linear. The proof therein strongly relies on the linear choice of $w$. We give the asymptotical degree distribution for a wide range of weight functions. Moreover, we provide the asymptotic distribution of the tree itself as seen from a randomly selected vertex. The latter approach gives greater insight to the limiting structure of the tree. Our proof relies on the fact that considering the evolution of the random tree in continuous time, the process may be viewed as a general branching process, this way classical results can be applied.


title: Ideal classes of three dimensional Sklyanin algebras

abstract: In this paper we classify graded reflexive ideals, up to isomorphism and shift, in certain three dimensional Artin-Schelter regular algebras. This classification is similar to the classification of right ideals in the first Weyl algebra, a problem that was completely settled recently. The situation we consider is substantially more complicated however.


title: Ideal classes of three dimensional Artin-Schelter regular algebras

abstract: We determine the possible Hilbert functions of graded rank one torsion free modules over three dimensional Artin-Schelter regular algebras. It turns out that, as in the commutative case, they are related to Castelnuovo functions. From this we obtain an intrinsic proof that the space of torsion free rank one modules on a non-commutative projective plane is connected. A different proof of this fact, based on deformation theoretic methods and the known commutative case has recently been given by Nevins and Stafford. For the Weyl algebra it was proved by Wilson.


title: On incidence between strata of the Hilbert scheme of points on P^2

abstract: The Hilbert scheme of n points in the projective plane has a natural stratification obtained from the associated Hilbert series. In general, the precise inclusion relation between the closures of the strata is still unknown. Guerimand studied this problem for strata whose Hilbert series are as close as possible. Preimposing a certain technical condition he obtained necessary and sufficient conditions for the incidence of such strata. In this paper we present a new approach, based on deformation theory, to Guerimand's result. This allows us to show that the technical condition is not necessary.


title: On the rank of quadratic twists of elliptic curvers over function fields

abstract: We prove quantitative upper bounds for the number of quadratic twists of a given elliptic curve $E/\Fp_q(C)$ over a function field over a finite field that have rank $\geq 2$, and for their average rank. The main tools are constructions and results of Katz and uniform versions of the Chebotarev density theorem for varieties over finite fields. Moreover, we conditionally derive a bound in some cases where the degree of the conductor is unbounded.


title: Universal abelian covers of certain surface singularities

abstract: Every normal complex surface singularity with $\mathbb Q$-homology sphere link has a universal abelian cover. It has been conjectured by Neumann and Wahl that the universal abelian cover of a rational or minimally elliptic singularity is a complete intersection singularity defined by a system of ``splice diagram equations''. In this paper we introduce a Neumann-Wahl system, which is an analogue of the system of splice diagram equations, and prove the following. If $(X,o)$ is a rational or minimally elliptic singularity, then its universal abelian cover $(Y,o)$ is an equisingular deformation of an isolated complete intersection singularity $(Y_0,o)$ defined by a Neumann-Wahl system. Furthermore, if $G$ denotes the Galois group of the covering $Y \to X$, then $G$ also acts on $Y_0$ and $X$ is an equisingular deformation of the quotient $Y_0/G$.


title: Stabilizers and orbits of circle-valued smooth functions

abstract: Let $M$ be a smooth compact manifold and $P$ be either $R^1$ or $S^1$. There is a natural action of the groups $Diff(M)$ and $Diff(M) \times Diff(P)$ on the space of smooth mappings $C^{\infty}(M,P)$. For $f\in C^{\infty}(M,P)$ let $S_f$, $S_{MP}$, $O_f$, and $O_{MP}$ be the stabilizers and orbits of $f$ under these actions. Recently, the author proved that under mild conditions on $f\in C^{\infty}(M,R^1)$ the corresponding stabilizers and orbits are homotopy equivalent: $S_{MR} \sim S_{M}$ and $O_{MR} \sim O_M$. These results are extended here to the actions on $C^{\infty}(M,S^1)$. It is proved that under the similar conditions (that are rather typical) we have that $S_{MS}\sim S_M$ and $O_{MS} \sim O_M \times S^1$.


title: Spherical transform and Jacobi polynomials on root systems of type BC

abstract: Let $R$ be a root system of type BC in $\mathfrak a=\mathbb R^r$ of general positive multiplicity. We introduce certain canonical weight function on $\mathbb R^r$ which in the case of symmetric domains corresponds to the integral kernel of the Berezin transform. We compute its spherical transform and prove certain Bernstein-Sato type formula. This generalizes earlier work of Unterberger-Upmeier, van Dijk-Pevsner, Neretin and the author. Associated to the weight functions there are Heckman-Opdam orthogonal polynomials of Jacobi type on the compact torus, after a change of variables they form an orthogonal system on the non-compact space $\mathfrak a$. We consider their spherical transform and prove that they are the Macdonald-Koornwinder polynomials multiplied by the spherical transform of the canonical weight function. For rank one case this was proved earlier by Koornwinder.


title: Metric stability for random walks (with applications in renormalization theory)

abstract: Consider deterministic random walks F: I x Z -> I x Z, defined by F(x,n)=(f(x), K(x)+n), where f is an expanding Markov map on the interval I and K: I->Z. We study the universality (stability) of ergodic (for instance, recurrence and transience), geometric and multifractal properties in the class of perturbations of the type G(x,n)=(f_n(x), L(x,n)+n) which are topologically conjugate with F and f_n are expanding maps exponentially close to f when |n| goes to infinity. We give applications of these results in the study of the regularity of conjugacies between (generalized) infinitely renormalizable maps of the interval and the existence of wild attractors for one-dimensional maps.


title: On the testability of the CAR assumption

abstract: In recent years a popular nonparametric model for coarsened data is an assumption on the coarsening mechanism called coarsening at random (CAR). It has been conjectured in several papers that this assumption cannot be tested by the data, that is, the assumption does not restrict the possible distributions of the data. In this paper we will show that this conjecture is not always true; an example will be current status data. We will also give conditions when the conjecture is true, and in doing so, we will introduce a generalized version of the CAR assumption. As an illustration, we retrieve the well-known result that the CAR assumption cannot be tested in the case of right-censored data.


title: Mixed Poisson approximation of node depth distributions in random binary search trees

abstract: We investigate the distribution of the depth of a node containing a specific key or, equivalently, the number of steps needed to retrieve an item stored in a randomly grown binary search tree. Using a representation in terms of mixed and compounded standard distributions, we derive approximations by Poisson and mixed Poisson distributions; these lead to asymptotic normality results. We are particularly interested in the influence of the key value on the distribution of the node depth. Methodologically our message is that the explicit representation may provide additional insight if compared to the standard approach that is based on the recursive structure of the trees. Further, in order to exhibit the influence of the key on the distributional asymptotics, a suitable choice of distance of probability distributions is important. Our results are also applicable in connection with the number of recursions needed in Hoare's [Comm. ACM 4 (1961) 321-322] selection algorithm Find.


title: Unipotent elements in small characteristic

abstract: We make a study of unipotent elements in a connected reductive group over an algebraically closed field with emphasis on the case where the characteristic is a bad prime. We try to see how much of the theory of Dynkin-Kostant extends to this case. We also study the variety of Borel subgroups containing a unipotent element and prove a purity property for its cohomology in certain cases in bad characteristic.


title: On the Castelnuovo-Mumford regularity of ideals, in dimension 2

abstract: We give a bound on the Castelnuovo-Mumford regularity of a homogeneous ideals I, in a polynomial ring A, in terms of number of variables and the degrees of generators, when the dimension of A/I is at most two. This bound improves the one obtained by Caviglia and Sbarra in this case. In the continuation of the examples constructed by Clare D'Cruz and the first author, we use families of monomial curves to construct homogeneous ideals showing that these bounds are quite sharp.


title: On Fractional Tempered Stable Motion

abstract: Fractional tempered stable motion (fTSm)} is defined and studied. FTSm has the same covariance structure as fractional Brownian motion, while having tails heavier than Gaussian but lighter than stable. Moreover, in short time it is close to fractional stable L\'evy motion, while it is approximately fractional Brownian motion in long time. A series representation of fTSm is derived and used for simulation and to study some of its sample path properties.


title: On Layered Stable Processes

abstract: Layered stable (multivariate) distributions and processes are defined and studied. A layered stable process combines stable trends of two different indices, one of them possibly Gaussian. More precisely, in short time, it is close to a stable process while, in long time, it approximates another stable (possibly Gaussian) process. We also investigate the absolute continuity of a layered stable process with respect to its short time limiting stable process. A series representation of layered stable processes is derived, giving insights into both the structure of the sample paths and of the short and long time behaviors. This series is further used for sample paths simulation.


title: A Quotient of the Set [BG, BU(n)] for a Finite Group G of Small Rank

abstract: We construct a natural map from the set [BG,BU(n)] into a set of characters of the Sylow p-subgroups of G and prove that this natural map is a surjection for all finite groups G of rank two. We show, furthermore, that this same natural map is in fact a bijection for two types of finite groups G: those with periodic cohomology and those of rank two with odd order.


title: Weighted Decay Estimates for the Wave Equation with Radially Symmetric Data

abstract: We study the homogeneous wave equation with radially symmetric data in four or higher space dimensions. Using some new integral representations for the Riemann operator, we establish weighted decay estimates for the solution.


title: Pseudo-random graphs

abstract: Random graphs have proven to be one of the most important and fruitful concepts in modern Combinatorics and Theoretical Computer Science. Besides being a fascinating study subject for their own sake, they serve as essential instruments in proving an enormous number of combinatorial statements, making their role quite hard to overestimate. Their tremendous success serves as a natural motivation for the following very general and deep informal questions: what are the essential properties of random graphs? How can one tell when a given graph behaves like a random graph? How to create deterministically graphs that look random-like? This leads us to a concept of pseudo-random graphs and the aim of this survey is to provide a systematic treatment of this concept.


title: Qd(p)-free rank two finite groups act freely on a homotopy product of two spheres

abstract: In this paper we show that most rank two groups act freely on a finite homotopy product of two spheres. This makes new progress on a conjecture by Benson and Carlson which states that a finite group G acts freely on a finite complex with the homotopy type of n spheres if the rank of G is less than or equal to n. Recalling that Qd(p) is the semidirect product of a rank two elementary abelian p-group with SL(2,p), we show that a rank two finite group acts freely on a finite CW-complex homotopic to the product of two spheres if, it does not contain any subquotient isomorphic to Qd(p) for any odd prime p.


title: On the dimension theory of von Neumann algebras

abstract: In this paper we study three aspects of (P(M)/~), the set of Murray-von Neumann equivalence classes of projections in a von Neumann algebra M. First we determine the topological structure that (P(M)/~) inherits from the operator topologies on M. Then we show that there is a version of the center-valued trace which extends the dimension function, even when M is not sigma-finite. Finally we prove that (P(M)/~) is a complete lattice, a fact which has an interesting reformulation in terms of representations.


title: Can you hear the fractal dimension of a drum?

abstract: Electromagnetics and Acoustics on a bounded domain are governed by the Helmholtz's equation; when such a domain is a [pre-]fractal described by means of a `just-touching' Iterated Function System (IFS) spectral decomposition of the Helmholtz's operator is self-similar as well. Renormalization of the Green's function proves this feature and isolates a subclass of eigenmodes, called ``diaperiodic'', whose waveforms and eigenvalues can be recursively computed applying the IFS to the initiator's eigenspaces. The definition of ``spectral dimension'' is given and proven to depend on diaperiodic modes only for a wide class of IFSs. Finally, asymptotic equivalence between box-counting and spectral dimensions in the fractal limit is proven. As the `self-similar' spectrum of the fractal is enough to compute box-counting dimension, positive answer is given to title question.


title: A KAM phenomenon for singular holomorphic vector fields

abstract: Let $X$ be a germ of holomorphic vector field at the origin of ${\bf C}^n$ and vanishing there. We assume that $X$ is a "nondegenerate" good perturbation of a singular completely integrable system. The latter is associated to a family of linear diagonal vector fields which is assumed to have nontrivial polynomial first integrals. We show that $X$ admits many invariant analytic subsets in a neighborhood of the origin. These are biholomorphic to the intersection of a polydisc with an analytic set of the form ``resonant monomials = constants". Such a biholomorphism conjugates the restriction of $X$ to one of its invariant varieties to the restriction of a linear diagonal vector field to a toric variety. Moreover, we show that the set of "frequencies" defining the invariant sets is of positive measure.


title: Exceptional values in holomorphic families of entire functions

abstract: We study Picard's exceptional values of holomorphic one-parametric families of entire functions. Our first result shows that the set of parameter values for which zero is a Picard value can be an arbitrary closed set of zero logarithmic capacity. This answers a question of Julia. Second, we show that if a function has a Picard exceptional value for all values of parameter in some region of the plane then this Picard value is a holomorphic function in the complement of some discrete set E, tending to infinity as the papameter tends to E.


title: Constructing cell data for diagram algebras

abstract: We show how the treatment of cellularity in families of algebras arising from diagram calculi, such as Jones' Temperley--Lieb wreaths, variants on Brauer's centralizer algebras, and the contour algebras of Cox et al (of which many algebras are special cases), may be unified using the theory of tabular algebras. This improves an earlier result of the first author (whose hypotheses covered only the Brauer algebra from among these families).


title: The Jammed Phase of the Biham-Middleton-Levine Traffic Model

abstract: Initially a car is placed with probability p at each site of the two-dimensional integer lattice. Each car is equally likely to be East-facing or North-facing, and different sites receive independent assignments. At odd time steps, each North-facing car moves one unit North if there is a vacant site for it to move into. At even time steps, East-facing cars move East in the same way. We prove that when p is sufficiently close to 1 traffic is jammed, in the sense that no car moves infinitely many times. The result extends to several variant settings, including a model with cars moving at random times, and higher dimensions.


abstract: In this paper, we study the existence of solution to BSDE with quadratic growth and unbounded terminal value. We apply a localization procedure together with a priori bounds. As a byproduct, we apply the same method to extend a result on BSDEs with integrable terminal condition.


title: Almost maximally almost-periodic group topologies determined by T-sequences

abstract: A sequence $\{a_n\}$ in a group $G$ is a {\em $T$-sequence} if there is a Hausdorff group topology $\tau$ on $G$ such that $a_n\stackrel\tau\longrightarrow 0$. In this paper, we provide several sufficient conditions for a sequence in an abelian group to be a $T$-sequence, and investigate special sequences in the Pr\"ufer groups $\mathbb{Z}(p^\infty)$. We show that for $p\neq 2$, there is a Hausdorff group topology $\tau$ on $\mathbb{Z}(p^\infty)$ that is determined by a $T$-sequence, which is close to being maximally almost-periodic--in other words, the von Neumann radical $\mathbf{n}(\mathbb{Z}(p^\infty),\tau)$ is a non-trivial finite subgroup. In particular, $\mathbf{n}(\mathbf{n}(\mathbb{Z}(p^\infty),\tau)) \subsetneq \mathbf{n}(\mathbb{Z}(p^\infty),\tau)$. We also prove that the direct sum of any infinite family of finite abelian groups admits a group topology determined by a $T$-sequence with non-trivial finite von Neumann radical.


title: Gieseker-Petri special curves

abstract: The paper has been withdrawn by change of content and some errors in the examples.


title: The kissing dimension of subanalytic sets is preserved by a bi-Lipschitz homeomorphism

abstract: Let A subset R^n be a set-germ at 0 in R^n such that 0 is in the closure of A. Let D(A) denote the set of all directions of A at 0 in R^n. Let A, B subsets R^n be subanalytic set-germs at 0 in R^n such that 0 belongs to their closure. We study the problem of whether the dimension of the common direction set, called their kissing dimension, is preserved by a bi-Lipschitz homeomorphism. We show that in general it is not preserved. We prove that the kissing dimension is preserved if the images of the subanalytic sets under consideration are also subanalytic. In particular, if two subanalytic set-germs are bi-Lipschitz equivalent, then their direction sets must have the same dimension.


title: Compact Composition Operators on the Bloch Space in Bounded Symmetric Domains

abstract: Let $\Omega$ be a bounded symmetric domain except the two exceptional domains of ${\Bbb C}^N$ and $\phi$ a holomorphic self-map of $\Omega.$ This paper gives a sufficient and necessary condition for the composition operator $C_{\phi}$ induced by $\phi$ to be compact on the Bloch space $\beta(\Omega)$.


title: Hypergeometric Functions and Carlitz Differential Equations over Function Fields

abstract: The paper is a survey of recent results in analysis of additive functions over function fields motivated by applications to various classes of special functions including Thakur's hypergeometric function. We consider basic notions and results of calculus, analytic theory of differential equations with Carlitz derivatives (including a counterpart of regular singularity), umbral calculus, holonomic modules over the Weyl-Carlitz ring.


title: Bounding volume by systoles of 3-manifolds

abstract: We prove a new systolic volume lower bound for non-orientable n-manifolds, involving the stable 1-systole and the codimension 1 systole with coefficients in Z_2. As an application, we prove that Lusternik-Schnirelmann category and systolic category agree for non-orientable closed manifolds of dimension 3, extending our earlier result in the orientable case. Finally, we prove the homotopy invariance of systolic category.


title: Dense arrangements are locally very dense I

abstract: The Szemer\'edi-Trotter theorem gives a bound on the maximum number of incidences between points and lines on the Euclidean plane. In particular it says that $n$ lines and $n$ points determine $O(n^{4/3})$ incidences. Let us suppose that an arrangement of $n$ lines and $n$ points defines $cn^{4/3}$ incidences, for a given positive $c.$ It is widely believed that such arrangements have special structure, but no results are known in this direction. Here we show that for any natural number, $k,$ one can find $k$ points of the arrangement in general position such that any pair of them is incident to a line from the arrangement, provided by $n\geq n_0(k).$ In a subsequent paper we will establish similar statement to hyperplanes.


title: Links between connections, parallel transports, and transports along paths in differentiable fibre bundles

abstract: The axiomatic approach to parallel transport theory is partially discussed. Bijective correspondences between the sets of connections, (axiomatically defined) parallel transports, and transports along paths satisfying some additional conditions, are constructed. In particular, the equivalence between the concepts "connection" and "(axiomatically defined) parallel transport" is established. Some results which are specific for topological and vector bundles are presented.


title: Complete minimal hypersurfaces in the hyperbolic space $\mathbb{H}^4$ with vanishing Gauss-Kronecker curvature

abstract: We investigate 3-dimensional complete minimal hypersurfaces in the hyperbolic space $\mathbb{H}^{4}$ with Gauss-Kronecker curvature identically zero. More precisely, we give a classification of complete minimal hypersurfaces with Gauss-Kronecker curvature identically zero, nowhere vanishing second fundamental form and scalar curvature bounded from below.


title: Non-triviality of generalized alternating knots

abstract: In this article, we consider alternating knots on a closed surface in the 3-sphere, and show that these are not parallel to any closed surface disjoint from the prescribed one.


title: Schr\"{o}dinger Equation in Phase Space and Deformation Quantization

abstract: We justify the relevance of Torres-Vega Schr\"{o}dinger equation in phase space using Stone-von Neumann's theorem, and relate it to deformation quantization.


title: Clifford Theorem for real algebraic curves

abstract: We establish for smooth projective real curves the equivalent of the classical Clifford inequality known for complex curves. We also study the cases when equality holds.


title: The group of automorphisms of semigroup of endomorphisms of free commutative and free associative algebras

abstract: In this paper are described the groups of automorphisms of semigroup End(W(X)), where W(X) is free commutative or free associative algebra.


title: Manin's conjecture for a certain singular cubic surface

abstract: We prove Manin's conjecture for a singular cubic surface S with a singularity of type E6. If U is the open subset of S obtained by deleting the unique line from S, then the number of rational points in U with anticanonical height bounded by B behaves asymptotically as cB(log B)^6, where the constant c agrees with the one conjectured by Peyre.


title: Dyer-Lashof-Cohen operations in Hochschild cohomology

abstract: We give explicit formulae for operations in Hochschild cohomology which are analogous to the operations in the homology of double loop spaces. As a corollary we obtain that any brace algebra in finite characteristic is always a restricted Lie algebra.


title: Polynomial equations with one catalytic variable, algebraic series, and map enumeration

abstract: Let $F(t,u)\equiv F(u)$ be a formal power series in $t$ with polynomial coefficients in $u$. Let $F\_1, ..., F\_k$ be $k$ formal power series in $t$, independent of $u$. Assume all these series are characterized by a polynomial equation $$ P(F(u), F\_1, ..., F\_k, t, u)=0. $$ We prove that, under a mild hypothesis on the form of this equation, these $(k+1)$ series are algebraic, and we give a strategy to compute a polynomial equation for each of them. This strategy generalizes the so-called kernel method, and quadratic method, which apply respectively to equations that are linear and quadratic in $F(u)$. Applications include the solution of numerous map enumeration problems, among which the hard-particle model on general planar maps.


title: Uniqueness properties of functionals with Lipschitzian derivative

abstract: We prove that a functional with Lipschitzian derivative, when restricted to suitable spheres centered at a noncritical point, has a unique maximum.


title: The Picard scheme

abstract: We develop in detail most of the theory of the Picard scheme that Grothendieck sketched in two Bourbaki talks and in commentaries on them. Also, we review in brief much of the rest of the theory developed by Grothendieck and by others. But we begin with a twelve-page historical introduction, which traces the development of the ideas from Bernoulli to Grothendieck, and which may appeal to a wider audience.


title: Algebraic extensions of global fields admitting one-dimensional local class field theory

abstract: Let $E$ be an algebraic extension of a global field $E_{0}$ with a nontrivial Brauer group Br$(E)$, and let $P(E)$ be the set of those prime numbers $p$, for which $E$ does not equal its maximal $p$-extension $E(p)$. This paper shows that $E$ admits one-dimensional local class field theory if and only if there exists a system $V(E) = \{v(p)\colon \ p \in P(E)\}$ of (nontrivial) absolute values, such that $E(p) \otimes_{E} E_{v(p)}$ is a field, where $E_{v(p)}$ is the completion of $E$ with respect to $v(p)$. When this occurs, we determine by $V(E)$ the norm groups of finite extensions of $E$, and the structure of Br$(E)$. It is also proved that if $P$ is a nonempty set of prime numbers and $\{w(p)\colon \ p \in P\}$ is a system of absolute values of $E_{0}$, then one can find a field $K$ algebraic over $E_{0}$ with such a theory, so that $P(K) = P$ and the element $\kappa (p) \in V(K)$ extends $w(p)$, for each $p \in P$.


title: Univariate spline quasi-interpolants and applications to numerical analysis

abstract: We describe some new univariate spline quasi-interpolants on uniform partitions of bounded intervals. Then we give some applications to numerical analysis: integration, differentiation and approximation of zeros.


title: Kummer surfaces for the selfproduct of the cuspidal rational curve

abstract: The classical Kummer construction attaches to an abelian surface a K3 surface. As Shioda and Katsura showed, this construction breaks down for supersingular abelian surfaces in characteristic two. Replacing supersingular abelian surfaces by the selfproduct of the rational cuspidal curve, and the sign involution by suitable infinitesimal group scheme actions, I give the correct Kummer-type construction in this situation. We encounter rational double points of type D_4 and D_8, instead of type A_1. It turns out that the resulting surfaces are supersingular K3 surfaces with Artin invariant one and two. They lie in a 1-dimensional family obtained by simultaneous resolution after purely inseparable base change.


title: Isomorphic groupoid $C^{\ast}$-algebras associated with different Haar systems

abstract: We shall consider a locally compact groupoid endowed with a Haar system and having proper orbit space. We shall construct a groupoid C*-algebra which is independent of the Haar system (up to a *-isomorphism).


title: Geometric algebra and particle dynamics

abstract: In a recent publication the I showed how the geometric algebra ${G}_{4,1}$, the algebra of 5-dimensional space-time, can generate relativistic dynamics from the simple principle that only null geodesics should be allowed. The same paper showed also that Dirac equation could be derived from the condition that a function should be monogenic in that algebra; this construction of the Dirac equation allows a choice for the imaginary unit and it was suggested that different imaginary units could be assigned to the various elementary particles. An earlier paper had already shown the presence of standard model gauge group symmetry in complexified ${G}_{1,3}$, an algebra isomorphic to ${G}_{4,1}$. In this presentation I explore the possible choices for the imaginary unit in the Dirac equation to show that SU(3) and SU(2) symmetries arise naturally from such choices. The quantum numbers derived from the imaginary units are unusual but a simple conversion allows the derivation of electric charge and isospin, quantum numbers for two families of particles. This association to elementary particles is not final because further understanding of the role played by the imaginary unit is needed.


title: New estimates of double trigonometric sums with exponential functions

abstract: We establish a new bound for the exponential sum \begin{eqnarray*} \sum_{x\in\mathcal{X}}\Big|\sum_{y\in \mathcal{Y}}\gamma(y)\exp(2\pi i a \lambda^{xy}/p)\Big|, \end{eqnarray*} where $\lambda$ is an element of the residue ring modulo a large prime number $p,$ $\mathcal{X}$ and $\mathcal{Y}$ are arbitrary subsets of the residue ring modulo $p-1$ and $\gamma(n)$ are any complex numbers with $|\gamma(n)| \le 1.$ In particular, we improve several previously known bounds.


title: The heat equation with multiplicative stable L\'evy noise

abstract: We study the heat equation with a random potential term. The potential is a one-sided stable noise, with positive jumps, which does not depend on time. To avoid singularities, we define the equation in terms of a construction similar to the Skorokhod integral or Wick product. We give a criterion for existence based on the dimension of the space variable, and the parameter p of the stable noise. Our arguments are different for p<1 and p>1.


title: Classical Logic = Fibred MLL

abstract: This paper represents classical propositional proofs as *combinatorial proofs*, which are more abstract than proof nets: superposition (contraction/weakening) is modelled mathematically, as a lax form of fibration, rather than syntactically (as in proof nets, which involve contraction and weakening nodes). A combinatorial proof is a `fibred' multiplicative linear proof net, hence the slogan in the title. Cut elimination retains its richness from sequent calculus: its non-determinism does not collapse to become confluent. [Note: this is merely a 2-page synopsis, accepted for a short presentation at Logic in Computer Science '05.]


title: Positive definite kernels and lattice paths

abstract: We discuss the structure of positive definite kernels in terms of operator models. In particular, we introduce two models, one of Hessenberg type and another one that we call near triangular. These models produce parametrizations of the kernels and we describe the combinatorial nature of these parametrizations in terms of lattice paths of Dyck and Lukasiewicz type.


title: Necessary conditions for vector-valued operator inequalities in harmonic analysis

abstract: Via a random construction we establish necessary conditions for $L^p(\ell^q)$ inequalities for certain families of operators arising in harmonic analysis. In particular we consider dilates of a convolution kernel with compactly supported Fourier transform, vector maximal functions acting on classes of entire functions of exponential type, and a characterization of Sobolev spaces by square functions and pointwise moduli of smoothness.


title: Iterations of anti-selfdual Lagrangians and applications to Hamiltonian systems and multiparameter gradient flows

abstract: Anti-selfdual Lagrangians on a state space lift to path space provided one adds a suitable selfdual boundary Lagrangian. This process can be iterated by considering the path space as a new state space for the newly obtained anti-selfdual Lagrangian. We give here two applications for these remarkable permanence properties. In the first, we establish for certain convex-concave Hamiltonians ${\cal H}$ on a --possibly infinite dimensional--symplectic space $H^2$, the existence of a solution for the Hamiltonian system $-J\dot u (t)=\partial {\cal H} (u(t))$ that connects in a given time T>0, two Lagrangian submanifolds. Another application deals with the construction of a multiparameter gradient flow for a convex potential. Our methods are based on the new variational calculus for anti-selfdual Lagrangians developed in [4], [5] and [7].


title: Toy operads

abstract: Didactic operadic entertainment for pedestrians. The following visual toys are included: operad of little squares, operad of planar rooted trees, and an operad algebra example.


title: Linear Congruences and hyperbolic Systems of conservation Laws

abstract: S. I. Agafonov and E. V. Ferapontov have introduced a construction that allows naturally associating to a system of partial differential equations of conservation laws a congruence of lines in an appropriate projective space. In particular hyperbolic systems of Temple class correspond to congruences of lines that place in planar pencils of lines. The language of Algebraic Geometry turns out to be very natural in the study of these systems. In this article, after recalling the definition and the basic facts on congruences of lines, Agafonov-Ferapontov's construction is illustrated and some results of classification for Temple systems are presented. In particular, we obtain the classification of linear congruences in $\mathbb{P}^5$, which correspond to some classes of $T$-systems in 4 variables.


title: Discrete L'Hospital's rule

abstract: The aim is to formulate a discrete analog of L'Hospital's rule and describe some of its applications. While the usual L'Hospital's rule is very well known, its discrete analog apparently was not in the literature. Since the L'Hospital's rule proved to be very useful in many applications, one may think that its discrete analog will also be useful. ======================== This paper is withdrawn: I have learned that the result is known.


title: On symmetry problems

abstract: withdrawn Several symmetry problems are discussed. These include the Pompeiu problem and similar conjectures for the heat and wave equations.


title: The Full Scaling Limit of Two-Dimensional Critical Percolation

abstract: We use SLE(6) paths to construct a process of continuum nonsimple loops in the plane and prove that this process coincides with the full continuum scaling limit of 2D critical site percolation on the triangular lattice -- that is, the scaling limit of the set of all interfaces between different clusters. Some properties of the loop process, including conformal invariance, are also proved. In the main body of the paper these results are proved while assuming, as argued by Schramm and Smirnov, that the percolation exploration path converges in distribution to the trace of chordal SLE(6). Then, in a lengthy appendix, a detailed proof is provided for this convergence to SLE(6), which itself relies on Smirnov's result that crossing probabilities converge to Cardy's formula.

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


title: Modelling Linear Logic Without Units (Preliminary Results)

abstract: We describe a notion of categorical model for unitless fragments of (multiplicative) linear logic. The basic definition uses promonoidal categories, and we also give an equivalent elementary axiomatisation.


title: Integral Representations of Holomorphic Functions on Coverings of Pseudoconvex Domains in Stein Manifolds

abstract: The classical integral representation formulas for holomorphic functions defined on pseudoconvex domains in Stein manifolds play an important role in the constructive theory of functions of several complex variables. In this paper we construct similar formulas for cetain classes of holomorphic functions defined on coverings of such domains.


title: On the entropy of LEGO

abstract: We propose the further study of the rate of growth of the number of contiguous buildings which may be made from n LEGO blocks of the same size and color. Specializing to blocks of dimension 2x4 we give upper and lower bounds, and speculate on the true value.


title: Real Hessian Curves

abstract: We give some real polynomials in two variables of degrees 4, 5, and 6 whose hessian curves have more connected components than had been known previously. In particular, we give a quartic polynomial whose hessian curve has 4 compact connected components (ovals), a quintic whose hessian curve has 8 ovals, and a sextic whose hessian curve has 11 ovals.


title: A twisted approach to Kostant's problem

abstract: We use Arkhipov's twisting functors to show that the universal enveloping algebra of a semi-simple complex finite-dimensional Lie algebra surjects onto the space of ad-finite endomorphisms of the simple highest weight module $L(\lambda)$, whose highest weight is associated (in the natural way) with a subset of simple roots and a simple root in this subset. This is a new step towards a complete answer to a classical question of Kostant. We also show how one can use the twisting functors to reprove the classical results related to this question.


title: Weil numbers generated by other Weil numbers and torsion fields of abelian varieties

abstract: Using properties of the Frobenius eigenvalues, we show that, in a precise sense, ``most'' isomorphism classes of (principally polarized) simple abelian varieties over a finite field are characterized up to isogeny by the sequence of their division fields, and a similar result for ``most'' isogeny classes. Some global cases are also treated.


title: Group invariants in algebras of generalized functions

abstract: We study invariance properties of Colombeau generalized functions under actions of smooth Lie transformation groups. Several characterization results analogous to the smooth setting are derived and applications to generalized rotational invariance are given.


title: Spectral asymptotics of Pauli operators and orthogonal polynomials in complex domains

abstract: We consider the spectrum of a two-dimensional Pauli operator with a compactly supported electric potential and a variable magnetic field with a positive mean value. The rate of accumulation of eigenvalues to zero is described in terms of the logarithmic capacity of the support of the electric potential. A connection between these eigenvalues and orthogonal polynomials in complex domains is established.


title: Knot polynomials and knot homologies

abstract: This is an expository paper discussing some parallels between the Khovanov and knot Floer homologies. We describe the formal similarities between the theories and give some examples which illustrate a somewhat mysterious correspondence between them.


title: On Grothendieck Subspaces

abstract: The modulus of an order bounded functional on a Riesz space is the sum of a pair of Riesz homomorphisms if and only if the kernel of this functional is a Grothendieck subspace of the ambient Riesz space. An operator version of this fact is given.


title: Equivariant deformations of LeBrun's self-dual metrics with torus action

abstract: We investigate U(1)-equivariant deformations of C. LeBrun's self-dual metric with torus action. We explicitly determine all U(1)-subgroups of the torus for which one can obtain U(1)-equivariant deformation that do not preserve semi-free U(1)-action. This gives many new self-dual metrics with U(1)-action which are not conformally isometric to LeBrun metric. We also count the dimension of the moduli space of self-dual metrics with U(1)-action obtained in this way.


title: Intrinsic notion of principal symbol for the Heisenberg calculus

abstract: In this paper we define an intrinsic notion of principal for the Hypoelliptic calculus on Heisenberg manifolds. More precisely, the principal symbol of a \psivdo appears as a homogeneous section over the linear dual of the tangent Lie algebra bundle of the manifold. This definition is an important step towards using global $K$-theoretic tools in the Heisenberg setting, such as those involved in the elliptic setting for proving the Atiyah-Singer index theorem or the regularity of the eta invariant. On the other hand, the intrinsic definition of the principal symbol enables us to give an intrinsic sense to the model operator of \psivdo at point and to give a definitive proof that the Heisenberg calculus is modelled at each point by the calculus of left-invariant \psidos on the tangent group at the point. This also allows us to define an intrinsic Rockland condition for \psivdos which is shown to be equivalent to the invertibility of the principal symbol, provided that the Levi form has constant rank. Furthermore, we review the main hypoellipticity results on Heisenberg manifolds in terms of the results of the paper. In particular, we complete the treatment of the Kohn Laplacian by Beals-Greiner and establish that for the horizontal sublaplacian the invertibility of the principal symbol is equivalent to some condition on the Levi form, called condition $X(k)$. Incidentally, this paper provides us with a relatively up-to-date overview of the main facts about the Heisenberg calculus.


title: Volume and angle structures on 3-manifolds

abstract: We propose an approach to find constant curvature metrics on triangulated closed 3-manifolds using a finite dimensional variational method whose energy function is the volume. The concept of an angle structure on a tetrahedron and on a triangulated closed 3-manifold is introduced following the work of Casson, Murakami and Rivin. It is proved by A. Kitaev and the author that any closed 3-manifold has a triangulation supporting an angle structure. The moduli space of all angle structures on a triangulated 3-manifold is a bounded open convex polytope in a Euclidean space. The volume of an angle structure is defined. Both the angle structure and the volume are natural generalizations of tetrahedra in the constant sectional curvature spaces and their volume. It is shown that the volume functional can be extended continuously to the compact closure of the moduli space. In particular, the maximum point of the volume functional always exists in the compactification. The main result shows that for a 1-vertex triangulation of a closed 3-manifold if the volume function on the moduli space has a local maximum point, then either the manifold admits a constant curvature Riemannian metric or the manifold contains a non-separating 2-sphere or real projective plane.


title: Complete k-curvature homogeneous pseudo-Riemannian manifolds 0-modeled on an indecomposible symmetric space

abstract: For k at least 2, we exhibit complete k-curvature homogeneous neutral signature pseudo-Riemannian manifolds which are not locally affine homogeneous (and hence not locally homogeneous). The curvature tensor of these manifolds is modeled on that of an indecomposible symmetric space. All the local scalar Weyl curvature invariants of these manifolds vanish.