On some new congruences for binomial coefficients

Abstract: In this paper we establish some new congruences involving central binomial coefficients as well as Catalan numbers. Let $p$ be a prime and let $a$ be any positive integer. We determine $\sum_{k=0}^{p^a-1}\binom{2k}{k+d}$ mod $p^2$ for $d=0,...,p^a$ and $\sum_{k=0}^{p^a-1}\binom{2k}{k+\delta}$ mod $p^3$ for $\delta=0,1$. We also show that $$C_n^{-1}\sum_{k=0}^{p^a-1}C_{p^an+k}=1-3(n+1)((p^a-1)/3) (mod p^2)$$ for every n=0,1,2,..., where $C_m$ is the Catalan number $\binom{2m}{m}/(m+1)$, and (-) is the Legendre symbol.


What is a metric space?

Abstract: The question in the title is discussed briefly, with emphasis on a few basic examples and their properties.


A remark on Frobenius descent for vector bundles

Abstract: We give a class of examples of vector bundles on a relative smooth projective curve over Spec Z such that for infinitely many prime reductions the bundle has a Frobenius descent, but the restriction to the generic fiber in characteristic zero is not semistable. In the third section of the paper we prove for a large class of varieties (including abelian varieties) that any vector bundle with this Frobenius descent property is generically semistable.


Asymptotic integration and dispersion for hyperbolic equations

Abstract: The aim of this paper is to establish time decay properties and dispersive estimates for strictly hyperbolic equations with homogeneous symbols and with time-dependent coefficients whose derivatives are integrable. For this purpose, the method of asymptotic integration is developed for such equations and representation formulae for solutions are obtained. These formulae are analysed further to obtain time decay of Lp-Lq norms of propagators for the corresponding Cauchy problems. It turns out that the decay rates can be expressed in terms of certain geometric indices of the limiting equation and we carry out the thorough analysis of this relation. This provides a comprehensive view on asymptotic properties of solutions to time-perturbations of hyperbolic equations with constant coefficients. Moreover, we also obtain the time decay rate of the Lp-Lq estimates for equations of these kinds, so the time well-posedness of the corresponding nonlinear equations with additional semilinearity can be treated by standard Strichartz estimates.


The extremal values of the Wiener index of a tree with given degree sequence

Abstract: The Wiener index of a graph is the sum of the distances between all pairs of vertices, it has been one of the main descriptors that correlate achemical compound's molecular graph with experimentally gathered data regarding the compound's characteristics. The tree that minimizes the Wiener index among trees of given maximal degree was studied. We characterize trees that achieve the maximum and minimum Wiener index, given the number of vertices and the degree sequence.


Fractional dynamical systems and applications in mechanics and economics

Abstract: Using the fractional integration and differentiation on R we build the fractional jet fibre bundle on a differentiable manifold and we emphasize some important geometrical objects. Euler-Lagrange fractional equations are described. Some significant examples from mechanics and economics are presented.


The Generalized Burnside Theorem

Abstract: All groups have 2 generators. For every prime power q, the Generalized Burnside Theorem (Theorem GB) produces an infinite number of solvable groups, Some, such as groups of a prime power exponent, have only elements of finite order and are therefore finite groups. Others have elements of infinite order and are thus infinite groups. All these groups, even when infinite, are closely related to groups of exponent q. They have at least one generator of order q, and their commutator subgroup has exponent q.


Seifert surfaces, Commutators and Vassiliev invariants

Abstract: We show that the Vassiliev invariants of a knot K, are obstructions to finding a regular Seifert surface, S, whose complement looks "simple" (e.g. like the complement of a disc) to the lower central series of its fundamental group.


Symplectic symmetries of 4-manifolds

Abstract: A study of symplectic actions of a finite group $G$ on smooth 4-manifolds is initiated. The central new idea is the use of $G$-equivariant Seiberg-Witten-Taubes theory in studying the structure of the fixed-point set of these symmetries. The main result in this paper is a complete description of the fixed-point set structure (and the action around it) of a symplectic cyclic action of prime order on a minimal symplectic 4-manifold with $c_1^2=0$. Comparison of this result with the case of locally linear topological actions is made. As an application of these considerations, the triviality of many such actions on a large class of 4-manifolds is established. In particular, we show the triviality of homologically trivial symplectic symmetries of a $K3$ surface (in analogy with holomorphic automorphisms). Various examples and comments illustrating our considerations are also included.


Symmetries and exotic smooth structures on a $K3$ surface

Abstract: Smooth and symplectic symmetries of an infinite family of distinct exotic $K3$ surfaces are studied, and comparison with the corresponding symmetries of the standard $K3$ is made. The action on the $K3$ lattice induced by a smooth finite group action is shown to be strongly restricted, and as a result, nonsmoothability of actions induced by a holomorphic automorphism of a prime order $\geq 7$ is proved and nonexistence of smooth actions by several $K3$ groups is established (included among which is the binary tetrahedral group $T_{24}$ which has the smallest order). Concerning symplectic symmetries, the fixed-point set structure of a symplectic cyclic action of a prime order $\geq 5$ is explicitly determined, provided that the action is homologically nontrivial.


A Hyperelliptic View on Teichmuller Space. I

Abstract: We explicitly describe the Teichmuller space TH_n of hyperelliptic surfaces in terms of natural and effective coordinates as the space of certain (2n-6)-tuples of distinct points on the ideal boundary of the Poincare disc. We essentially use the concept of a simple earthquake which is a particular case of a Fenchel-Nielsen twist deformation. Such earthquakes generate a group that acts transitively on TH_n. This fact can be interpreted as a continuous analog of the well-known Dehn theorem saying that the mapping class group is generated by Dehn twists. We find a simple and effective criterion that verifies if a given representation of the surface group \pi_1\Sigma in the group of isometries of the hyperbolic plane is faithful and discrete. The article also contains simple and elementary proofs of several known results, for instance, of W. M. Goldman's theorem [Gol1] characterizing the faithful discrete representations as having maximal Toledo invariant (which is essentially the area of the representation in the two-dimensional case).


Lattice and Schroder paths with periodic boundaries

Abstract: We consider paths in the plane with $(1,0),$ $(0,1),$ and $(a,b)$-steps that start at the origin, end at height $n,$ and stay to the left of a given non-decreasing right boundary. We show that if the boundary is periodic and has slope at most $b/a,$ then the ordinary generating function for the number of such paths ending at height $n$ is algebraic. Our argument is in two parts. We use a simple combinatorial decomposition to obtain an Appell relation or ``umbral'' generating function, in which the power $z^n$ is replaced by a power series of the form $z^n \phi_n(z),$ where $\phi_n(0) = 1.$ Then we convert (in an explicit way) the umbral generating function to an ordinary generating function by solving a system of linear equations and a polynomial equation. This conversion implies that the ordinary generating function is algebraic.


Mean-field conditions for percolation on finite graphs

Abstract: Let G_n be a sequence of finite transitive graphs with vertex degree d=d(n) and |G_n|=n. Denote by p^t(v,v) the return probability after t steps of the non-backtracking random walk on G_n. We show that if p^t(v,v) has quasi-random properties, then critical bond-percolation on G_n has a scaling window of width n^{-1/3}, as it would on a random graph. A consequence of our theorems is that if G_n is a transitive expander family with girth at least (2/3 + eps) \log_{d-1} n, then the size of the largest component in p-bond-percolation with p={1 +O(n^{-1/3}) \over d-1} is roughly n^{2/3}. In particular, bond-percolation on the celebrated Ramanujan graph constructed by Lubotzky, Phillips and Sarnak has the above scaling window. This provides the first examples of quasi-random graphs behaving like random graphs with respect to critical bond-percolation.


Parallel marginalization Monte Carlo with applications to conditional path sampling

Abstract: Monte Carlo sampling methods often suffer from long correlation times. Consequently, these methods must be run for many steps to generate an independent sample. In this paper a method is proposed to overcome this difficulty. The method utilizes information from rapidly equilibrating coarse Markov chains that sample marginal distributions of the full system. This is accomplished through exchanges between the full chain and the auxiliary coarse chains. Results of numerical tests on the bridge sampling and filtering/smoothing problems for a stochastic differential equation are presented.


Statistical properties of one-dimensional maps with critical points and singularities

Abstract: We prove that a class of one-dimensional maps with an arbitrary number of non-degenerate critical and singular points admits an induced Markov tower with exponential return time asymptotics. In particular the map has an absolutely continuous invariant probability measure with exponential decay of correlations for H\"{o}lder observations.


A Haar-like Construction for the Ornstein Uhlenbeck Process

Abstract: The classical Haar construction of Brownian motion uses a binary tree of triangular wedge-shaped functions. This basis has compactness properties which make it especially suited for certain classes of numerical algorithms. We present a similar basis for the Ornstein-Uhlenbeck process, in which the basis elements approach asymptotically the Haar functions as the index increases, and preserve the following properties of the Haar basis: all basis elements have compact support on an open interval with dyadic rational endpoints; these intervals are nested and become smaller for larger indices of the basis element, and for any dyadic rational, only a finite number of basis elements is nonzero at that number. Thus the expansion in our basis, when evaluated at a dyadic rational, terminates in a finite number of steps. We prove the covariance formulae for our expansion and discuss its statistical interpretation and connections to asymptotic scale invariance.


Residual Velocities in Steady Free Boundary Value Problems of Vector Laplacian Type

Abstract: This paper describes a technique to determine the linear well-posedness of a general class of vector elliptic problems that include a steady interface, to be determined as part of the problem, that separates two subdomains. The interface satisfies mixed Dirichlet and Neumann conditions. We consider ``2+2'' models, meaning two independent variables respectively on each subdomain. The governing equations are taken to be vector Laplacian, to be able to make analytic progress. The interface conditions can be classified into four large categories, and we concentrate on the one with most physical interest. The well-posedness criteria in this case are particularly clear. In many physical cases, the movement of the interface in time-dependent situations can be reduced to a normal motion proportional to the residual in one of the steady state interface conditions (the elliptic interior problems and the other interface conditions are satisfied at each time). If only the steady state is of interest, one can consider using other residuals for the normal velocity. Our analysis can be extended to give insight into choosing residual velocities that have superior numerical properties. Hence, in the second part, we discuss an iterative method to solve free boundary problems. The advantages of the correctly chosen, non-physical residual velocities are demonstrated in a numerical example, based on a simplified model of two-phase flow with phase change in porous media.


Undecidability in function fields of positive characteristic

Abstract: We prove that the first-order theory of any function field K of characteristic p>2 is undecidable in the language of rings without parameters. When K is a function field in one variable whose constant field is algebraic over a finite field, we can also prove undecidability in characteristic 2. The proof uses a result by Moret-Bailly about ranks of elliptic curves over function fields.


Non-semisimple Macdonald polynomials

Abstract: The paper is mainly devoted to the irreducibility of the polynomial representation of the double affine Hecke algebra for an arbitrary reduced root systems and generic "central charge" q. The technique of intertwiners in the non-semisimple variant is the main tool. We introduce Macdonald's non-semisimple polynomials and use them to analyze the reducibility of the polynomial representation in terms of the affine exponents, counterparts of the classical Coxeter exponents. The focus is on the principal aspects of the technique of intertwiners, including related problems in the theory of reduced decompositions on affine Weyl groups.


On exit times of Levy-driven Ornstein--Uhlenbeck processes

Abstract: We prove two martingale identities which involve exit times of Levy-driven Ornstein--Uhlenbeck processes. Using these identities we find an explicit formula for the Laplace transform of the exit time under the assumption that positive jumps of the Levy process are exponentially distributed.


On the Four Vertex Theorem on planes with radial density $e^{\phi(r)}$

Abstract: It is showed that on a plane with a radial density the Four Vertex Theorem holds for the class of all simple closed curves if and only if the density is constant. But for the class of simple closed curves that are invariant under a rotation about the origin, the Four Vertex Theorem holds for every radial density.


Difference sets and Polynomials of prime variables

Abstract: Let \psi(x) be a polynomial with rational coefficients. Suppose that \psi has the positive leading coefficient and zero constant term. Let A be a set of positive integers with the positive upper density. Then there exist x,y\in A and a prime p such that x-y=\psi(p-1). Furthermore, if P be a set of primes with the positive relative upper density, then there exist x,y\in P and a prime p such that x-y=\psi(p-1).


Relative Singularity Categories and Gorenstein-Projective Modules

Abstract: We introduce the notion of relative singularity category with respect to any self-orthogonal subcategory $\omega$ of an abelian category. We introduce the Frobenius category of $\omega$-Cohen-Macaulay objects, and under some reasonable conditions, we show that the stable category of $\omega$-Cohen-Macaulay objects is triangle-equivalent to the relative singularity category. As applications, we relate the stable category of (unnecessarily finitely-generated) Gorenstein-projective modules with singularity categories of rings. We prove that for a Gorenstein ring, the stable category of Gorenstein-projective modules is compactly generated and its compact objects coincide with finitely-generated Gorenstein-projective modules up to direct summands.


K-theory of quiver varieties, q-Fock space and nonsymmetric Macdonald polynomials

Abstract: We have two constructions of the level-$(0,1)$ irreducible representation of the quantum toroidal algebra of type $A$. One is due to Nakajima and Varagnolo-Vasserot. They constructed the representation on the direct sum of the equivariant K-groups of the quiver varieties of type $\hat{A}$. The other is due to Saito-Takemura-Uglov and Varagnolo-Vasserot. They constructed the representation on the q-deformed Fock space introduced by Kashiwara-Miwa-Stern. In this paper we give an explicit isomorphism between these two constructions. For this purpose we construct simultaneous eigenvectors on the q-Fock space using nonsymmetric Macdonald polynomials. Then the isomorphism is given by corresponding these vectors to the torus fixed points on the quiver varieties.


Cohomology of $\mathfrak {osp}(1|2)$ acting on linear differential operators on the supercircle $S^{1|1}

Abstract: We compute the first cohomology spaces $H^1(\mathfrak{osp}(1|2);\mathfrak{D}_{\lambda,\mu})$ ($\lambda, \mu\in\mathbb{R}$) of the Lie superalgebra $\mathfrak{osp}(1|2)$ with coefficients in the superspace $\mathfrak{D}_{\lambda,\mu}$ of linear differential operators acting on weighted densities on the supercircle $S^{1|1}$. The structure of these spaces was conjectured in \cite{gmo}. In fact, we prove here that the situation is a little bit more complicated. (To appear in LMP.)


A parametrized version of the Borsuk Ulam theorem

Abstract: The main result of this note is a parametrized version of the Borsuk-Ulam theorem. We show that for a continuous family of Borsuk-Ulam situations, parameterized by points of a compact manifold W, its solution set also depends continuously on the parameter space W. Continuity here means that the solution set supports a homology class which maps onto the fundamental class of W. When W is a subset of Euclidean space, we also show how to construct such a continuous family starting from a family depending in the same way continuously on the points of the boundary of W. This solves a problem related to a conjecture which is relevant for the construction of equilibrium strategies in repeated two-player games with incomplete information. A new method (of independent interest) used in this context is a canonical symmetric squaring construction in Cech homology with coefficients in Z/2Z.


Regularity of C^{1} smooth surfaces with prescribed p-mean curvature in the Heisenberg group

Abstract: We consider a $C^{1}$ smooth surface with prescribed $p$(or $H$)-mean curvature in the 3-dimensional Heisenberg group. Assuming only the prescribed $p$-mean curvature $H\in C^{0},$ we show that any characteristic curve is $C^{2}$ smooth and its (line) curvature equals $-H$ in the nonsingular domain$.$ By introducing characteristic coordinates and invoking the jump formulas along characteristic curves, we can prove that the Legendrian (or horizontal) normal gains one more derivative. Therefore the seed curves are $C^{2}$ smooth. We also obtain the uniqueness of characteristic and seed curves passing through a common point under some mild conditions, respectively. These results can be applied to more general situations.


A local homology theory for linearly compact modules

Abstract: We introduce a local homology theory for linearly compact modules which is in some sense dual to the local cohomology theory of A. Grothendieck. Some basic properties such as the noetherianness, the vanishing and non-vanishing of local homology modules of linearly compact modules are proved. A duality theory between local homology and local cohomology modules of linearly compact modules is developed by using Matlis duality and Macdonald duality. As consequences of the duality theorem we obtain some generalizations of well-known results in the theory of local cohomology for semi-discrete linearly compact modules.


Dismantling sparse random graphs

Abstract: We consider the number of vertices that must be removed from a graph G in order that the remaining subgraph has no component with more than k vertices. Our principal observation is that, if G is a sparse random graph or a random regular graph on n vertices with n tending to infinity, then the number in question is essentially the same for all values of k such that k tends to infinity but k=o(n).


Leonhard Euler and a q-analogue of the logarithm

Abstract: We study a q-logarithm which was introduced by Euler and give some of its properties. This q-logarithm did not get much attention in the recent literature. We derive basic properties, some of which were already given by Euler in a 1751-paper and 1734-letter to Daniel Bernoulli. The corresponding q-analogue of the dilogarithm is introduced. The relation to the values at 1 and 2 of a q-analogue of the zeta function is given. We briefly describe some other q-logarithms that have appeared in the recent literature.


Symplectically aspherical manifolds

Abstract: This is a survey article on symplectically aspherical manifolds. The paper contains a discussion on constructions of symplectically aspherical manifolds, their topological properties and the role of this class in symplectic topology. Research perspectives are discussed.


Campbell equilibrium equation and pseudo-likelihood estimation for non-hereditary Gibbs point processes

Abstract: In this paper, we study Gibbs point processes involving a hardcore interaction which is not necessarily hereditary. We first extend the famous Campbell equilibrium equation, initially proposed by Nguyen and Zessin [Math. Nachr. 88 (1979) 105--115], to the non-hereditary setting and consequently introduce the new concept of removable points. A modified version of the pseudo-likelihood estimator is then proposed, which involves these removable points. We consider the following two-step estimation procedure: first estimate the hardcore parameter, then estimate the smooth interaction parameter by pseudo-likelihood, where the hardcore parameter estimator is plugged in. We prove the consistency of this procedure in both the hereditary and non-hereditary settings.


Tropical analysis of plurisubharmonic singularities

Abstract: Some results on singularities of plurisubharmonic functions are put into the context of tropical mathematics.


Abstract: Spacelike Willmore surfaces in 4-dimensional Lorentzian space forms, a topic in Lorentzian conformal geometry which parallels the theory of Willmore surfaces in $S^4$, are studied in this paper. We define two kinds of transforms for such a surface, which produce the so-called left/right polar surfaces and the adjoint surfaces. These new surfaces are again conformal Willmore surfaces. For them holds interesting duality theorem. As an application spacelike Willmore 2-spheres are classified. Finally we construct a family of homogeneous spacelike Willmore tori.


Orthonormal dilations of Parseval wavelets

Abstract: We prove that any Parseval wavelet frame is the projection of an orthonormal wavelet basis for a representation of the Baumslag-Solitar group $$BS(1,2)=< u,t | utu^{-1}=t^2>.$$ We give a precise description of this representation in some special cases, and show that for wavelet sets, it is related to symbolic dynamics. We show that the structure of the representation depends on the analysis of certain finite orbits for the associated symbolic dynamics. We give concrete examples of Parseval wavelets for which we compute the orthonormal dilations in detail; we show that there are examples of Parseval wavelet sets which have infinitely many non-isomorphic orthonormal dilations.


Freeness of Conic-Line Arrangements in $\mathbb P^2$

Abstract: Let ${\mathcal C}= \bigcup_{i=1}^n C_i \subseteq \mathbb{P}^2$ be a collection of smooth rational plane curves. We prove that the addition-deletion operation used in the study of hyperplane arrangements has an extension which works for a large class of arrangements of smooth rational curves, giving an inductive tool for understanding the freeness of the module $\Omega^1({\mathcal C})$ of logarithmic differential forms with pole along ${\mathcal C}$. We also show that the analog of Terao's conjecture (freeness of $\Omega^1({\mathcal C})$ is combinatorially determined if ${\mathcal C}$ is a union of lines) is false in this setting.


Energy Optimal Control for Quantum System Evolving on SU(1,1)

Abstract: This paper discusses the energy optimal control problem for the class of quantum systems that possess dynamical symmetry of SU(1,1), which are widely studied in various physical problems in the quantum theory. Based on the maximum principle on Lie group, the complete set of optimal controls are analytically obtained, including both normal and abnormal extremals. The results indicate that the normal extremal controls can be expressed by the Weierstrass elliptic function, while the abnormal extremal controls can only be constant functions of time t.


On the lower central series of an associative algebra

Abstract: This paper continues the study of the lower central series quotients of an associative algebra A, regarded as a Lie algebra, which was started in math/0610410 by Feigin and Shoikhet. Namely, it provides a basis for the second quotient in the case when A is the free algebra in n generators (note that the Hilbert series of this quotient was determined earlier in math/0610410). Further, it uses this basis to determine the structure of the second quotient in the case when A is the free algebra modulo the relations saying that the generators have given nilpotency orders. Finally, it determines the structure of the third and fourth quotient in the case of 2 generators, confirming an answer conjectured in math/0610410. Finally, in the appendix, the results of math/0610410 are generalized to the case when A is an arbitrary associative algebra (under certain conditions on $A$).


Asymptotics and Sequential Closures of Continued Fractions and Generalizations

Abstract: Given a sequence of complex square matrices, $a_n$, consider the sequence of their partial products, defined by $p_n=p_{n-1}a_{n}$. What can be said about the asymptotics as $n\to\infty$ of the sequence $f(p_n)$, where $f$ is a continuous function? A special case of our most general result addresses this question under the assumption that the matrices $a_n$ are an $l_1$ perturbation of a sequence of matrices with bounded partial products. We apply our theory to investigate the asymptotics of the approximants of continued fractions. In particular, when a continued fraction is $l_1$ limit 1-periodic of elliptic or loxodromic type, we show that its sequence of approximants tends to a circle in $\hat{\mathbb{C}}$, or to a finite set of points lying on a circle. Our main theorem on such continued fractions unifies the treatment of the loxodromic and elliptic cases, which are convergent and divergent, respectively. When an approximating sequence tends to a circle, we obtain statistical information about the limiting distribution of the approximants. When the circle is the real line, the points are shown to have a Cauchy distribution with parameters given in terms of modifications of the original continued fraction. As an example of the general theory, a detailed study of a $q$-continued fraction in five complex variables is provided. The most general theorem in the paper holds in the context of Banach algebras. The theory is also applied to $(r,s)$-matrix continued fractions and recurrence sequences of Poincar\'e type and compared with closely related literature.


The K\"unneth formula for nuclear $DF$-spaces and Hochschild cohomology

Abstract: We consider complexes $(\X, d)$ of nuclear Fr\'echet spaces and continuous boundary maps $d_n$ with closed ranges and prove that, up to topological isomorphism, $ (H_{n}(\X, d))^*$ $\iso$ $H^{n}(\X^*,d^*),$ where $(H_{n}(\X,d))^*$ is the strong dual space of the homology group of $(\X,d)$ and $ H^{n}(\X^*,d^*)$ is the cohomology group of the strong dual complex $(\X^*,d^*)$. We use this result to establish the existence of topological isomorphisms in the K\"{u}nneth formula for the cohomology of complete nuclear $DF$-complexes and in the K\"{u}nneth formula for continuous Hochschild cohomology of nuclear $\hat{\otimes}$-algebras which are Fr\'echet spaces or $DF$-spaces for which all boundary maps of the standard homology complexes have closed ranges. We describe explicitly continuous Hochschild and cyclic cohomology groups of certain tensor products of $\hat{\otimes}$-algebras which are Fr\'echet spaces or nuclear $DF$-spaces.


Sur la persistance des courbes invariantes pour les dynamiques holomorphes fibr\'ees lisses

Abstract: En s'appuyant sur un th\'eor\`me de fonctions implicites de Hamilton nous montrons la persistance d'une courbe invariante indiff\'rente pour une dynamique holomorpphe fibr\'ee en classe $C^{\infty}$. Une condition diophantienne sur la paire de nombres de rotation est demand\'ee. Nous montrons aussi que cette condition est optimale.


Chaoticity for multi-class systems and exchangeability within classes

Abstract: Classical results for exchangeable systems of random variables are extended to multi-class systems satisfying a natural partial exchangeability assumption. It is proved that the conditional law of a finite multi-class system, given the value of the vector of the empirical measures of its classes, corresponds to independent uniform orderings of the samples within each class, and that a family of such systems converges in law if and only if the corresponding empirical measure vectors converge in law. As a corollary, convergence within each class to an infinite i.i.d. system implies asymptotic independence between different classes. A result implying the Hewitt-Savage 0-1 Law is also extended.


Symmetric $\alpha$-stable subordinators and Cauchy problems

Abstract: We survey the results in Nane (E. Nane, Higher order PDE's and iterated processes, Trans. American Math. Soc. (to appear)) and Baeumer, Meerschaert, and Nane (B. Baeumer, M.M. Meerschaert and E. Nane, Brownian subordinators and fractional Cauchy problems: Submitted (2007)) which deal with PDE connection of some iterated processes, and obtain a new probabilistic proof of the equivalence of the higher order PDE's and fractional in time PDE's.


Clique-width of unit interval graphs

Abstract: The clique-width is known to be unbounded in the class of unit interval graphs. In this paper, we show that this is a minimal hereditary class of unbounded clique-width, i.e., in every hereditary subclass of unit interval graphs the clique-width is bounded by a constant.


On the Reduction Process of Nucci-Reduce Algorithm for Computing Nonlocal Symmetries of Dynamical Systems:A case study of the Kepler and Kepler-related problems

Abstract: The snags in Nucci(1996)REDUCE algorithm are the intrinsic computational efforts and the ability to recognize the ignorable variable(s) during the reduction process of the algorithm. An inappropriate choice of the ignorable variable(s)may lead to an infinite loop. We construct an isomorphic transformation which ameliorates these problems, and with which a simple, definite steps of algebraic process, produced equivalent system of equations to that of Nucci that are easily solved by Lie point symmetry algorithm.


Bessel potentials and optimal Hardy and Hardy-Rellich inequalities

Abstract: We give necessary and sufficient conditions on a pair of positive radial functions V and W on a ball B of radius R in R^n,$n \geq 1$, so that the following inequalities hold for all $u \in C_{0}^{\infty}(B)$: $\int_{B}V(x)|\nabla u |^{2}dx \geq \int_{B} W(x)u^2dx$, and $\int_{B}V(x)|\Delta u |^{2}dx \geq \int_{B} W(x)|\nabla u|^{2}dx+(n-1)\int_{B}(\frac{V(x)}{|x|^2}-\frac{V_r(|x|)}{|x|})|\nabla u|^2dx$. This characterization makes a very useful connection between Hardy-type inequalities and the oscillatory behaviour of certain ordinary differential equations, and helps in the identification of a large number of such couples (V, W) - that we call Bessel pairs -as well as the best constants in the corresponding inequalities. This allows us to improve, extend, and unify many results -old and new- about Hardy and Hardy-Rellich type inequalities, such as those obtained by Caffarelli-Kohn-Nirenberg, Brezis-Vazquez, Wang-Willem, Adimurthi-Chaudhuri-Ramaswamy, Filippas-Tertikas, Adimurthi-Grossi -Santra, Tertikas-Zographopoulos, and Blanchet-Bonforte-Dolbeault-Grillo-Vasquez.


Symplectic embeddings of polydisks

Abstract: If P is a polydisk with radii R_1 < ... < R_n and P' is a polydisk with radii R'_1 < ... < R'_n, then we construct a symplectic embedding from P into P' provided that C(n) R_1 < R'_1 and C(n) R_1 ... R_n < C(n) R'_1 ... R'_n. Up to a constant factor, these conditions are optimal.


Apery limits and special values of L-functions

Abstract: We describe a general method to determine the Apery limits of a differential equation that have a modular-function origin. As a by-product of our analysis, we discover a family of identities involving the special values of L-functions associated with modular forms. The proof of these identities is independent of differential equations and Apery limits.


Some new directions in p-adic Hodge theory

Abstract: We recall some basic constructions from p-adic Hodge theory, then describe some recent results in the subject. We chiefly discuss the notion of B-pairs, introduced recently by Berger, which provides a natural enlargement of the category of p-adic Galois representations. (This enlargement, in a different form, figures in recent work of Colmez, Bellaiche, and Chenevier on trianguline representations.) We also discuss results of Liu that indicate that the formalism of Galois cohomology, including Tate local duality, extends to B-pairs.


A combinatorial approach to functorial quantum sl(k) knot invariants

Abstract: This paper contains a categorification of the sl(k) link invariant using parabolic singular blocks of category O. Our approach is intended to be as elementary as possible, providing combinatorial proofs of the main results of Sussan. We first construct an exact functor valued invariant of webs or 'special' trivalent graphs labelled with 1, 2, k-1, k satisfying the MOY relations. Afterwards we extend it to the sl(k)-invariant of links by passing to the derived categories. The approach using foams appears naturally in this context. More generally, we expect that our approach provides a representation theoretic interpretation of the sl(k)-homology, based on foams and the Kapustin-Lie formula. Conjecturally this implies that the Khovanov-Rozansky link homology is obtained from our invariant by restriction.


Proper holomorphic mappings in the special class of Reinhardt domains

Abstract: A complete characterization of proper holomorphic mappings between domains from the class of all pseudoconvex Reinhardt domains in $\C^2$ with the logarithmic image equal to a strip or a half-plane is given.


Universal local parametrizations via heat kernels and eigenfunctions of the Laplacian

Abstract: We use heat kernels or eigenfunctions of the Laplacian to construct local coordinates on large classes of Euclidean domains and Riemannian manifolds (not necessarily smooth, e.g. with $\mathcal{C}^\alpha$ metric). These coordinates are bi-Lipschitz on embedded balls of the domain or manifold, with distortion constants that depend only on natural geometric properties of the domain or manifold. The proof of these results relies on estimates, from above and below, for the heat kernel and its gradient, as well as for the eigenfunctions of the Laplacian and their gradient. These estimates hold in the non-smooth category, and are stable with respect to perturbations within this category. Finally, these coordinate systems are intrinsic and efficiently computable, and are of value in applications.


Factorial ratios, hypergeometric series, and a family of step functions

Abstract: We give a complete classification of a certain family of step functions related to the Nyman--Beurling approach to the Riemann hypothesis and previously studied by V. I. Vasyunin. Equivalently, we completely describe when certain sequences of ratios of factorial products are always integral. Essentially, once certain observations are made, this comes down to an application of Beukers and Heckman's classification of the monodromy of the hypergeometric function nF_{n-1}. We also note applications to the classification of cyclic quotient singularities.


On proofs of certain combinatorial identities

Abstract: In this paper we formulate combinatorial identities that give representation of positive integers as linear combination of even powers of 2 with binomial coefficients. We present side by side combinatorial as well as computer generated proofs using the Wilf-Zeilberger(WZ) method.


K3 surfaces of finite height over finite fields

Abstract: Arithmetic of K3 surfaces defined over finite fields is investigated. In particular, we show that any K3 surface of finite height over a finite field k of characteristic p > 3 has a quasi-canonical lifting to characteristic 0, and that for any such lifting, the endormorphism algebra of the transcendental cycles, as a Hodge module, is a CM field. The Tate conjecture for the product of certain two K3 surfaces is also proved. We illustrate by examples how to determine explicitly the formal Brauer group associated to a K3 surface over k. Examples discussed here are all of hypergeometric type.


Improvement on Parameters of Algebraic-Geometry Codes from Hermitian Curves

Abstract: Motivated by Xing's method [7], we show that there exist [n,k,d] linear Hermitian codes over F_{q^2} with k+d>=n-3 for all sufficiently large q. This improves the asymptotic bound of Algebraic-Geometry codes from Hermitian curves given in [9,10].


On Kummer type construction of supersingular K3 surfaces in characteristic 2

Abstract: We show that every supersingular K3 surface in characteristic 2 with Artin invariant less than or equal to 2 is obtained by the Kummer type construction of Schroeer.


Conjugacy, roots, and centralizers in Thompson's group $F$

Abstract: We complete the program begun by Brin and Squier of characterising conjugacy in Thompson's group $F$ using the standard action of $F$ as a group of piecewise linear homeomorphisms of the unit interval.


Generalized solutions to nonlinear first order Cauchy problems

Abstract: The recent significant enrichment of the Order Completion Method for nonlinear Systems of PDEs resulted in the global existence of generalized solutions to a large class of such equations. In this paper we investigate the existence and regularity of the generalized solutions to a family of nonlinear first order Cauchy problems. The spaces of generalized solutions are obtained as the completions of suitably constructed uniform convergence spaces.


The geometry of fractional osculator bundle of higher order and applications

Abstract: Using the reviewed Riemann-Liouville fractional derivative we introduce the fractional osculator Lagrange space of k order and the main structures on it. The results are applied at the k order fractional prolongation of Lagrange, Finsler and Riemann fractional structures.


Sign changes of coefficients of half integral weight modular forms

Abstract: For a half integral weight modular form $f$ we study the signs of the Fourier coefficients $a(n)$. If $f$ is a Hecke eigenform of level $ N$ with real Nebentypus character, and $t$ is a fixed square-free positive integer with $a(t)\neq 0$, we show that for all but finitely many primes $p$ the sequence $(a(tp^{2m}))_{m}$ has infinitely many signs changes. Moreover, we prove similar (partly conditional) results for arbitrary cusp forms $f$ which are not necessarily Hecke eigenforms.


On rate optimality for ill-posed inverse problems in econometrics

Abstract: In this paper, we clarify the relations between the existing sets of regularity conditions for convergence rates of nonparametric indirect regression (NPIR) and nonparametric instrumental variables (NPIV) regression models. We establish minimax risk lower bounds in mean integrated squared error loss for the NPIR and the NPIV models under two basic regularity conditions that allow for both mildly ill-posed and severely ill-posed cases. We show that both a simple projection estimator for the NPIR model, and a sieve minimum distance estimator for the NPIV model, can achieve the minimax risk lower bounds, and are rate-optimal uniformly over a large class of structure functions, allowing for mildly ill-posed and severely ill-posed cases.


Nonparametric estimation for L\'evy processes from low-frequency observations

Abstract: We suppose that a L\'evy process is observed at discrete time points. A rather general construction of minimum-distance estimators is shown to give consistent estimators of the L\'evy-Khinchine characteristics as the number of observations tends to infinity, keeping the observation distance fixed. For a specific $C^2$-criterion this estimator is rate-optimal. The connection with deconvolution and inverse problems is explained. A key step in the proof is a uniform control on the deviations of the empirical characteristic function on the whole real line.


Continuity of the radius of convergence of p-adic differential equations on Berkovich analytic spaces

Abstract: We consider a vector bundle with integrable connection (\cE,\na) on an analytic domain U in the generic fiber \cX_{\eta} of a smooth formal p-adic scheme \cX, in the sense of Berkovich. We define the \emph{diameter} \delta_{\cX}(\xi,U) of U at \xi\in U, the \emph{radius} \rho_{\cX}(\xi) of the point \xi\in\cX_{\eta}, the \emph{radius of convergence} of solutions of (\cE,\na) at \xi, R(\xi) = R_{\cX}(\xi, U,(\cE, \na)). We discuss (semi-) continuity of these functions with respect to the Berkovich topology. In particular, under we prove under certain assumptions that \delta_{\cX}(\xi,U), \rho_{\cX}(\xi) and R_{\xi}(U,\cE,\na) are upper semicontinuous functions of \xi; for Laurent domains in the affine space, \delta_{\cX}(-,U) is continuous. In the classical case of an affinoid domain U of the analytic affine line, R is a continuous function.


Maximal Entropy Measures for Piecewise Affine Surface Homeomorphisms

Abstract: We study the dynamics of piecewise affine surface homeomorphisms from the point of view of their entropy. Under the assumption of positive topological entropy, we establish the existence of finitely many ergodic and invariant probability measures maximizing entropy and prove a multiplicative lower bound for the number of periodic points. This is intended as a step towards the understanding of surface diffeomorphisms. We proceed by building a jump transformation, using not first returns but carefully selected "good" returns to dispense with Markov partitions. We control these good returns through some entropy and ergodic arguments.


Equivalence and self-improvement of p-fatness and Hardy's inequality, and association with uniform perfectness

Abstract: We present an easy proof that $p$--Hardy's inequality implies uniform $p$--fatness of the boundary when $p=n$. The proof works also in metric space setting and demonstrates the self--improving phenomenon of the $p$--fatness. We also explore the relationship between $p$-fatness, $p$-Hardy inequality, and the uniform perfectness for all $p\ge 1$, and demonstrate that in the Ahlfors $Q$-regular metric measure space setting with $p=Q$, these three properties are equivalent.


A Clark-Ocone formula in UMD Banach spaces

Abstract: Let H be a separable real Hilbert space and let F = (F_t)_{t\in [0,T]} be the augmented filtration generated by an H-cylindrical Brownian motion W_H on [0,T]. We prove that if E is a UMD Banach space, 1\leq p<\infty, and f\in D^{1,p}(E) is F_T-measurable, then f = \E f + \int_0^T P_F(Df) dW_H where D is the Malliavin derivative and P_F is the projection onto the F-adapted elements in a suitable Banach space of L^p-stochastically integrable L(H,E)-valued processes.


Biharmonic Hypersurfaces in 4-Dimensional Space Forms

Abstract: We investigate proper biharmonic hypersurfaces with at most three distinct principal curvatures in space forms. We obtain the full classification of proper biharmonic hypersurfaces in 4-dimensional space forms.


Surface branched covers and geometric 2-orbifolds

Abstract: For a branched cover between two closed orientable surfaces, the Riemann-Hurwitz formula relates the Euler characteristics of the surfaces, the total degree of the cover, and the total length of the partitions of the degree given by the local degrees at the preimages of the branching points. A very old problem asks whether a collection of partitions of an integer having the appropriate total length (that we call a candidate cover) always comes from some branched cover. The answer is known to be in the affirmative whenever the candidate base surface is not the 2-sphere, while for the 2-sphere exceptions do occur. A long-standing conjecture however asserts that when the candidate degree is a prime number, a candidate cover is always realizable. In this paper we analyze the question from the point of view of the geometry of 2-orbifolds, and we provide strong supporting evidence for the conjecture. In particular, we exhibit three different sequences of candidate covers, indexed by their degree, such that for each sequence: (1) The degrees giving realizable covers have asymptotically zero density in the naturals; (2) Each prime degree gives a realizable cover.


Construction of covers in positive characteristic via degeneration

Abstract: In this note we construct examples of covers of the projective line in positive characteristic such that every specialization is inseparable. The result illustrates that it is not possible to construct all covers of the generic r-pointed curve of genus zero inductively from covers with a smaller number of branch points.


Geometrical embeddings for distributions into algebras of generalized functions

Abstract: We use spectral theory to produce embeddings of distributions in the algebras of generalized functions on a closed Riemannian manifold. These embeddings are invariant under isometries and preserve the singularity structure of the distributions.


Uniform limit laws of the logarithm for nonparametric estimators of the regression function in presence of censored data

Abstract: In this paper, we establish uniform-in-bandwidth limit laws of the logarithm for nonparametric Inverse Probability of Censoring Weighted (I.P.C.W.) estimators of the multivariate regression function under random censorship. A similar result is deduced for estimators of the conditional distribution function. The uniform-in-bandwidth consistency for estimators of the conditional density and the conditional hazard rate functions are also derived from our main result. Moreover, the logarithm laws we establish are shown to yield almost sure simultaneous asymptotic confidence bands for the functions we consider. Examples of confidence bands obtained from simulated data are displayed.


Sur une g\'en\'eralisation de la notion de syst\`eme dynamique de rang un d\'efinie par une propri\'et\'e de pistage (On a weak version of the rank one property defined by shadowing)

Abstract: We investigate a shadowing property which appears naturally in the study of piecewise monotonic maps of the interval. It turns out to be a weak form of the rank one property, a well-known notion in abstract ergodic theory. We show that this new property is implied by finite or even local rank, but that it is logically independent of loose Bernoulliness. We give (counter)examples, including L.B. systems with arbitrarily high-order polynomial complexity. The shadowing property defines a small subset of all zero-entropy systems, in the sense that it defines a closed set with empty interior with respect to the $\db$-metric, induced by the Hamming distance. We also make some remarks on the link between the shadowed system and the sequence assumed by the shadowing property.


Vanishing Viscosity Limits and Boundary Layers for Circularly Symmetric 2D Flows

Abstract: We continue the work of Lopes Filho, Mazzucato and Nussenzveig Lopes [LMN], on the vanishing viscosity limit of circularly symmetric viscous flow in a disk with rotating boundary, shown there to converge to the inviscid limit in $L^2$-norm as long as the prescribed angular velocity $\alpha(t)$ of the boundary has bounded total variation. Here we establish convergence in stronger $L^2$ and $L^p$-Sobolev spaces, allow for more singular angular velocities $\alpha$, and address the issue of analyzing the behavior of the boundary layer. This includes an analysis of concentration of vorticity in the vanishing viscosity limit. We also consider such flows on an annulus, whose two boundary components rotate independently. [LMN] Lopes Filho, M. C., Mazzucato, A. L. and Nussenzveig Lopes, H. J., Vanishing viscosity limit for incompressible flow inside a rotating circle, preprint 2006.


Global rigidity in CR geometry: the Schoen-Webster theorem

Abstract: Schoen-Webster theorem asserts a pseudoconvex CR manifold whose automorphism group acts non properly is either the standard sphere or the Heisenberg space. The purpose of this paper is to survey successive works around this result and then provide a short geometric proof in the compact case.


Semiclassical Resonances of Schr\"odinger operators as zeroes of regularized determinants

Abstract: We prove that the resonances of long range perturbations of the (semiclassical) Laplacian are the zeroes of natural perturbation determinants. We more precisely obtain factorizations of these determinants of the form $ \prod_{w = {\rm resonances}}(z-w) \exp (\varphi_p(z,h)) $ and give semiclassical bounds on $ \partial_z \varphi_p $ as well as a representation of Koplienko's regularized spectral shift function. Here the index $ p \geq 1 $ depends on the decay rate at infinity of the perturbation.


On Kato's method for Navier--Stokes Equations

Abstract: We investigate Kato's method for parabolic equations with a quadratic non-linearity in an abstract form. We extract several properties known from linear systems theory which turn out to be the essential ingredients for the method. We give necessary and sufficient conditions for these conditions and provide new and more general proofs, based on real interpolation. In application to the Navier-Stokes equations, our approach unifies several results known in the literature, partly with different proofs. Moreover, we establish new existence and uniqueness results for rough initial data on arbitrary domains in ${\mathbb R}^3$ and irregular domains in ${\mathbb R}^n$.


Strong asymptotics for Christoffel functions of planar measures

Abstract: We prove a version of strong asymptotics of Christoffel functions with varying weights for a general class of sets E and measures in the complex plane. This class includes all regular measures in the sense of Stahl-Totik on regular compact sets E in the plane and even allows varying weights. Our main theorems cover some known results for subsets E of the real line R; in particular, we recover information in the case of E=R with Lebesgue measure dx and weight w(x) = exp(-Q(x)) where Q(x) is a nonnegative, even degree polynomial having positive leading coefficient.


Localized non-diffusive asymptotic patterns for nonlinear parabolic equations with gradient absorption

Abstract: We study the large-time behaviour of the solutions $u$ of the evolution equation involving nonlinear diffusion and gradient absorption $\partial_t u - \Delta_p u + |\nabla u|^q=0$. We consider the problem posed for $x\in {\mathbb R}^N $ and $t>0$ with non-negative and compactly supported initial data. We take the exponent $p>2$ which corresponds to slow $p$-Laplacian diffusion, and the exponent $q$ in the superlinear range $1<q<p-1$. In this range the influence of the Hamilton-Jacobi term $ |\nabla u|^q$ is determinant, and gives rise to the phenomenon of localization. The large time behaviour is described in terms of a suitable self-similar solution that solves a Hamilton-Jacobi equation. The shape of the corresponding spatial pattern is rather conical instead of bell-shaped or parabolic.


The $K$-theory of toric varieties

Abstract: Recent advances in computational techniques for $K$-theory allow us to describe the $K$-theory of toric varieties in terms of the $K$-theory of fields and simple cohomological data.


Adding \pm 1 to the argument of an Hall-Littlewood polynomial

Abstract: Shifting by \pm 1 powers sums: p_i \to p_i \pm 1 induces a transformation on symmetric functions that we detail in the case of Hall-Littlewood polynomials. By iteration, this gives a description of these polynomials in terms of plane partitions, as well as some generating functions. We recover in particular an identity of Warnaar related to Rogers-Ramanujan identities.


Intersection Numbers of Polygon Spaces

Abstract: We study the intersection ring of the space $\M(\alpha_1,...,\alpha_m)$ of polygons in $\R^3$. We find homology cycles dual to generators of this ring and prove a recursion relation in $m$ (the number of steps) for their intersection numbers. This result is analog of the recursion relation appearing in the work of Witten and Kontsevich on moduli spaces of punctured curves and on the work of Weitsman on moduli spaces of flat connections on two-manifolds of genus $g$ with $m$ marked points. Based on this recursion formula we obtain an explicit expression for the computation of the intersection numbers of polygon spaces and use it in several examples. Among others, we study the special case of equilateral polygon spaces (where all the $\alpha_i$ are the same) and compare our results with the expressions for these particular spaces that have been determined by Kamiyama and Tezuka. Finally, we relate our explicit formula for the intersection numbers with the generating function for intersection pairings of the moduli space of flat connections of Yoshida, as well as with equivalent expressions for polygon spaces obtained by Takakura and Konno through different techniques.


Representing simple d-dimensional polytopes by d polynomials

Abstract: A polynomial representation of a convex d-polytope P is a finite set \{p_1(x),...,p_n(x)\} of polynomials over E^d such that P=\setcond{x \in \E^d}{p_1(x) \ge 0 {for every} 1 \le i \le n}. By s(d,P) we denote the least possible number of polynomials in a polynomial representation of P. It is known that d \le s(d,P) \le 2d-1. Moreover, it is conjectured that s(d,P)=d for all convex d-polytopes P. We confirm this conjecture for simple d-polytopes by providing an explicit construction of d polynomials that represent a given simple d-polytope P.


Pluripolar hulls and fine analytic structure

Abstract: We discuss the relation between pluripolar hulls and fine analytic structure. Our main result is the following. For each non polar subset $S$ of the complex plane $\mathbb C$ we prove that there exists a pluripolar set $E \subset (S \times \mathbb C)$ with the property that the pluripolar hull of $E$ relative to $\mathbb C^2$ contains no fine analytic structure and its projection onto the first coordinate plane equals $\mathbb C$.


Homogeneous bundles and the first eigenvalue of symmetric spaces

Abstract: We prove the stability of the Gieseker point of an irreducible homogeneous bundle over a rational homogeneous space. As an application we get a sharp upper estimate for the first eigenvalue of the Laplacian of an arbitrary Kaehler metric on a compact Hermitian symmetric spaces of ABCD--type.


The Mean Curvature of the Second Fundamental Form of a hypersurface

Abstract: An expression for the first variation of the area functional of the second fundamental form is given for a hypersurface in a semi-Riemannian space. The concept of the "mean curvature of the second fundamental form" is then introduced. Some characterisations of extrinsic hyperspheres in terms of this curvature are given.


Combination of quasiconvex subgroups of relatively hyperbolic groups

Abstract: For relatively hyperbolic groups, we investigate conditions guaranteeing that the subgroup generated by two quasiconvex subgroups $Q$ and $R$ is quasiconvex and isomorphic to $Q \ast_{Q\cap R} R$. Our results generalized known combination theorems for quasiconvex subgroups of word-hyperbolic groups. Some applications are presented.


Manifolds of Hilbert space projections

Abstract: The Hardy space H^2(R) for the upper half plane together with a unimodular function group representation u(\lambda) = \exp(i(\lambda_1\psi_1 + ... + \lambda_n\psi_n)) for \lambda in R^n, gives rise to a manifold M of orthogonal projections for the subspaces u(\lambda)H^2(R) of L^2(R). For classes of admissible functions \psi_i the strong operator topology closures of M and M \cup M^\perp are determined explicitly as various n-balls and n-spheres. The arguments used are direct and rely on the analysis of oscillatory integrals and Hilbert space geometry. Some classes of these closed projection manifolds are classified up to unitary equivalence. In particular the Fourier-Plancherel 2-sphere and the hyperbolic 3-sphere of Katavolos and Power appear as distinguished special cases admitting nontrivial unitary automorphisms groups which are explicitly described.


Quasi-semi-stable representations

Abstract: Fix K a p-adic field and denote by G_K its absolute Galois group. Let K_infty be the extension of K obtained by adding (p^n)-th roots of a fixed uniformizer, and G_\infty its absolute Galois group. In this article, we define a class of p-adic torsion representations of G_\infty, named quasi-semi-stable. We prove that these representations are "explicitly" described by a certain category of linear algebra objects. The results of this note should be consider as a first step in the understanding of the structure of quotients of two lattices in a crystalline (resp. semi-stable) Galois representation.


\'Etale cohomology of the complement of a linear subspace arrangement

Abstract: We prove a formula for the cup product on the l-adic cohomology of the complement of a linear subspace arrangement.


A skein approach to Bennequin type inequalities

Abstract: We give a simple unified proof for several disparate bounds on Thurston-Bennequin number for Legendrian knots and self-linking number for transverse knots in R^3, and provide a template for possible future bounds. As an application, we give sufficient conditions for some of these bounds to be sharp.


New Constructions of Slice Links

Abstract: We use techniques of Freedman and Teichner to prove that, under certain circumstances, the multi-infection of a slice link is again slice (not necessarily smoothly slice). We provide a general context for proving links are slice that includes many of the previously known results.


Rigid Dualizing Complexes via Differential Graded Algebras (Survey)

Abstract: In this article we survey recent results on rigid dualizing complexes over commutative algebras. We begin by recalling what are dualizing complexes. Next we define rigid complexes, and explain their functorial properties. Due to the possible presence of torsion, we must use differential graded algebras in the constructions. We then discuss rigid dualizing complexes. Finally we show how rigid complexes can be used to understand Cohen-Macaulay homomorphisms and relative dualizing sheaves.


Generalized Vandermonde's system and Lagrange's interpolation

Abstract: We give explicit formulas as well as a quadratic time algorithm to solve (so called) generalized Vandermonde's systems of p linear equations and n variables. It allows in particular to find all (so called Lagrange's) interpolation polynoms with degree n-1 taking given values in p distinct points.


A general learning algorithm for functions between metric spaces

Abstract: In this paper we show how to approximate ("learn") a function f, where X and Y are metric spaces.


The Candy-Passing Game for c\geq3n-2

Abstract: We determine the behavior of Tanton's candy-passing game for all distributions of at least 3n-2 candies, where n is the number of students. Specifically, we show that the configuration of candy in such a game eventually becomes fixed.


Hyperbolic Unit Groups and Quaternion Algebras

Abstract: We Classify the rational quadratic extensions K and the finite groups G for which the group ring R[G] of G over the ring R of integers of K has the property that the group of units of augmentation 1 of R[G] is hyperbolic. We also construct units in a non-split quaternion algebra over R.


Inverse spectral problems on a closed manifold

Abstract: In this paper we consider two inverse problems on a closed connected Riemannian manifold $(M,g)$. The first one is a direct analog of the Gel'fand inverse boundary spectral problem. To formulate it, assume that $M$ is divided by a hypersurface $\Sigma$ into two components and we know the eigenvalues $\lambda_j$ of the Laplace operator on $(M,g)$ and also the Cauchy data, on $\Sigma$, of the corresponding eigenfunctions $\phi_j$, i.e. $\phi_j|_{\Sigma},\partial_\nu\phi_j|_{\Sigma}$, where $\nu$ is the normal to $\Sigma$. We prove that these data determine $(M,g)$ uniquely, i.e. up to an isometry. In the second problem we are given much less data, namely, $\lambda_j$ and $\phi_j|_{\Sigma}$ only. However, if $\Sigma$ consists of at least two components, $\Sigma_1, \Sigma_2$, we are still able to determine $(M,g)$ assuming some conditions on $M$ and $\Sigma$. These conditions are formulated in terms of the spectra of the manifolds with boundary obtained by cutting $M$ along $\Sigma_i$, $i=1,2$, and are of a generic nature. We consider also some other inverse problems on $M$ related to the above with data which is easier to obtain from measurements than the spectral data described.


Stabilization for mapping class groups of 3-manifolds

Abstract: We prove that the homology of the mapping class group of any 3-manifold stabilizes under connected sum and boundary connected sum with an arbitrary 3-manifold when both manifolds are compact and orientable. The stabilization also holds for the quotient group by twists along spheres and disks, and includes as particular cases homological stability for symmetric automorphisms of free groups, automorphisms of certain free products, and handlebody mapping class groups. Our methods also apply to manifolds of other dimensions in the case of stabilization by punctures.


Topological rigidity for holomorphic foliations

Abstract: We study analytic deformations and unfoldings of holomorphic foliations in complex projective plane $\mathbb{C}P(2)$. Let $\{\mathcal{F}_t\}_{t \in \mathbb{D}_{\epsilon}}$ be topological trivial (in $\mathbb{C}^2$) analytic deformation of a foliation $\mathcal{F}_0$ on $\mathbb{C}^2$. We show that under some dynamical restriction on $\mathcal{F}_0$, we have two possibilities: $\mathcal{F}_0$ is a Darboux (logarithmic) foliation, or $\{\mathcal{F}_t\}_{t \in \mathbb{D}_{\epsilon}}$ is an unfolding. We obtain in this way a link between the analytical classification of the unfolding and the one of its germs at the singularities on the infinity line. Also we prove that a finitely generated subgroup of $\mathrm{Diff}(\mathbb{C}^n,0)$ with polynomial growth is solvable.


A probabilistic proof of Wallis's formula for pi

Abstract: Using mostly elementary results and functions from probability, we prove Wallis's formula for pi: pi/2 = prod_n (2n * 2n) / ((2n-1) * (2n+1)). The proof involves normalization constants and the Gamma function, Standard normal, and the Student t-Distribution.


Irrationality measure and lower bounds for pi(x)

Abstract: In this note we show how the irrationality measure of $\zeta(s) = \pi^2/6$ can be used to obtain explicit lower bounds for $\pi(x)$. We analyze the key ingredients of the proof of the finiteness of the irrationality measure, and show how to obtain good lower bounds for $\pi(x)$ from these arguments as well. While versions of some of the results here have been done by other authors, our arguments are more elementary and yield a lower bound of order $x/\log x$ as a natural boundary.


L^p-estimates for the wave equation associated to the Grushin operator

Abstract: Let G:=-((d/dx)^2+x^2(d/du)^2) denote the Grusin operator on R^2. Consider the Cauchy problem for the associated wave equation on R x R^2, given by ((d/dt)^2+G)v =0, v(0,.)=f, d/dt v(0,.)=g, where t denotes time and f, g are suitable functions. The focus of this thesis lies on smoothness properties of the solution v for fixed time t with respect to the initial data. Smoothness can be measured in terms of Sobolev norms |f|_Lp^\alpha:=|(1+G)^{\alpha/2}f|_Lp, defined in terms of the differential operator G. Let S_C denote the strip S_C:={(x,u) in R^2, |x|<=C} in R^2. We prove that for 1<=p<=\infty the solution v is in L_p^{-\alpha} if our initial data f and g are Lp-functions supported in a fixed strip S_C, C>0, and if \alpha>|1/p-1/2| holds. In fact, we show that for every C>0 the operator \exp(itG^{1/2})(1+G)^{-\alpha/2}, defined for Schwartz functions, extends to a bounded operator from Lp(S_C) to Lp(R^2) for all \alpha>|1/p-1/2|.


Graphs of Transportation Polytopes

Abstract: This paper discusses properties of the graphs of 2-way and 3-way transportation polytopes, in particular, their possible numbers of vertices and their diameters. Our main results include a quadratic bound on the diameter of axial 3-way transportation polytopes and a catalogue of non-degenerate transportation polytopes of small sizes. The catalogue disproves five conjectures about these polyhedra stated in the monograph by Yemelichev et al. (1984). It also allowed us to discover some new results. For example, we prove that the number of vertices of an $m\times n$ transportation polytope is a multiple of the greatest common divisor of $m$ and $n$.


Linear maps preserving fibers

Abstract: Let $G\subset\GL(V)$ be a complex reductive group where $\dim V<\infty$, and let $\pi\colon V\to\quot VG$ be the categorical quotient. Let $\NN:=\pi\inv\pi(0)$ be the null cone of $V$, let $H_0$ be the subgroup of $\GL(V)$ which preserves the ideal $\I$ of $\NN$ and let $H$ be a Levi subgroup of $H_0$ containing $G$. We determine the identity component of $H$. In many cases we show that $H=H_0$. For adjoint representations we have $H=H_0$ and we determine $H$ completely. We also investigate the subgroup $G_F$ of $\GL(V)$ preserving a fiber $F$ of $\pi$ when $V$ is an irreducible cofree $G$-module.


Newton's method on Gra{\ss}mann manifolds

Abstract: A general class of Newton algorithms on Gra{\ss}mann and Lagrange-Gra{\ss}mann manifolds is introduced, that depends on an arbitrary pair of local coordinates. Local quadratic convergence of the algorithm is shown under a suitable condition on the choice of coordinate systems. Our result extends and unifies previous convergence results for Newton's method on a manifold. Using special choices of the coordinates, new numerical algorithms are derived for principal component analysis and invariant subspace computations with improved computational complexity properties.


Rational interpolation and mixed inverse spectral problem for finite CMV matrices

Abstract: For finite dimensional CMV matrices the mixed inverse spectral problem of reconstruction the matrix by its submatrix and a part of its spectrum is considered. A general rational interpolation problem which arises in solving the mixed inverse spectral problem is studied, and the description of the space of its solutions is given. We apply the developed technique to give sufficient conditions for the uniqueness of the solution of the mixed inverse spectral problem.


Measure of a 2-component link

Abstract: A two-component link produces a torus as the product of the component knots in a two-point configuration space of a three-sphere. This space can be identified with a cotangent bundle and also with an indefinite Grassmannian. We show that the integration of the absolute value of the canonical symplectic form is equal to the area of the torus with respect to the pseudo-Riemannian structure, and that it attains the minimum only at the "best" Hopf links.


A classification of prime-valent regular Cayley maps on some groups

Abstract: A Cayley map is a 2-cell embedding of a Cayley graph into an orientable surface with the same local orientation induced by a cyclic permutation of generators at each vertex. In this paper, we provide classifications of prime-valent regular Cayley maps on abelian groups, dihedral groups and dicyclic groups. Consequently, we show that all prime-valent regular Cayley maps on dihedral groups are balanced and all prime-valent regular Cayley maps on abelian groups are either balanced or anti-balanced. Furthermore, we prove that there is no prime-valent regular Cayley map on any dicyclic group.


Stochastic Variational Partitioned Runge-Kutta Integrators for Constrained Systems

Abstract: Stochastic variational integrators for constrained, stochastic mechanical systems are developed in this paper. The main results of the paper are twofold: an equivalence is established between a stochastic Hamilton-Pontryagin (HP) principle in generalized coordinates and constrained coordinates via Lagrange multipliers, and variational partitioned Runge-Kutta (VPRK) integrators are extended to this class of systems. Among these integrators are first and second-order strongly convergent RATTLE-type integrators. We prove order of accuracy of the methods provided. The paper also reviews the deterministic treatment of VPRK integrators from the HP viewpoint.


Pseudo-maximization and self-normalized processes

Abstract: Self-normalized processes are basic to many probabilistic and statistical studies. They arise naturally in the the study of stochastic integrals, martingale inequalities and limit theorems, likelihood-based methods in hypothesis testing and parameter estimation, and Studentized pivots and bootstrap-$t$ methods for confidence intervals. In contrast to standard normalization, large values of the observations play a lesser role as they appear both in the numerator and its self-normalized denominator, thereby making the process scale invariant and contributing to its robustness. Herein we survey a number of results for self-normalized processes in the case of dependent variables and describe a key method called ``pseudo-maximization'' that has been used to derive these results. In the multivariate case, self-normalization consists of multiplying by the inverse of a positive definite matrix (instead of dividing by a positive random variable as in the scalar case) and is ubiquitous in statistical applications, examples of which are given.


Convergence of weighted averages of relaxed projections

Abstract: The convergence of the algorithm for solving convex feasibility problem is studied by the method of sequential averaged and relaxed projections. Some results of H. H. Bauschke and J. M. Borwein are generalized by introducing new methods. Examples illustrating these generalizations are given.


Heegaard Splittings of Twisted Torus Knots

Abstract: Little is known on the classification of Heegaard splittings for hyperbolic 3-manifolds. Although Kobayashi gave a complete classification of Heegaard splittings for the exteriors of 2-bridge knots, our knowledge of other classes is extremely limited. In particular, there are very few hyperbolic manifolds that are known to have a unique minimal genus splitting. Here we demonstrate that an infinite class of hyperbolic knot exteriors, namely exteriors of certain "twisted torus knots" originally studied by Morimoto, Sakuma and Yokota, have a unique minimal genus Heegaard splitting of genus two. We also conjecture that these manifolds possess irreducible yet weakly reducible splittings of genus three. There are no known examples of such Heegaard splittings.


Non unique solutions to boundary value problems for non symmetric divergence form equations

Abstract: We calculate explicitly solutions to the Dirichlet and Neumann boundary value problems in the upper half plane, for a family of divergence form equations with non symmetric coefficients with a jump discontinuity. It is shown that the boundary equation method and the Lax--Milgram method for constructing solutions may give two different solutions when the coefficients are sufficiently non symmetric.


Parabolic Raynaud bundles

Abstract: Let X be an irreducible smooth projective curve defined over complex numbers, S= {p_1, p_2,...,p_n} \subset X$ a finite set of closed points and N > 1 a fixed integer. For any pair (r,d) in Z X Z/N, there exists a parabolic vector bundle R_{r,d,*} on X, with parabolic structure over S and all parabolic weights in Z/N, that has the following property: Take any parabolic vector bundle E_* of rank r on X whose parabolic points are contained in S, all the parabolic weights are in Z/N and the parabolic degree is d. Then E_* is parabolic semistable if and only if there is no nonzero parabolic homomorphism from R_{r,d,*} to E_*.


Note on distortion and Bourgain $\ell_1$ index

Abstract: The relation between different notions measuring proximity to $\ell_1$ and distortability of a Banach space is studied. The main result states that a Banach space, whose all subspaces have Bourgain $\ell_1$ index greater than $\omega^\alpha$, $\alpha<\omega_1$, contains either an arbitrary distortable subspace or an $\ell_1^\alpha$-asymptotic subspace.


Groupoid and Inverse Semigroup Presentations of Ultragraph $C^{*}$-Algebras

Abstract: Inspired by the work of Paterson on $C^{\ast}$-algebras of directed graphs, we show how to associate a groupoid $\mathfrak{G}_{\mathcal{G}}$ to an ultragraph $\mathcal{G}$ in such a way that the $C^*$-algebra of $\mathfrak{G}_{\mathcal{G}}$ is canonically isomorphic to Tomforde's $C^*$-algebra $C^*(\mathcal{G})$. The groupoid $\mathfrak{G}_{\mathcal{G}}$ is built from an inverse semigroup $S_{\mathcal{G}}$ naturally associated to $\mathcal{G}$.


On convergence of generators of equilibrium dynamics of hopping particles to generator of a birth-and-death process in continuum

Abstract: We deal with two following classes of equilibrium stochastic dynamics of infinite particle systems in continuum: hopping particles (also called Kawasaki dynamics), i.e., a dynamics where each particle randomly hops over the space, and birth-and-death process in continuum (or Glauber dynamics), i.e., a dynamics where there is no motion of particles, but rather particles die, or are born at random. We prove that a wide class of Glauber dynamics can be derived as a scaling limit of Kawasaki dynamics. More precisely, we prove the convergence of respective generators on a set of cylinder functions, in the $L^2$-norm with respect to the invariant measure of the processes. The latter measure is supposed to be a Gibbs measure corresponding to a potential of pair interaction, in the low activity-high temperature regime. Our result generalizes that of [Finkelshtein D.L. et al., to appear in Random Oper. Stochastic Equations], which was proved for a special Glauber (Kawasaki, respectively) dynamics.


A Poincar\'e-Birkhoff-Witt criterion for Koszul operads

Abstract: The aim of this article is to give a criterion, generalizing the criterion introduced by Priddy for algebras, to verify that an operad is Koszul. We define the notion of a Poincare-Birkhoff-Witt basis in the context of operads. Then we show that an operad having a Poincare-Birkhoff-Witt basis is Koszul. Besides, we obtain that the Koszul dual operad has also a Poincare-Birkhoff-Witt basis. We check that the classical examples of Koszul operads (commutative, associative, Lie) have a Poincare-Birkhoff-Witt basis.


Topological complexity of motion planning and Massey products

Abstract: We employ Massey products to find sharper lower bounds for the Schwarz genus of a fibration than those previously known. In particular we give examples of non-formal spaces $X$ for which the topological complexity $\TC(X)$ (defined to be the genus of the free path fibration on $X$) is greater than the zero-divisors cup-length plus one.


Asymptotic valuations of sequences satisfying first order recurrences

Abstract: Let t[n] be a sequence that satisfies a first order homogeneous recurrence t[n] = Q[n]*t[n-1], where Q is a polynomial with integer coefficients. The asymptotic behavior of the p-adic valuation of t[n] is described under the assumption that all the roots of Q in Z/pZ have nonvanishing derivative.


Mirror Symmetry via Logarithmic Degeneration Data II

Abstract: This paper continues the authors' program of studying mirror symmetry via log geometry and toric degenerations, relating affine manifolds with singularities, log Calabi-Yau spaces, and toric degenerations of Calabi-Yaus. The main focus of this paper is the calculation of the cohomology of a Calabi-Yau variety associated to a given affine manifold with singularities B. We show that the Dolbeault cohomology groups of the Calabi-Yau associated to B are described in terms of some cohomology groups of sheaves on B, as expected. This is proved first by calculating the log de Rham and log Dolbeault cohomology groups on the log Calabi-Yau space associated to B, and then proving a base-change theorem for cohomology in our logarithmic setting. As applications, this shows that our mirror symmetry construction via Legendre duality of affine manifolds results in the usual interchange of Hodge numbers expected in mirror symmetry, and gives an explicit description of the monodromy of a smoothing.


Groupoid Methods in Wavelet Analysis

Abstract: We describe how the Deaconu-Renault groupoid may be used in the study of wavelets and fractals.


Pairs of commuting nilpotent matrices, and Hilbert function

Abstract: Let K be an infinite field and denote by H(n,K) the family of pairs (A,B) of commuting nilpotent n by n matrices with entries in K. There has been substantial recent study of the connection between H(n,K) and the fibre H[n] of the punctual Hilbert scheme of the plane, over an n-fold point of the symmetric product, by V. Baranovsky, R. Basili, and A. Premet. We study the stratification of H(n,K) by the Hilbert function of the Artinian ring K[A,B]. We show that when dim_K K[A,B] = n, then the generic element of the pencil A+\lambda B, \lambda \in K, has Jordan partition the maximum partition P(H) whose diagonal lengths are the Hilbert function of K[A,B]. We denote by Q(P) the maximum Jordan partition of a nilpotent A commuting with a nilpotent B of Jordan partition P. We show that the stable partitions - those such that Q(P)=P - are those whose parts differ by at least two. In characteristic zero, the latter is a special case of a result of D. Panyushev. Our result on pencils shows that Q(P) has decreasing parts. In related work, T. Kosir and P. Oblak have shown further that Q(P) is itself stable.


Module d'Alexander et repr\'esentations m\'etab\'eliennes

Abstract: It is known, since works of Burde and de Rham, that one can detect the roots of the Alexander polynomial of a knot by the study of the representations of the knot group into the group of the invertible upper triangular $2x2$ matrices. In this work, we propose to generalize this result by considering the representations of the knot group into the group of the invertible upper triangular $nxn$ matrices, $n\geq 2$. This approach will enable us to find the decomposition of the Alexander module with complex coefficients.


Albert algebras over curves of genus zero and one

Abstract: Albert algebras and other Jordan algebras are constructed over curves of genus zero and one, using a generalization of the Tits process and the first Tits construction due to Achhammer.


Adjusted Viterbi training for hidden Markov models

Abstract: To estimate the emission parameters in hidden Markov models one commonly uses the EM algorithm or its variation. Our primary motivation, however, is the Philips speech recognition system wherein the EM algorithm is replaced by the Viterbi training algorithm. Viterbi training is faster and computationally less involved than EM, but it is also biased and need not even be consistent. We propose an alternative to the Viterbi training -- adjusted Viterbi training -- that has the same order of computational complexity as Viterbi training but gives more accurate estimators. Elsewhere, we studied the adjusted Viterbi training for a special case of mixtures, supporting the theory by simulations. This paper proves the adjusted Viterbi training to be also possible for more general hidden Markov models.


On the relation between the WRT invariant and the Hennings invariant

Abstract: The purpose of this note is to provide a simple relation between the Witten-Reshetikhin-Turaev SO(3) invariant and the Hennings invariant of 3-manifolds associated to quantum sl_2.


Construction of Fredholm representations and a modification of the Higson-Roe corona

Abstract: The Fredholm representation theory is well adapted to construction of homotopy invariants of non simply connected manifolds on the base of generalized Hirzebruch formula. Earlier a natural family of the Fredholm representations was constructed that lead to a symmetric vector bundle on completion of the fundamental group with a modification of the Higson-Roe corona when the completion is a closed manifold. Here we will discuss a homology version of symmetry in the case when completion with a modification of the Higson-Roe corona is a manifold with boundary. The results were developed during the visit of the first author in Ancona on March, 2007. The second version is supplemented by details of consideration the case of manifolds with boundary.


Integrable operators and the squares of Hankel operators

Abstract: Integrable operators arise in random matrix theory, where they describe the asymptotic eigenvalue distributions of large self-adjoint random matrices from the generalized unitary ensembles. This paper gives sufficient conditions for an integrable operator to be the square of a Hankel operator, and applies the condition to the Airy, associated Laguerre, modified Besses and Whittaker functions.


Conjugate Points in Length Spaces

Abstract: In this paper we extend the concept of a conjugate point in a Riemannian manifold to complete length spaces (also known as geodesic spaces). In particular, we introduce symmetric conjugate points and ultimate conjugate points. We then generalize the long homotopy lemma of Klingenberg to this setting as well as the injectivity radius estimate also due to Klingenberg which was used to produce closed geodesics or conjugate points on Riemannian manifolds. Our versions apply in this more general setting. We next focus on ${\rm CBA}(\kappa)$ spaces, proving Rauch-type comparison theorems. In particular, much like the Riemannian setting, we prove an Alexander-Bishop theorem stating that there are no ultimate conjugate points less than $\pi$ apart in a ${\rm CBA}(1)$ space. We also prove a relative Rauch comparison theorem to precisely estimate the distance between nearby geodesics. We close with applications and open problems.


Noetherian Hopf algebras

Abstract: This short survey article reviews current understand- ing of the structure of noetherian Hopf algebras. The focus is on homological properties. A number of open problems are listed.


Symplectic reflection algebras in positive characteristic

Abstract: Basic properties of symplectic reflection algebras over an algebraically closed field k of positive characteristic are laid out. These algebras are always finite modules over their centres, in contrast to the situation in characteristic 0. For the subclass of rational Cherednik algebras, we determine the PI-degree and the Goldie rank, and show that the Azumaya and smooth loci of the centre coincide.


Robust Dimension Reduction, Fusion Frames, and Grassmannian Packings

Abstract: We consider estimating a random vector from its noisy projections onto low dimensional subspaces constituting a fusion frame. A fusion frame is a collection of subspaces, for which the sum of the projection operators onto the subspaces is bounded below and above by constant multiples of the identity operator. We first determine the minimum mean-squared error (MSE) in linearly estimating the random vector of interest from its fusion frame projections, in the presence of white noise. We show that MSE assumes its minimum value when the fusion frame is tight. We then analyze the robustness of the constructed linear minimum MSE (LMMSE) estimator to erasures of the fusion frame subspaces. We prove that tight fusion frames consisting of equi-dimensional subspaces have maximum robustness (in the MSE sense) with respect to erasures of one subspace, and that the optimal subspace dimension depends on signal-to-noise ratio (SNR). We also prove that tight fusion frames consisting of equi-dimensional subspaces with equal pairwise chordal distances are most robust with respect to two and more subspace erasures. We call such fusion frames equi-distance tight fusion frames, and prove that the chordal distance between subspaces in such fusion frames meets the so-called simplex bound, and thereby establish connections between equi-distance tight fusion frames and optimal Grassmannian packings. Finally, we present several examples for construction of equi-distance tight fusion frames.


The twisted fourth moment of the Riemann zeta function

Abstract: We compute the asymptotics of the fourth moment of the Riemann zeta function times an arbitrary Dirichlet polynomial of length $T^{{1/11} - \epsilon}$


Some remarks about Clifford analysis and fractal sets

Abstract: Although Clifford analysis is like complex analysis in many ways, there are obvious differences related to noncommutativity, and a few aspects of this are considered here.


Densities in Fabry's theorem

Abstract: Fabry's theorem on the singularities of power series is improved: the maximum density in the assumptions of this theorem is replaced by an interior density of Beurling--Malliavin type.


Simplified Proofs for the Pro-Lie Group Theorem and the One-Parameter Subgroup Lifting Lemma

Abstract: This note is devoted to the theory of projective limits of finite-dimensional Lie groups, as developed in the recent monograph ``The Lie Theory of Connected Pro-Lie Groups'' by K.H. Hofmann and S.A. Morris. We replace the original, highly non-trivial proof of the One-Parameter Subgroup Lifting Lemma given in the monograph by a shorter and more elementary argument. Furthermore, we shorten (and correct) the proof of the so-called Pro-Lie Group Theorem, which asserts that pro-Lie groups and projective limits of Lie groups coincide.


On rough isometries of Poisson processes on the line

Abstract: Intuitively, two metric spaces are rough isometric (or quasi-isometric) if their large-scale metric structure is the same, ignoring fine details. This concept has proven fundamental in the geometric study of groups. Ab\'{e}rt, and later Szegedy and Benjamini, have posed several probabilistic questions concerning this concept. In this article, we consider one of the simplest of these: are two independent Poisson point processes on the line rough isometric almost surely? Szegedy conjectured that the answer is positive. Benjamini proposed to consider a quantitative version which roughly states the following: given two independent percolations on $\mathbb {N}$, for which constants are the first $n$ points of the first percolation rough isometric to an initial segment of the second, with the first point mapping to the first point and with probability uniformly bounded from below? We prove that the original question is equivalent to proving that absolute constants are possible in this quantitative version. We then make some progress toward the conjecture by showing that constants of order $\sqrt{\log n}$ suffice in the quantitative version. This is the first result to improve upon the trivial construction which has constants of order $\log n$. Furthermore, the rough isometry we construct is (weakly) monotone and we include a discussion of monotone rough isometries, their properties and an interesting lattice structure inherent in them.


KAM for the Non-Linear Schr\"odinger Equation

Abstract: We consider the $d$-dimensional nonlinear Schr\"odinger equation under periodic boundary conditions: $-i\dot u=-\Delta u+V(x)*u+\ep \frac{\p F}{\p \bar u}(x,u,\bar u), \quad u=u(t,x), x\in\T^d $ where $V(x)=\sum \hat V(a)e^{i\sc{a,x}}$ is an analytic function with $\hat V$ real, and $F$ is a real analytic function in $\Re u$, $\Im u$ and $x$. (This equation is a popular model for the `real' NLS equation, where instead of the convolution term $V*u$ we have the potential term $Vu$.) For $\ep=0$ the equation is linear and has time--quasi-periodic solutions $u$, $$ u(t,x)=\sum_{a\in \AA}\hat u(a)e^{i(|a|^2+\hat V(a))t}e^{i\sc{a,x}} \quad (|\hat u(a)|>0), $$ where $\AA$ is any finite subset of $\Z^d$. We shall treat $\omega_a=|a|^2+\hat V(a)$, $a\in\AA$, as free parameters in some domain $U\subset\R^{\AA}$. This is a Hamiltonian system in infinite degrees of freedom, degenerate but with external parameters, and we shall describe a KAM-theory which, under general conditions, will have the following consequence: If $|\ep|$ is sufficiently small, then there is a large subset $U'$ of $U$ such that for all $\omega\in U'$ the solution $u$ persists as a time--quasi-periodic solution which has all Lyapounov exponents equal to zero and whose linearized equation is reducible to constant coefficients.


Canonical matrices of bilinear and sesquilinear forms

Abstract: Canonical matrices are given for (a) bilinear forms over an algebraically closed or real closed field; (b) sesquilinear forms over an algebraically closed field and over real quaternions with any nonidentity involution; and (c) sesquilinear forms over a field F of characteristic different from 2 with involution (possibly, the identity) up to classification of Hermitian forms over finite extensions of F. A method for reducing the problem of classifying systems of forms and linear mappings to the problem of classifying systems of linear mappings is used to construct the canonical matrices. This method has its origins in representation theory and was devised in [V.V. Sergeichuk, Math. USSR-Izv. 31 (1988) 481-501].


Hom-Lie admissible Hom-coalgebras and Hom-Hopf algebras

Abstract: The aim of this paper is to generalize the concept of Lie-admissible coalgebra introduced by Goze and Remm to Hom-coalgebras and to introduce Hom-Hopf algebras with some properties. These structures are based on the Hom-algebra structures introduced by the authors.


A Universal Property of the Groups Spin^c and Mp^c

Abstract: It is well known that spinors on oriented Riemannian manifolds cannot be defined as sections of a vector bundle associated with the frame bundle. For this reason spin and spin^c structures are often introduced. In this paper we prove that spin^c structures have a universal property among all other structures that enable the construction of spinor bundles. We proceed to prove a similar result for metaplectic^c structures on symplectic manifolds.


A new weak approximation scheme of stochastic differential equations and the Runge-Kutta method

Abstract: In this paper, authors successfully construct a new algorithm for the new higher order scheme of weak approximation of SDEs. The algorithm presented here is based on [1][2]. Although this algorithm shares some features with the algorithm presented by [3], algorithms themselves are completely different and the diversity is not trivial. They apply this new algorithm to the problem of pricing Asian options under the Heston stochastic volatility model and obtain encouraging results. [1] Shigeo Kusuoka, "Approximation of Expectation of Diffusion Process and Mathematical Finance," Advanced Studies in Pure Mathematics, Proceedings of Final Taniguchi Symposium, Nara 1998 (T. Sunada, ed.), vol. 31 2001, pp. 147--165. [2] Terry Lyons and Nicolas Victoir, "Cubature on Wiener Space," Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences 460 (2004), pp. 169--198. [3] Syoiti Ninomiya, Nicolas Victoir, "Weak approximation of stochastic differential equations and application to derivative pricing," Applied Mathematical Finance, Volume 15, Issue 2 April 2008, pages 107--121


A Note on Singular Cardinals in Set Theory Without Choice

Abstract: We discuss how singular can cardinals be in absence of the axiom of choice. We show that, contrasting with known negative consistency results (of Gitik and others), certain positive results are provable. Then we pose some problems.


A characterization of Weingarten surfaces in hyperbolic 3-space

Abstract: We study 2-dimensional submanifolds of the space ${\mathbb{L}}({\mathbb{H}}^3)$ of oriented geodesics of hyperbolic 3-space, endowed with the canonical neutral K\"ahler structure. Such a surface is Lagrangian iff there exists a surface in ${\mathbb{H}}^3$ orthogonal to the geodesics of $\Sigma$. We prove that the induced metric on a Lagrangian surface in ${\mathbb{L}}({\mathbb{H}}^3)$ has zero Gauss curvature iff the orthogonal surfaces in ${\mathbb{H}}^3$ are Weingarten: the eigenvalues of the second fundamental form are functionally related. We then classify the totally null surfaces in ${\mathbb{L}}({\mathbb{H}}^3)$ and recover the well-known holomorphic constructions of flat and CMC 1 surfaces in ${\mathbb{H}}^3$.


Complete intersection dimensions and Foxby classes

Abstract: Let $R$ be a local ring and $M$ a finitely generated $R$-module. The complete intersection dimension of $M$--defined by Avramov, Gasharov and Peeva, and denoted $\cidim_R(M)$--is a homological invariant whose finiteness implies that $M$ is similar to a module over a complete intersection. It is related to the classical projective dimension and to Auslander and Bridger's Gorenstein dimension by the inequalities $\gdim_R(N)\leq\cidim_R(N)\leq\pd_R(N)$. Using Blanco and Majadas' version of complete intersection dimension for local ring homomorphisms, we prove the following generalization of a theorem of Avramov and Foxby: Given local ring homomorphisms $\phi\colon R\to S$ and $\psi\colon S\to T$ such that $\phi$ has finite Gorenstein dimension, if $\psi$ has finite complete intersection dimension, then the composition $\psi\circ\phi$ has finite Gorenstein dimension. This follows from our result stating that, if $M$ has finite complete intersection dimension, then $M$ is $C$-reflexive and is in the Auslander class $\catac(R)$ for each semidualizing $R$-complex $C$.


Fractional Dynamical Systems on Fractional Leibniz Algebroids

Abstract: The theory of derivative of noninteger order goes back to Leibniz, Liouville and Riemann. Derivatives of fractional order have found many applications in recent studies in mechanics, physics, economics. In this paper we define the fractional tangent bundle on a manifold, using a method of Radu Miron. The fractional Leibniz algebroids are investigated. The associated objects have an geometric character. Some fractional dynamical systems on a fractional Leibniz algebroid are disscussed.


Unitary and Euclidean representations of a quiver

Abstract: A unitary (Euclidean) representation of a quiver is given by assigning to each vertex a unitary (Euclidean) vector space and to each arrow a linear mapping of the corresponding vector spaces. We recall an algorithm for reducing the matrices of a unitary representation to canonical form, give a certain description of the representations in canonical form, and reduce the problem of classifying Euclidean representations to the problem of classifying unitary representations. We also describe the set of dimensions of all indecomposable unitary (Euclidean) representations of a quiver and establish the number of parameters in an indecomposable unitary representation of a given dimension.


Symmetric symplectic homotopy K3 surfaces

Abstract: A study on the relation between the smooth structure of a symplectic homotopy K3 surface and its symplectic symmetries is initiated. A measurement of exoticness of a symplectic homotopy K3 surface is introduced, and the influence of an effective action of a K3 group via symplectic symmetries is investigated. It is shown that an effective action by various maximal symplectic K3 groups forces the corresponding homotopy K3 surface to be minimally exotic with respect to our measure. (However, the standard K3 is the only known example of such minimally exotic homotopy K3 surfaces.) The possible structure of a finite group of symplectic symmetries of a minimally exotic homotopy K3 surface is determined and future research directions are indicated.


Some classes of rational functions and related Banach spaces

Abstract: For positive integers d, r, and M, we consider the class of rational functions on real d-dimensional space whose denominators are products of at most r functions of the form 1+Q(x) where each Q is a quadratic form with eigenvalues bounded above by M and below by 1/M. Each numerator is a monic monomial of the same degree as the corresponding denominator. Then we form the Banach space of countable linear combinations of such rational functions with absolutely summable coefficients, normed by the infimum of sums of absolute values of the coefficients. We show that for rational functions whose denominators are rth powers of a specific 1+Q, or differences of two such rational functions with the same numerator, the norm is achieved by and only by the obvious combination of one or two functions respectively. We also find bounds for coefficients in partial-fraction decompositions of some specific rational functions, which in some cases are quite sharp.


Besov Spaces and Frames on Compact Manifolds

Abstract: We show that one can characterize the Besov spaces on a smooth compact oriented Riemannian manifold, for the full range of indices, through a knowledge of the size of frame coefficients, using the frames we have constructed in [8].


Existence of a multiplicative basis for a finitely spaced module over an aggregate

Abstract: By [R. Bautista, P. Gabriel, A.V Roiter., L. Salmeron, Representation-finite algebras and multiplicative basis. Invent. Math. 81 (1985) 217-285.], a finite-dimensional algebra having finitely many isoclasses of indecomposable representations admits a multiplicative basis. In Sections 4.10-4.12 of [P. Gabriel, A. V. Roiter, Representations of finite-dimensional algebras. Encyclopaedia of Math. Sci., vol. 73, Algebra 8, Springer-Verlag, 1992] an analogous hypothesis was formulated for finitely spaced modules over an aggregate. We prove this conjecture.


Positivity criteria generalizing the leading principal minors criterion

Abstract: For each Hermitian matrix, we prove that instead of the leading principal minors some of their sums can be used in the leading principal minors criterion and in other inertia problems.