title: Area distribution and scaling function for punctured polygons

abstract: Punctured polygons are polygons with internal holes which are also polygons. The external and internal polygons are of the same type, and they are mutually as well as self-avoiding. Based on an assumption about the limiting area distribution for unpunctured polygons, we rigorously analyse the effect of a finite number of punctures on the limiting area distribution in a uniform ensemble, where punctured polygons with equal perimeter have the same probability of occurrence. Our analysis leads to conjectures about the scaling behaviour of the models. We also analyse exact enumeration data. For staircase polygons with punctures of fixed size, this yields explicit expressions for the generating functions of the first few area moments. For staircase polygons with punctures of arbitrary size, a careful numerical analysis yields very accurate estimates for the area moments. Interestingly, we find that the leading correction term for each area moment is proportional to the corresponding area moment with one less puncture. We finally analyse corresponding quantities for punctured self-avoiding polygons and find agreement with the conjectured formulas to at least 3-4 significant digits.


title: The local Tamagawa number conjecture for Hecke characters, II

abstract: In this paper we prove the weak local Tamagawa number conjecture for the remaining non-critical cases for the motives associated to Hecke characters $\psi_{\theta}:\mathbb{A}_K\to K^*$ of the author's previous paper, where $K$ is an imaginary quadratic field with $cl(K)=1$, under certain restrictions which originate mainly from the Iwasawa theory of imaginary quadratic fields.


title: The Dirac spectrum on manifolds with gradient conformal vector fields

abstract: We show that the Dirac operator on a spin manifold does not admit $L^2$ eigenspinors provided the metric has a certain asymptotic behaviour and is a warped product near infinity. These conditions on the metric are fulfilled in particular if the manifold is complete and carries a non-complete vector field which outside a compact set is gradient conformal and non-vanishing.


title: The group structure of the normalizer of $\Gamma_0(N)$

abstract: We determine the group structure of the normalizer of $\Gamma_0(N)$ in $SL_2(\R)$ modulo $\Gamma_0(N)$. These results correct the Atkin-Lehner statement at the paper Hecke operators of $\Gamma_0(N)$.


title: The socle of a Leavitt path algebra

abstract: In this paper we characterize the minimal left ideals of a Leavitt path algebra as those ones which are isomorphic to principal left ideals generated by line point vertices, that is, by vertices whose trees do not contain neither bifurcations nor closed paths. Moreover, we show that the socle of a Leavitt path algebra is the two-sided ideal generated by these line point vertices. This characterization allows us to compute the socle of some algebras that arise as the Leavitt path algebra of some row-finite graphs. A complete description of the socle of a Leavitt path algebra is given: it is a locally matricial algebra.


title: Algebras of quotients of path algebras

abstract: Leavitt path algebras are shown to be algebras of right quotients of their corresponding path algebras. Using this fact we obtain maximal algebras of right quotients from those (Leavitt) path algebras whose associated graph satisfies that every vertex connects to a line point (equivalently, the Leavitt path algebra has essential socle). We also introduce and characterize the algebraic counterpart of Toeplitz algebras.


title: On Closed Invariant Sets in Local Dynamics

abstract: We investigate the dynamical behaviour of a holomorphic map on a $f-$invariant subset $\mathcal{C}$ of $U,$ where $f:U \to \mathbb{C}^k.$ We study two cases: when $U$ is an open, connected and polynomially convex subset of $\mathbb{C}^k$ and $\mathcal{C} \subset \subset U,$ closed in $U,$ and when $\partial U$ has a p.s.h. barrier at each of its points and $\mathcal{C}$ is not relatively compact in $U.$ In the second part of the paper, we prove a Birkhoff's type Theorem for holomorphic maps in several complex variables, i.e. given an injective holomorphic map $f,$ defined in a neighborhood of $\overline{U},$ with $U$ star-shaped and $f(U)$ a Runge domain, we prove the existence of a unique, forward invariant, maximal, compact and connected subset of $\overline{U}$ which touches $\partial U.$


title: Nonstandard analysis, fractal properties and Brownian motion

abstract: In this paper I explore a nonstandard formulation of Hausdorff dimension. By considering an adapted form of the counting measure formulation of Lebesgue measure, I prove a nonstandard version of Frostman's lemma and show that Hausdorff dimension can be computed through a counting argument rather than by taking the infimum of a sum of certain covers. This formulation is then applied to obtain a simple proof of the doubling of the dimension of certain sets under a Brownian motion.


title: On curves on sandwiched surface singularities

abstract: Fixed a point O on a non-singular surface S and a complete mO-primary ideal I in its local ring, the curves on the surface X obtained by blowing-up I are studied in terms of the base points of I. Criteria for the principality of these curves are obtained. New formulas for their multiplicity, intersection numbers and order of singularity at the singularities of X are given. The semigroup of branches going through a sandwiched singularity is effectively determined, too.


title: Hodge polynomials of the moduli spaces of triples of rank (2,2)

abstract: Let $X$ be a smooth projective curve of genus $g\geq 2$ over the complex numbers. A holomorphic triple $(E_1,E_2,\phi)$ on $X$ consists of two holomorphic vector bundles $E_{1}$ and $E_{2}$ over $X$ and a holomorphic map $\phi \colon E_{2} \to E_{1}$. There is a concept of stability for triples which depends on a real parameter $\sigma$. In this paper, we determine the Hodge polynomials of the moduli spaces of $\sigma$-stable triples with $\mathrm{rk}(E_1)=\mathrm{rk}(E_2)=2$, using the theory of mixed Hodge structures (in the cases that they are smooth and compact). This gives in particular the Poincar{\'e} polynomials of these moduli spaces. As a byproduct, we also give the Hodge polynomial of the moduli space of even degree rank 2 stable vector bundles.


title: Universal graded characters and limit of Lusztig $q$-analogues

abstract: Let G be a symplectic or orthogonal complex Lie group with Lie algebra g. As a G-module, the decomposition of the symmetric algebra S(g) into its irreducible components can be explicitely obtained by using identities due to Littlewood. We show that the multiplicities appearing in the decomposition of the k-th graded component of S(g) do not depend on the rank n of g providing n is sufficiently large. Thanks to a classical result by Kostant, we establish a similar result for the k-th graded component of the space H(g) of G-harmonic polynomials. These stabilization properties are equivalent to the existence of a limit in infinitely many variables for the graded characters associated to S(g) and H(g). The limits so obtained are formal series with coefficients in the ring of universal characters introduced by Koike and Terada. From Hesselink expression of the graded character of harmonics, the coefficient of degree k in the Lusztig q-analogue associated to the partition lambda and the weight 0 thus stablizes for n sufficiently large. By using Morris-type recurrence formulas, we prove that this is also true for the polynomials $K_{\lambda ,\mu}^{g}(q)$ where mu is a nonempty fixed partition. This can be reformulated in terms of a stability property for the dimension of the components of the Brylinski-Kostant filtration. We also associate to each pair of partitions (lambda, mu) formal series $K_{\lambda ,\mu}^{so}(q)$ and $K_{\lambda ,\mu}^{sp}(q)$, which can be regarded as natural limit of the Lusztig q-analogues. One gives a duality property for these limits and obtains simple expressions when lambda is a row or a column partition.


title: Category $\mathcal O$ for the Virasoro algebra: Cohomology and Koszulity

abstract: We investigate blocks of the Category $\mathcal O$ for the Virasoro algebra over the complex numbers. We demonstrate that the blocks have Kazhdan-Lusztig theories, and that the truncated blocks give rise to interesting Koszul algebras. The simple modules have BGG resolutions, and from this we compute the extensions between Verma modules and simple modules, and between pairs of simple modules.


title: Multidimensional operator multipliers

abstract: We introduce multidimensional Schur multipliers and characterise them generalising well known results by Grothendieck and Peller. We define a multidimensional version of the two dimensional operator multipliers studied recently by Kissin and Shulman. The multidimensional operator multipliers are defined as elements of the minimal tensor product of several C*-algebras satisfying certain boundedness conditions. In the case of commutative C*-algebras, the multidimensional operator multipliers reduce to continuous multidimensional Schur multipliers. We show that the multipliers with respect to some given representations of the corresponding C*-algebras do not change if the representations are replaced by approximately equivalent ones. We establish a non-commutative and multidimensional version of the characterisations by Grothendieck and Peller which shows that universal operator multipliers can be obtained as certain weak limits of elements of the algebraic tensor product of the corresponding C*-algebras.


title: Propagating phase boundaries: formulation of the problem and existence via the Glimm scheme

abstract: In this paper we consider the hyperbolic-elliptic system of two conservation laws that describes the dynamics of an elastic material governed by a non-monotone strain-stress function. Following Abeyaratne and Knowles, we propose a notion of admissible weak solution for this system in the class of functions with bounded variation. The formulation includes an entropy inequality, a kinetic relation (imposed along any subsonic phase boundary), and an nucleation criterion (for the appearance of new phase boundaries). We prove the L1 continuous dependence of the solution to the Riemann problem. Our main result yields the existence and the stability of propagating phase boundaries. The proof is based on Glimm's scheme and in particular on techniques going back to Glimm-Lax. In order to deal with the kinetic relation, we prove a result of pointwise convergence for the phase boundary.


title: Counting non-isomorphic maximal independent sets of the n-cycle graph

abstract: The number of maximal independent sets of the n-cycle graph C_n is known to be the nth term of the Perrin sequence. The action of the automorphism group of C_n on the family of these maximal independent sets partitions this family into disjoint orbits, which represent the non-isomorphic (i.e., defined up to a rotation and a reflection) maximal independent sets. We provide exact formulas for the total number of orbits and the number of orbits having a given number of isomorphic representatives. We also provide exact formulas for the total number of unlabeled (i.e., defined up to a rotation) maximal independent sets and the number of unlabeled maximal independent sets having a given number of isomorphic representatives. It turns out that these formulas involve both Perrin and Padovan sequences.


title: Lax operator algebras

abstract: In this paper we develop a general concept of Lax operators on algebraic curves introduced in [1]. We observe that the space of Lax operators is closed with respect to their usual multiplication as matrix-valued functions. We construct the orthogonal and symplectic analogs of Lax operators, prove that they constitute almost graded Lie algebras and construct local central extensions of those Lie algebras.


title: Growth of preferential attachment random graphs via continuous-time branching processes

abstract: A version of ``preferential attachment'' random graphs, corresponding to linear ``weights'' with random ``edge additions,'' which generalizes some previously considered models, is studied. This graph model is embedded in a continuous-time branching scheme and, using the branching process apparatus, several results on the graph model asymptotics are obtained, some extending previous results, such as growth rates for a typical degree and the maximal degree, behavior of the vertex where the maximal degree is attained, and a law of large numbers for the empirical distribution of degrees which shows certain ``scale-free'' or ``power-law'' behaviors.


title: Pricing Options in Incomplete Equity Markets via the Instantaneous Sharpe Ratio

abstract: We use a continuous version of the standard deviation premium principle for pricing in incomplete equity markets by assuming that the investor issuing an unhedgeable derivative security requires compensation for this risk in the form of a pre-specified instantaneous Sharpe ratio. First, we apply our method to price options on non-traded assets for which there is a traded asset that is correlated to the non-traded asset. Our main contribution to this particular problem is to show that our seller/buyer prices are the upper/lower good deal bounds of Cochrane and Sa\'{a}-Requejo (2000) and of Bj\"{o}rk and Slinko (2006) and to determine the analytical properties of these prices. Second, we apply our method to price options in the presence of stochastic volatility. Our main contribution to this problem is to show that the instantaneous Sharpe ratio, an integral ingredient in our methodology, is the negative of the market price of volatility risk, as defined in Fouque, Papanicolaou, and Sircar (2000).


title: Are seven-game baseball playoffs fairer than five-game series when home-field advantage is considered?

abstract: Conventional wisdom in baseball circles holds that a seven-game playoff series is fairer than a five-game series. In an earlier paper, E. Lee May, Jr. showed that, treating each game as an independent event, a seven-game series is not significantly fairer. In this paper, we take a different approach, taking home-field advantage into account. That is, we consider a given series to consist of two disjoint sets of independent events--the home games and the road games. We will take the probability of winning a given road game to be different from the probability of winning a given home game. Our analysis again shows that a seven-game series is not significantly fairer.


title: Compatibility Condition between ring and coring

abstract: We introduce the notion of bi-monoid in general monoidal category generalizing by this the notion of bialgebra. In the case of bimodules over a noncommutative algebra, we obtain a compatibility condition between ring and coring whenever both structures admit the same underlying bimodule.


title: The lower tail problem for homogeneous functionals of stable processes with no negative jumps

abstract: Let Z be a strictly a-stable real Levy process (a>1) and X be a fluctuating b-homogeneous additive functional of Z. We investigate the asymptotics of the first passage-time of X above 1, and give a general upper bound. When Z has no negative jumps, we prove that this bound is optimal and does not depend on the homogeneity parameter b. This extends a result of Y. Isozaki and solves partially a conjecture of Z. Shi.


title: On a Gromoll-Meyer type theorem in globally hyperbolic stationary spacetimes

abstract: Following the lines of the celebrated Riemannian result of Gromoll and Meyer, we use infinite dimensional equivariant Morse theory to establish the existence of infinitely many geometrically distinct closed geodesics in a class of globally hyperbolic stationary Lorentzian manifolds.


title: Semistrict Tamsamani n-groupoids and connected n-types

abstract: Tamsamani's weak n-groupoids are known to model n-types. In this paper we show that every Tamsamani weak n-groupoid representing a connected n-type is equivalent in a suitable way to a semistrict one. We obtain this result by comparing Tasmamani's weak n-groupoids and cat^(n-1)-groups as models of connected n-types.


title: Splitting pairs and the number of clusters generated by random pair incompatibilities

abstract: We consider a random fitness landscape on the space of haploid diallelic genotypes with n genetic loci, where each genotype is considered either inviable or viable depending on whether or not there are any incompatibilities among its allele pairs. We suppose that each allele pair in the set of all possible allele pairs on the n loci is independently incompatible with probability p=c/(2n). We examine the connectivity of the viable genotypes under single locus mutations and show that, for 0<c<1, the number of clusters of viable genotypes in this landscape converges weakly (in n) to N=2^{Psi} where Psi is Poisson distributed; while for c>1, there are no viable genotypes with probability converging to one. The genotype space is equivalent to the n-dimensional hypercube and the viable genotypes are solutions to a random 2-SAT problem, so the same result holds for the connectivity of solutions in the hypercube to a random 2-SAT problem.


title: Asymptotic evolution of acyclic random mappings

abstract: An acyclic mapping from an $n$ element set into itself is a mapping $\phi$ such that if $\phi^k(x) = x$ for some $k$ and $x$, then $\phi(x) = x$. Equivalently, $\phi^\ell = \phi^{\ell+1} = ...$ for $\ell$ sufficiently large. We investigate the behavior as $n \to \infty$ of a Markov chain on the collection of such mappings. At each step of the chain, a point in the $n$ element set is chosen uniformly at random and the current mapping is modified by replacing the current image of that point by a new one chosen independently and uniformly at random, conditional on the resulting mapping being again acyclic. We can represent an acyclic mapping as a directed graph (such a graph will be a collection of rooted trees) and think of these directed graphs as metric spaces with some extra structure. Heuristic calculations indicate that the metric space valued process associated with the Markov chain should, after an appropriate time and ``space'' rescaling, converge as $n \to \infty$ to a real tree ($\R$-tree) valued Markov process that is reversible with respect to a measure induced naturally by the standard reflected Brownian bridge. The limit process, which we construct using Dirichlet form methods, is a Hunt process with respect to a suitable Gromov-Hausdorff-like metric. This process is similar to one that appears in earlier work by Evans and Winter as the limit of chains involving the subtree prune and regraft tree (SPR) rearrangements from phylogenetics.


title: Deviation of ergodic averages for rational polygonal billiards

abstract: We prove polynomial upper bounds for the deviation of ergodic averages for the straight line flow on every translation surface in almost every direction, in particular for those surfaces arising from rational polygonal billiards.


title: Distances of groups of prime order

abstract: Given two finite groups G(.), G(*) defined on the same set G, their distance is the number of pairs (x,y) for which x.y and x*y differ. The Cayley stability of a group G(.) is the minimum distance of G(.) from another group defined on G. We show that the Cayley stability of the cyclic group of prime order p is 6p-18, for every p>7.


title: Diffusive variance for a tagged particle in $d\leq 2$ asymmetric simple exclusion

abstract: We study the equilibrium fluctuations of a tagged particle in finite-range simple exclusion processes on Z^d with biased single particle jump rates. It is known the variance of the tagged particle at time t is diffusive, that is on order O(t), in d\geq 3, and in d=1 when in addition the jump rate is nearest-neighbor, and moreover, in these cases, central limit theorems in diffusive scale have been proved. In this article, we give some partial results in the open cases in d\leq 2. Namely, we show diffusivity of the tagged particle variance at time t in the sense of some upper and lower bounds on order O(t) in d=2, and also in d=1 when in addition the jump rate is not nearest-neighbor. Also, a characterization of the tagged particle variance is given. The main methods are in analyzing H_{-1} norm variational inequalities.


title: Critical Age Dependent Branching Markov Processes and Their Scaling Limits

abstract: This paper studies: (i) the long time behaviour of the empirical distribution of age and normalised position of an age dependent critical branching Markov process conditioned on non-extinction; and (ii) the super-process limit of a sequence of age dependent critical branching Brownian motions.


title: Special ramification loci on the double product of a general curve

abstract: Let C be a general connected, smooth, projective curve of positive genus g. For each nonnegative integer i we give formulas for the number of pairs (P,Q) em C x C off the diagonal such that (g+i-1)Q-(i+1)P is linearly equivalent to an effective divisor, and the number of pairs (P,Q) em C x C off the diagonal such that (g+i+1)Q-(i+1)P is linearly equivalent to a moving effective divisor.


title: Limits of special Weierstrass points

abstract: Let C be the union of two general connected, smooth, nonrational curves X and Y intersecting transversally at a point P. Assume that P is a general point of X or of Y. Our main result, in a simplified way, says: Let Q be a point of X. Then Q is the limit of special Weierstrass points on a family of smooth curves degenerating to C if and only if Q is not P and either of the following conditions hold: Q is a special ramification point of the linear system |K_X+(g_Y+1)P|, or Q is a ramification point of the linear system |K_X+(g_Y+1+j)P| for j=-1 or j=1 and P is a Weierstrass point of Y. Above, g_Y stands for the genus of Y and K_X for a canonical divisor of X. As an application, we recover in a unified and conceptually simpler way computations made by Diaz and Cukierman of certain divisor classes in the moduli space of stable curves. In our method there is no need to worry about multiplicities, an usual nuisance of the method of test curves.


title: Exotic Smooth Structures on Small 4-Manifolds

abstract: Let M be either CP^2#3CP^2bar or 3CP^2#5CP^2bar. We construct the first example of a simply-connected symplectic 4-manifold that is homeomorphic but not diffeomorphic to M.


title: Sets of Approximation and Interpolation in $\cx$ for manifold-valued maps

abstract: We study the approximation of maps into complex manifolds along with interpolation on certain compact subsets of the plane. Results are also obtained regarding approximation and interpolation of sections of holomorphic submersions.


title: Singular surfaces, mod 2 homology, and hyperbolic volume, II

abstract: If M is a closed simple 3-manifold whose fundamental group contains a genus-g surface group for some g>1, and if the dimension of H_1(M;Z_2) is at least max(3g-1,6), we show that M contains a closed, incompressible surface of genus at most g. This improves the main topological result of part I, in which the the same conclusion was obtained under the stronger hypothesis that the dimension of H_1(M;Z_2) is at least 4g-1. As an application we show that if M is a closed orientable hyperbolic 3-manifold with volume at most 3.08, then H_1(M;Z_2) has dimension at most 5.


title: On the Sharpness of fewnomial bound and the number of components of a fewnomial hypersurface

abstract: We show the existence of systems of n polynomial equations in n variables, with a total of n+k+1 distinct monomial terms, possessing [n/k+1]^k nondegenerate positive solutions. (Here, [x] is the integer part of a positive number x.) This shows that the recent upper bound of (e^2+3)/4 2^{\binom{k}{2}} n^k for the number of nondegenerate positive solutions is asymptotically sharp for fixed k and large n. We also adapt a method of Perrucci to show that there are fewer than (e^2+3)/4 2^{\binom{k}{2}} 2^n n^k connected components in a smooth hypersurface in the positive orthant of R^n defined by a polynomial with n+k+1 monomials. Our results hold for polynomials with real exponents.


title: Searching for a trail of evidence in a maze

abstract: Consider a graph with a set of vertices and oriented edges connecting pairs of vertices. Each vertex is associated with a random variable and these are assumed to be independent. In this setting, suppose we wish to solve the following hypothesis testing problem: under the null, the random variables have common distribution N(0,1) while under the alternative, there is an unknown path along which random variables have distribution $N(\mu,1)$, $\mu> 0$, and distribution N(0,1) away from it. For which values of the mean shift $\mu$ can one reliably detect and for which values is this impossible? Consider, for example, the usual regular lattice with vertices of the form \[\{(i,j):0\le i,-i\le j\le i and j has the parity of i\}\] and oriented edges $(i,j)\to (i+1,j+s)$, where $s=\pm1$. We show that for paths of length $m$ starting at the origin, the hypotheses become distinguishable (in a minimax sense) if $\mu_m\gg1/\sqrt{\log m}$, while they are not if $\mu_m\ll1/\log m$. We derive equivalent results in a Bayesian setting where one assumes that all paths are equally likely; there, the asymptotic threshold is $\mu_m\approx m^{-1/4}$. We obtain corresponding results for trees (where the threshold is of order 1 and independent of the size of the tree), for distributions other than the Gaussian and for other graphs. The concept of the predictability profile, first introduced by Benjamini, Pemantle and Peres, plays a crucial role in our analysis.


title: K3 surfaces associated with curves of genus two

abstract: It is known (work of Galluzzi, Lombardo, Dolgachev and Naruki) that there is a unique K3 surface X which corresponds to a genus 2 curve C such that X has a Shioda-Inose structure with quotient birational to the Kummer surface of the Jacobian of C. In this paper we give an explicit realization of X as an elliptic surface over P^1 with specified singular fibers of type II^* and III^*. We describe how the Weierstrass coefficients are related to the Igusa-Clebsch invariants of C.


title: Multivariate Polynomial Factorization by Interpolation Method

abstract: Factorization of polynomials arises in numerous areas in symbolic computation. It is an important capability in many symbolic and algebraic computation. There are two type of factorization of polynomials. One is convention polynomial factorization, and the other approximate polynomial factorization. Conventional factorization algorithms use symbolic methods to get exact factors of a polynomial while approximate factorization algorithms use numerical methods to get approximate factors of a polynomial. Symbolic computation often confront intermediate expression swell problem, which lower the efficiency of factorization. The numerical computation is famous for its high efficiency, but it only gives approximate results. In this paper, we present an algorithm which use approximate method to get exact factors of a multivariate polynomial. Compared with other methods, this method has the numerical computation advantage of high efficiency for some class of polynomials with factors of lower degree. The experimental results show that the method is more efficient than {\it factor} in Maple 9.5 for polynomials with more variables and higher degree.


title: Oka's conjecture on irreducible plane sextics

abstract: We partially prove and partially disprove Oka's conjecture on the fundamental group/Alexander polynomial of an irreducible plane sextic. Among other results, we enumerate all irreducible sextics with simple singularities admitting dihedral coverings and find examples of Alexander equivalent Zariski pairs of irreducible sextics.


title: An Improved Algorithm for Recovering Exact Value from its Approximation

abstract: Numerical approximate computation can solve large and complex problems fast. It has the advantage of high efficiency. However it only gives approximate results, whereas we need exact results in many fields. There is a gap between approximate computation and exact results. A bridge overriding the gap was built by Zhang, in which an exact rational number is recovered from its approximation by continued fraction method when the error is less than $1/((2N+2)(N-1)N)$, where $N$ is a bound on absolute value of denominator of the rational number. In this paper, an improved algorithm is presented by which a exact rational number is recovered when the error is less than $1/(4(N-1)N)$.


title: Stability of closed characteristics on compact convex hypersurfaces in $\R^6$

abstract: In this paper, let $\Sigma\subset\R^{6}$ be a compact convex hypersurface. We prove that if $\Sigma$ carries only finitely many geometrically distinct closed characteristics, then at least two of them must possess irrational mean indices. Moreover, if $\Sg$ carries exactly three geometrically distinct closed characteristics, then at least two of them must be elliptic.


title: On Roots of Eigenpolynomials for Degenerate Exactly-Solvable Differential Operators

abstract: In this paper we partially settle our conjecture from [1] (math.SP/0701143) on roots of eigenpolynomials for degenerate exactly-solvable operators. Namely, for any such operator, we establish a lower bound (which supports our conjecture) for the largest modulus of the roots of its unique and monic eigenpolynomial as its degree tends to infinity. The main theorem below thus extends earlier results obtained in [1] for a more restrictive class of operators.


title: Top local cohomology and the catenaricity of the unmixed support of a finitely generated module

abstract: Let $(R,\m)$ be a Noetherian local ring and $M$ a finitely generated $R-$module with $\dim M=d.$ This paper is concerned with the following property for the top local cohomology module $H^d_\m(M)$: $$\Ann (0:_{H^d_\m(M)}\p)=\p\ \text{for all prime ideals} \p\supseteq\Ann H^d_\m(M).$$ In this paper we will show that this property is equivalent to the catenaricity of the unmixed support $\Usupp M$ of $M$ which is defined by $\Usupp M=\Supp M/U_M(0)$, where $U_M(0)$ is the largest submodule of $M$ of dimension less than $d.$ Some characterizations of this property in terms of system of parameters as well as the relation between the unmixed supports of $M$ and of the $\m$-adic completion $\hat M$ are given.


title: Generalizations of the primitive and normal basis theorems

abstract: Using a Zariski topology associated to a finite field extensions, we give new proofs and generalize the primitive and normal basis theorems.


title: An Analytic Formula for the A_2 Jack Polynomials

abstract: In this letter I shall review my joint results with Vadim Kuznetsov and Evgeny Sklyanin [Indag. Math. 14 (2003), 451-482, math.CA/0306242] on separation of variables for the $A_n$ Jack polynomials. This approach originated from the work [RIMS Kokyuroku 919 (1995), 27-34, solv-int/9508002] where the integral representations for the $A_2$ Jack polynomials was derived. Using special polynomial bases I shall obtain a more explicit expression for the $A_2$ Jack polynomials in terms of generalised hypergeometric functions.


title: A second order smooth variational principle on Riemannian manifolds

abstract: We establish a second order smooth variational principle valid for functions defined on (possibly infinite-dimensional) Riemannian manifolds which are uniformly locally convex and have a strictly positive injectivity radius and bounded sectional curvature.


title: Ad-Nilpotent Ideals of a Parabolic Subalgebra

abstract: We extend the results of Cellini-Papi on the characterizations of nilpotent and abelian ideals of a Borel subalgebra to parabolic subalgebras of a simple Lie algebra. These characterizations are given in terms of elements of the affine Weyl group and faces of alcoves. In the case of a parabolic subalgebra of a classical Lie algebra, we give formulas for the number of these ideals.


title: Champs de Hurwitz

abstract: We give a thorough study of Hurwitz stacks both in Galois and non galois case. The construction is applied to revisit somme classical examples, the stack of stable curves equipped with a level structure, and the stacks of tamely ramified cyclic covers. We exhibit some tautological cohomology classes, and give some universal relations between them. Applications are given to Cornalba-Harris type relations, and to some Hurwitz-Hodge integrals.


title: A Nash-Moser theorem for singular evolution equations. Application to the Serre and Green-Naghdi equations

abstract: We study the well-posedness of the initial value problem for a wide class of singular evolution equations. We prove a general well-posedness theorem under three assumptions easy to check: the first controls the singular part of the equation, the second the behavior of the nonlinearities, and the third one assumes that an energy estimate can be found for the linearized system. We allow losses of derivatives in this energy estimate and therefore construct a solution by a Nash-Moser iterative scheme. As an application to this general theorem, we prove the well-posedness of the Serre and Green-Naghdi equation and discuss the problem of their validity as asymptotic models for the water-waves equations.


title: Noncommutative transforms and free pluriharmonic functions

abstract: In this paper, we study free pluriharmonic functions on noncommutative balls, and their boundary behavior. The main tools used in this study are certain noncommutative transforms which are introduced in the present paper and which generalize the classical transforms of Berezin, Poisson, Fantappie, Herglotz, and Cayley. Several classical results from complex analysis have free analogues in our noncommutative multivariable setting.


title: On finite dimensionality of mixed Tate motives

abstract: We prove a few results concerning the notions of finite dimensionality of mixed Tate motives in the sense of Kimura and O'Sullivan. It is shown that being oddly or evenly finite dimensional is equivalent to vanishing of certain cohomology groups defined by means of Levine weight filtration. We then explain the relation to the Grothendieck group of the triangulated category D of mixed Tate motives. This naturally gives rise to a \lambda-ring structure on K_0(D).


title: Lambda theories of effective lambda models

abstract: A longstanding open problem is whether there exists a non-syntactical model of untyped lambda-calculus whose theory is exactly the least equational lambda-theory (=Lb). In this paper we make use of the Visser topology for investigating the more general question of whether the equational (resp. order) theory of a non syntactical model M, say Eq(M) (resp. Ord(M)) can be recursively enumerable (= r.e. below). We conjecture that no such model exists and prove the conjecture for several large classes of models. In particular we introduce a notion of effective lambda-model and show that for all effective models M, Eq(M) is different from Lb, and Ord(M) is not r.e. If moreover M belongs to the stable or strongly stable semantics, then Eq(M) is not r.e. Concerning Scott's continuous semantics we explore the class of (all) graph models, show that it satisfies Lowenheim Skolem theorem, that there exists a minimum order/equational graph theory, and that both are the order/equ theories of an effective graph model. We deduce that no graph model can have an r.e. order theory, and also show that for some large subclasses, the same is true for Eq(M).


title: Matrix elements for the quantum cat map: Fluctuations in short windows

abstract: We study fluctuations of the matrix coefficients for the quantized cat map. We consider the sum of matrix coefficients corresponding to eigenstates whose eigenphases lie in a randomly chosen window, assuming that the length of the window shrinks with Planck's constant. We show that if the length of the window is smaller than the square root of Planck's constant, but larger than the separation between distinct eigenphases, then the variance of this sum is proportional to the length of the window, with a proportionality constant which coincides with the variance of the individual matrix elements corresponding to Hecke eigenfunctions.


title: Transitive Group Actions: (IM)PRIMITIVITY and Semiregular Subgroups

abstract: The following problem is considered: if $H$ is a semiregular abelian subgroup of a transitive permutation group $G$ acting on a finite set $X$, find conditions for (non) existence of $G$-invariant partitions of $X$. Conditions presented in this paper are derived by studying spectral properties of associated $G$-invariant digraphs. As an essential tool, irreducible complex characters of $H$ are used. Questions of this kind arise naturally when classifying combinatorial objects which enjoy a certain degree of symmetry. As an illustration, a new and short proof of an old result of Frucht, Graver and Watkins ({\it Proc. Camb. Phil. Soc.}, {\bf 70} (1971), 211-218) classifying edge-transitive generalized Petersen graphs, is given.


title: Asymptotic behavior of extremal functions to an inequality involving Hardy potential and critical Sobolev exponent

abstract: In this paper, we study the asymptotic behavior of radial extremal functions to an inequality involving Hardy potential and critical Sobolev exponent. Based on the asymptotic behavior at the origin and the infinity, we shall deduce a strict inequality between two best constants. Finally, as an application of this strict inequality, we consider the existence of nontrivial solution of a quasilinear Brezis-Nirenberg type problem with Hardy potential and critical Sobolev exponent.


title: A note on $l^2$ norms of weighted mean matrices

abstract: We give a proof of Cartlidge's result on the $l^{p}$ operator norms of weighted mean matrices for $p=2$ on interpreting the norms as eigenvalues of certain matrices.


title: Shape curvatures and transversal fluctuations in the first passage percolation model

abstract: We consider the first passage percolation model on the square lattice. In this model, $\{t(e): e{an edge of}{\bf Z}^2 \}$ is an independent identically distributed family with a common distribution $F$. We denote by $T({\bf 0}, v)$ the passage time from the origin to $v$ for $v\in {\bf R}^2$ and $B(t)=\{v\in {\bf R}^d: T({\bf 0}, v)\leq t\}.$ It is well known that if $F(0) < p_c$, there exists a compact shape ${\bf B}_F\subset {\bf R}^2$ such that for all $\epsilon >0$, $t {\bf B}_F(1-\epsilon) \subset {B(t)} \subset t{\bf B}_F(1+\epsilon)$, eventually with a probability 1. For each shape boundary point $u$, we denote its right- and left-curvature exponents by $\kappa^+(u)$ and $\kappa^-(u)$. In addition, for each vector $u$, we denote the transversal fluctuation exponent by $\xi(u)$. In this paper, we can show that $\xi(u) \leq 1-\max\{\kappa^-(u)/2, \kappa^+(u)/2\}$ for all shape boundary points $u$. To pursue a curvature on ${\bf B}_F$, we consider passage times with a special distribution infsupp$(F)=l$ and $F(l)=p > \vec{p}_c$, where $l$ is a positive number and $\vec{p}_c$ is a critical point for the oriented percolation model. With this distribution, it is known that there is a flat segment on the shape boundary between angles $0< \theta_p^- < \theta_p^+< 90^\circ$. In this paper, we show that the shape are strictly convex at the directions $\theta_p^\pm$. Moreover, we also show that for all $r>0$, $\xi((r, \theta^\pm_p)) = 0.5$ and $\xi((r, \theta)) =1$ for all $\theta_p^- <\theta< \theta_p^+$ and $r>0$.


title: Group identities on the units of algebraic algebras with applications to restricted enveloping algebras

abstract: An algebra is called a GI-algebra if its group of units satisfies a group identity. We provide positive support for the following two open problems. 1. Does every algebraic GI-algebra satisfy a polynomial identity? 2. Is every algebraically generated GI-algebra locally finite?


title: Combinatorial aspects of code loops

abstract: The existence and uniqueness (up to equivalence) of code loops was first established by R. Griess. Nevertheless, the explicit construction of code loops remained open until T. Hsu introduced the notion of symplectic cubic spaces and their Frattini extensions, and pointed out how the construction of code loops followed from the (purely combinatorial) result of O. Chein and E. Goodaire. Within this paper, we focus on their combinatorial construction and prove a more general result using the language of derived forms.


title: Generators of nonassociative simple Moufang loops over finite prime fields

abstract: We present an elementary proof that the nonassociative simple Moufang loops over finite prime fields are generated by three elements. In the last section, we conclude that integral Cayley numbers of unit norm are generated multiplicatively by three elements.


title: Weighted Poincar\'e inequality and rigidity of complete manifolds

abstract: We prove structure theorems for complete manifolds satisfying both the Ricci curvature lower bound and the weighted Poincar\'e inequality. In the process, a sharp decay estimate for the minimal positive Green's function is obtained. This estimate only depends on the weight function of the Poincar\'e inequality, and yields a criterion of parabolicity of connected components at infinity in terms of the weight function.


title: Characterization of $SU_q(\ell+1)$-equivariant spectral triples for the odd dimensional quantum spheres

abstract: The quantum group $SU_q(\ell+1)$ has a canonical action on the odd dimensional sphere $S_q^{2\ell+1}$. All odd spectral triples acting on the $L_2$ space of $S_q^{2\ell+1}$ and equivariant under this action have been characterized. This characterization then leads to the construction of an optimum family of equivariant spectral triples having nontrivial $K$-homology class. These generalize the results of Chakraborty & Pal for $SU_q(2)$.


title: The abstract groups (3, 3 | 3, p), their subgroup structure, and their significance for the non-associative finite simple Moufang loops

abstract: For most (and possibly all) non-associative finite simple Moufang loops, three generators of order 3 can be chosen so that each two of them generate a group isomorphic to $(3, 3 | 3, p)$. The subgroup structure of $(3, 3 | 3, p)$ depends on the solvability of a certain quadratic congruence, and it is described here in terms of generators.


title: On planar Beurling and Fourier transforms

abstract: We study the Beurling and Fourier transforms on subspaces of $L^2({\mathbb C})$ defined by an invariance property with respect to the root-of-unity group. This leads to generalizations of these transformations acting unitarily on weighted $L^2$-spaces over $\mathbb C$.


title: Reconstruction of group multiplication tables by quadrangle criterion

abstract: For $n>3$, every $n\times n$ partial Cayley matrix with at most $n-1$ holes can be reconstructed by quadrangle criterion. Moreover, the holes can be filled in given order. Without additional assumptions, this is the best possible result. Reconstruction of other types of multiplication tables is discussed.


title: Spatial Epidemics: Critical Behavior in One Dimension

abstract: In the simple mean-field SIS and SIR epidemic models, infection is transmitted from infectious to susceptible members of a finite population by independent p-coin tosses. Spatial variants of these models are proposed, in which finite populations of size N are situated at the sites of a lattice and infectious contacts are limited to individuals at neighboring sites. Scaling laws for these models are given when the infection parameter p is such that the epidemics are critical. It is shown that in all cases there is a critical threshold for the numbers initially infected: below the threshold, the epidemic evolves in essentially the same manner as its branching envelope, but at the threshold evolves like a branching process with a size-dependent drift. The corresponding scaling limits are super-Brownian motions and Dawson-Watanabe processes with killing, respectively.


title: Chevalley groups of type $G_2$ as automorphism groups of loops

abstract: Let $M^*(q)$ be the unique nonassociative finite simple Moufang loop constructed over $GF(q)$. We prove that $Aut(M^*(2))$ is the Chevalley group $G_2(2)$, by extending multiplicative automorphism of $M^*(2)$ into linear automorphisms of the unique split octonion algebra over GF(2). Many of our auxiliary results apply in the general case. In the course of the proof we show that every element of a split octonion algebra can be written as a sum of two elements of norm one.


title: Automorphism groups of simple Moufang loops over perfect fields

abstract: Let $F$ be a perfect field and $M^*(F)$ the nonassociative simple Moufang loop consisting of the units in the (unique) split octonion algebra $O(F)$ modulo the center. Then $Aut(M^*(F))$ is equal to $G_2(F) \rtimes Aut(F)$. In particular, every automorphism of $M^*(F)$ is induced by a semilinear automorphism of $O(F)$. The proof combines results and methods from geometrical loop theory, groups of Lie type and composition algebras; its gist being an identification of the automorphism group of a Moufang loop with a subgroup of the automorphism group of the associated group with triality.


title: Generators for finite simple Moufang loops

abstract: Moufang loops are one of the best-known generalizations of groups. There is only one countable family of nonassociative finite simple Moufang loops, arising from the split octonion algebras. We prove that every member of this family is generated by three elements, using the classical results on generators of unimodular groups.


title: Jiang-type theorems for coincidences of maps into homogeneous spaces

abstract: Let $f,g: X\to G/K$ be maps from a closed connected orientable manifold $X$ to an orientable coset space $M=G/K$ where $G$ is a compact connected Lie group, $K$ a closed subgroup and $\dim X=\dim M$. In this paper, we show that if $L(f,g)=0$ then $N(f,g)=0$; if $L(f,g)\ne 0$ then $N(f,g)=R(f,g)$ where $L(f,g), N(f,g)$, and $R(f,g)$ denote the Lefschetz, Nielsen, and Reidemeister coincidence numbers of $f$ and $g$, respectively. When $\dim X> \dim M$, we give conditions under which $N(f,g)=0$ implies $f$ and $g$ are deformable to be coincidence free.


title: Random generators of given orders and the smallest simple Moufang loop

abstract: The probability that $m$ randomly chosen elements of a finite power associative loop $C$ have prescribed orders and generate $C$ is calculated in terms of certain constants related to the action of $Aut(C)$ on the subloop lattice of $C$. As an illustration, all meaningful probabilities of random generation by elements of given orders are found for the smallest nonassociative simple Moufang loop.


title: Investigation of subalgebra lattices by means of Hasse constants

abstract: Hasse constants and their basic properties are introduced to facilitate the connection between the lattice of subalgebras of an algebra $C$ and the natural action of the automorphism group $Aut(C)$ on $C$. These constants are then used to describe the lattice of subloops of the smallest nonassociative simple Moufang loop.


title: On the uniqueness of loops M(G,2)

abstract: Let $G$ be a finite group and $C_2$ the cyclic group of order 2. Consider the 8 multiplicative operations $(x,y)\mapsto (x^iy^j)^k$, where $i$, $j$, $k\in\{-1, 1\}$. Define a new multiplication on $G\times C_2$ by assigning one of the above 8 multiplications to each quarter $(G\times\{i\})\times(G\times\{j\})$, for $i$, $j\in C_2$. When $G$ is nonabelian then exactly four assignments yield Moufang loops that are not associative; all (anti)isomorphic, known as loops $M(G,2)$.


title: The smallest Moufang loop revisited

abstract: We derive presentations for Moufang loops of type $M(G,2)$, defined by Chein, with $G$ finite, two-generated. We then use $G=S_3$ to visualize the smallest non-associative Moufang loop.


title: Octonions, simple Moufang loops and triality

abstract: Nonassociative finite simple Moufang loops are exactly the loops constructed by Paige from Zorn vector matrix algebras. We prove this result anew, using geometric loop theory. In order to make the paper accessible to a broader audience, we carefully discuss the connections between composition algebras, simple Moufang loops, simple Moufang 3-nets, $S$-simple groups and groups with triality. Related results on multiplication groups, automorphisms groups and generators of Paige loops are provided.


title: Combinatorial polarization, code loops, and codes of high level

abstract: We first find the combinatorial degree of any map $f:V\to F$ where $F$ is a finite field and $V$ is a finite-dimensional vector space over $F$. We then simplify and generalize a certain construction due to Chein and Goodaire that was used in characterizing code loops as finite Moufang loops that posses at most two squares. The construction yields binary codes of high divisibility level with prescribed Hamming weights of intersections of codewords.


title: A class of Bol loops with a subgroup of index two

abstract: Let $G$ be a finite group and $C_2$ the cyclic group of order 2. Consider the 8 multiplicative operations $(x,y)\mapsto (x^iy^j)^k$, where $i$, $j$, $k\in\{-1, 1\}$. Define a new multiplication on $G\times C_2$ by assigning one of the above 8 multiplications to each quarter $(G\times\{i\})\times(G\times\{j\})$, for $i$, $j\in C_2$. We describe all situations in which the resulting quasigroup is a Bol loop. This paper also corrects an error in P. Vojt\v{e}chovsk\'y: On the uniqueness of loops $M(G,2)$.


title: Moufang loops that share associator and three quarters of their multiplication tables

abstract: Two constructions due to Dr\'apal produce a group by modifying exactly one quarter of the Cayley table of another group. We present these constructions in a compact way, and generalize them to Moufang loops, using loop extensions. Both constructions preserve associators, the associator subloop, and the nucleus. We conjecture that two Moufang 2-loops of finite order $n$ with equivalent associator can be connected by a series of constructions similar to ours, and offer empirical evidence that this is so for $n=16$, 24, 32; the only interesting cases with $n\le 32$. We further investigate the way the constructions affect code loops and loops of type $M(G, 2)$. The paper closes with several conjectures and research questions concerning the distance of Moufang loops, classification of small Moufang loops, and generalizations of the two constructions.


title: C-loops: An introduction

abstract: C-loops are loops satisfying $x(y(yz))=((xy)y)z$. They often behave analogously to Moufang loops and they are closely related to Steiner triple systems and combinatorics. We initiate the study of C-loops by proving: (i) Steiner loops are C-loops, (ii) C-loops are alternative, inverse property loops with squares in the nucleus, (iii) the nucleus of a C-loop is a normal subgroup, (iv) C-loops modulo their nucleus are Steiner loops, (v) C-loops are power associative, power alternative but not necessarily diassociative, (vi) torsion commutative C-loops are products of torsion abelian groups and torsion commutative 2-C-loops; and several other results. We also give examples of the smallest nonassociative C-loops, and explore the analogy between commutative C-loops and commutative Moufang loops.


title: Toward the classification of Moufang loops of order 64

abstract: We show how to obtain all nonassociative Moufang loops of order less than 64 and 4262 nonassociative Moufang loops of order 64 in a unified way. We conjecture that there are no other nonassociative Moufang loops of order 64. The main idea of the computer search is to modify precisely one quarter of the multiplication table in a certain way, previously applied to small 2-groups.


title: Linear groupoids and the associated wreath products

abstract: A groupoid identity is said to be linear of length $2k$ if the same $k$ variables appear on both sides of the identity exactly once. We classify and count all varieties of groupoids defined by a single linear identity. For $k=3$, there are 14 nontrivial varieties and they are in the most general position with respect to inclusion. Hentzel et. al. showed that the linear identity $(xy)z = y(zx)$ implies commutativity and associativity in all products of at least 5 factors. We complete their project by showing that no other linear identity of any length behaves this way, and by showing how the identity $(xy)z = y(zx)$ affects products of fewer than 5 factors; we include distinguishing examples produced by the finite model builder Mace4. The corresponding combinatorial results for labelled binary trees are given. We associate a certain wreath product with any linear identity. Questions about linear groupoids can therefore be transferred to groups and attacked by group-theoretical computational tools, e.g., GAP. Systematic notation and diagrams for linear identities are devised. A short equational basis for Boolean algebras involving the identity $(xy)z = y(zx)$ is presented, together with a proof produced by the automated theorem prover Otter.


title: The varieties of loops of Bol-Moufang type

abstract: A loop identity is of Bol-Moufang type if two of its three variables occur once on each side, the third variable occurs twice on each side, and the order in which the variables appear on both sides is the same, viz. $((xy)x)z=x(y(xz))$. Loop varieties defined by one identity of Bol-Moufang type include groups, Bol loops, Moufang loops and C-loops. We show that there are exactly 14 such varieties, and determine all inclusions between them, providing all necessary counterexamples, too. This extends and completes the programme of Fenyves.


title: The varieties of quasigroups of Bol-Moufang type: An equational reasoning approach

abstract: A quasigroup identity is of Bol-Moufang type if two of its three variables occur once on each side, the third variable occurs twice on each side, the order in which the variables appear on both sides is the same, and the only binary operation used is the multiplication, viz. $((xy)x)z=x(y(xz))$. Many well-known varieties of quasigroups are of Bol-Moufang type. We show that there are exactly 26 such varieties, determine all inclusions between them, and provide all necessary counterexamples. We also determine which of these varieties consist of loops or one-sided loops, and fully describe the varieties of commutative quasigroups of Bol-Moufang type. Some of the proofs are computer-generated.


title: Right division in groups, Dedekind-Frobenius group matrices, and Ward quasigroups

abstract: The variety of quasigroups satisfying the identity $(xy)(zy)=xz$ mirrors the variety of groups, and offers a new look at groups and their multiplication tables. Such quasigroups are constructed from a group using right division instead of multiplication. Their multiplication tables consist of circulant blocks which have additional symmetries and have a concise presentation. These tables are a reincarnation of the group matrices which Frobenius used to give the first account of group representation theory. Our results imply that every group matrix may be written as a block circulant matrix and that this result leads to partial diagonalization of group matrices, which are present in modern applied mathematics. We also discuss right division in loops with the antiautomorphic inverse property.


title: Symplectic S^1 x N^3, subgroup separability, and vanishing Thurston norm

abstract: Let N be a closed, oriented 3-manifold. A folklore conjecture states that $S^{1} \times N$ admits a symplectic structure if and only if $N$ admits a fibration over the circle. We will prove this conjecture in the case when N is irreducible and its fundamental group satisfies appropriate subgroup separability conditions. This statement includes 3-manifolds with vanishing Thurston norm, graph manifolds and 3-manifolds with surface subgroup separability (a condition satisfied conjecturally by all hyperbolic 3-manifolds). Our result covers, in particular, the case of 0-framed surgeries along knots of genus one. The statement follows from the proof that twisted Alexander polynomials decide fiberability for all the 3-manifolds listed above. As a corollary, it follows that twisted Alexander polynomials decide if a knot of genus one is fibered.


title: Notes on the occupancy problem with infinitely many boxes: general asymptotics and power laws

abstract: This paper collects facts about the number of occupied boxes in the classical balls-in-boxes occupancy scheme with infinitely many positive frequencies: equivalently, about the number of species represented in samples from populations with infinitely many species. We present moments of this random variable, discuss asymptotic relations among them and with related random variables, and draw connections with regular variation, which appears in various manifestations.


title: Covers and the curve complex

abstract: We provide the first non-trivial examples of quasi-isometric embeddings between curve complexes. These are induced either by puncturing a closed surface or via orbifold coverings. As a corollary, we give new quasi-isometric embeddings between mapping class groups.


title: Remarks on surfaces with $c_1^2 = 2\chi-1$ having non-trivial 2-torsion

abstract: We shall show that any complex minimal surface of general type with c_1^2 = 2\chi -1 having non-trivial 2-torsion divisors, where c_1^2 and \chi are the first Chern number of a surface and the Euler characteristic of the structure sheaf respectively, has the Euler characteristic \chi not exceeding 4. Moreover, we shall give a complete description for the surfaces of the case \chi =4, and prove that the coarse moduli space for surfaces of this case is a unirational variety of dimension 29. Using the description, we shall also prove that our surfaces of the case \chi = 4 have non-birational bicanonical maps and no pencil of curves of genus 2, hence being of so called non-standard case for the non-birationality of the bicanonical maps.


title: Sylvester's Double Sums: the general case

abstract: In 1853 Sylvester introduced a family of double sum expressions for two finite sets of indeterminates and showed that some members of the family are essentially the polynomial subresultants of the monic polynomials associated with these sets. A question naturally arises: What are the other members of the family? This paper provides a complete answer to this question. The technique that we developed to answer the question turns out to be general enough to charactise all members of the family, providing a uniform method.


title: On 2-Fold Covers of Graphs

abstract: A regular covering projection $\p\colon \tX \to X$ of connected graphs is $G$-admissible if $G$ lifts along $\p$. Denote by $\tG$ the lifted group, and let $\CT(\p)$ be the group of covering transformations. The projection is called $G$-split whenever the extension $\CT(\p) \to \tG \to G$ splits. In this paper, split 2-covers are considered. Supposing that $G$ is transitive on $X$, a $G$-split cover is said to be $G$-split-transitive if all complements $\bG \cong G$ of $\CT(\p)$ within $\tG$ are transitive on $\tX$; it is said to be $G$-split-sectional whenever for each complement $\bG$ there exists a $\bG$-invariant section of $\p$; and it is called $G$-split-mixed otherwise. It is shown, when $G$ is an arc-transitive group, split-sectional and split-mixed 2-covers lead to canonical double covers. For cubic symmetric graphs split 2-cover are necessarily cannonical double covers when $G$ is 1- or 4-regular. In all other cases, that is, if $G$ is $s$-regular, $s=2,3$ or 5, a necessary and sufficient condition for the existence of a transitive complement $\bG$ is given, and an infinite family of split-transitive 2-covers based on the alternating groups of the form $A_{12k+10}$ is constructed. Finally, chains of consecutive 2-covers, along which an arc-transitive group $G$ has successive lifts, are also considered. It is proved that in such a chain, at most two projections can be split. Further, it is shown that, in the context of cubic symmetric graphs, if exactly two of them are split, then one is split-transitive and the other one is either split-sectional or split-mixed.


title: Degenerations of Riemannian manifolds

abstract: This is an expositiry article on collapsing theory in Riemannian geometry written for the Modern Encyclopedia of Mathematical Physics (MEMPhys). We focus on describing the geometric and topological structure of collapsed/non-collapsed regions in Riemannian manifold under various curvature assumptions. Numerous applications of collapsing theory to Riemannian geometry are NOT discussed in this survey.


title: Finite-Time Consensus Problems for Networks of Dynamic Agents

abstract: In this paper, finite-time state consensus problems for continuous-time multi-agent systems are discussed, and two distributive protocols, which ensure that the states of agents reach an agreement in a finite time, are presented. By employing the method of finite-time Lyapunov functions, we derive conditions that guarantee the two protocols to solve the finite-time consensus problems respectively. Moreover, one of the two protocols solves the finite-time weighted-average consensus problem and can be successively applied to the systems with switching topology. Upper bounds of convergence times are also established. Simulations are presented to show the effectiveness of our results.


title: Ending Laminations and Cannon-Thurston Maps

abstract: In earlier work, we had shown that Cannon-Thurston maps exist for Kleinian surface groups. In this paper we prove that pre-images of points are precisely end-points of leaves of the ending lamination whenever the Cannon-Thurston map is not one-to-one. In particular, the Cannon-Thurston map is finite-to-one. This completes the proof of the conjectural picture of Cannon-Thurston maps for surface groups.


title: The zeros of the derivative of the Riemann zeta function near the critical line

abstract: We study the horizontal distribution of zeros of $\zeta'(s)$ which are denoted as $\rho'=\beta'+i\gamma'$. We assume the Riemann hypothesis which implies $\beta'\geqslant1/2$ for any non-real zero $\rho'$, equality being possible only at a multiple zero of $\zeta(s)$. In this paper we prove that $\liminf(\beta'-1/2)\log\gamma'\not=0$ if and only if for any $c>0$ and $s=\sigma+it$ with $|\sigma-1/2|<c/\log t$ $(t\geqslant10)$ $$ \frac{\zeta'}{\zeta}(s)=\frac{1}{s-\rho}+O(\log t), $$ where $\rho=1/2+i\gamma$ is the closest zero of $\zeta(s)$ to $s$ and the origin. We also show that if $\liminf(\beta'-1/2)\log\gamma'\not=0$, then for any $c>0$ and $s=\sigma+it$ ($t\geqslant10$), we have $$ \log\zeta(s)=O(\frac{(\log t)^{2-2\sigma}}{\log\log t}) $$ uniformly for $1/2+c/\log t\leqslant\sigma\leqslant\sigma_1<1$.


title: The determinant of the Dirichlet-to-Neumann map for surfaces with boundary

abstract: For any orientable compact surface with boundary, we compute the regularized determinant of the Dirichlet-to-Neumann (DN) map in terms of particular values of dynamical zeta functions by using natural uniformizations, one due to Mazzeo-Taylor, the other to Osgood-Phillips-Sarnak. We also relate in any dimension the DN map for the Yamabe operator to the scattering operator for a conformally compact related problem by using uniformization.


title: Distance estimates for dependent thinnings of point processes with densities

abstract: In [Schuhmacher, Electron. J. Probab. 10 (2005), 165--201] estimates of the Barbour-Brown distance d_2 between the distribution of a thinned point process and the distribution of a Poisson process were derived by combining discretization with a result based on Stein's method. In the present article we concentrate on point processes that have a density with respect to a Poisson process. For such processes we can apply a corresponding result directly without the detour of discretization and thus obtain better and more natural bounds not only in d_2 but also in the stronger total variation metric. We give applications for thinning by covering with an independent Boolean model and "Mat{\'e}rn type I"-thinning of fairly general point processes. These applications give new insight into the respective models, and either generalize or improve earlier results.


title: On the Structure of Sequentially Generalized Cohen-Macaulay Modules

abstract: A finitely generated module $M$ over a local ring is called a sequentially generalized Cohen-Macaulay module if there is a filtration of submodules of $M$: $M_0\subset M_1\subset ... \subset M_t=M$ such that $\dim M_0<\dim M_1< >... <\dim M_t$ and each $M_i/M_{i-1}$ is generalized Cohen-Macaulay. The aim of this paper is to study the structure of this class of modules. Many basic properties of these modules are presented and various characterizations of sequentially generalized Cohen-Macaulay property by using local cohomology modules, theory of multiplicity and in terms of systems of parameters are given. We also show that the notion of dd-sequences defined in \cite{cc} is an important tool for studying this class of modules.


title: Parametric Decomposition of Powers of Parameter Ideals and Sequentially Cohen-Macaulay Modules

abstract: Let $M$ be a finitely generated module of dimension $d$ over a Noetherian local ring $(R,\m)$ and $\q $ the parameter ideal generated by a system of parameters $\x = (x_1,..., x_d)$ of $M$. For each positive integer $n$, set $$\Lambda_{d,n}=\{\alpha =(\alpha_1,...,\alpha_d)\in\Bbb{Z}^d|\alpha_i\geqslant 1, \forall 1\leqslant i\leqslant d \text{and} \sum\limits_{i=1}^d\alpha_i=d+n-1\}$$ and $\qa = (x_1^{\alpha_1},...,x_d^{\alpha_d})$. Then we prove in this note that $M$ is a sequentially Cohen-Macaulay module if and only if there exists a certain system of parameters $\x$ such that the equality $\q^nM=\pd$ holds true for all $n$. As an application of this result, we can compute the Hilbert-Samuel polynomial of a sequentially Cohen-Macaulay module with respect to certain parameter ideals


title: On the Geometry of the Orbits of Hermann Actions

abstract: We investigate the submanifold geometry of the orbits of Hermann actions on Riemannian symmetric spaces. After proving that the curvature and shape operators of these orbits commute, we calculate the eigenvalues of the shape operators in terms of the restricted roots. As applications, we get a formula for the volumes of the orbits and a new proof of a Weyl-type integration formula for Hermann actions.


title: A counterexample for boundedness of pseudo-differential operators on modulation spaces

abstract: We prove that pseudo-differential operators with symbols in the class $S_{1,\delta}^0$ ($0<\delta<1$) are not always bounded on the modulation space $M^{p,q}$ ($q\neq2$).


title: Dyck paths with coloured ascents

abstract: We introduce a notion of Dyck paths with coloured ascents. For several ways of colouring, we establish bijections between sets of such paths and other combinatorial structures, such as non-crossing trees, dissections of a convex polygon, etc. In some cases enumeration gives new expression for sequences enumerating these structures.


title: Numerical obstructions to abelian surfaces in toric Fano 4-fold

abstract: This paper is withdrawn because it is superseded by arXiv:0710.4284


title: Minimal Triangulations of Manifolds

abstract: In this survey article, we are interested on minimal triangulations of closed pl manifolds. We present a brief survey on the works done in last 25 years on the following: (i) Finding the minimal number of vertices required to triangulate a given pl manifold. (ii) Given positive integers $n$ and $d$, construction of $n$-vertex triangulations of different $d$-dimensional pl manifolds. (iii) Classifications of all the triangulations of a given pl manifold with same number of vertices. In Section 1, we have given all the definitions which are required for the remaining part of this article. In Section 2, we have presented a very brief history of triangulations of manifolds. In Section 3, we have presented examples of several vertex-minimal triangulations. In Section 4, we have presented some interesting results on triangulations of manifolds. In particular, we have stated the Lower Bound Theorem and the Upper Bound Theorem. In Section 5, we have stated several results on minimal triangulations without proofs. Proofs are available in the references mentioned there.


title: Non-equilibrium stochastic dynamics in continuum: The free case

abstract: We study the problem of identification of a proper state-space for the stochastic dynamics of free particles in continuum, with their possible birth and death. In this dynamics, the motion of each separate particle is described by a fixed Markov process $M$ on a Riemannian manifold $X$. The main problem arising here is a possible collapse of the system, in the sense that, though the initial configuration of particles is locally finite, there could exist a compact set in $X$ such that, with probability one, infinitely many particles will arrive at this set at some time $t>0$. We assume that $X$ has infinite volume and, for each $\alpha\ge1$, we consider the set $\Theta_\alpha$ of all infinite configurations in $X$ for which the number of particles in a compact set is bounded by a constant times the $\alpha$-th power of the volume of the set. We find quite general conditions on the process $M$ which guarantee that the corresponding infinite particle process can start at each configuration from $\Theta_\alpha$, will never leave $\Theta_\alpha$, and has cadlag (or, even, continuous) sample paths in the vague topology. We consider the following examples of applications of our results: Brownian motion on the configuration space, free Glauber dynamics on the configuration space (or a birth-and-death process in $X$), and free Kawasaki dynamics on the configuration space. We also show that if $X=\mathbb R^d$, then for a wide class of starting distributions, the (non-equilibrium) free Glauber dynamics is a scaling limit of (non-equilibrium) free Kawasaki dynamics.


title: Comparison of the Discrete and Continuous Cohomology Groups of a Pro-$p$ Group

abstract: We address the following question. For which finitely generated pro-$p$ groups the comparison map $\phi^2:H_{cont}^{2}(P,\F_p) \to H_{disc}{2}(P,\F_p)$ is an isomorphism? We prove that if $P$ is not finitely presented then $\phi^2$ is not surjective. Furthermore, if $P$ is finitely presented $\phi^2$ is an isomorphism if and only if the comparison map $\phi_2:H^{disc}_{2}(P, \F_p) \to H^{cont}_{2}(P, \F_p)$ of second homology groups is an isomorphism. This is the content of Theorem A. The second main result of the paper is Theorem B, which gives an explicit construction of a cochain from the kernel of $\phi^2$.


title: Torus equivariant spectral triples for odd dimensional quantum spheres coming from $C^*$-extensions

abstract: The torus group $(S^1)^{\ell+1}$ has a canonical action on the odd dimensional sphere $S_q^{2\ell+1}$. We take the natural Hilbert space representation where this action is implemented and characterize all odd spectral triples acting on that space and equivariant with respect to that action. This characterization gives a construction of an optimum family of equivariant spectral triples having nontrivial $K$-homology class thus generalizing our earlier results for $SU_q(2)$. We also relate the triple we construct with the $C^*$-extension \[ 0\longrightarrow \clk\otimes C(S^1)\longrightarrow C(S_q^{2\ell+3}) \longrightarrow C(S_q^{2\ell+1}) \longrightarrow 0. \]


title: Uniform limit theorems for the integrated periodogram of weakly dependent time series and their applications to Whittle's estimate

abstract: We prove uniform convergence results for the integrated periodogram of a weakly dependent time series, namely a law of large numbers and a central limit theorem. These results are applied to Whittle's parametric estimation. Under general weak-dependence assumptions we derive uniform limit theorems and asymptotic normality of Whittle's estimate for a large class of models. For instance the causal $\theta$-weak dependence property allows a new and unified proof of those results for ARCH($\infty$) and bilinear processes. Non causal $\eta$-weak dependence yields the same limit theorems for two-sided linear (with dependent inputs) or Volterra processes.


title: Reduction of branes in generalized complex geometry

abstract: We show that certain submanifolds of generalized complex manifolds ("weak branes") admit a natural quotient which inherits a generalized complex structure. This is analog to quotienting coisotropic submanifolds of symplectic manifolds. In particular Gualtieri's generalized complex submanifolds ("branes") quotient to space-filling branes. Along the way we perform reductions by foliations (i.e. no group action is involved) for exact Courant algebroids - interpreting the reduced \v{S}evera class - and for Dirac structures.


title: Search cost for a nearly optimal path in a binary tree

abstract: Consider a binary tree, to the vertices of which are assigned independent Bernoulli random variables with mean $p\leq1/2$. How many of these Bernoullis one must look at in order to find a path of length $n$ from the root which maximizes, up to a factor of $1-\epsilon$, the sum of the Bernoullis along the path? In the case $p=1/2$ (the critical value for nontriviality), it is shown to take $\Theta(\epsilon^{-1}n)$ steps. In the case $p<1/2$, the number of steps is shown to be at least $n\cdot\exp(\operatorname {const}\epsilon^{-1/2})$. This last result matches the known upper bound from [Algorithmica 22 (1998) 388--412] in a certain family of subcases.


title: Certain 4-manifolds with non-negative sectional curvature

abstract: In this paper, we study certain compact 4-manifolds with non-negative sectional curvature $K$. If $s$ is the scalar curvature and $W_+$ is the self-dual part of Weyl tensor, then it will be shown that there is no metric $g$ on $S^2 \times S^2$ with both (i) $K > 0$ and (ii) $ {1/6} s - W_+ \ge 0$. We also investigate other aspects of 4-manifolds with non-negative sectional curvature. One of our results implies a theorem of Hamilton: ``If a simply-connected, closed 4-manifold $M^4$ admits a metric $g$ of non-negative curvature operator, then $M^4$ is one of $S^4$, $\Bbb CP^2$ and $S^2 \times S^2$". Our method is different from Hamilton's and is much simpler. A new version of the second variational formula for minimal surfaces in 4-manifolds is proved.


title: Resurgence of the fractional polylogarithms

abstract: The fractional polylogarithms, depending on a complex parameter $\a$, are defined by a series which is analytic inside the unit disk. After an elementary conversion of the series into an integral presentation, we show that the fractional polylogarithms are multivalued analytic functions in the complex plane minus 0 and 1. For non-integer values of $\a$, we prove the analytic continuation, compute the monodromy around 0 and 1, give a Mittag-Leffler decomposition and compute the asymptotic behavior for large values of the complex variable. The fractional polylogarithms are building blocks of resurgent functions that are used in proving that certain power series associated with knotted objects are resurgent. This is explained in a separate publication \cite{CG3}. The motivic or physical interpretation of the monodromy of the fractional polylogarithms for non-integer values of $\a$ is unknown to the authors.


title: Denseness of ergodicity for a class of partially hyperbolic volume-preserving flows

abstract: This paper has been withdrawn by the authors due to a mistake in one of the proofs


title: Revisiting Tietze-Nakajima - Local and Global Convexity for Maps

abstract: A theorem of Tietze and Nakamija, from 1928, asserts that if a subset X of R^n is closed, connected, and locally convex, then it is convex. We give an analogous "local to global convexity" theorem when the inclusion map of X to R^n is replaced by a map from a topological space X to R^n that satisfies certain local properties. We say that a map from a topological space to R^n is convex if every two points in the space can be connected by a path whose composition with the map is a weakly monotone parametrization of a straight line segment. Let X be a connected Hausdorff topological space, let T be a convex subset of R^n, and let Psi: X \to T be a continuous proper map. Suppose that every point in X is contained in an open set U such that the map Psi|_U: U \to Psi(U) is convex and open. Then the map Psi: X \to \Psi(X) is convex and open. Consequently, its image is convex and its level sets are connected. Our motivation comes from the Condevaux-Dazord-Molino proof of the Atiyah-Guillemin-Sternberg convexity theorem in symplectic geometry.


title: Cofibrant complexes are free

abstract: We define a notion of cofibration among n-categories and show that the cofibrant objects are exactly the free ones, that is those generated by polygraphs.


title: Exponential ergodicity of the solutions to SDE's with a jump noise

abstract: The mild sufficient conditions for exponential ergodicity of a Markov process, defined as the solution to SDE with a jump noise, are given. These conditions include three principal claims: recurrence condition R, topological irreducibility condition S and non-degeneracy condition N, the latter formulated in the terms of a certain random subspace of \Re^m, associated with the initial equation. The examples are given, showing that, in general, none of three principal claims can be removed without losing ergodicity of the process. The key point in the approach, developed in the paper, is that the local Doeblin condition can be derived from N and S via the stratification method and criterium for the convergence in variations of the family of induced measures on \Re^m.


title: Interpreting the arithmetic in Thompson's group F

abstract: We prove that the elementary theory of Thompson's group $F$ is hereditarily undecidable.


title: Quantum heaps, cops and heapy categories

abstract: A heap is a structure with a ternary operation which is intuitively a group with forgotten unit element. Quantum heaps are associative algebras with a ternary cooperation which are to the Hopf algebras what heaps are to groups, and, in particular, the category of copointed quantum heaps is isomorphic to the category of Hopf algebras. There is an intermediate structure of a cop in monoidal category which is in the case of vector spaces to a quantum heap about what is a coalgebra to a Hopf algebra. The representations of Hopf algebras make a rigid monoidal category. Similarly the representations of quantum heaps make a kind of category with ternary products, which we call a heapy category.


title: Some quasihomogeneous Legendrian varieties

abstract: We construct a family of examples of Legendrian subvarieties in some projective spaces. Although most of them are singular, a new example of smooth Legendrian variety in dimension 8 is in this family. The 8-fold has interesting properties: it is a compactification of the special linear group, a Fano manifold of index 5 and Picard number 1.


title: Free two-step nilpotent groups whose automorphism group is complete

abstract: Dyer and Formanek (1976) proved that if N is a free nilpotent group of class two and of finite rank which is not equal to 1, or to 3, then the automorphism group Aut(N) of N is complete. The main result of the present paper states that the automorphism group of any infinitely generated free nilpotent group of class two is also complete.


title: What does the automorphism group of a free abelian group A know about A?

abstract: Let $A$ be an infinitely generated free abelian group. We prove that the automorphism group $\aut A$ first-order interprets the full second-order theory of the set $|A|$ with no structure. In particular, this implies that the automorphism groups of two infinitely generated free abelian groups $A_1,A_2$ are elementarily equivalent if and only if the sets $|A_1|,|A_2|$ are second-order equivalent.


title: The \bar\partial_b-complex on decoupled boundaries in C^n

abstract: The purpose of this paper is to prove optimal estimates for solutions of the Kohn-Laplacian for certain classes of model domains in several complex variables. This will be achieved by applying a type of singular integral operator whose novel features (related to product theory and flag kernels) differ essentially from the more standard Calderon-Zygmund operators that have been used in these problems hitherto.


title: Large deviations for voter model occupation times in two dimensions

abstract: We study the decay rate of large deviation probabilities of occupation times, up to time $t$, for the voter model $\eta\colon\Z^2\times[0,\infty)\ra\{0,1\}$ with simple random walk transition kernel, starting from a Bernoulli product distribution with density $\rho\in(0,1)$. Bramson, Cox and Griffeath (1988) showed that the decay rate order lies in $[\log(t),\log^2(t)]$. In this paper, we establish the true decay rates depending on the level. We show that the decay rates are $\log^2(t)$ when the deviation from $\rho$ is maximal (i.e., $\eta\equiv 0$ or 1), and $\log(t)$ in all other situations.


title: Osculating Paths and Oscillating Tableaux

abstract: The combinatorics of certain osculating lattice paths is studied, and a relationship with oscillating tableaux is obtained. More specifically, the paths being considered have fixed start and end points on respectively the lower and right boundaries of a rectangle in the square lattice, each path can take only unit steps rightwards or upwards, and two different paths are permitted to share lattice points, but not to cross or share lattice edges. Such paths correspond to configurations of the six-vertex model of statistical mechanics with appropriate boundary conditions, and they include cases which correspond to alternating sign matrices and various subclasses thereof. Referring to points of the rectangle through which no or two paths pass as vacancies or osculations respectively, the case of primary interest is tuples of paths with a fixed number $l$ of vacancies and osculations. It is then shown that there exist natural bijections which map each such path tuple $P$ to a pair $(t,\eta)$, where $\eta$ is an oscillating tableau of length $l$ (i.e., a sequence of $l+1$ partitions, starting with the empty partition, in which the Young diagrams of successive partitions differ by a single square), and $t$ is a certain, compatible sequence of $l$ weakly increasing positive integers. Furthermore, each vacancy or osculation of $P$ corresponds to a partition in $\eta$ whose Young diagram is obtained from that of its predecessor by respectively the addition or deletion of a square. These bijections lead to enumeration formulae for osculating paths involving sums over oscillating tableaux.


title: Applications of M.G. Krein's Theory of Regular Symmetric Operators to Sampling Theory

abstract: The classical Kramer sampling theorem establishes general conditions that allow the reconstruction of functions by mean of orthogonal sampling formulae. One major task in sampling theory is to find concrete, non trivial realizations of this theorem. In this paper we provide a new approach to this subject on the basis of the M. G. Krein's theory of representation of simple regular symmetric operators having deficiency indices (1,1). We show that the resulting sampling formulae have the form of Lagrange interpolation series. We also characterize the space of functions reconstructible by our sampling formulae. Our construction allows a rigorous treatment of certain ideas proposed recently in quantum gravity.


title: A multiplicity result for the problem $\delta d \xi = f'(<\xi,\xi>)\xi$

abstract: In this paper we consider the nonlinear equation involving differential forms on a compact Riemannian manifold $\delta d \xi = f'(<\xi,\xi>)\xi$. This equation is a generalization of the semilinear Maxwell equations recently introduced in a paper by Benci and Fortunato. We obtain a multiplicity result both in the positive mass case (i.e. $f'(t)\geq\epsilon>0$ uniformly) and in the zero mass case ($f'(t)\geq 0$ and $f'(0)=0$) where a strong convexity hypothesis on the nonlinearity is assumed.


title: Dynamical twists in Hopf algebras

abstract: We establish a bijective correspondence between gauge equivalence classes of dynamical twists in a finite-dimensional Hopf algebra $H$ based on a finite abelian group $A$ and equivalence classes of pairs $(K, \{V_{\lambda}\}_{\lambda\in \hat{A}})$, where $K$ is an $H$-simple left $H$-comodule semisimple algebra and $\{V_{\lambda}\}_{\lambda\in \hat{A}}$ is a family of irreducible representations satisfying certain conditions. Our results generalize the results obtained by Etingof-Nikshych on the classification of dynamical twists in group algebras.


title: Derivation of the Euler-Rodrigues formula for three-dimensional rotations from the general formula for four-dimensional rotations

abstract: The general 4D rotation matrix is specialised to the general 3D rotation matrix by equating its leftmost top element (a00) to 1. Its associate matrix of products of the left-hand and right-hand quaternion components is specialised correspondingly. Inequalities involving the angles through which the coordinate axes in 3D space are displaced are used to prove that the left-hand and the right-hand quaternions are each other's inverses, thus proving the Euler-Rodrigues formula. A general procedure to determine the Euler parameters of a given 3D rotation matrix is sketched. By equating the leftmost top element to -1 instead of +1 in the general 4D rotation matrix, one proves the counterpart of the Euler-Rodrigues formula for 3D rotoreflections. Keywords: Euler--Rodrigues formula, Euler parameters, quaternions, four--dimensional rotations, three--dimensional rotations, rotoreflections


title: Spatially Inhomogeneous Bernstein's Problem and De Giorgi's Conjecture

abstract: In this note, we propose Bernstein's problem and De Giorgi's conjecture for spatially inhomogeneous equations, as well as De Giorgi's conjecture for system of reaction-diffusion equations.


title: A Constructive Approach to the Estimation of Dimension Reduction Directions

abstract: In this paper, we propose two new methods to estimate the dimension-reduction directions of the central subspace (CS) by constructing a regression model such that the directions are all captured in the regression mean. Compared with the inverse regression estimation methods (e.g. Li, 1991, 1992; Cook and Weisberg, 1991), the new methods require no strong assumptions on the design of covariates or the functional relation between regressors and the response variable, and have better performance than the inverse regression estimation methods for finite samples. Compared with the direct regression estimation methods (e.g. H\"ardle and Stoker, 1989; Hristache, Juditski, Polzehl and Spokoiny, 2001; Xia, Tong, Li and Zhu, 2002), which can only estimate the directions of CS in the regression mean, the new methods can detect the directions of CS exhaustively. Consistency of the estimators and the convergence of corresponding algorithms are proved.


title: A Recipe for Symbolic Geometric Computing: Long Geometric Product, BREEFS and Clifford Factorization

abstract: In symbolic computing, a major bottleneck is middle expression swell. Symbolic geometric computing based on invariant algebras can alleviate this difficulty. For example, the size of projective geometric computing based on bracket algebra can often be restrained to two terms, using final polynomials, area method, Cayley expansion, etc. This is the "binomial" feature of projective geometric computing in the language of bracket algebra. In this paper we report a stunning discovery in Euclidean geometric computing: the term preservation phenomenon. Input an expression in the language of Null Bracket Algebra (NBA), by the recipe we are to propose in this paper, the computing procedure can often be controlled to within the same number of terms as the input, through to the end. In particular, the conclusions of most Euclidean geometric theorems can be expressed by monomials in NBA, and the expression size in the proving procedure can often be controlled to within one term! Euclidean geometric computing can now be announced as having a "monomial" feature in the language of NBA. The recipe is composed of three parts: use long geometric product to represent and compute multiplicatively, use "BREEFS" to control the expression size locally, and use Clifford factorization for term reduction and transition from algebra to geometry. By the time this paper is being written, the recipe has been tested by 70+ examples from \cite{chou}, among which 30+ have monomial proofs. Among those outside the scope, the famous Miquel's five-circle theorem \cite{chou2}, whose analytic proof is straightforward but very difficult symbolic computing, is discovered to have a 3-termed elegant proof with the recipe.


title: A note on affine quotients and equivariant double fibrations

abstract: We consider two linear reductive algebraic groups $ G $ and $ G' $ over $ C $. Take a finite dimensional rational representation $ W $ of $ G \times G' $. Let $ Y = W // G := Spec C[W]^G $ and $ X = W // G' := \Spec C[W]^{G'} $ be the affine quotients. The quotient space $ X $ (respectively $ Y $) naturally inherits the action of $ G $ (respectively $ G' $). In this note, we study the interrelation between the orbit structures of $ X / G $ and $ Y / G' $. In a good situation, we can embed $ Y / G' $ into $ X / G $, and the embedding map preserves important properties such as the closure relation and nilpotency. We give a sufficient condition for the existence of such embedding, and provide many examples arising from the natural representations of classical groups. As an application we consider the geometric problem of unimodular congruence classes of bilinear forms proposed by Djokovic-Sekiguchi-Zhao.


title: Resolution of null fiber and conormal bundles on the Lagrangian Grassmannian

abstract: We study the null fiber of a moment map related to dual pairs. We construct an equivariant resolution of singularities of the null fiber, and get conormal bundles of closed $ K_C $-orbits in the Lagrangian Grassmannian as the categorical quotient. The conormal bundles thus obtained turn out to be a resolution of singularities of the closure of nilpotent $ K_C $-orbits, which is a "quotient" of the resolution of the null fiber.


title: Knot exteriors with additive Heegaard genus and Morimoto's Conjecture

abstract: Given integers g_i > 1 (i=1,...,n) we prove that there exist infinitely may knots K_i in S^3 so that g(E(K_i)) = g_i and the Heegaard genus of the exterior of the connected sum of K_1,...,K_n is the sum the Heegaard genera of K_1,...,K_n, that is: g(E(K_1#...#K_n)) = g(E(K_1)) +...+ g(E(K_n)). (Here, E() denotes the exterior and g() the Heegaard genus.) Together with Theorem 1.5 of [1], this proves the existence of counterexamples to Morimoto's Conjecture (Conjecture 1.5 of [2]). [1] Tsuyoshi Kobayashi and Yo'av Rieck. On the growth rate of the tunnel number of knots. J. Reine Angew. Math., 592:63--78, 2006. [2] Kanji Morimoto. On the super additivity of tunnel number of knots.Math. Ann., 317(3):489--508, 2000.


title: Knots with g(E(K)) = 2 and g(E(K#K#K)) = 6 and Morimoto's Conjecture

abstract: We show that there exist knots K in S^3 with g(E(K))=2 and g(E(K#K#K))=6. Together with Theorem~1.5 of [1], this proves existence of counterexamples to Morimoto's Conjecture (Conjecture 1.5 of [2]). This is a special case of arxiv.org/abs/math.GT/0701765 [1] Tsuyoshi Kobayashi and Yo'av Rieck. On the growth rate of the tunnel number of knots. J. Reine Angew. Math., 592:63--78, 2006. [2] Kanji Morimoto. On the super additivity of tunnel number of knots.Math. Ann., 317(3):489--508, 2000.


title: Operads revisited

abstract: Operads may be represented as symmetric monoidal functors on a small symmetric monoidal category. We discuss the axioms which must be imposed on a symmetric monoidal functor in order that it give rise to a theory similar to the theory of operads: we call such functors patterns. We also develop the enriched version of the theory, and show how it may be applied to axiomatize topological field theory.


title: Orbifold index and equivariant K-homology

abstract: We consider a invariant Dirac operator D on a manifold with a proper and cocompact action of a discrete group G. It gives rise to an equivariant K-homology class [D]. We show how the index of the induced orbifold Dirac operator can be calculated from [D] via the assembly map. We further derive a formula for this index in terms of the contributions of finite cyclic subgroups of G. According to results of W. Lueck, the equivariant K-homology can rationally be decomposed as a direct sum of contributions of finite cyclic subgroups of G. Our index formula thus leads to an explicit decomposition of the class [D].


title: A counterexample to $C^{2,1}$ regularity for parabolic fully nonlinear equations

abstract: We address the self-similar solvability of a singular parabolic problem and show that solutions to parabolic fully nonlinear equations are not expected to be $C^{2,1}$.


title: Adaptive wavelet based estimator of the memory parameter for stationary Gaussian processes

abstract: This work is intended as a contribution to a wavelet-based adaptive estimator of the memory parameter in the classical semi-parametric framework for Gaussian stationary processes. In particular we introduce and develop the choice of a data-driven optimal bandwidth. Moreover, we establish a central limit theorem for the estimator of the memory parameter with the minimax rate of convergence (up to a logarithm factor). The quality of the estimators are attested by simulations.


title: On the Number of Planar Orientations with Prescribed Degrees

abstract: We deal with the asymptotic enumeration of combinatorial structures on planar maps. Prominent instances of such problems are the enumeration of spanning trees, bipartite perfect matchings, and ice models. The notion of orientations with out-degrees prescribed by a function $\aa:V\to \NN$ unifies many different combinatorial structures, including the afore mentioned. We call these orientations $\aa$-orientations. The main focus of this paper are bounds for the maximum number of $\aa$-orientations that a planar map with $n$ vertices can have, for different instances of $\aa$. We give examples of triangulations with $2.37^n$ Schnyder woods, 3-connected planar maps with $3.209^n$ Schnyder woods and inner triangulations with $2.91^n$ bipolar orientations. These lower bounds are accompanied by upper bounds of $3.56^n$, $8^n$ and $3.97^n$ respectively. We also show that for any planar map $M$ and any $\alpha$ the number of $\alpha$-orientations is bounded from above by $3.73^n$ and describe a family of maps which have at least $2.598^n$ $\alpha$-orientations.


title: Equations in the Hadamard ring of rational functions

abstract: Let k be a number field. It is well known that the set of sequences composed by Taylor coefficients of rational functions over k is closed under component-wise operations, and so it can be equipped with a ring structure. A conjecture due to Pisot asks if (after enlarging the field) one can take d-th roots in this ring, provided d-th roots of coefficients can be taken in k. This was proved true in a preceding paper of the second author; in this article we generalize this result to more general equations, monic in Y, where the former case can be recovered for g(X,Y)=X^d-Y=0. Combining this with the Hadamard quotient theorem by Pourchet and Van der Poorten, we are able to get rid of the monic restriction, and have a theorem that generalizes both results.


title: A unique extremal metric for the least eigenvalue of the Laplacian on the Klein bottle

abstract: We prove the following conjecture recently formulated by Jakobson, Nadirashvili and Polterovich \cite{JNP}: on the Klein bottle $\mathbb{K}$, the metric of revolution $$g_0= {9+ (1+8\cos ^2v)^2\over 1+8\cos ^2v} (du^2 + {dv^2\over 1+8\cos ^2v}),$$ $0\le u <\frac\pi 2$, $0\le v <\pi$, is the \emph{unique} extremal metric of the first eigenvalue of the Laplacian viewed as a functional on the space of all Riemannian metrics of given area. The proof leads us to study a Hamiltonian dynamical system which turns out to be completely integrable by quadratures.


title: A Gamma-convergence argument for the blow-up of a non-local semilinear parabolic equation with Neumann boundary conditions

abstract: In this paper we study a simple non-local semilinear parabolic equation with Neumann boundary condition. We give local existence result and prove global existence for small initial data. A natural non increasing in time energy is associated to this equation. We prove that the solution blows up at finite time $T$ if and only if its energy is negative at some time before $T$. The proof of this result is based on a Gamma-convergence technique.


title: Global Low Regularity Solutions of Quasi-linear Wave Equations

abstract: In this paper we prove the global existence and uniqueness of the low regularity solutions to the Cauchy problem of quasi-linear wave equations with radial symmetric initial data in three space dimensions. The results are based on the end-point Strichartz estimate together with the characteristic method.


title: A characterization of the modular units

abstract: We provide an exact formula for the complex exponents in the modular product expansion of the modular units, and deduce a characterization of the modular units in terms of the growth of these exponents, answering a question of W. Kohnen.


title: Laplacian eigenvalues functionals and metric deformations on compact manifolds

abstract: In this paper, we investigate critical points of the Laplacian's eigenvalues considered as functionals on the space of Riemmannian metrics or a conformal class of metrics on a compact manifold. We obtain necessary and sufficient conditions for a metric to be a critical point of such a functional. We derive specific consequences concerning possible locally maximizing metrics. We also characterize critical metrics of the ratio of two consecutive eigenvalues.