title: Counts of maps to Grassmannians and intersections on the moduli space of bundles

abstract: We show that intersection numbers on the moduli space of stable bundles of coprime rank and degree over a smooth complex curve can be recovered as highest-degree asymptotics in formulas of Vafa-Intriligator type. In particular, we explicitly evaluate all intersection numbers appearing in the Verlinde formula. Our results are in agreement with previous computations of Witten, Jeffrey-Kirwan and Liu. Moreover, we prove the vanishing of certain intersections on a suitable Quot scheme which can be interpreted as giving equations between counts of maps to the Grassmannian.


title: Multiples of lattice polytopes without interior lattice points

abstract: Let $\Delta$ be an $n$-dimensional lattice polytope. The smallest non-negative integer $i$ such that $k \Delta$ contains no interior lattice points for $1 \leq k \leq n - i$ we call the degree of $\Delta$. We consider lattice polytopes of fixed degree $d$ and arbitrary dimension $n$. Our main result is a complete classification of $n$-dimensional lattice polytopes of degree $d=1$. This is a generalization of the classification of lattice polygons $(n=2)$ without interior lattice points due to Arkinstall, Khovanskii, Koelman and Schicho. Our classification shows that the secondary polytope of a lattice polytope of degree 1 is always a simple polytope.


title: A note on Perelman's LYH inequality

abstract: We give a proof to the Li-Yau-Hamilton type inequality claimed by Perelman on the fundamental solution to the conjugate heat equation. The rest of the paper is devoted to improving the known differential inequalities of Li-Yau-Hamilton type via monotonicity formulae.


title: Invariant hypersurfaces for derivations in positive characteristic

abstract: Let $A$ be an integral $k$-algebra of finite type over an algebraically closed field $k$ of characteristic $p>0$. Given a collection ${\cal{D}}$ of $k$-derivations on $A$, that we interpret as algebraic vector fields on $X=Spec(A)$, we study the group spanned by the hypersurfaces $V(f)$ of $X$ invariant for ${\cal{D}}$ modulo the rational first integrals of ${\cal{D}}$. We prove that this group is always a finite $\mathbb{Z}/p$-vector space, and we give an estimate for its dimension. This is to be related to the results of Jouanolou and others on the number of hypersurfaces invariant for a foliation of codimension 1. As an application, given a $k$-algebra $B$ between $A^p$ and $A$, we show that the kernel of the pull-back morphism $Pic(B)\rightarrow Pic(A)$ is a finite $\mathbb{Z}/p$-vector space. In particular, if $A$ is a UFD, then the Picard group of $B$ is finite.


title: Reduction of Linear Programming to Linear Approximation

abstract: It is well known that every Chebyshev linear approximation problem can be reduced to a linear program. In this paper we show that conversely every linear program can be reduced to a Chebyshev linear approximation problem.


title: p-adic families of Galois representations and higher rank Selmer groups

abstract: This is the final version of a book about p-adic families of Galois representations, Selmer groups, eigenvarieties and Arthur's conjectures


title: Parity Edge-Coloring of Graphs

abstract: In a graph whose edges are colored, a parity walk is a walk that uses each color an even number of times. The parity edge chromatic number p(G) of a graph G is the least k so that there is a coloring of E(G) using k colors that does not contain a parity path. The strong parity edge chromatic number p'(G) of G is the least k so that there is a coloring of E(G) using k colors with the property that every parity walk is closed. Our main result is to determine p'(K_n). Specifically, if m is the least power of two that is as large as n, then p'(K_n) has value m - 1. As a corollary, we strengthen a special case of an old result of Daykin and Lovasz. Other results include determining p(G) and p'(G) whenever G is a path, cycle, or of the form K_{2,n}, and an upper bound on p'(G) for the case that G is a complete bipartite graph. We conclude with a sample of open problems.


title: Complex Equiangular Cyclic Frames and Erasures

abstract: We derive various interesting properties of complex equiangular cyclic frames for many pairs (n, k) using Gauss sums and number theory. We further use these results to study the random and burst errors of some special cases of complex equiangular cyclic (n, k) frames.


title: Complex analysis methods in noncommutative probability

abstract: In this thesis we study convolutions that arise from noncommutative probability theory. We prove several regularity results for free convolutions, and for measures in partially defined one-parameter free convolution semigroups. We discuss connections between Boolean and free convolutions and, in the last chapter, we prove that any infinitely divisible probability measure with respect to monotonic additive or multiplicative convolution belongs to a one-parameter semigroup with respect to the corresponding convolution. Earlier versions of some of the results in this thesis have already been published, while some others have been submitted for publication. We have preserved almost entirely the specific format for PhD theses required by Indiana University. This adds several unnecessary pages to the document, but we wanted to preserve the specificity of the document as a PhD thesis at Indiana University.


title: Class and rank of differential modules

abstract: A differential module is a module equipped with a square-zero endomorphism. This structure underpins complexes of modules over rings, as well as differential graded modules over graded rings. We establish lower bounds on the class--a substitute for the length of a free complex--and on the rank of a differential module in terms of invariants of its homology. These results specialize to basic theorems in commutative algebra and algebraic topology. One instance is a common generalization of the equicharacteristic case of the New Intersection Theorem of Hochster, Peskine, P. Roberts, and Szpiro, concerning complexes over noetherian commutative rings, and of a theorem of G. Carlsson on differential graded modules over graded polynomial rings.


title: Euler Estimates of Rough Differential Equations

abstract: We consider controlled differential equations and give new estimates for higher order Euler schemes. Our proofs are inspired by recent work of A. M. Davie who considers first and second order schemes. In order to implement the general case we make systematic use of geodesic approximations in the free nilpotent group. As application, we can control moments of solutions to rough path differential equations (RDEs) driven by random rough paths with sufficient integrability and have a criteria for L^q - convergence in the Universal Limit Theorem. We also obtain Azencott type estimates and asymptotic expansions for random RDE solution. When specialized to RDEs driven by Enhanced Brownian motion, we (mildly) improve classic estimates for diffusions in the small time limit.


title: Goodness-of-Fit Tests for Symmetric Stable Distributions -- Empirical Characteristic Function Approach

abstract: We consider goodness-of-fit tests of symmetric stable distributions based on weighted integrals of the squared distance between the empirical characteristic function of the standardized data and the characteristic function of the standard symmetric stable distribution with the characteristic exponent $\alpha$ estimated from the data. We treat $\alpha$ as an unknown parameter, but for theoretical simplicity we also consider the case that $\alpha$ is fixed. For estimation of parameters and the standardization of data we use maximum likelihood estimator (MLE) and an equivariant integrated squared error estimator (EISE) which minimizes the weighted integral. We derive the asymptotic covariance function of the characteristic function process with parameters estimated by MLE and EISE. For the case of MLE, the eigenvalues of the covariance function are numerically evaluated and asymptotic distribution of the test statistic is obtained using complex integration. Simulation studies show that the asymptotic distribution of the test statistics is very accurate. We also present a formula of the asymptotic covariance function of the characteristic function process with parameters estimated by an efficient estimator for general distributions.


title: The moduli space of curves and Gromov-Witten theory

abstract: The goal of this article is to motivate and describe how Gromov-Witten theory can and has provided tools to understand the moduli space of curves. For example, ideas and methods from Gromov-Witten theory have led to both conjectures and theorems showing that the tautological part of the cohomology ring has a remarkable and profound structure. As an illustration, we describe a new approach to Faber's intersection number conjecture via branched covers of the projective line (work with I.P. Goulden and D.M. Jackson, based on work with T. Graber). En route we review the work of a large number of mathematicians.


title: A pseudodifferential Hormander's inequality

abstract: The classical Hormander's inequality for linear partial differential operators with constant coeffcients is extended to pseudodifferential operators.


title: Error analysis for quadratic spline quasi-interpolants on non-uniform criss-cross triangulations of bounded rectangular domains

abstract: Given a non-uniform criss-cross partition of a rectangular domain $\Omega$, we analyse the error between a function $f$ defined on $\Omega$ and two types of $C^1$-quadratic spline quasi-interpolants (QIs) obtained as linear combinations of B-splines with discrete functionals as coefficients. The main novelties are the facts that supports of B-splines are contained in $\Omega$ and that data sites also lie inside or on the boundary of $\Omega$. Moreover, the infinity norms of these QIs are small and do not depend on the triangulation: as the two QIs are exact on quadratic polynomials, they give the optimal approximation order for smooth functions. Our analysis is done for $f$ and its partial derivatives of the first and second orders and a particular effort has been made in order to give the best possible error bounds in terms of the smoothness of $f$ and of the mesh ratios of the triangulation.


title: Exit from a basin of attraction for stochastic weakly damped nonlinear Schr\"odinger equations

abstract: We consider weakly damped nonlinear Schr\"odinger equations perturbed by a noise of small amplitude. The small noise is either complex and of additive type or real and of multiplicative type. It is white in time and colored in space. Zero is an asymptotically stable equilibrium point of the deterministic equations. We study the exit from a neighborhood of zero, invariant by the flow of the deterministic equation, in $\xLtwo$ or in $\xHone$. Due to noise, large fluctuations off zero occur. Thus, on a sufficiently large time scale, exit from these domains of attraction occur. A formal characterization of the small noise asymptotic of both the first exit times and the exit points is given.


title: Hyperpolar isotropy actions on compact symmetric spaces

abstract: This paper has been withdrawn by the author due to a crucial error related with the consideration of regular points


title: A recursive method for computing zeta functions of varieties

abstract: We present a method for computing the zeta function of a smooth projective variety over a finite field which proceeds by induction on the dimension. We have implemented our approach for some surfaces using the Magma programming language, and present some explicit examples which we have computed.


title: Approximating the modulus of an inner function

abstract: We show that the modulus of an inner function can be uniformly approximated in the unit disk by the modulus of an interpolating Blaschke product.


title: Slow Diffeomorphisms of a Manifold with Two Dimensions Torus Action

abstract: The uniform norm of the differential of the n-th iteration of a diffeomorphism is called the growth sequence of the diffeomorphism. In this paper we show that there is no lower universal growth bound for volume preserving diffeomorphisms on manifolds with an effective two dimensions torus action by constructing a set of volume-preserving diffeomorphisms with arbitrarily slow growth.


title: On the Brauer-Manin obstruction for zero-cycles on curves

abstract: We wish to give a short elementary proof of S. Saito's result that the Brauer-Manin obstruction for zero-cycles of degree 1 is the only one for curves, supposing the finiteness of the Tate-Shafarevich-group $\sha^1(A)$ of the Jacobian variety. In fact we show that we only need a conjecturally finite part of the Brauer-group for this obstruction to be the only one. We also comment on the situation in higher dimensions


title: On the connection between Molchan-Golosov and Mandelbrot-Van Ness representations of fractional Brownian motion

abstract: We proof a connection between the generalized Molchan-Golosov integral transform and the generalized Mandelbrot-Van Ness integral transform of fractional Brownian motion (fBm). The former changes fBm of arbitrary Hurst index K into fBm of index H by integrating over [0,t], whereas the latter requires integration over (-infty,t].


title: Schur functions and alternating sums

abstract: We discuss several well known results about Schur functions that can be proved using cancellations in alternating summations; notably we shall discuss the Pieri and Murnaghan-Nakayama rules, the Jacobi-Trudi identity and its dual (Von N{\"a}gelsbach-Kostka) identity, their proofs using the correspondence with lattice paths of Gessel and Viennot, and finally the Littlewood-Richardson rule. Our our goal is to show that the mentioned statements are closely related, and can be proved using variations of the same basic technique. We also want to emphasise the central part that is played by matrices over $\{0,1\}$ and over $\N$; we show that the Littlewood-Richardson rule as generalised by Zelevinsky has elegant formulations using either type of matrix, and that in both cases it can be obtained by two successive reductions from a large signed enumeration of such matrices, where the sign depends only on the row and column sums of the matrix.


title: On the Brill-Noether theory for K3 surfaces, II

abstract: Let (S,H) be a polarized K3 surface, $E$ be a coherent sheaf on S and W be a linear subspace in the space of global sections H^0(S,E). If we are lucky, there is an exact sequence 0 -> W tensor O -> E -> E' -> 0, which gives a correspondence between moduli spaces of sheaves of different ranks on S. We used this correspondence in the first part of the paper in order to establish some properties of Brill-Noether loci in the moduli spaces. We allow E to be either locally free, torsion free of rank one, or a line bundle with support on a curve, thus studying simultaneously Brill-Noether special vector bundles, special 0-cycles and special linear systems on curves. To complete the work begun in the Part 1, we need to establish a number of properties of this correspondence. In this paper we prove that it behaves nicely for globally generated vector bundles, establish the existence of globally generated vector bundles in moduli spaces on K3, and prove that the correspondence preserves stability if Pic S = Z c_1(E), thus completing the work started in Part 1.


title: A note on metric connections for chiral and Dirac spinors

abstract: It is known that the bundle of Dirac spinors is produced as a direct sum of two bundles - the bundle of chiral spinors and its Hermitian conjugate bundle. In this paper some aspects of metric connections for chiral and Dirac spinors are resumed and their relation is studied.


title: Topological interpretation of function spaces stable under a general operation (tentative version)

abstract: Function (linear) spaces on which an arbitrary function operates (i.e. the space is stable w.r.t. the pointwise unary operation defined by the function) were investigated, for continuous real or complex operations, by deLeeuw-Katznelson, Sternfeld and Weit. They showed that, with suitable assumptions, a real or complex function space on which a non-affine continuous function operates is like an algebra. In this note, however, the point of view is somewhat different: the scalars are any field K, and from the outset no topology or continuity are assumed. Rather, a function space operated by a non-additively-affine (multivariate) function induces a topology on the set on which it is defined and the family of functions which operate on it induces topologies on K^n. These are used to derive a density property and to investigate "homomorphisms" of such spaces w.r.t. the "operations".


title: Characterizing Nobeling spaces

abstract: It is shown that Nobeling spaces are uniquely determined by the universal extension and embedding properties.


title: The BG-rank of a partition and its applications

abstract: Let \pi be a partition. In [2] we defined BG-rank(\pi) as an alternating sum of parities of parts. This statistic was employed to generalize and refine the famous Ramanujan modulo 5 partition congruence. Let p_j(n)(a_{t,j}(n)) denote a number of partitions (t-cores) of n with BG-rank=j. Here, we provide an elegant combinatorial proof that 5|p_j(5n+4) by showing that the residue of the 5-core crank mod 5 divides the partitions enumerated by p_j(5n+4) into five equal classes. This proof uses the orbit construction in [2] and new identity for BG-rank. In addition, we find eta-quotient representation for the generating functions for coefficients a_{t,floor((t+1)/4)}(n), a_{t,-floor((t-1)/4)}(n) when t is an odd, positive integer. Finally, we derive explicit formulas for the coefficients a_{5,j}(n) with j=0,1,-1.


title: Perspectives on geometric analysis

abstract: This is a survey paper on several aspects of differential geometry for the last 30 years, especially in those areas related to non-linear analysis. It grew from a talk I gave on the occasion of seventieth anniversary of Chinese Mathematical Society. I dedicate the lecture to the memory of my teacher S.S. Chern who had passed away in December 2004.


title: Maximal unramified 3-extensions of imaginary quadratic fields and SL_2(Z_3)

abstract: The structure of the Galois group of the maximal unramified p-extension of an imaginary quadratic field is restricted in various ways. In this paper we construct a family of finite 3-groups satisfying these restrictions. We prove several results about this family and characterize them as finite extensions of certain quotients of a Sylow pro-3 subgroup of SL_2(Z_3). We verify that the first group in the family does indeed arise as such a Galois group and provide a small amount of evidence that this may hold for the other members. If this were the case then it would imply that there is no upper bound on the possible lengths of a finite p-class tower.


title: Optimally coupling the Kolmogorov diffusion, and related optimal control problems

abstract: We discuss the optimal Markovian coupling before an exponential time of the Kolmogorov diffusion, and a class of related stochastic control problems in which the aim is to hit the origin before an exponential time. We provide a scaling argument for the optimal control in the near field and use rational WKB approximation to obtain the optimal control in the far field, and compare these analytical results with numerical experiments. In some of these optimal control problems, in which the advection velocity field is bounded, we show that the probability of success field agrees exactly with its leading-order asymptotic approximation in some areas of the plane, up to an undetermined multiplicative constant. We conjecture a necessary and sufficient condition for this behaviour, which is strongly supported by numerical experiments.


title: Division by Flat Ultradifferentiable Functions and Sectorial Extensions

abstract: We consider classes $ \mathcal{A}_M(S) $ of functions holomorphic in an open plane sector $ S $ and belonging to a strongly non-quasianalytic class on the closure of $ S $. In $ \mathcal{A}_M(S) $, we construct functions which are flat at the vertex of $ S $ with a sharp rate of vanishing. This allows us to obtain a Borel-Ritt type theorem for $ \mathcal{A}_M(S) $ extending previous results by Schmets and Valdivia. We also derive a division property for ideals of flat ultradifferentiable functions, in the spirit of a classical $ C^\infty $ result of Tougeron.


title: Eta-product $\eta(7\tau)^7/\eta(\tau)$

abstract: The Dirichlet series associated to the eta-product $\eta(7\tau)^7/\eta(\tau)$ decomposes uniquely into the difference of two L-functions with Euler products. This expression gives a new proof of the positivity of the Fourier coefficients of the eta-product.


title: Sur le nombre d'intervalles dans les treillis de Tamari

abstract: We enumerate the intervals in the Tamari lattices. For this, we introduce an inductive description of the intervals. Then a notion of "new interval" is defined and these are also enumerated. A a side result, the inverse of two special series is computed in a group of tree-indexed series.


title: Stochastic Generalized Porous Media and Fast Diffusion Equations

abstract: We present a generalization of Krylov-Rozovskii's result on the existence and uniqueness of solutions to monotone stochastic differential equations. As an application, the stochastic generalized porous media and fast diffusion equations are studied for $\sigma$-finite reference measures, where the drift term is given by a negative definite operator acting on a time-dependent function, which belongs to a large class of functions comparable with the so-called $N$-functions in the theory of Orlicz spaces.


title: K-finite matrix elements of irreducible Harish-Chandra modules are hypergeometric

abstract: We show that all the K-finite matrix elements of irreducible Harish-Chandra modules can can be expressed in spherical functions using finite number of operations


title: Braid Monodromy of Hypersurface Singularities

abstract: We introduce braid monodromy for the discriminant hypersurface in versal unfoldings of hypersurface singularities. Our objective is then to compute this invariant for singularities of Brieskorn Pham type: First we consider the unfolding by linear monomials in some detail and relate it to the versal unfolding. Next we present the A_n case in our framework. The two main chapters then provide the result in case of two variables and the inductive step to all higher dimensions. We finish with a presentation of the fundamental group of the discriminant complement.


title: Two-sided asymptotic bounds for the complexity of some closed hyperbolic three-manifolds

abstract: We establish two-sided bounds for the complexity of two infinite series of closed orientable 3-dimensional hyperbolic manifolds, the Lobell manifolds and the Fibonacci manifolds.


title: On Differential equation of invariants of binary forms

abstract: An explicit form of first order PDE for invariants of binary form are found. By solving the equation a minimal generation set for a ring of invariants and theirs syzygies are calculated in the cases $n\leq 6$ and $n=8.$


title: On the Steinberg property of the Contou-Carrere symbol

abstract: The aim of this work is to show that the Contou-Carr\`{e}re symbol satisfies the property of Steinberg symbols: $<f,1-f>_{A((t))^\times} = 1$ for all elements $f,1-f \in A((t))^\times$. Moreover, we offer a cohomological characterization of the Contou-Carr\`{e}re symbol from the commutator of a central extension of groups.


title: On factorization of q-difference equation for continuous q-Hermite polynomials

abstract: We argue that a customary q-difference equation for the continuous q-Hermite polynomials H_n(x|q) can be written in the factorized form as (D_q^2 - 1)H_n(x|q)=(q^{-n}-1)H_n(x|q), where D_q is some explicitly known q-difference operator. This means that the polynomials H_n(x|q) are in fact governed by the q-difference equation D_qH_n(x|q)=q^{-n/2}H_n(x|q), which is simpler than the conventional one.


title: A moving mesh method with variable relaxation time

abstract: We propose a moving mesh adaptive approach for solving time-dependent partial differential equations. The motion of spatial grid points is governed by a moving mesh PDE (MMPDE) in which a mesh relaxation time \tau is employed as a regularization parameter. Previously reported results on MMPDEs have invariably employed a constant value of the parameter \tau. We extend this standard approach by incorporating a variable relaxation time that is calculated adaptively alongside the solution in order to regularize the mesh appropriately throughout a computation. We focus on singular problems involving self-similar blow-up to demonstrate the advantages of using a variable relaxation ime over a fixed one in terms of accuracy, stability and efficiency.


title: A frequentist framework of inductive reasoning

abstract: Reacting against the limitation of statistics to decision procedures, R. A. Fisher proposed for inductive reasoning the use of the fiducial distribution, a parameter-space distribution of epistemological probability transferred directly from limiting relative frequencies rather than computed according to the Bayes update rule. The proposal is developed as follows using the confidence measure of a scalar parameter of interest. (With the restriction to one-dimensional parameter space, a confidence measure is essentially a fiducial probability distribution free of complications involving ancillary statistics.) A betting game establishes a sense in which confidence measures are the only reliable inferential probability distributions. The equality between the probabilities encoded in a confidence measure and the coverage rates of the corresponding confidence intervals ensures that the measure's rule for assigning confidence levels to hypotheses is uniquely minimax in the game. Although a confidence measure can be computed without any prior distribution, previous knowledge can be incorporated into confidence-based reasoning. To adjust a p-value or confidence interval for prior information, the confidence measure from the observed data can be combined with one or more independent confidence measures representing previous agent opinion. (The former confidence measure may correspond to a posterior distribution with frequentist matching of coverage probabilities.) The representation of subjective knowledge in terms of confidence measures rather than prior probability distributions preserves approximate frequentist validity.


title: Local solvability of linear differential operators with double characteristics I: Necessary conditions

abstract: This is a the first in a series of two articles devoted to the question of local solvability of doubly characteristic differential operators $L,$ defined, say, in an open set $\Om\subset \RR^n.$ Suppose the principal symbol $p_k$ of $L$ vanishes to second order at $(x_0,\xi_0)\in T^*\Om\setminus 0,$ and denote by $Q_\H$ the Hessian form associated to $p_k$ on $T_{(x_0,\xi_0)}T^*\Om.$ As the main result of this paper, we show (under some rank conditions and some mild additional conditions) that a necessary condition for local solvability of $L$ at $x_0$ is the existence of some $\theta\in\RR$ such that $\Re (e^{i\theta}Q_\H)\ge 0.$


title: The Hecke algebra and structure constants of the ring of symmetric polynomials

abstract: We give half a dozen bases of the Hecke algebra of the symmetric group, and relate them to the basis of Geck-Rouquier, and to the basis of Jones, using matrices of change of bases of the ring of symmetric polynomials.


title: The differential equation satisfied by a plane curve of degree n

abstract: Eliminating the arbitrary coefficients in the equation of a generic plane curve of order $n$ by computing sufficiently many derivatives, one obtains a differential equation. This is a projective invariant. The first one, corresponding to conics, has been obtained by Monge. Sylvester, Halphen, Cartan used invariants of higher order. The expression of these invariants is rather complicated, but becomes much simpler when interpreted in terms of symmetric functions.


title: Distortion mismatch in the quantization of probability measures

abstract: We elucidate the asymptotics of the L^s-quantization error induced by a sequence of L^r-optimal n-quantizers of a probability distribution P on R^d when s>r. In particular we show that under natural assumptions, the optimal rate is preserved as long as s<r+d (and for every s in the case of a compactly supported distribution). We derive some applications of these results to the error bounds for quantization based quadrature formulae in numerical integration on R^d and on the Wiener space.


title: Criteria for the $L^{p}$-dissipativity of systems of second order differential equations

abstract: We give complete algebraic characterizations of the $L^{p}$-dissipativity of the Dirichlet problem for some systems of partial differential operators of the form $\partial_{h}({\mathscr A}^{hk}(x)\partial_{k})$, were ${\mathscr A}^{hk}(x)$ are $m\times m$ matrices. First, we determine the sharp angle of dissipativity for a general scalar operator with complex coefficients. Next we prove that the two-dimensional elasticity operator is $L^{p}$-dissipative if and only if $$ ({1\over 2}-{1\over p})^{2} \leq {2(\nu-1)(2\nu-1)\over (3-4\nu)^{2}}, $$ $\nu$ being the Poisson ratio. Finally we find a necessary and sufficient algebraic condition for the $L^{p}$-dissipativity of the operator $\partial_{h} ({\mathscr A}^{h}(x)\partial_{h})$, where ${\mathscr A}^{h}(x)$ are $m\times m$ matrices with complex $L^{1}_{\rm loc}$ entries, and we describe the maximum angle of $L^{p}$-dissipativity for this operator.


title: The Euler-Lagrange PDE and Finsler metrizability

abstract: In this paper we investigate the following question: under what conditions can a second-order homogeneous ordinary differential equation (spray) be the geodesic equation of a Finsler space. We show that the Euler-Lagrange partial differential system on the energy function can be reduced to a first order system on this same function. In this way we are able to give effective necessary and sufficient conditions for the local existence of a such Finsler metric in terms of the holonomy algebra generated by horizontal vector-fields. We also consider the Landsberg metrizability problem and prove similar results. This reduction is a significant step in solving the problem whether or not there exists a non-Berwald Landsberg space.


title: Nonsemimartingales: Stochastic differential equations and weak Dirichlet processes

abstract: In this paper we discuss existence and uniqueness for a one-dimensional time inhomogeneous stochastic differential equation directed by an $\mathbb{F}$-semimartingale $M$ and a finite cubic variation process $\xi$ which has the structure $Q+R$, where $Q$ is a finite quadratic variation process and $R$ is strongly predictable in some technical sense: that condition implies, in particular, that $R$ is weak Dirichlet, and it is fulfilled, for instance, when $R$ is independent of $M$. The method is based on a transformation which reduces the diffusion coefficient multiplying $\xi$ to 1. We use generalized It\^{o} and It\^{o}--Wentzell type formulae. A similar method allows us to discuss existence and uniqueness theorem when $\xi$ is a H\"{o}lder continuous process and $\sigma$ is only H\"{o}lder in space. Using an It\^{o} formula for reversible semimartingales, we also show existence of a solution when $\xi$ is a Brownian motion and $\sigma$ is only continuous.


title: Discretisation of stochastic control problems for continuous time dynamics with delay

abstract: As a main step in the numerical solution of control problems in continuous time, the controlled process is approximated by sequences of controlled Markov chains, thus discretising time and space. A new feature in this context is to allow for delay in the dynamics. The existence of an optimal strategy with respect to the cost functional can be guaranteed in the class of relaxed controls. Weak convergence of the approximating extended Markov chains to the original process together with convergence of the associated optimal strategies is established.


title: Count of eigenvalues in the generalized eigenvalue problem

abstract: We address the count of isolated and embedded eigenvalues in a generalized eigenvalue problem defined by two self-adjoint operators with a positive essential spectrum and a finite number of isolated eigenvalues. The generalized eigenvalue problem determines spectral stability of nonlinear waves in a Hamiltonian dynamical system. The theory is based on the Pontryagin's Invariant Subspace theorem in an indefinite inner product space but it extends beyond the scope of earlier papers of Pontryagin, Krein, Grillakis, and others. Our main results are (i) the number of unstable and potentially unstable eigenvalues {\em equals} the number of negative eigenvalues of the self-adjoint operators, (ii) the total number of isolated eigenvalues of the generalized eigenvalue problem is {\em bounded from above} by the total number of isolated eigenvalues of the self-adjoint operators, and (iii) the quadratic form defined by the indefinite inner product is strictly positive on the subspace related to the absolutely continuous part of the spectrum of the generalized eigenvalue problem. Applications to solitons and vortices of the nonlinear Schr\"{o}dinger equations and solitons of the Korteweg--De Vries equations are developed from the general theory.


title: Higher elliptic genera

abstract: We show that elliptic classes introduced in our earlier paper for spaces with infinite fundamental groups yield Novikov's type higher elliptic genera which are invariants of K-equivalence. This include, as a special case, the birational invariance of higher Todd classes studied recently by J.Rosenberg and J.Block-S.Weinberger. We also prove the modular properties of these genera, show that they satisfy a McKay correspondence, and consider their twist by discrete torsion.


title: A minimum problem with free boundary in Orlicz spaces

abstract: We consider the optimization problem of minimizing $\int_{\Omega}G(|\nabla u|)+\lambda \chi_{\{u>0\}} dx$ in the class of functions $W^{1,G}(\Omega)$ with $u-\phi_0\in W_0^{1,G}(\Omega)$, for a given $\phi_0\geq 0$ and bounded. $W^{1,G}(\Omega)$ is the class of weakly differentiable functions with $\int_\Omega G(|\nabla u|) dx<\infty$. The conditions on the function G allow for a different behavior at 0 and at $\infty$. We prove that every solution u is locally Lipschitz continuous, that they are solution to a free boundary problem and that the free boundary, $\partial\{u>0\}\cap \Omega$, is a regular surface. Also, we introduce the notion of weak solution to the free boundary problem solved by the minimizers and prove the Lipschitz regularity of the weak solutions and the $C^{1,\alpha}$ regularity of their free boundaries near ``flat'' free boundary points.


title: An optimization problem with volume constrain for a degenerate quasilinear operator

abstract: We consider the optimization problem of minimizing $\int_{\Omega}|\nabla u|^p dx$ with a constrain on the volume of $\{u>0\}$. We consider a penalization problem, and we prove that for small values of the penalization parameter, the constrained volume is attained. In this way we prove that every solution $u$ is locally Lipschitz continuous and that the free boundary, $\partial\{u>0\}\cap \Omega$, is smooth.


title: A connecting lemma for rational maps satisfying a no growth condition

abstract: We introduce and study a non uniform hyperbolicity condition for complex rational maps, that does not involve a growth condition. We call this condition Backward Contraction. We show this condition is weaker than the Collet-Eckmann condition, and than the summability condition with exponent~1. Our main result is a connecting lemma for Backward Contracting rational maps, roughly saying that we can perturb a rational map to connect each critical orbit in the Julia set with an orbit that does not accumulate on critical points. The proof of this result is based on Thurston's algorithm and some rigidity properties of quasi-conformal maps. We also prove that the Lebesgue measure of the Julia set of a Backward Contracting rational map is zero, when it is not the whole Riemann sphere. The basic tool of this article are sets having a Markov property for backward iterates, that are holomorphic analogues of nice intervals in real one-dimensional dynamics.


title: Restricting SLE(8/3) to an annulus

abstract: We study the probability that chordal $\text{SLE}_{8/3}$ in the unit disk from $\exp(ix)$ to 1 avoids the disk of radius $q$ centered at zero. We find the initial/boundary-value problem satisfied by this probability as a function of $x$ and $a=\ln q$, and show that asymptotically as $q$ tends to one this probability decays like $\exp(-cx/(1-q))$ with $c=5\pi/8$ for $x\in[0,\pi]$. We also give a representation of this probability as a functional of a Legendre process.


title: Spaces of elliptic differentials

abstract: We study modular fibers of elliptic differentials, which are roughly spaces of torus-coverings over a fixed base torus. For genus 2 torus covers with fixed degree we show, that the modular fibers F_d(1,1) are itself connected torus covers with Veech group SL_2(Z). Using results of Eskin, Masur and Schmoll we calculate the Euler Characteristic and the parity of the spin structure of the quadratic differential (F_d(1,1)/(-id),q_d). We state and apply formulas for the asymptotic quadratic growth rates of various types of geodesic segments on a surface S "contained" in F_d(1,1). The quadratic growth rates are expressed in terms of the SL_2(Z) orbit closure of S \in F_d(1,1) and the flat geometry of F_d(1,1).


title: For which triangles is Pick's formula almost correct?

abstract: We present an intriguing question about lattice points in triangles where Pick's formula is "almost correct". The question has its origin in knot theory, but its statement is purely combinatorial. After more than 30 years the topological question was recently solved, but the lattice point problem is still open.


title: Modular Fibers And Illumination Problems

abstract: For a Veech surface (x,\omega), we characterize subspaces of X^n, invariant under the diagonal action of the affine group of X. We prove that non-arithmetic Veech surfaces have only finitely many invariant subspaces of very particular shape (in any dimension). Among other consequences we find copies of (X,\omega) embedded in the moduli-space of translation surfaces. We study illumination problems in (pre-)lattice surfaces. For (X,\omega) prelattice we prove the at most countableness of points non-illuminable from any x in X. Applying our results on invariant subspaces we prove the finiteness of these sets when (X,\omega) is Veech.


title: Symmetric union presentations for 2-bridge ribbon knots

abstract: We prove that all 2-bridge ribbon knots are symmetric unions.


title: Moduli spaces of branched covers of Veech surfaces I: d-symmetric differentials

abstract: We give a description of asymptotic quadratic growth rates for geodesic segments on covers of Veech surfaces in terms of the modular fiber parameterizing coverings of a fixed Veech surface. To make the paper self contained we derive the necessary asymptotic formulas from the Gutkin-Judge formula. As an application of the method we define and analyze d-symmetric elliptic differentials and their modular fibers F^{sym}_d. For given genus g, g-symmetric elliptic differentials (with fixed base lattice) provide a 2-dimensional family of translation surfaces. We calculate several asymptotic constants, to establish their dependence on the translation geometry of F^{sym}_d and their sensitivity as SL(2,Z)-orbit invariants.


title: On a model for the efficient operation of a bank or insurance company

abstract: In this paper the authors study a model for the optimal operation of a bank or insurance company which was recently introduced by Peura and Keppo. The model generalizes a previous one of Milne and Robertson by allowing the bank to raise capital as well as to pay out dividends. Optimal operation of the bank is determined by solving an optimal control problem. In this paper it is shown that the solution of the optimal control problem proposed by Peura and Keppo exists for all values of the parameters and is unique.


title: On Projections of Semi-algebraic Sets Defined by Few Quadratic Inequalities

abstract: Let $S \subset \R^{k + m}$ be a compact semi-algebraic set defined by a system of $\ell$ polynomial inequalities of degree at most 2. $ Let $\pi$ denote the standard projection from $\R^{k + m}$ onto $\R^m$. We prove that for any $q >0$, the sum of the first $q$ Betti numbers of $\pi(S)$ is bounded by $(k + m)^{O(q\ell)}.$ We also present an algorithm for computing the the first $q$ Betti numbers of $\pi(S)$, whose complexity is $ (k+m)^{2^{O(q\ell)}}.$ For fixed $q$ and $\ell$, both the bounds are polynomial in $k+m$.


title: Derived categories and Kummer varieties

abstract: We prove that if two abelian varieties have equivalent derived categories then the derived categories of the smooth stacks associated to the corresponding Kummer varieties are equivalent as well. The second main result establishes necessary and sufficient conditions for the existence of equivalences between the twisted derived categories of two Kummer surfaces in terms of Hodge isometries between the generalized transcendental lattices of the corresponding abelian surfaces.


title: On the Chow ring of certain algebraic hyper-K\"ahler manifolds

abstract: We study a generalization of a conjecture made by Beauville on the Chow ring of hyper-K\"ahler algebraic varieties. Namely we prove in a number of cases that polynomial cohomological relations involving only CH^1(X) and the Chern classes of X are satisfied in CH(X). These cases are : punctual Hilbert schemes of a K3 surface S parameterizing subschemes of length n, for n<2b_2(S)_tr+5; Fano varieties of lines in a cubic fourfold.


title: A Schur function identity related to the (-1)-enumeration of self-complementary plane partitions

abstract: We give another proof for the (-1)-enumeration of self-complementary plane partitions with at least one odd side-length by specializing a certain Schur function identity. The proof is analogous to Stanley's proof for the ordinary enumeration. In addition, we obtain enumerations of 180-degree symmetric rhombus tilings of hexagons with a barrier of arbitrary length along the central line.


title: B(0,N)-graded Lie superalgebras coordinatized by quantum tori

abstract: We use a fermionic extension of the bosonic module to obtain a class of B(0,N)-graded Lie superalgebras with nontrivial central extensions.


title: Introduction to n-adaptive fuzzy models to analyze public opinion on AIDS

abstract: There are many fuzzy models like Fuzzy matrices, Fuzzy Cognitive Maps, Fuzzy relational Maps, Fuzzy Associative Memories, Bidirectional Associative memories and so on. But almost all these models can give only one sided solution like hidden pattern or a resultant output vector dependent on the input vector depending in the problem at hand. So for the first time we have defined a n-adaptive fuzzy model which can view or analyze the problem in n ways (n >=2) Though we have defined these n- adaptive fuzzy models theorectically we are not in a position to get a n-adaptive fuzzy model for n > 2 for practical real world problems. The highlight of this model is its capacity to analyze the same problem in different ways thereby arriving at various solutions that mirror multiple perspectives. We have used the 2-adaptive fuzzy model having the two fuzzy models, fuzzy matrices model and BAMs viz. model to analyze the views of public about HIV/ AIDS disease, patient and the awareness program. This book has five chapters and 6 appendices. The first chapter just recalls the definition of four fuzzy models used in this book and gives illustration of some of them. Chapter two introduces the new n-adaptive fuzzy models. Chapter three uses for the first time 2 adaptive fuzzy models to study psychological and sociological problems about HIV/AIDS. Chapter four gives an outline of the interviews. Chapter five gives the suggestions and conclusion based on our study. Of the 6 appendices four of them are C-program made to make the working of the fuzzy model simple.


title: Conformal $\beta$- change in Finsler spaces

abstract: We investigate what we call a conformal $\beta $ - change in Finsler spaces, namely $$ L(x,y)\to ~^{\ast}L(x,y)=e^{\sigma(x)}L(x,y)+\beta(x,y)$$ where~$\sigma ~$ is a function of $x~ only ~and ~ \beta (x, y)$ is a given 1- form. This change generalizes various types of changes: conformal changes, Randers changes and $\beta$ - changes. Under this change, we obtain the relationships between some tensors associated with $(M,L)$ and the corresponding tensors associated with $(M,{^\ast}L)$. We investigate some $\sigma$- invariant tensors . This investigation allows us to give an answer to the question: Are the properties of C-reducibility, $S_3$-likeness and $S_4$-likeness invariant under a conformal $\beta$ - change?


title: The Spectral Basis and Rational Interpolation

abstract: The Euclidean Algorithm is the often forgotten key to rational approximation techniques, including Taylor, Lagrange, Hermite, osculating, cubic spline, Chebyshev, Pade and other interpolation schemes. A unified view of these various interpolation techniques is eloquently expressed in terms of the concept of the spectral basis of a factor ring of polynomials. When these methods are applied to the minimal polynomial of a matrix, they give a family of rational forms of functions of that matrix.


title: Equiconvergence theorems for differential operators

abstract: We expose the most advanced equiconvergence results for Birkhoff- and Stone-regular differential operators and present also author's approach to this problem. We give a full proof of equiconvergence on the whole interval, which constitutes a true generalization of the Tamarkin-Stone theorem.


title: Direct limit groups do not have small subgroups

abstract: We show that countable direct limits of finite-dimensional Lie groups do not have small subgroups. The same conclusion is obtained for suitable direct limits of infinite-dimensional Lie groups.


title: Combinatorial interpretations for rank-two cluster algebras of affine type

abstract: Fomin and Zelevinsky show that a certain two-parameter family of rational recurrence relations, here called the (b,c) family, possesses the Laurentness property: for all b,c, each term of the (b,c) sequence can be expressed as a Laurent polynomial in the two initial terms. In the case where the positive integers b,c satisfy bc<4, the recurrence is related to the root systems of finite-dimensional rank 2 Lie algebras; when bc>4, the recurrence is related to Kac-Moody rank 2 Lie algebras of hyperbolic type. Here we investigate the borderline cases bc=4, corresponding to Kac-Moody Lie algebras of affine type. In these cases, we show that the Laurent polynomials arising from the recurence can be viewed as generating functions that enumerate the perfect matchings of certain graphs. By providing combinatorial interpretations of the individual coefficients of these Laurent polynomials, we establish their positivity.


title: The ratio set of the harmonic measure of a random walk on a hyperbolic group

abstract: We consider the harmonic measure on the Gromov boundary of a nonamenable hyperbolic group defined by a finite range random walk on the group, and study the corresponding orbit equivalence relation on the boundary. It is known to be always amenable and of type III. We determine its ratio set by showing that it is generated by certain values of the Martin kernel. In particular, we show that the equivalence relation is never of type III_0.


title: Spacelike graphs with parallel mean curvature

abstract: We consider spacelike graphs $\Gamma_f$ of simple products $(M\times N, g\times -h)$ where $(M,g)$ and $(N,h)$ are Riemannian manifolds and $f:M\to N$ is a smooth map. Under the condition of the Cheeger constant of $M$ to be zero and some condition on the second fundamental form at infinity, we conclude that if $\Gamma_f \subset M\times N$ has parallel mean curvature $H$ then $H=0$. This holds trivially if $M$ is closed. If $M$ is the $m$-hyperbolic space then for any constant $c$, we describe a explicit foliation of $H^m\times R$ by hypersurfaces with constant mean curvature $c$.


title: Hodge-Riemann Relations for Polytopes: A Geometric Approach

abstract: The paper presents a proof of the Hodge Riemann relations for the combinatorial intersection cohomology of a polytope, as fist given by K.Karu, in terms of geometric operations on polytopes.


title: Wilson's Theorem for Finite Fields

abstract: In this short note, we introduce an analogue of Wilson's theorem for all nonzero elements $a_1,a_2,...,a_{q-1}$ of a finite filed $\mathbb{F}$ with $|\mathbb{F}|=q\geq 3$, as follows: $$ \sum_{1\leq i_1< i_2<...< i_k\leq q-1}a_{i_1}a_{i_2}... a_{i_k}=\left\lfloor\frac{k}{q-1}\right\rfloor(-1)^q\hspace{10mm}(k=1,2,..., q-1), $$ which the left hand side of above formula is the $k-$th elementary symmetric polynomial evaluated at $a_1,a_2,...,a_{q-1}$. Specially, letting $\mathbb{F}=\mathbb{Z}_p$ with $p\geq 3$, reproves Wilson's theorem and yields some Wilson type identities. Finally, we obtain an analogue of Wolstenholme's theorem for nonzero elements of a finite filed.


title: Poincar\'{e}'s theorem for the modular group of real Riemann surfaces

abstract: Let $Mod_{g}$ be the modular group of surfaces of genus $g$. Each element $[h]\in Mod_{g}$ induces in the integer homology of a surface of genus $g$ a symplectic automorphism $H([h])$ and Poincar\'{e} shown that $H:Mod_{g}\to Sp(2g,\mathbb{Z})$ is an epimorphism. The theory of real algebraic curves justify the definition of real Riemann surface as a Riemann surface $S$ with an anticonformal involution $\sigma$. Let $(S,\sigma)$ be a real Riemann surface, the subgroup $Mod_{g}^{\sigma}$ of $Mod_{g}$ that consists of the elements $[h]\in Mod_{g}$ that have a representant $h$ such that $h\circ\sigma=\sigma\circ h$, plays the r\^{o}le of the modular group in the theory of real Riemann surfaces. In this work we describe the image by $H$ of $Mod_{g}^{\sigma}$. Such image depends on the topological type of the involution $\sigma$.


title: Special metrics and Triality

abstract: We investigate a new 8-dimensional Riemannian geometry defined by a generic closed and coclosed 3-form with stabiliser PSU(3), and which arises as a critical point of Hitchin's variational principle. We give a Riemannian characterisation of this structure in terms of invariant spinor-valued 1-forms, which are harmonic with respect to the twisted Dirac operator $\Db$ on $\Delta\otimes\Lambda^1$. We establish various obstructions to the existence of topological reductions to PSU(3). For compact manifolds, we also give sufficient conditions for topological PSU(3)-structures that can be lifted to topological SU(3)-structures. We also construct the first known compact example of an integrable non-symmetric PSU(3)-structure. In the same vein, we give a new Riemannian characterisation for topological quaternionic K\"ahler structures which are defined by an $Sp(1)\cdot Sp(2)$-invariant self-dual 4-form. Again, we show that this form is closed if and only if the corresponding spinor-valued 1-form is harmonic for $\Db$ and that these equivalent conditions produce constraints on the Ricci tensor.


title: Decidability of the Natural Numbers with the Almost-All Quantifier

abstract: We consider the fragment F of first order arithmetic in which quantification is restricted to ''for all but finitely many.'' We show that the integers form an F-elementary substructure of the real numbers. Consequently, the F-theory of arithmetic is decidable.


title: Matrix units associated with the split basis of a Leonard pair

abstract: Let $K$ denote a field, and let $V$ denote a vector space over $K$ with finite positive dimension. We consider a pair of linear transformations $A:V \to V$ and $A^*:V \to V$ that satisfy (i), (ii) below: (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A^*$ is irreducible tridiagonal and the matrix representing $A$ is diagonal. We call such a pair a {\em Leonard pair} on $V$. It is known that there exists a basis for $V$ with respect to which the matrix representing $A$ is lower bidiagonal and the matrix representing $A^*$ is upper bidiagonal. In this paper we give some formulae involving the matrix units associated with this basis.


title: Lakshmibai-Seshadri paths of level-zero weight shape and one-dimensional sums associated to level-zero fundamental representations

abstract: We give interpretations of energy functions and (classically restricted) one-dimensional sums associated to tensor products of level-zero fundamental representations of quantum affine algebras in terms of Lakshmibai-Seshadri paths of level-zero weight shape.


title: Adjoint spaces and flag varieties of p-compact groups

abstract: For a compact Lie group $G$ with maximal torus $T$, Pittie and Smith showed that the flag variety $G/T$ is always a stably framed boundary. We generalize this to the category of $p$-compact groups, where the geometric argument is replaced by a homotopy theoretic argument showing that the class in the stable homotopy groups of spheres represented by $G/T$ is trivial, even $G$-equivariantly. As an application, we consider an unstable construction of a $G$-space mimicking the adjoint representation sphere of $G$ inspired by work of the second author and Kitchloo. This construction stably and $G$-equivariantly splits off its top cell, which is then shown to be a dualizing spectrum for $G$.


title: On Perles' question

abstract: The principal aim of this paper is to determine the minimal dimension that a nerve of the cover of the sphere S^h by the open sets not containing a pair of antipodal points could have, and also to determine the minimal cardinality of such cover (or the minimal number of vertices of its nerve). In particular, our result provides the complete answer to the question posed by Micha Perles. Our results could be seen as the extensions of the Lyusternik-Schnirel'man version of the Borsuk-Ulam theorem. As a consequence, we also obtain the improved lower bound for the local chromatic number of certain class of graphs.


title: Spin curves over non-stable curves

abstract: Here we consider degenerations of stable spin curves for a fixed smoothing of a non-stable curve: we are able to give enumerative results and a description of limits of stable spin curves. We give a geometrically meaningful definition of spin curves over non-stable curves.


title: Compactifying moduli of hyperelliptic curves

abstract: We construct a new compactification of the moduli space H_g of smooth hyperelliptic curves of genus g. We compare our compactification with other well-known remarkable compactifications of H_g .


title: Motivic decomposition of a compactification of a Merkurjev-Suslin variety

abstract: We provide a complete motivic decomposition of a twisted form of a smooth hyperplane section of Gr(3,6). This variety is a norm variety corresponding to a (3,3)-symbol.


title: Toric anti-self-dual 4-manifolds via complex geometry

abstract: Using the twistor correspondence, this article gives a one-to-one correspondence between germs of toric anti-self-dual conformal classes and certain holomorphic data determined by the induced action on twistor space. Recovering the metric from the holomorphic data leads to the classical problem of prescribing the Cech coboundary of 0-cochains on an elliptic curve covered by two annuli. The classes admitting Kahler representatives are described; each such class contains a circle of Kahler metrics. This gives new local examples of scalar-flat Kahler surfaces and generalises work of Joyce who considered the case where the distribution orthogonal to the torus action is integrable.


title: Temperate holomorphic solutions and regularity of holonomic D-modules on curves

abstract: Let $X$ be a complex manifold. In "Microlocal study of Ind-sheaves I: microsupport and regularity", M. Kashiwara e P. Schapira made the conjecture that a holonomic D-module $\shm$ is regular holonomic if and only if $R\mathcal{I}{hom}_{\beta_X\shd_X}(\beta_X\shm,\sho_X^t)$ is regular (in the sense of "Microlocal study of Ind-sheaves I: microsupport and regularity"), the "only if" part of this conjecture following immediately from "Microlocal study of Ind-sheaves I: microsupport and regularity". Our aim is to prove this conjecture in dimension one.


title: Scattering, determinants, hyperfunctions in relation to Gamma(1-s)/Gamma(s)

abstract: The method of realizing certain self-reciprocal transforms as (absolute) scattering, previously presented in summarized form in the case of the Fourier cosine and sine transforms, is here applied to the self-reciprocal transform f(y)-> H(f)(x) = \int_0^\infty J_0(2\sqrt{xy})f(y) dy, which is isometrically equivalent to the Hankel transform of order zero and is related to the functional equations of the Dedekind zeta functions of imaginary quadratic fields. This also allows to re-prove and to extend theorems of de Branges and V. Rovnyak regarding square integrable functions which are self-or-skew reciprocal under the Hankel transform of order zero. Related integral formulae involving various Bessel functions are all established internally to the method. Fredholm determinants of the kernel J_0(2\sqrt{xy}) restricted to finite intervals (0,a) give the coefficients of first and second order differential equations whose associated scattering is (isometrically) the self-reciprocal transform H, closely related to the function Gamma(1-s)/Gamma(s). Remarkable distributions involved in this analysis are seen to have most natural expressions as (difference of) boundary values (i.e. hyperfunctions.) The present work is completely independent from the previous study by the author on the same transform H, which centered around the Klein-Gordon equation and relativistic causality. In an appendix, we make a simple-minded observation regarding the resolvent of the Dirichlet kernel as a Hilbert space reproducing kernel.


title: Optimal domain for the Hardy operator

abstract: We study the optimal domain for the Hardy operator considered with values in a rearrangement invariant space. In particular, this domain can be represented as the space of integrable functions with respect to a vector measure defined on a $\delta$-ring. A precise description is given for the case of the minimal Lorentz spaces.


title: A stochastic Datko-Pazy theorem

abstract: Let $H$ be a Hilbert space and $E$ a Banach space. In this note we present a sufficient condition for an operator $R: H\to E$ to be $\gamma$--radonifying in terms of Riesz sequences in $H$. This result is applied to recover a result of Lutz Weis and the second named author on the $R$-boundedness of resolvents, which is used to obtain a Datko-Pazy type theorem for the stochastic Cauchy problem. We also present some perturbation results.


title: Alliance free and alliance cover sets

abstract: A \emph{defensive} (\emph{offensive}) $k$-\emph{alliance} in $\Gamma=(V,E)$ is a set $S\subseteq V$ such that every $v$ in $S$ (in the boundary of $S$) has at least $k$ more neighbors in $S$ than it has in $V\setminus S$. A set $X\subseteq V$ is \emph{defensive} (\emph{offensive}) $k$-\emph{alliance free,} if for all defensive (offensive) $k$-alliance $S$, $S\setminus X\neq\emptyset$, i.e., $X$ does not contain any defensive (offensive) $k$-alliance as a subset. A set $Y \subseteq V$ is a \emph{defensive} (\emph{offensive}) $k$-\emph{alliance cover}, if for all defensive (offensive) $k$-alliance $S$, $S\cap Y\neq\emptyset$, i.e., $Y$ contains at least one vertex from each defensive (offensive) $k$-alliance of $\Gamma$. In this paper we show several mathematical properties of defensive (offensive) $k$-alliance free sets and defensive (offensive) $k$-alliance cover sets, including tight bounds on the cardinality of defensive (offensive) $k$-alliance free (cover) sets.


title: Small time asymptotics in local limit theorems for Markov chains converging to diffusions

abstract: We consider triangular arrays of Markov chains that converge weakly to a diffusion process. Local limit theorems for transition densities are proved. The observation time [0,T] may be fixed or lim n T = 0, where nh = T and h is a mesh between two neighboring observation points.


title: Accuracy of Diffusion Approximations for High Frequency Markov Data

abstract: We consider triangular arrays of Markov chains that converge weakly to a diffusion process. Edgeworth type expansions of third order for transition densities are proved. This is done for time horizons that converge to 0. For this purpose we represent the transition density as a functional of densities of sums of i.i.d. variables. This will be done by application of the parametrix method. Then we apply Edgeworth expansions to the densities. The resulting series gives our Edgeworth-type expansion for the transition density of Markov chains. The research is motivated by applications to high frequency data that are available on a very fine grid but are approximated by a diffusion model on a more rough grid.


title: Right ideals in non-associative universal enveloping algebras of Lie triple systems

abstract: We prove that the only proper right ideal of the universal enveloping algebra of a finite-dimensional central simple Lie triple system over a field of characteristic zero is its augmentation ideal.


title: On the global offensive alliance number of a graph

abstract: An offensive alliance in a graph $\Gamma=(V,E)$ is a set of vertices $S\subset V$ where for every vertex $v$ in its boundary it holds that the majority of vertices in $v$'s closed neighborhood are in $S$. In the case of strong offensive alliance, strict majority is required. An alliance $S$ is called global if it affects every vertex in $V\backslash S$, that is, $S$ is a dominating set of $\Gamma$. The offensive alliance number $a_o(\Gamma)$ (respectively, strong offensive alliance number $a_{\hat{o}}(\Gamma)$) is the minimum cardinality of an offensive (respectively, strong offensive) alliance in $\Gamma$. The global offensive alliance number $\gamma_o(\Gamma)$ and the global strong offensive alliance number $\gamma_{\hat{o}}(\Gamma)$ are defined similarly. Clearly, $a_o(\Gamma)\le \gamma_o(\Gamma)$ and $a_{\hat{o}}(\Gamma)\le \gamma_{\hat{o}}(\Gamma)$. It was shown in [Discuss. Math. Graph Theory, 24 (2004), no. 2, 263-275] that $ a_o(\Gamma)\le \frac{2n}{3}$ and $ a_{\hat{o}}(\Gamma)\le \frac{5n}{6}$, where $n$ denotes the order of $\Gamma$. In this paper we obtain several tight bounds on $\gamma_o(\Gamma)$ and $\gamma_{\hat{o}}(\Gamma)$ in terms of several parameters of $\Gamma$. For instance, we show that $\frac{2m+n}{3\Delta+1} \le \gamma_o(\Gamma)\le \frac{2n}{3}$ and $\frac{2(m+n)}{3\Delta+2} \le\gamma_{\hat{o}}(\Gamma)\le \frac{5n}{6}$, where $m$ denotes the size of $\Gamma$ and $\Delta$ its maximum degree (the last upper bound holds true for all $\Gamma$ with minimum degree greatest or equal to two).


title: Phase-Space Metric for Non-Hamiltonian Systems

abstract: We consider an invariant skew-symmetric phase-space metric for non-Hamiltonian systems. We say that the metric is an invariant if the metric tensor field is an integral of motion. We derive the time-dependent skew-symmetric phase-space metric that satisfies the Jacobi identity. The example of non-Hamiltonian systems with linear friction term is considered.

categories: math.DS cond-mat.stat-mech math-ph math.MP math.SG nlin.CD physics.class-ph quant-ph


title: On defensive alliances and line graphs

abstract: Let $\Gamma$ be a simple graph of size $m$ and degree sequence $\delta_1\ge \delta_2\ge ... \ge \delta_n$. Let ${\cal L}(\Gamma)$ denotes the line graph of $\Gamma$. The aim of this paper is to study mathematical properties of the alliance number, ${a}({\cal L}(\Gamma)$, and the global alliance number, $\gamma_{a}({\cal L}(\Gamma))$, of the line graph of a simple graph. We show that $\lceil\frac{\delta_{n}+\delta_{n-1}-1}{2}\rceil \le {a}({\cal L}(\Gamma))\le \delta_1.$ In particular, if $\Gamma$ is a $\delta$-regular graph ($\delta>0$), then $a({\cal L}(\Gamma))=\delta$, and if $\Gamma$ is a $(\delta_1,\delta_2)$-semiregular bipartite graph, then $a({\cal L}(\Gamma))=\lceil \frac{\delta_1+\delta_2-1}{2} \rceil$. As a consequence of the study we compare $a({\cal L}(\Gamma))$ and ${a}(\Gamma)$, and we characterize the graphs having $a({\cal L}(\Gamma))<4$. Moreover, we show that the global-connected alliance number of ${\cal L}(\Gamma)$ is bounded by $\gamma_{ca}({\cal L}(\Gamma)) \ge \lceil\sqrt{D(\Gamma)+m-1}-1\rceil,$ where $D(\Gamma)$ denotes the diameter of $\Gamma$, and we show that the global alliance number of ${\cal L}(\Gamma)$ is bounded by $\gamma_{a}({\cal L}(\Gamma))\geq \lceil\frac{2m}{\delta_{1}+\delta_{2}+1}\rceil$. The case of strong alliances is studied by analogy.


title: On spiral minimal surfaces

abstract: A class of spiral minimal surfaces in E^3 is constructed using a symmetry reduction. The new surfaces are invariant with respect to the composition of rotation and dilatation. The solutions are obtained in closed form %through the Legendre transformation and their asymptotic behaviour is described.


title: Spectral study of alliances in graphs

abstract: In this paper we obtain several tight bounds on different types of alliance numbers of a graph: (global) defensive alliance number, global offensive alliance number and global dual alliance number. In particular, we investigate the relationship between the alliance numbers of a graph and its algebraic connectivity, its spectral radius, and its Laplacian spectral radius.


title: The (a,b,s,t)-diameter of graphs: a particular case of conditional diameter

abstract: The conditional diameter of a connected graph $\Gamma=(V,E)$ is defined as follows: given a property ${\cal P}$ of a pair $(\Gamma_1, \Gamma_2)$ of subgraphs of $\Gamma$, the so-called \emph{conditional diameter} or ${\cal P}$-{\em diameter} measures the maximum distance among subgraphs satisfying ${\cal P}$. That is, \[ D_{{\cal P}}(\Gamma):=\max_{\Gamma_1, \Gamma_2\subset \Gamma} \{\partial(\Gamma_1, \Gamma_2): \Gamma_1, \Gamma_2 \quad {\rm satisfy }\quad {\cal P}\}. \] In this paper we consider the conditional diameter in which ${\cal P}$ requires that $\delta(u)\ge \alpha$ for all $ u\in V(\Gamma_1)$, $\delta(v)\ge \beta$ for all $v\in V(\Gamma_2)$, $| V(\Gamma_1)| \ge s$ and $| V(\Gamma_2)| \ge t$ for some integers $1\le s,t\le |V|$ and $\delta \le \alpha, \beta \le \Delta$, where $\delta(x)$ denotes the degree of a vertex $x$ of $\Gamma$, $\delta$ denotes the minimum degree and $\Delta$ the maximum degree of $\Gamma$. The conditional diameter obtained is called $(\alpha ,\beta, s,t)$-\emph{diameter}. We obtain upper bounds on the $(\alpha ,\beta, s,t)$-diameter by using the $k$-alternating polynomials on the mesh of eigenvalues of an associated weighted graph. The method provides also bounds for other parameters such as vertex separators.


title: Igusa's conjecture on exponential sums modulo $p$ and $p^2$ and the motivic oscillation index

abstract: We prove the modulo $p$ and modulo $p^2$ cases of Igusa's conjecture on exponential sums. This conjecture predicts specific uniform bounds in the homogeneous polynomial case of exponential sums modulo $p^m$ when $p$ and $m$ vary. We introduce the motivic oscillation index of a polynomial $f$ and prove the stronger, analogue bounds for $m=1,2$ using this index instead of the original bounds. The modulo $p^2$ case of our bounds holds for all polynomials; the modulo $p$ case holds for homogeneous polynomials and under extra conditions also for nonhomogeneous polynomials. We obtain natural lower bounds for the motivic oscillation index by using results of Segers. We also show that, for $p$ big enough, Igusa's local zeta function has a nontrivial pole when there are $\FF_p$-rational singular points on $f=0$. We introduce a new invariant of $f$, the flaw of $f$.


title: Turing Incomparability in Scott Sets

abstract: For every Scott set F and every nonrecursive set X in F, there is a Y in F such that X and Y are Turing incomparable.


title: Completeness, special functions and uncertainty principles over q-linear grids

abstract: We derive completeness criteria for sequences of functions of the form $% f(x\lambda_{n})$, where $\lambda_{n}$ is the $nth$ zero of a suitably chosen entire function. Using these criteria, we construct systems of nonorthogonal Fourier-Bessel functions and their $q$-analogues, as well as other complete sets of $q$-special functions. The completeness of certain sets of $q$-Bessel functions is then used to prove that, if a function $f$ and its $q$-Hankel transform both vanish at the points $\{q^{-n}\}_{n=1}^{% \infty}$, $0<q<1$, then $f$ must vanish on the whole $q$-linear grid $% \{q^{n}\} _{n=-\infty}^{\infty}$.


title: A Banach Principle for Semifinite von Neumann Algebras

abstract: Utilizing the notion of uniform equicontinuity for sequences of functions with the values in the space of measurable operators, we present a non-commutative version of the Banach Principle for $L^\infty$.


title: Embedding Riemann Surfaces Properly into $\CC^2$

abstract: For certain bordered submanifolds $M\subset\CC^2$ we show that $M$ can be embedded properly and holomorphically into $\CC^2$. An application is that any subset of a torus with two boundary components can be embedded properly into $\CC^2$.


title: Embedding subsets of tori Properly into $\CC^2$

abstract: Let $\TT$ be a torus. We prove that all subsets of $\TT$ with finitely many boundary components (none of them being points) embed properly into $\CC^2$.


title: On the cohomology rings of tree braid groups

abstract: Let $\Gamma$ be a finite connected graph. The (unlabelled) configuration space $UC^n \Gamma$ of $n$ points on $\Gamma$ is the space of $n$-element subsets of $\Gamma$. The $n$-strand braid group of $\Gamma$, denoted $B_n\Gamma$, is the fundamental group of $UC^n \Gamma$. We use the methods and results of our paper "Discrete Morse theory and graph braid groups" to get a partial description of the cohomology rings $H^*(B_n T)$, where $T$ is a tree. Our results are then used to prove that $B_n T$ is a right-angled Artin group if and only if $T$ is linear or $n<4$. This gives a large number of counterexamples to Ghrist's conjecture that braid groups of planar graphs are right-angled Artin groups.


title: Normal zones on Zeeman manifolds with trace class heat and Feynman kernels and well defined zonal Feynman integrals

abstract: The problem of infinities (divergent integrals) appearing in quantum field theory or elementary particle physics are treated by renormalization in the current theories. By this perturbative tool the desired finite quantities are produced by differences of infinities. This paper gives a new non-perturbative approach to this problem. Namely, the Hilbert space on which the quantum Hamilton operator $H$ is acting, is decomposed into subspaces, called Zeeman zones, which are invariant under the actions both of $H$ and the natural complex Heisenberg group representation. Thus well defined particle theory and zonal geometry can be developed on each zone separately. One of the most surprising result is that the quantities which appear as infinities on the global setting become well defined finite ones on the zonal setting. For instance, both the Wiener-Kac and the Dirac-Feynman kernels become of the trace class on the zones, both defining the corresponding zonal measures on the path-spaces rigorously. The Hamilton operators, $H$, considered in this paper are those corresponding to electrons orbiting in a constant magnetic field. This is one of the most important Hamiltonians, introduced for explaining the Zeeman effect. This Hamiltonian is identified with the Laplacian of certain Riemannian,so called Zeeman manifolds. The spectral Zeeman zone decomposition is introduced, by one of the definitions, by the spectrum of the angular momentum operator. Thus a zone exhibits the magnetic state of the particle occupying the zone. All the important spectral theoretical objects are explicitly established. They include the spectrum, the zonal projection operators, the zonal Wiener-Kac and Dirac-Feynman kernels, and the zonal partition functions.


title: Cartesian products as profinite completions

abstract: We prove that if a Cartesian product of alternating groups is topologically finitely generated, then it is the profinite completion of a finitely generated residually finite group. The same holds for Cartesian producs of other simple groups under some natural restrictions.


title: Growth sequences for circle diffeomorphisms

abstract: We obtain results on the growth sequences of the differential for iterations of circle diffeomorphisms without periodic points.


title: Quasideterminants and q-commuting minors

abstract: We present two new proofs of the the important q-commuting property holding among certain pairs of quantum minors of an n x n q-generic matrix. The first uses elementary quasideterminantal arithmetic; the second involves paths in an edge-weighted directed graph.


title: Enumeration of Rota-Baxter Words

abstract: In this paper, we prove results on enumerations of sets of Rota-Baxter words in a finite number of generators and a finite number of unary operators. Rota-Baxter words are words formed by concatenating generators and images of words under Rota-Baxter operators. Under suitable conditions, they form canonical bases of free Rota-Baxter algebras and are studied recently in relation to combinatorics, number theory, renormalization in quantum field theory, and operads. Enumeration of a basis is often a first step to choosing a data representation in implementation. Our method applies some simple ideas from formal languages and compositions (ordered partitions) of an integer. We first settle the case of one generator and one operator where both have exponent 1 (the idempotent case). Some integer sequences related to these sets of Rota-Baxter words are known and connected to other combinatorial sequences, such as the Catalan numbers, and others are new. The recurrences satisfied by the generating series of these sequences prompt us to discover an efficient algorithm to enumerate the canonical basis of certain free Rota-Baxter algebras. More general sets of Rota-Baxter words are enumerated with summation techniques related to compositions of integers.


title: From filters to wavelets via direct limits

abstract: We present a new proof of a theorem of Mallat which describes a construction of wavelets starting from a quadrature mirror filter. Our main innovation is to show how the scaling function associated to the filter can be used to identify a certain direct limit of Hilbert spaces with $L^2(\R)$ in such a way that one can immediately identify the wavelet basis. Our arguments also use a pair of isometries introduced by Bratteli and Jorgensen, and exploit the geometry inherent in the Cuntz relations satisfied by these isometries.


title: Optimal consumption in discrete-time financial models with industrial investment opportunities and nonlinear returns

abstract: We consider a general discrete-time financial market with proportional transaction costs as in [Kabanov, Stricker and R\'{a}sonyi Finance and Stochastics 7 (2003) 403--411] and [Schachermayer Math. Finance 14 (2004) 19--48]. In addition to the usual investment in financial assets, we assume that the agents can invest part of their wealth in industrial projects that yield a nonlinear random return. We study the problem of maximizing the utility of consumption on a finite time period. The main difficulty comes from the nonlinearity of the nonfinancial assets' return. Our main result is to show that existence holds in the utility maximization problem. As an intermediary step, we prove the closedness of the set $A_T$ of attainable claims under a robust no-arbitrage property similar to the one introduced in [Schachermayer Math. Finance 14 (2004) 19--48] and further discussed in [Kabanov, Stricker and R\'{a}sonyi Finance and Stochastics 7 (2003) 403--411]. This allows us to provide a dual formulation for $A_T$.


title: Homotopy types of orbit spaces and their self-equivalences for the periodic groups Z/a \rtimes (Z/b x T^\star_n) and Z/a \rtimes (Z/b x O^\star_n)

abstract: Let G be a finite group given in one of the forms listed in the title with period 2d and X(n) an n-dimensional CW-complex with the homotopy type of an n-sphere. We study the automorphism group Aut(G) to compute the number of distinct homotopy types of orbit spaces X(2dn-1)/\mu with respect to free and cellular G-actions \mu on all CW-complexes X(2dn-1). At the end, the groups E(X(2dn-1)/\mu) of self homotopy equivalences of orbit spaces X(2dn-1)/\mu associated with free and cellular G-actions \mu on X(2dn-1) are determined.


title: Small time path behavior of double stochastic integrals and applications to stochastic control

abstract: We study the small time path behavior of double stochastic integrals of the form $\int_0^t(\int_0^rb(u) dW(u))^T dW(r)$, where $W$ is a $d$-dimensional Brownian motion and $b$ is an integrable progressively measurable stochastic process taking values in the set of $d\times d$-matrices. We prove a law of the iterated logarithm that holds for all bounded progressively measurable $b$ and give additional results under continuity assumptions on $b$. As an application, we discuss a stochastic control problem that arises in the study of the super-replication of a contingent claim under gamma constraints.


title: On the rational subset problem for groups

abstract: We use language theory to study the rational subset problem for groups and monoids. We show that the decidability of this problem is preserved under graph of groups constructions with finite edge groups. In particular, it passes through free products amalgamated over finite subgroups and HNN extensions with finite associated subgroups. We provide a simple proof of a result of Grunschlag showing that the decidability of this problem is a virtual property. We prove further that the problem is decidable for a direct product of a group G with a monoid M if and only if membership is uniformly decidable for G-automata subsets of M. It follows that a direct product of a free group with any abelian group or commutative monoid has decidable rational subset membership.


title: Simulation of conditioned diffusions

abstract: In this paper, we propose some algorithms for the simulation of the distribution of certain diffusions conditioned on terminal point. We prove that the conditional distribution is absolutely continuous with respect to the distribution of another diffusion which is easy for simulation, and the formula for the density is given explicitly.


title: Prefix reversals on binary and ternary strings

abstract: Given a permutation pi, the application of prefix reversal f^(i) to pi reverses the order of the first i elements of pi. The problem of Sorting By Prefix Reversals (also known as pancake flipping), made famous by Gates and Papadimitriou (Bounds for sorting by prefix reversal, Discrete Mathematics 27, pp. 47-57), asks for the minimum number of prefix reversals required to sort the elements of a given permutation. In this paper we study a variant of this problem where the prefix reversals act not on permutations but on strings over a fixed size alphabet. We determine the minimum number of prefix reversals required to sort binary and ternary strings, with polynomial-time algorithms for these sorting problems as a result; demonstrate that computing the minimum prefix reversal distance between two binary strings is NP-hard; give an exact expression for the prefix reversal diameter of binary strings, and give bounds on the prefix reversal diameter of ternary strings. We also consider a weaker form of sorting called grouping (of identical symbols) and give polynomial-time algorithms for optimally grouping binary and ternary strings. A number of intriguing open problems are also discussed.


title: Changes of variables in ELSV-type formulas

abstract: In [5] I.P. Goulden, D.M. Jackson, and R. Vakil formulated a conjecture relating certain Hurwitz numbers (enumerating ramified coverings of the sphere) to the intersection theory on a conjectural Picard variety. We are going to use their formula to study the intersection theory on this variety (if it is ever to be constructed) by methods close to those of M. Kazarian and S. Lando in [7]. In particular, we prove a Witten-Kontsevich-type theorem relating the intersection theory and integrable hierarchies. We also extend the results of [7] to include the Hodge integrals over the moduli spaces, involving one lambda-class.


title: Discrete Linear Interpolatory Operators

abstract: This is a survey on discrete linear operators which, besides approximating in Jackson or near-best order, possess some interpolatory property at some nodes. Such operators can be useful in numerical analysis.


title: Isometric Dilations of Representations of Product Systems via Commutants

abstract: We construct a weak dilation of a not necessarily unital CP-semigroup to an E-semigroup acting on the adjointable operators of a Hilbert module with a unit vector. We construct the dilation in such a way that the dilating E-semigroup has a pre-assigned product system. Then, making use of the commutant of von Neumann correspondences, we apply the dilation theorem to proof that covariant representations of product systems admit isometric dilations.


title: Functional large deviations for multivariate regularly varying random walks

abstract: We extend classical results by A. V. Nagaev [Izv. Akad. Nauk UzSSR Ser. Fiz.--Mat. Nauk 6 (1969) 17--22, Theory Probab. Appl. 14 (1969) 51--64, 193--208] on large deviations for sums of i.i.d. regularly varying random variables to partial sum processes of i.i.d. regularly varying vectors. The results are stated in terms of a heavy-tailed large deviation principle on the space of c\`{a}dl\`{a}g functions. We illustrate how these results can be applied to functionals of the partial sum process, including ruin probabilities for multivariate random walks and long strange segments. These results make precise the idea of heavy-tailed large deviation heuristics: in an asymptotic sense, only the largest step contributes to the extremal behavior of a multivariate random walk.


title: Torelli groups, extended Johnson homomorphisms, and new cycles on the moduli space of curves

abstract: Infinite presentations are given for all of the higher Torelli groups of once-punctured surfaces. In the case of the classical Torelli group, a finite presentation of the corresponding groupoid is also given, and finite presentations of the classical Torelli groups acting trivially on homology modulo N are derived for all N. Furthermore, the first Johnson homomorphism, which is defined from the classical Torelli group to the third exterior power of the homology of the surface, is shown to lift to an explicit canonical 1-cocycle of the Teichmueller space. The main tool for these results is the known mapping class group invariant ideal cell decomposition of the Teichmueller space. This new 1-cocycle is mapping class group equivariant, so various contractions of its powers yield various combinatorial (co)cycles of the moduli space of curves, which are also new. Our combinatorial construction can be related to former works of Kawazumi and the first-named author with the consequence that the algebra generated by the cohomology classes represented by the new cocycles is precisely the tautological algebra of the moduli space. There is finally a discussion of prospects for similarly finding cocycle lifts of the higher Johnson homomorphisms.


title: Maturity randomization for stochastic control problems

abstract: We study a maturity randomization technique for approximating optimal control problems. The algorithm is based on a sequence of control problems with random terminal horizon which converges to the original one. This is a generalization of the so-called Canadization procedure suggested by Carr [Review of Financial Studies II (1998) 597--626] for the fast computation of American put option prices. In addition to the original application of this technique to optimal stopping problems, we provide an application to another problem in finance, namely the super-replication problem under stochastic volatility, and we show that the approximating value functions can be computed explicitly.


title: Flatness, preorders and general metric spaces (revised)

abstract: We use a generic notion of flatness in the enriched context to define various completions of metric spaces -- enrichments over [0,\infty] -- and preorders -- enrichments over 2. We characterize the weights of colimits commuting in [0,\infty] with the terminal object and cotensors. These weights can be intrepreted in metric terms as peculiar filters, the so-called filters of type 1. This generalizes Lawvere's correspondence between minimal Cauchy filters and adjoint modules. We obtain a metric completion based on the filters of type 1 as an instance of the free cocompletion under a class of weights defined by G.M. Kelly. Another class of flat presheaves is considered both in the metric and the preorder context. The corresponding completion for preorders is the so-called dcpo-completion.


title: Norm bounds for Ehrhart polynomial roots

abstract: M. Beck, J. De Loera, M. Develin, J. Pfeifle and R. Stanley found that the roots of the Ehrhart polynomial of a d-dimensional lattice polytope are bounded above in norm by 1+(d+1)!. We provide an improved bound which is quadratic in d and applies to a larger family of polynomials.


title: Asymptotic error for the Milstein scheme for SDEs driven by continuous semimartingales

abstract: A Milstein-type scheme was proposed to improve the rate of convergence of its approximation of the solution to a stochastic differential equation driven by a vector of continuous semimartingales. A necessary and sufficient condition was provided for this rate to be $1/n$ when the SDE is driven by a vector of continuous local martingales, or continuous semimartingales under an additional assumption on their finite variation part. The asymptotic behavior (weak convergence) of the normalized error processes was also studied.


title: Mobius transformations of polygons and partitions of 3-space

abstract: The image of a polygonal knot K under a spherical inversion of R^3 (union infinity) is a simple closed curve made of arcs of circles, having the same knot type as the mirror image of K. Suppose we reconnect the vertices of the inverted polygon with straight lines, making a new polygon. This may be a different knot type. For example, a certain 7-segment figure-8 knot can be transformed to a figure-8 knot, right and left handed trefoils, or an unknot, by selecting different inverting spheres. Which knot types can be obtained from a given original polygon K under this process? We show that for large n, almost all n-segment knot types cannot be reached from one initial n-segment polygon, using a single inversion or even the whole Mobius group. The number of knot types arising from an n-vertex polygon is bounded by the number of complementary domains of a certain system of n(n-3)/2 round 2-spheres in R^3. We show the number of domains is at most polynomial in the number of spheres. In the analysis, we obtain an exact formula for the number of complementary domains. On the other hand, the number of knot types that can be represented by n-segment polygons is exponential in n.


title: Linear Stability of Triangular Equilibrium Points in the Generalized Photogravitational Restricted Three Body Problem with Poynting-Robertson Drag

abstract: In this paper we have examined the linear stability of triangular equilibrium points in the generalised photogravitational restricted three body problem with Poynting-Robertson drag. We have found the position of triangular equilibrium points of our problem. The problem is generalised in the sense that smaller primary is supposed to be an oblate spheroid. The bigger primary is considered as radiating. The equations of motion are affected by radiation pressure force, oblateness and P-R drag. All classical results involving photogravitational and oblateness in restricted three body problem may be verified from this result. With the help of characteristic equation, we discussed the stability. Finally we conclude that triangular equilibrium points are unstable.


title: A new uniqueness criterion for the number of periodic orbits of Abel equations

abstract: A solution of the Abel equation $\dot{x}=A(t)x^3+B(t)x^2$ such that $x(0)=x(1)$ is called a periodic orbit of the equation. Our main result proves that if there exist two real numbers $a$ and $b$ such that the function $aA(t)+bB(t)$ is not identically zero, and does not change sign in $[0,1]$ then the Abel differential equation has at most one non-zero periodic orbit. Furthermore, when this periodic orbit exists, it is hyperbolic. This result extends the known criteria about the Abel equation that only refer to the cases where either $A(t)\not\equiv0$ or $B(t)\not\equiv0$ does not change sign. We apply this new criterion to study the number of periodic solutions of two simple cases of Abel equations: the one where the functions $A(t)$ and $B(t)$ are 1-periodic trigonometric polynomials of degree one and the case where these two functions are polynomials with three monomials. Finally, we give an upper bound for the number of isolated periodic orbits of the general Abel equation $\dot{x}=A(t)x^3+B(t)x^2+C(t)x,$ when $A(t), B(t)$ and $C(t)$ satisfy adequate conditions.


title: An approach to non-standard analysis

abstract: This note has two principal aims: to portray an essence of Non-Standard Analysis as a particular structure (which we call lim-rim), noting its interplay with the notion of ultrapower, and to present a construction of Non-Standard Analysis, viewed as a matter of mathematics, where the set *A of non-standard elements of a set A - "the adjunction of all possible limits" is a "good" kind of lim-rim which plays a role analogous to the algebraic closure of a field - "the adjunction of all roots of polynomials". In the same spirit as with algebraic closures, one has uniqueness up to isomorphism, and also universality and homogeneity, provided one has enough Generalized Continuum Hypothesis. The cardinality of *A will be just something like 2^(2^|A|), and one has a high degree of saturation.


title: Location of the nodal set for thin curved tubes

abstract: The Dirichlet Laplacian in curved tubes of arbitrary constant cross-section rotating together with the Tang frame along a bounded curve in Euclidean spaces of arbitrary dimension is investigated in the limit when the volume of the cross-section diminishes. We show that spectral properties of the Laplacian are, in this limit, approximated well by those of the sum of the Dirichlet Laplacian in the cross-section and a one-dimensional Schrodinger operator whose potential is expressed solely in terms of the first curvature of the reference curve. In particular, we establish the convergence of eigenvalues, the uniform convergence of eigenfunctions and locate the nodal set of the Dirichlet Laplacian in the tube near nodal points of the one-dimensional Schrodinger operator. As a consequence, we prove the "nodal-line conjecture" for a class of non-convex and possibly multiply connected domains. The results are based on a perturbation theory developed for Schrodinger-type operators in a straight tube of diminishing cross-section.


title: Generalized connected sum construction for constant scalar curvature metrics

abstract: We consider the problem of constructing solutions to the Yamabe equation (i.e. conformal constant scalar curvature metrics) on the generalized connected sum M = (M_1) #_K (M_2) of two compact Riemannian manifolds (M_1,g_1) and (M_2,g_2) along a common (isometrically embedded) submanifold (K,g_K) of codimension greater or equal than 3.


title: Some new immersion results for complex projective space

abstract: We prove the following two new optimal immersion results for complex projective space. First, if n equiv 3 mod 8 but n not equiv 3 mod 64, and alpha(n)=7, then CP^n can be immersed in R^{4n-14}. Second, if n is even and alpha(n)=3, then CP^n can be immersed in R^{4n-4}. Here alpha(n) denotes the number of 1's in the binary expansion of n. The first contradicts a result of Crabb, who said that such an immersion does not exist, apparently due to an arithmetic mistake.


title: The quantum sl(3) invariants of cubic bipartite planar graphs

abstract: Temperley-Lieb algebras have been generalized to sl(3) web spaces. Since a cubic bipartite planar graph with suitable directions on edges is a web, the quantum sl(3) invariants naturally extend to all cubic bipartite planar graphs. First we completely classify them as a connected sum of primes webs. We also provide a method to find all prime webs and exhibit all prime webs up to 20 vertices. Using quantum sl(3) invariants, we provide a criterion which determine the symmetry of graphs.


title: Laplace spectra on open and compact Zeeman manifolds

abstract: By a recent observation, the Laplacians on the Riemannian manifolds the author used for isospectrality constructions are nothing but the Zeeman-Hamilton operators of free charged particles. These manifolds can be considered as prototypes of the so called Zeeman manifolds. This observation allows to develop a spectral theory both on open Z-manifolds and their compact submanifolds. The theory on open manifolds leads to a new nonperturbative approach to the infinities of QED. This idea exploits that the quantum Hilbert space decomposes into subspaces (Zeeman zones) which are invariant under the actions both of this Zeeman-Laplace operator and the natural complex Heisenberg group representation. Thus a well defined particle theory and zonal geometry can be developed on each zone separately. The most surprising result is that quantities divergent on the global setting are finite on the zonal setting. Even the zonal Feynman integral is well defined. The results include explicit computations of objects such as the zonal spectra, the waves defining the zonal point-spreads, the zonal Wiener-Kac resp. Dirac-Feynman flows, and the corresponding partition functions. The observation adds new view-point also to the problem of finding intertwining operators by which isospectral pairs of metrics with different local geometries on compact submanifolds can be constructed. Among the examples the author constructed the most surprising are the isospectrality families containing both homogeneous and locally inhomogeneous metrics. The observation provides even quantum physical interpretation to the isospectrality.


title: Isotopies of high genus Lagrangian surfaces

abstract: We show that all Lagrangian submanifolds of the cotangent bundle of a Riemann surface which are homotopic to the zero section must be smoothly isotopic to the zero section.


title: Juggling braids and links

abstract: Using a simplistic model of juggling based on physics, a natural map is constructed from the set of periodic juggling patterns (or site swaps) to links. We then show that all topological links can be juggled.


title: Complex surfaces of general type: some recent progress

abstract: Chapters : Old and new inequalities; Surfaces with $\chi=1$ and the bicanonical map; Surfaces with $p_g=4$; Surfaces isogeneous to a product, Beauville surfaces and the absolute Galois group;Lefschetz pencils and braid monodromies;DEF, DIFF and other equivalence relations.


title: The expected number of zeros of a random system of $p$-adic polynomials

abstract: We study the simultaneous zeros of a random family of $d$ polynomials in $d$ variables over the $p$-adic numbers. For a family of natural models, we obtain an explicit constant for the expected number of zeros that lie in the $d$-fold Cartesian product of the $p$-adic integers. Considering models in which the maximum degree that each variable appears is $N$, this expected value is \[ p^{d \lfloor \log_p N \rfloor} (1 + p^{-1} + p^{-2} + ... + p^{-d})^{-1} \] for the simplest such model.


title: Spectral gaps in Wasserstein distances and the 2D stochastic Navier--Stokes equations

abstract: We develop a general method to prove the existence of spectral gaps for Markov semigroups on Banach spaces. Unlike most previous work, the type of norm we consider for this analysis is neither a weighted supremum norm nor an ${\L}^p$-type norm, but involves the derivative of the observable as well and hence can be seen as a type of 1-Wasserstein distance. This turns out to be a suitable approach for infinite-dimensional spaces where the usual Harris or Doeblin conditions, which are geared toward total variation convergence, often fail to hold. In the first part of this paper, we consider semigroups that have uniform behavior which one can view as the analog of Doeblin's condition. We then proceed to study situations where the behavior is not so uniform, but the system has a suitable Lyapunov structure, leading to a type of Harris condition. We finally show that the latter condition is satisfied by the two-dimensional stochastic Navier--Stokes equations, even in situations where the forcing is extremely degenerate. Using the convergence result, we show that the stochastic Navier--Stokes equations' invariant measures depend continuously on the viscosity and the structure of the forcing.

categories: math.PR math-ph math.AP math.DS math.MP math.SP