Closed geodesics on positively curved Finsler spheres

Abstract: In this paper, we prove that for every Finsler $n$-sphere $(S^n, F)$ for $n\ge 3$ with reversibility $\lambda$ and flag curvature $K$ satisfying $(\frac{\lambda}{\lambda+1})^2<K\le 1$, either there exist infinitely many prime closed geodesics or there exists one elliptic closed geodesic whose linearized Poincar\'e map has at least one eigenvalue which is of the form $\exp(\pi i \mu)$ with an irrational $\mu$. Furthermore, there always exist three prime closed geodesics on any $(S^3, F)$ satisfying the above pinching condition.


Rational BV-algebra in String Topology

Abstract: Let $M$ be a 1-connected closed manifold and $LM$ be the space of free loops on $M$. In \cite{C-S} M. Chas and D. Sullivan defined a structure of BV-algebra on the singular homology of $LM$, $H_\ast(LM; \bk)$. When the field of coefficients is of characteristic zero, we prove that there exists a BV-algebra structure on $\hH^\ast(C^\ast (M); C^\ast (M))$ which carries the canonical structure of Gerstenhaber algebra. We construct then an isomorphism of BV-algebras between $\hH^\ast (C^\ast (M); C^\ast (M)) $ and the shifted $ H_{\ast+m} (LM; {\bk})$. We also prove that the Chas-Sullivan product and the BV-operator behave well with the Hodge decomposition of $H_\ast (LM) $.


Spectrum and multiplier ideals of arbitrary subvarieties

Abstract: We introduce a spectrum for arbitrary varieties. This generalizes the definition by Steenbrink for hypersurfaces. In the isolated complete intersection singularity case, it coincides with the one given by Ebeling and Steenbrink except for the coefficients of integral exponents. We show a relation to the graded pieces of the multiplier ideals by using a relation to the filtration $V$ of Kashiwara and Malgrange. This implies a partial generalization of a theorem of Budur in the hypersurface case. The point is to consider the direct sum of the graded pieces of the multiplier ideals as a module over the algebra defining the normal cone of the subvariety. We also give a combinatorial description in the case of monomial ideals.


A mean value theorem for systems of integrals

Abstract: More than a century ago, G. Kowalewski stated that for each n continuous functions on a compact interval [a,b], there exists an n-point quadrature rule (with respect to Lebesgue measure on [a,b]), which is exact for given functions. Here we generalize this result to continuous functions with an arbitrary positive and finite measure on an arbitrary interval. The proof relies on a version of Caratheodory's convex hull theorem for a continuous curve, that we also prove in the paper. As applications, we give a representation of the covariance for two continuous functions of a random variable, and a most general version of Gruess' inequality.


On residual properties of pure braid groups of closed surfaces

Abstract: We prove that pure braid groups of closed surface are almost-direct products of residually torsion free nilpotent groups and hence residually torsion free nilpotent. As a Corollary, we prove also that braid groups on 2 strands of closed surfaces are residually nilpotent.


Dynamical Diophantine Approximation

Abstract: Let $\mu$ be a Gibbs measure of the doubling map $T$ of the circle. For a $\mu$-generic point $x$ and a given sequence $\{r_n\} \subset \R^+$, consider the intervals $(T^nx - r_n \pmod 1, T^nx + r_n \pmod 1)$. In analogy to the classical Dvoretzky covering of the circle we study the covering properties of this sequence of intervals. This study is closely related to the local entropy function of the Gibbs measure and to hitting times for moving targets. A mass transference principle is obtained for Gibbs measures which are multifractal. Such a principle was shown by Beresnevich and Velani \cite{BV} only for monofractal measures. In the symbolic language we completely describe the combinatorial structure of a typical relatively short sequence, in particular we can describe the occurrence of ''atypical'' relatively long words. Our results have a direct and deep number-theoretical interpretation via inhomogeneous diadic diophantine approximation by numbers belonging to a given (diadic) diophantine class.


Ratliff-Rush Closure of Ideals in Integral Domains

Abstract: This paper studies the Ratliff-Rush closure of ideals in integral domains. By definition, the Ratliff-Rush closure of an ideal $I$ of a domain $R$ is the ideal given by $\tilde{I}:=\bigcup(I^{n+1}:_{R}I^{n})$ and an ideal $I$ is said to be a Ratliff-Rush ideal if $\tilde{I}=I$. We completely characterize integrally closed domains in which every ideal is a Ratliff-Rush ideal and we give a complete description of the Ratliff-Rush closure of an ideal in a valuation domain.


Geometric Weil representation: local field case

Abstract: Let k be an algebraically closed field of characteristic >2, F=k((t)) and Mp(F) denote the metaplectic extension of Sp_{2d}(F). In this paper we propose a geometric analog of the Weil representation of Mp(F). This is a category of certain perverse sheaves on some stack, on which Mp(F) acts by functors. This construction will be used in math.RT/0701170 (and subsequent publications) for a proof of the geometric Langlands functoriality for some dual reductive pairs.


An Isoperimetric Function for Bestvina-Brady Groups

Abstract: Given a right-angled Artin group A, the associated Bestvina-Brady group is defined to be the kernel of the homomorphism A \to \mathbb{Z} that maps each generator in the standard presentation of A to a fixed generator of \mathbb{Z}. We prove that the Dehn function of an arbitrary finitely presented Bestvina-Brady group is bounded above by n^4. This is the best possible universal upper bound.


Controllability of the heat and wave equations and their finite difference approximations by the shape of the domain

Abstract: In this article we study a controllability problem for a parabolic and a hyperbolic partial differential equations in which the control is the shape of the domain where the equation holds. The quantity to be controlled is the trace of the solution into an open subdomain and at a given time, when the right hand side source term is known. The mapping that associates this trace to the shape of the domain is nonlinear. We show (i) an approximate controllability property for the linearized parabolic problem and (ii) an exact local controllability property for the linearized and the nonlinear equations in the hyperbolic case. We then address the same questions in the context of a finite difference spatial semi-discretization in both the parabolic and hyperbolic problems. In this discretized case again we prove a local controllability result for the parabolic problem, and an exact controllability for the hyperbolic case, applying a local surjectivity theorem together with a unique continuation property of the underlying adjoint discrete system.


Efficient independent component analysis

Abstract: Independent component analysis (ICA) has been widely used for blind source separation in many fields such as brain imaging analysis, signal processing and telecommunication. Many statistical techniques based on M-estimates have been proposed for estimating the mixing matrix. Recently, several nonparametric methods have been developed, but in-depth analysis of asymptotic efficiency has not been available. We analyze ICA using semiparametric theories and propose a straightforward estimate based on the efficient score function by using B-spline approximations. The estimate is asymptotically efficient under moderate conditions and exhibits better performance than standard ICA methods in a variety of simulations.


A survey of hypertoric geometry and topology

Abstract: Hypertoric varieties are quaternionic analogues of toric varieties, important for their interaction with the combinatorics of matroids as well as for their prominent place in the rapidly expanding field of algebraic symplectic and hyperkahler geometry. The aim of this survey is to give clear definitions and statements of known results, serving both as a reference and as a point of entry to this beautiful subject.


Stability of viscous shocks in isentropic gas dynamics

Abstract: In this paper, we examine the stability problem for viscous shock solutions of the isentropic compressible Navier--Stokes equations, or $p$-system with real viscosity. We first revisit the work of Matsumura and Nishihara, extending the known parameter regime for which small-amplitude viscous shocks are provably spectrally stable by an optimized version of their original argument. Next, using a novel spectral energy estimate, we show that there are no purely real unstable eigenvalues for any shock strength. By related estimates, we show that unstable eigenvalues are confined to a bounded region independent of shock strength. Then through an extensive numerical Evans function study, we show that there is no unstable spectrum in the entire right-half plane, thus demonstrating numerically that large-amplitude shocks are spectrally stable up to Mach number $M\approx 3000$ for $1 \le \gamma \leq 3$. This strongly suggests that shocks are stable independent of amplitude and the adiabatic constant $\gamma$. We complete our study by showing that finite-difference simulations of perturbed large-amplitude shocks converge to a translate of the original shock wave, as expected.


Global well-posedness of the KP-I initial-value problem in the energy space

Abstract: We prove that the KP-I initial value problem is globally well-posed in the natural energy space of the equation.


Stability of isentropic viscous shock profiles in the high-Mach number limit

Abstract: By a combination of asymptotic ODE estimates and numerical Evans function calculations, we establish stability of viscous shock solutions of the isentropic compressible Navier--Stokes equations with $\gamma$-law pressure (i) in the limit as Mach number $M$ goes to infinity, for any $\gamma\ge 1$ (proved analytically), and (ii) for $M\ge 2,500$, $\gamma\in [1,2.5]$ (demonstrated numerically). This builds on and completes earlier studies by Matsumura--Nishihara and Barker--Humpherys--Rudd--Zumbrun establishing stability for low and intermediate Mach numbers, respectively, indicating unconditional stability, independent of shock amplitude, of viscous shock waves for $\gamma$-law gas dynamics in the range $\gamma \in [1,2.5]$. Other $\gamma$-values may be treated similarly, but have not been checked numerically. The main idea is to establish convergence of the Evans function in the high-Mach number limit to that of a pressureless, or ``infinitely compressible'', gas with additional upstream boundary condition determined by a boundary-layer analysis. Recall that low-Mach number behavior is incompressible.


The ODE method for some self-interacting diffusions on non-compact spaces

Abstract: Self-interacting diffusions are solutions to SDEs with a drift term depending on the process and its normalized occupation measure $\mu_t$ (via an interaction potential and a confinement potential). We establish a relation between the asymptotic behavior of $\mu_t$ and the asymptotic behavior of a deterministic dynamical flow (defined on the space of the Borel probability measures). We extend previous results on $\mathbb{R}^d$ or more generally a smooth complete connected Riemannian manifold without boundary. We will also give some sufficient conditions for the convergence of $\mu_t$. Finally, we will illustrate our study with an example on $\mathbb{R}^2$.


The equation w(x,y)=u over free groups

Abstract: Using the theory developed by Olga Kharlampovich, Alexei Miasnikov, and, independently, by Zlil Sela to describe the set of homomorphisms of a f.g. group G into a free group F, we describe the solutions to equations with coefficients from F and unknowns x,y of the form w(x,y) = u, where u lies in F and w(x,y) is a word in {x,y}^\{pm 1}. We also give an example of a single equation whose solutions cannot be described with only one "level" of automorphisms.


Convergence of the Min-Sum Algorithm for Convex Optimization

Abstract: We establish that the min-sum message-passing algorithm and its asynchronous variants converge for a large class of unconstrained convex optimization problems.


Sums and products in finite fields: an integral geometric viewpoint

Abstract: We prove that if $A \subset {\Bbb F}_q$ is such that $$|A|>q^{{1/2}+\frac{1}{2d}},$$ then $${\Bbb F}_q^{*} \subset dA^2=A^2+...+A^2 d \text{times},$$ where $$A^2=\{a \cdot a': a,a' \in A\},$$ and where ${\Bbb F}_q^{*}$ denotes the multiplicative group of the finite field ${\Bbb F}_q$. In particular, we cover ${\Bbb F}_q^{*}$ by $A^2+A^2$ if $|A|>q^{{3/4}}$. Furthermore, we prove that if $$|A| \ge C_{size}^{\frac{1}{d}}q^{{1/2}+\frac{1}{2(2d-1)}},$$ then $$|dA^2| \ge q \cdot \frac{C^2_{size}}{C^2_{size}+1}.$$ Thus $dA^2$ contains a positive proportion of the elements of ${\Bbb F}_q$ under a considerably weaker size assumption.We use the geometry of ${\Bbb F}_q^d$, averages over hyper-planes and orthogonality properties of character sums. In particular, we see that using operators that are smoothing on $L^2$ in the Euclidean setting leads to non-trivial arithmetic consequences in the context of finite fields.


Brauer-Siegel theorem for elliptic surfaces

Abstract: We consider higher-dimensional analogues of the classical Brauer-Siegel theorem focusing on the case of abelian varieties over global function fields. We prove such an analogue in the case of constant families of elliptic curves and abelian varieties.


Representable posets and their order components

Abstract: A partially ordered set P is representable if there is a bounded distributive lattice such that its ordered set of prime ideals is order-isomorphic to P. We show that if the order components of a poset P are representable, then so is P. Moreover, we provide an example disproving the converse.


Entiers al\'eatoires, ensembles de Sidon, densit\'e dans le groupe de Bohr et ensembles d'analyticit\'e

Abstract: We study properties of a sequence $\Lambda$ obtained by a randomselection of integers $n$, where $n\in\Lambda$ with probability $\varpi_{n}$, independently of the other choices. We distinguish two cases : if $\limsup_{n\to\infty}n\varpi_{n}<\infty$, $\Lambda$ is a.s. a Sidon set, non-dense in the Bohr group ; if $\lim_{n\to\infty}n\varpi_{n}=\infty$, then $\Lambda$ is a.s. a set of analyticity and is dense in the Bohr group.


A Small Polyhedral Z-Acyclic 2-Complex in R4

Abstract: We present a small 4-dimensional polyhedral realization of a 2-dimensional Z-acyclic but non-contractible simplicial complex.


Higher exponential maps and explicit reciprocity laws I

Abstract: This paper has been withdrawn, as it is superseded by arXiv:0806.2122 (Bloch-Kato exponential maps for local fields with imperfect residue fields), which is a more recent version of the same paper.


The higher Hilbert pairing via (phi,G)-modules

Abstract: We prove the Tate duality for higher dimensional local fields of mixed characteristic (0,p), when p is an odd prime, using the theory of higher fields of norms. Assuming that p is not ramified in the basefield, we then use this construction to define the higher Hilbert pairing. In particular, we show that the Hilbert pairing is non-degenerate, and we re-discover the formulae of Brueckner and Vostokov.


Order convergence and compactness

Abstract: Let $(P,\leq)$ be a partially ordered set and let $\tau$ be a compact topology on $P$ that is finer than the interval topology. Then $\tau$ is contained in the order (convergence) topology on $(P,\tau)$. So any Priestley topology is contained in the order topology.


Optimal control of Goursat-Volterra systems

Abstract: We analyze an optimal control problem for systems of integral equations of Volterra type with two independent variables. These systems generalize both, the hyperbolic control problems for systems of Goursat-Darboux type, and the optimal control of ordinary (i.e. with one independent variable) Volterra integral equations. We prove extremal principles akin to Pontryagin's maximum principle.


Convolutions on compact groups and Fourier algebras of coset spaces

Abstract: In this note we study two related questions. (1) For a compact group G, what are the ranges of the convolution maps on A(GXG) given for u,v in A(G) by $u X v |-> u*v' ($v'(s)=v(s^{-1})$) and $u X v |-> u*v$? (2) For a locally compact group G and a compact subgroup K, what are the amenability properties of the Fourier algebra of the coset space A(G/K)? The algebra A(G/K) was defined and studied by the first named author. In answering the first question, we obtain for compact groups which do not admit an abelian subgroup of finite index, some new subalgebras of A(G). Using those algebras we can find many instances in which A(G/K) fails the most rudimentary amenability property: operator weak amenability. However, using different techniques, we show that if the connected component of the identity of G is abelian, then A(G/K) always satisfies the stronger property that it is hyper-Tauberian, which is a concept developed by the second named author. We also establish a criterion which characterises operator amenability of A(G/K) for a class of groups which includes the maximally almost periodic groups.


Amenability constants for semilattice algebras

Abstract: For any finite unital commutative idempotent semigroup S, a unital semilattice, we show how to compute the amenability constant of its semigroup algebra l^1(S), which is always of the form 4n+1. We then show that these give lower bounds to amenability constants of certain Banach algebras graded over semilattices. We show that there is no commutative semilattice with amenability constant between 5 and 9.


Approximation orders for interpolation by surface splines to rough functions

Abstract: In this paper we consider the approximation of functions by radial basis function interpolants. There is a plethora of results about the asymptotic behaviour of the error between appropriately smooth functions and their interpolants, as the interpolation points fill out a bounded domain in R^d. In all of these cases, the analysis takes place in a natural function space dictated by the choice of radial basis function - the native space. In many cases, the native space contains functions possessing a certain amount of smoothness. We address the question of what can be said about these error estimates when the function being interpolated fails to have the required smoothness. These are the rough functions of the title. We limit our discussion to surface splines, as an exemplar of a wider class of radial basis functions, because we feel our techniques are most easily seen and understood in this setting.


Remarks on affine complete distributive lattices

Abstract: We characterise the Priestley spaces corresponding to affine complete bounded distributive lattices. Moreover we prove that the class of affine complete bounded distributive lattices is closed under products and free products. We show that every (not necessarily bounded) distributive lattice can be embedded in an affine complete one and that $\mathbb{Q} \cap [0,1]$ is initial in the class of affine complete lattices.


Splitting families and the Noetherian type of $\beta\omega-\omega$

Abstract: Extending some results of Malykhin, we prove several independence results about base properties of $\beta\omega-\omega$ and its powers, especially the Noetherian type $Nt(\beta\omega-\omega)$, the least $\kappa$ for which $\beta\omega-\omega$ has a base that is $\kappa$-like with respect to containment. For example, $Nt(\beta\omega-\omega)$ is never less than the splitting number, but can consistently be that $\omega_1$, $2^\omega$, $(2^\omega)^+$, or strictly between $\omega_1$ and $2^\omega$. $Nt(\beta\omega-\omega)$ is also consistently less than the additivity of the meager ideal. $Nt(\beta\omega-\omega)$ is closely related to the existence of special kinds of splitting families.


Abstract factorials

Abstract: A commutative semigroup of abstract factorials is defined in the context of the ring of integers. We study such factorials for their own sake, whether they are or are not connected to sets of integers. Given a subset X of the positive integers we construct a "factorial set" with which one may define a multitude of abstract factorials on X. We study the possible equality of consecutive factorials, a dichotomy involving the limit superior of the ratios of consecutive factorials and we provide many examples outlining the applications of the ensuing theory; examples dealing with prime numbers, Fibonacci numbers, and highly composite numbers among other sets of integers. One of our results states that given any abstract factorial the series of reciprocals of its factorials always converges to an irrational number. Thus, for example, for any positive integer k the series of the reciprocals of the k-th powers of the cumulative product of the divisors of the numbers from 1 to n is irrational.


Error estimates for interpolation of rough data using the scattered shifts of a radial basis function

Abstract: The error between appropriately smooth functions and their radial basis function interpolants, as the interpolation points fill out a bounded domain in R^d, is a well studied artifact. In all of these cases, the analysis takes place in a natural function space dictated by the choice of radial basis function -- the native space. The native space contains functions possessing a certain amount of smoothness. This paper establishes error estimates when the function being interpolated is conspicuously rough.


Slanted matrices, Banach frames, and sampling

Abstract: In this paper we present a rare combination of abstract results on the spectral properties of slanted matrices and some of their very specific applications to frame theory and sampling problems. We show that for a large class of slanted matrices boundedness below of the corresponding operator in $\ell^p$ for some $p$ implies boundedness below in $\ell^p$ for all $p$. We use the established resultto enrich our understanding of Banach frames and obtain new results for irregular sampling problems. We also present a version of a non-commutative Wiener's lemma for slanted matrices.


On the Landau-Siegel Zeros Conjecture

Abstract: We provide a proof of a variant of the Landau-Siegel Zeros conjecture.


On Stability of Sampling-Reconstruction Models

Abstract: A useful sampling-reconstruction model should be stable with respect to different kind of small perturbations, regardless whether they result from jitter, measurement errors, or simply from a small change in the model assumptions. In this paper we prove this result for a large class of sampling models. We define different classes of perturbations and quantify the robustness of a model with respect to them. We also use the theory of localized frames to study the frame algorithm for recovering the original signal from its samples.


Learning about a Categorical Latent Variable under Prior Near-Ignorance

Abstract: It is well known that complete prior ignorance is not compatible with learning, at least in a coherent theory of (epistemic) uncertainty. What is less widely known, is that there is a state similar to full ignorance, that Walley calls near-ignorance, that permits learning to take place. In this paper we provide new and substantial evidence that also near-ignorance cannot be really regarded as a way out of the problem of starting statistical inference in conditions of very weak beliefs. The key to this result is focusing on a setting characterized by a variable of interest that is latent. We argue that such a setting is by far the most common case in practice, and we show, for the case of categorical latent variables (and general manifest variables) that there is a sufficient condition that, if satisfied, prevents learning to take place under prior near-ignorance. This condition is shown to be easily satisfied in the most common statistical problems.


Rings of Algebraic Numbers in Infinite Extensions of $\Q$ and Elliptic Curves Retaining Their Rank

Abstract: We show that elliptic curves whose Mordell-Weil groups are finitely generated over some infinite extensions of $\Q$, can be used to show the Diophantine undecidability of the rings of integers and bigger rings contained in some infinite extensions of rational numbers.


Minimum volume cusped hyperbolic three-manifolds

Abstract: This paper is the second in a series whose goal is to understand the structure of low-volume complete orientable hyperbolic 3-manifolds. Using Mom technology, we prove that any one-cusped hyperbolic 3-manifold with volume <= 2.848 can be obtained by a Dehn filling on one of 21 cusped hyperbolic 3-manifolds. We also show how this result can be used to construct a complete list of all one-cusped hyperbolic three-manifolds with volume <= 2.848 and all closed hyperbolic three-manifolds with volume <= 0.943. In particular, the Weeks manifold is the unique smallest volume closed orientable hyperbolic 3-manifold.


Multiplicity and stability of closed geodesics on bumpy Finsler 3-spheres

Abstract: We prove that for every $\Q$-homological Finsler 3-sphere $(M,F)$ with a bumpy and irreversible metric $F$, either there exist two non-hyperbolic prime closed geodesics, or there exist at least three prime closed geodesics.


Multiple closed geodesics on bumpy Finsler $n$-spheres

Abstract: In this paper we prove that for every bumpy Finsler metric $F$ on every rationally homological $n$-dimensional sphere $S^n$ with $n\ge 2$, there exist always at least two distinct prime closed geodesics.


Almost-minimal nonuniform lattices of higher rank

Abstract: If Gamma is a nonuniform, irreducible lattice in a semisimple Lie group whose real rank is greater than 1, we show Gamma contains a subgroup that is isomorphic to a nonuniform, irreducible lattice in either SL(3,R), SL(3,C), or a direct product SL(2,R)^m x SL(2,C)^n$, with m + n > 1. (In geometric terms, this can be interpreted as a statement about the existence of totally geodesic subspaces of finite-volume, noncompact, locally symmetric spaces of higher rank.) Another formulation of the result states that if G is any isotropic, almost simple algebraic group over Q (the rational numbers), such that the real rank of G is greater than 1, then G contains an isotropic, almost simple Q-subgroup H, such that H is quasisplit, and the real rank of H is greater than 1.


On local properties of Hochschild cohomology of a C$^*$- algebra

Abstract: Let $A$ be a C$^*$-algebra, and let $X$ be a Banach $A$-bimodule. B. E. Johnson showed that local derivations from $A$ into $X$ are derivations. We extend this concept of locality to the higher cohomology of a $C^*$-algebra %for $n$-cocycles from $A^{(n)}$ into $X$ and show that, for every $n\in \N$, bounded local $n$-cocycles from $A^{(n)}$ into $X$ are $n$-cocycles.


Coherence without unique normal forms

Abstract: Coherence theorems for covariant structures carried by a category have traditionally relied on the underlying term rewriting system of the structure being terminating and confluent. While this holds in a variety of cases, it is not a feature that is inherent to the coherence problem itself. This is demonstrated by the theory of iterated monoidal categories, which model iterated loop spaces and have a coherence theorem but fail to be confluent. We develop a framework for expressing coherence problems in terms of term rewriting systems equipped with a two dimensional congruence. Within this framework we provide general solutions to two related coherence theorems: Determining whether there is a decision procedure for the commutativity of diagrams in the resulting structure and determining sufficient conditions ensuring that ``all diagrams commute''. The resulting coherence theorems rely on neither the termination nor the confluence of the underlying rewriting system. We apply the theory to iterated monoidal categories and obtain a new, conceptual proof of their coherence theorem.


A Projective C*-Algebra Related to K-Theory

Abstract: The C*-algebra qC is the smallest of the C*-algebras qA introduced by Cuntz in the context of KK-theory. An important property of qC is the natural isomorphism of K0 of D with classes of homomorphism from qC to matrix algebras over D. Our main result concerns the exponential (boundary) map from K0 of a quotient B to K1 of an ideal I. We show if a K0 element is realized as a homomorphism from qC to B then its boundary is realized as a unitary in the unitization of I. The picture we obtain of the exponential map is based on a projective C*-algebra P that is universal for a set of relations slightly weaker than the relations that define qC. A new, shorter proof of the semiprojectivity of qC is described. Smoothing questions related the relations for qC are addressed.


Edge number of knots and links

Abstract: We introduce a new numerical invariant of knots and links made from the partitioned diagrams. It measures the complexity of knots and links.


An inverse spectral theory for finite CMV matrices

Abstract: For finite dimensional CMV matrices the classical inverse spectral problems are considered. We solve the inverse problem of reconstructing a CMV matrix by its Weyl's function, the problem of reconstructing the matrix by two spectra of CMV matrices with different "boundary conditions", and the problem of reconstructing the CMV matrix by its spectrum and the spectrum of the CMV matrix obtained from it by truncation.


Extending the range of error estimates for radial approximation in Euclidean space and on spheres

Abstract: We adapt Schaback's error doubling trick [R. Schaback. Improved error bounds for scattered data interpolation by radial basis functions. Math. Comp., 68(225):201--216, 1999.] to give error estimates for radial interpolation of functions with smoothness lying (in some sense) between that of the usual native space and the subspace with double the smoothness. We do this for both bounded subsets of R^d and spheres. As a step on the way to our ultimate goal we also show convergence of pseudoderivatives of the interpolation error.


Enhancing SPH using moving least-squares and radial basis functions

Abstract: In this paper we consider two sources of enhancement for the meshfree Lagrangian particle method smoothed particle hydrodynamics (SPH) by improving the accuracy of the particle approximation. Namely, we will consider shape functions constructed using: moving least-squares approximation (MLS); radial basis functions (RBF). Using MLS approximation is appealing because polynomial consistency of the particle approximation can be enforced. RBFs further appeal as they allow one to dispense with the smoothing-length -- the parameter in the SPH method which governs the number of particles within the support of the shape function. Currently, only ad hoc methods for choosing the smoothing-length exist. We ensure that any enhancement retains the conservative and meshfree nature of SPH. In doing so, we derive a new set of variationally-consistent hydrodynamic equations. Finally, we demonstrate the performance of the new equations on the Sod shock tube problem.


On simplicial toric varieties of codimension 2

Abstract: We describe classes of toric varieties of codimension 2 which are either minimally defined by 3 binomial equations over any algebraically closed field, or are set-theoretic complete intersections in exactly one positive characteristic.


Infinitesimal cubical structure, and higher connections

Abstract: In the context of Synthetic Differential Geometry, we describe a notion of higher connection with values in a cubical groupoid. We do this by exploiting a certain structure of cubical complex derived from the first neighbourhood of the diagonal of a manifold. This cubical complex consists of infinitesimal parallelelpipeda.


On Shimura curves in the Schottky locus

Abstract: We show that a given rational Shimura curve Y with strictly maximal Higgs field in the moduli space of g-dimensional abelian varieties does not generically intersect the Schottky locus for large g. We achieve this by using a result of Viehweg and Zuo which says that if Y parameterizes a family of curves of genus g, then the corresponding family of Jacobians is isogenous over Y to the g-fold product of a modular family of elliptic curves. After reducing the situation from the field of complex numbers to a finite field, we will see, combining the Weil and Sato-Tate conjectures, that this is impossible for large genus g.


Maximal lattice free bodies, test sets and the Frobenius problem

Abstract: Maximal lattice free bodies are maximal polytopes without interior integral points. Scarf initiated the study of maximal lattice free bodies relative to the facet normals in a fixed matrix. In this paper we give an efficient algorithm for computing the maximal lattice free bodies of an integral matrix A. An important ingredient is a test set for a certain integer program associated with A. This test set may be computed using algebraic methods. As an application we generalize the Scarf-Shallcross algorithm for the three-dimensional Frobenius problem to arbitrary dimension. In this context our method is inspired by the novel algorithm by Einstein, Lichtblau, Strzebonski and Wagon and the Groebner basis approach by Roune.


Moduli spaces of critical Riemannian metrics with L^{n/2} norm curvature bounds

Abstract: We consider the moduli space of the extremal K\"ahler metrics on compact manifolds. We show that under the conditions of two-sided total volume bounds, $L^{n\over2}$-norm bounds on $\Riem$, and Sobolev constant bounds, this Moduli space can be compactified by including (reduced) orbifolds with finitely many singularities. Most of our results go through for certain other classes of critical Riemannian metrics.


Deformations of asymptotically cylindrical G_2 manifolds

Abstract: We prove that for a 7-dimensional manifold M with cylindrical ends the moduli space of exponentially asymptotically cylindrical torsion-free G_2 structures is a smooth manifold (if non-empty), and study some of its local properties. We also show that the holonomy of the induced metric of an exponentially asymptotically cylindrical G_2 manifold M is exactly G_2 if and only if its fundamental group is finite and neither M nor any double cover of M is homeomorphic to a cylinder.


On partial polynomial interpolation

Abstract: The Alexander-Hirschowitz theorem says that a general collection of $k$ double points in ${\bf P}^n$ imposes independent conditions on homogeneous polynomials of degree $d$ with a well known list of exceptions. We generalize this theorem to arbitrary zero-dimensional schemes contained in a general union of double points. We work in the polynomial interpolation setting. In this framework our main result says that the affine space of polynomials of degree $\le d$ in $n$ variables, with assigned values of any number of general linear combinations of first partial derivatives, has the expected dimension if $d\neq 2$ with only five exceptional cases. If $d=2$ the exceptional cases are fully described.


Network tomography based on 1-D projections

Abstract: Network tomography has been regarded as one of the most promising methodologies for performance evaluation and diagnosis of the massive and decentralized Internet. This paper proposes a new estimation approach for solving a class of inverse problems in network tomography, based on marginal distributions of a sequence of one-dimensional linear projections of the observed data. We give a general identifiability result for the proposed method and study the design issue of these one dimensional projections in terms of statistical efficiency. We show that for a simple Gaussian tomography model, there is an optimal set of one-dimensional projections such that the estimator obtained from these projections is asymptotically as efficient as the maximum likelihood estimator based on the joint distribution of the observed data. For practical applications, we carry out simulation studies of the proposed method for two instances of network tomography. The first is for traffic demand tomography using a Gaussian Origin-Destination traffic model with a power relation between its mean and variance, and the second is for network delay tomography where the link delays are to be estimated from the end-to-end path delays. We compare estimators obtained from our method and that obtained from using the joint distribution and other lower dimensional projections, and show that in both cases, the proposed method yields satisfactory results.


Singularities of generic projection hypersurfaces

Abstract: Linearly projecting smooth projective varieties provides a method of obtaining hypersurfaces birational to the original varieties. We show that in low dimension, the resulting hypersurfaces only have Du Bois singularities. Moreover, we conclude that these Du Bois singularities are in fact semi log canonical. However, we demonstrate the existence of counterexamples in high dimension -- the generic linear projection of certain varieties of dimension 30 or higher is neither semi log canonical nor Du Bois.


The Label Algorithm For Irreducible Decomposition of Monomial Ideals

Abstract: The paper that was here is a preprint that was never turned into a proper paper. In particular it does not have enough citations to the literature. The paper "The Slice Algorithm For Irreducible Decomposition of Monomial Ideals" contains a much better description of the Label algorithm than this preprint did. If you still wish to read the original preprint then access the arXiv's version 1 of this paper, instead of version 2 which is what you are reading now.


Explicit bounds for the approximation error in Benford's law

Abstract: Benford's law states that for many random variables X > 0 its leading digit D = D(X) satisfies approximately the equation P(D = d) = log_{10}(1 + 1/d) for d = 1,2,...,9. This phenomenon follows from another, maybe more intuitive fact, applied to Y := log_{10}(X): For many real random variables Y, the remainder U := Y - floor(Y) is approximately uniformly distributed on [0,1). The present paper provides new explicit bounds for the latter approximation in terms of the total variation of the density of Y or some derivative of it. These bounds are an interesting alternative to traditional Fourier methods which yield mostly qualitative results. As a by-product we obtain explicit bounds for the approximation error in Benford's law.


Dilation Theory for Rank 2 Graph Algebras

Abstract: An analysis is given of $*$-representations of rank 2 single vertex graphs. We develop dilation theory for the non-selfadjoint algebras $\A_\theta$ and $\A_u$ which are associated with the commutation relation permutation $\theta$ of a 2 graph and, more generally, with commutation relations determined by a unitary matrix $u$ in $M_m(\bC) \otimes M_n(\bC)$. We show that a defect free row contractive representation has a unique minimal dilation to a $*$-representation and we provide a new simpler proof of Solel's row isometric dilation of two $u$-commuting row contractions. Furthermore it is shown that the C*-envelope of $\A_u$ is the generalised Cuntz algebra $\O_{X_u}$ for the product system $X_u$ of $u$; that for $m\geq 2 $ and $n \geq 2 $ contractive representations of $\Ath$ need not be completely contractive; and that the universal tensor algebra $\T_+(X_u)$ need not be isometrically isomorphic to $\A_u$.


Atomic Representations of Rank 2 Graph Algebras

Abstract: We provide a detailed analysis of atomic *-representations of rank 2 graphs on a single vertex. They are completely classified up to unitary equivalence, and decomposed into a direct sum or direct integral of irreducible atomic representations. The building blocks are described as the minimal *-dilations of defect free representations modelled on finite groups of rank 2.


Periodicity in Rank 2 Graph Algebras

Abstract: Kumjian and Pask introduced an aperiodicity condition for higher rank graphs. We present a detailed analysis of when this occurs in certain rank 2 graphs. When the algebra is aperiodic, we give another proof of the simplicity of $\ca(\Fth)$. The periodic C*-algebras are characterized, and it is shown that $\ca(\Fth) \simeq \rC(\bT) \otimes \fA$ where $\fA$ is a simple C*-algebra.


Adiabatic limit of the eta invariant over cofinite quotient of PSL(2,R)

Abstract: We study the adiabatic limit of the eta invariant of the Dirac operator over cofinite quotient of PSL(2,R), which is a noncompact manifold with a nonexact fibred-cusp metric near the ends.


Pointwise convergence for semigroups in vector-valued $L^p$ spaces

Abstract: Suppose that T_t is a symmetric diffusion semigroup on L^2(X) and consider its tensor product extension to the Bochner space L^p(X,B), where B belongs to a certain broad class of UMD spaces. We prove a vector-valued version of the Hopf--Dunford--Schwartz ergodic theorem and show that this extends to a maximal theorem for analytic continuations of the semigroup's extension to L^p(X,B). As an application, we show that such continuations exhibit pointwise convergence.


Stable real algebraic vector bundles over a Klein bottle

Abstract: Let X be a geometrically connected smooth projective curve of genus one, defined over the field of real numbers, such that X does not have any real points. We classify the isomorphism classes of all stable real algebraic vector bundles over X.


Multiple solutions to the likelihood equations in the Behrens-Fisher problem

Abstract: The Behrens-Fisher problem concerns testing the equality of the means of two normal populations with possibly different variances. The null hypothesis in this problem induces a statistical model for which the likelihood function may have more than one local maximum. We show that such multimodality contradicts the null hypothesis in the sense that if this hypothesis is true then the probability of multimodality converges to zero when both sample sizes tend to infinity. Additional results include a finite-sample bound on the probability of multimodality under the null and asymptotics for the probability of multimodality under the alternative.


Patience Sorting and Its Generalizations

Abstract: This dissertation collects together results on Patience Sorting and its generalizations. It incorporates the results of math.CO/0506358, math.CO/0507031, and math.CO/0512122, as well as previously unpublished results.


Domains of definition of Monge-Amp\`ere operators on compact K\"ahler manifolds

Abstract: Let $(X,\omega)$ be a compact K\"ahler manifold. We introduce and study the largest set $DMA(X,\omega)$ of $\omega$-plurisubharmonic (psh) functions on which the complex Monge-Amp\`ere operator is well defined. It is much larger than the corresponding local domain of definition, though still a proper subset of the set $PSH(X,\om)$ of all $\om$-psh functions. We prove that certain twisted Monge-Amp\`ere operators are well defined for all $\omega$-psh functions. As a consequence, any $\om$-psh function with slightly attenuated singularities has finite weighted Monge-Amp\`ere energy.


The Length of a Shortest Geodesic Loop

Abstract: We give a lower bound for the length of a non-trivial geodesic loop on a simply-connected and compact manifold of even dimension with a non-reversible Finsler metric of positive flag curvature. Harris and Paternain use this estimate in their recent paper [HP] to give a geometric characterization of dynamically convex Finsler metrics on the 2-sphere.


Attractors for gradient flows of non convex functionals and applications

Abstract: This paper addresses the long-time behavior of gradient flows of non convex functionals in Hilbert spaces. Exploiting the notion of generalized semiflows by J. M. Ball, we provide some sufficient conditions for the existence of a global attractor. The abstract results are applied to various classes of non convex evolution problems. In particular, we discuss the long-time behavior of solutions of quasi-stationary phase field models and prove the existence of a global attractor.


L-infinity Algebras and Deformations of Holomorphic Maps

Abstract: We construct the deformation functor associated with a pair of morphisms of differential graded Lie algebras, and use it to study infinitesimal deformations of holomorphic maps of compact complex manifolds. In particular, using L-infinity structures, we give an explicit description of the differential graded Lie algebra that controls this problem.


Abstract: We prove formulas for the generating functions for M_2-rank differences for partitions without repeated odd parts. These formulas are in terms of modular forms and generalized Lambert series.


Refined bound for sum-free sets in groups of prime order

Abstract: Improving upon earlier results of Freiman and the present authors, we show that if $p$ is a sufficiently large prime and $A$ is a sum-free subset of the group of order $p$, such that $n:=|A|>0.318p$, then $A$ is contained in a dilation of the interval $[n,p-n]\pmod p$.


Classification of quasifinite representations with nonzero central charges for type $A_1$ EALA with coordinates in quantum torus

Abstract: In this paper, we first construct a Lie algebra $L$ from rank 3 quantum torus, and show that it is isomorphic to the core of EALAs of type $A_1$ with coordinates in rank 2 quantum torus. Then we construct two classes of irreducible ${\bf Z}$-graded highest weight representations, and give the necessary and sufficient conditions for these representations to be quasifinite. Next, we prove that they exhaust all the generalized highest weight irreducible ${\bf Z}$-graded quasifinite representations. As a consequence, we determine all the irreducible ${\bf Z}$-graded quasifinite representations with nonzero central charges. Finally, we construct two classes of highest weight ${\bf Z}^2$-graded quasifinite representations by using these ${\bf Z}$-graded modules.


Coupled Painlev\'e systems with affine Weyl group symmetry of types $D_3^{(2)}$ and $D_5^{(2)}$

Abstract: In this paper, we find a two-parameter family of coupled Painlev\'e systems in dimension four with affine Weyl group symmetry of type $D_3^{(2)}$. We also find a four-parameter family of 2-coupled $D_3^{(2)}$-systems in dimension eight with affine Weyl group symmetry of type $D_5^{(2)}$. We show that for each system, we give its symmetry and holomorphy conditions, respectively. These symmetries, holomorphy conditions and invariant divisors are new.


The diffeomorphism group of a K3 surface and Nielsen realization

Abstract: The Nielsen Realization problem asks when the group homomorphism from Diff(M) to pi_0 Diff(M) admits a section. For M a closed surface, Kerckhoff proved that a section exists over any finite subgroup, but Morita proved that if the genus is large enough then no section exists over the entire mapping class group. We prove the first nonexistence theorem of this type in dimension 4: if M is a smooth closed oriented 4-manifold which contains a K3 surface as a connected summand then no section exists over the whole of the mapping class group. This is done by showing that certain obstructions lying in the rational cohomology of B(pi_0 Diff(M)) are nonzero. We detect these classes by showing that they are nonzero when pulled back to the moduli space of Einstein metrics on a K3 surface.


Skew Divided Difference Operators and Schubert Polynomials

Abstract: We study an action of the skew divided difference operators on the Schubert polynomials and give an explicit formula for structural constants for the Schubert polynomials in terms of certain weighted paths in the Bruhat order on the symmetric group. We also prove that, under certain assumptions, the skew divided difference operators transform the Schubert polynomials into polynomials with positive integer coefficients.


On the Vanishing and the Finiteness of Supports of Generalized Local Cohomology Modules

Abstract: Let $(R,\fr m)$ be a Noetherian local ring, $I$ an ideal of $R$ and $M, N$ two finitely generated $R$-modules. The first result of this paper is to prove a vanishing theorem for generalized local cohomology modules which says that $H^j_I(M,N)=0$ for all $j>\dim(R)$, provided $M$ is of finite projective dimension. Next, we study and give characterizations for the least and the last integer $r$ such that $\Supp(H^r_I(M,N))$ is infinite.


Almost-free finite covers

Abstract: Finite covers are a technique for building new structures from simpler ones. The original motivation to study finite covers is in the Ladder theorem of Zilber which describes how totally categorical structures are built from strictly minimal sets by a sequence of covers. Let W be a first-order structure and r be an Aut(W)-congruence on W. In this paper we define the almost-free finite covers of W with respect to r, and we show how to construct them. These are a generalization of free finite covers. A consequence of a result of Evans and Hrushovski in the paper "On the automorphism groups of finite covers" is that any finite cover of W with binding groups all equal to a simple non-abelian permutation group is almost-free with respect to some r on W. Our main result gives a description (up to isomorphism) in terms of the Aut(W)-congruences on W of the kernels of principal finite covers of W with bindings groups equal at any point to a simple non-abelian regular permutation group G. Then we analyze almost-free finite covers of the set of ordered n-tuples of distinct elements from a countable set Omega, regarded as a structure with automorphism group equal to the Sym(Omega) and we show a result of biinterpretability.


The Pseudospectrum of Systems of Semiclassical Operators

Abstract: The pseudospectra (or spectral instability) of non-selfadjoint operators is a topic of current interest in applied mathematics. In fact, for non-selfadjoint operators the resolvent could be very large outside the spectrum, making the numerical computation of the complex eigenvalues very hard. This has importance, for example, in quantum mechanics, random matrix theory and fluid dynamics. The occurence of pseudospectra for non-selfadjoint semiclassical differential operators is due to the existence of quasimodes, i.e., approximate local solutions to the eigenvalue problem. For scalar operators, the quasimodes appear since the bracket condition is not satisfied for topological reasons, see the paper by Dencker, Sjostrand and Zworski in Comm. Pure Appl. Math. 57 (2004), 384-415. In this paper we shall investigate how these result can be generalized to square systems of semiclassical differential operators of principal type. These are the systems whose principal symbol vanishes of first order on its kernel. We show that the resolvent blows up as in the scalar case, except in a nowhere dense set of degenerate values. We also define quasi-symmetrizable systems and systems of subelliptic type for which we prove estimates on the resolvent.


Twisted Whittaker model and factorizable sheaves

Abstract: Let G be a reductive group. The geometric Satake equivalence realized the category of representations of the Langlands dual group ^LG in terms of spherical perverse sheaves (or D-modules) on the affine Grassmannian Gr_G=G((t))/G[[t]] of the original group G. In the present paper we perform a first step in realizing the category of representations of the quantum group corresponding to ^LG in terms of the geometry of Gr_G. The idea of the construction belongs to Jacob Lurie.


Topological pressure for one-dimensional holomorphic dynamical systems

Abstract: For a class of one-dimensional holomorphic maps f of the Riemann sphere we prove that for a wide class of potentials h the topological pressure is entirely determined by the values of h on the repelling periodic points of f. This is a version of a classical result of Bowen for hyperbolic diffeomorphisms in the holomorphic non-uniformly hyperbolic setting.


Bounds on exponential sums over small multiplicative subgroups

Abstract: We show that there is significant cancellation in certain exponential sums over small multiplicative subgroups of finite fields, giving an exposition of the arguments by Bourgain and Chang.


Equivalence of symmetric union diagrams

Abstract: Motivated by the study of ribbon knots we explore symmetric unions, a beautiful construction introduced by Kinoshita and Terasaka 50 years ago. It is easy to see that every symmetric union represents a ribbon knot, but the converse is still an open problem. Besides existence it is natural to consider the question of uniqueness. In order to attack this question we extend the usual Reidemeister moves to a family of moves respecting the symmetry, and consider the symmetric equivalence thus generated. This notion being in place, we discuss several situations in which a knot can have essentially distinct symmetric union representations. We exhibit an infinite family of ribbon two-bridge knots each of which allows two different symmetric union representations.


Variable Selection Incorporating Prior Constraint Information into Lasso

Abstract: We propose the variable selection procedure incorporating prior constraint information into lasso. The proposed procedure combines the sample and prior information, and selects significant variables for responses in a narrower region where the true parameters lie. It increases the efficiency to choose the true model correctly. The proposed procedure can be executed by many constrained quadratic programming methods and the initial estimator can be found by least square or Monte Carlo method. The proposed procedure also enjoys good theoretical properties. Moreover, the proposed procedure is not only used for linear models but also can be used for generalized linear models({\sl GLM}), Cox models, quantile regression models and many others with the help of Wang and Leng (2007)'s LSA, which changes these models as the approximation of linear models. The idea of combining sample and prior constraint information can be also used for other modified lasso procedures. Some examples are used for illustration of the idea of incorporating prior constraint information in variable selection procedures.


Energy identity for approximations of harmonic maps from surfaces

Abstract: We prove the energy identity for min-max sequences of the Sacks-Uhlenbeck and the biharmonic approximation of harmonic maps from surfaces into general target manifolds. The proof relies on Hopf-differential type estimates for the two approximations and on estimates for the concentration radius of bubbles.


An Algebraic Analysis of Conchoids to Algebraic Curves

Abstract: We study conchoids to algebraic curve from the perspective of algebraic geometry, analyzing their main algebraic properties. We introduce the formal definition of conchoid of an algebraic curve by means of incidence diagrams. We prove that, with the exception of a circle centered at the focus and taking $d$ as its radius, the conchoid is an algebraic curve having at most two irreducible components. In addition, we introduce the notions of special and simple components of a conchoid. Moreover we state that, with the exception of lines passing through the focus, the conchoid always has at least one simple component and that, for almost every distance, all the components of the conchoid are simple. We state that, in the reducible case, simple conchoid components are birationally equivalent to the initial curve, and we show how special components can be used to decide whether a given algebraic curve is the conchoid of another curve.


On the Riemann zeta-function, Parts IV-V

Abstract: In Part I an odd meromorphic function f(s) has been constructed from the Riemann zeta-function evaluated at one-half plus s. The conjunction of the Riemann hypothesis and hypotheses advanced by the author in Part I is assumed. In Part IV we derive the two-sided Laplace transform representation of f(s) on the open vertical strip V of all s with real part between zero and four. An additional hypothesis is used to prove that the Laplace density of f(s) on the strip V is positive. Let z(n) be the nth critical zero of the Riemann zeta-function of positive imaginary part in order of magnitude thereof. In Part V an expression is derived for z(1). A relation is obtained of the pair z(n) and the first derivative thereat of the zeta-function to the preceding such pairs.


Endomorphisms of projective varieties

Abstract: We study complex projective manifolds X that admit surjective endomorphisms f:X->X of degree at least two. In case f is etale, we prove structure theorems that describe X. In particular, a rather detailed description is given if X is a uniruled threefold. As to the ramified case, we first prove a general theorem stating that the vector bundle associated to a Galois covering of projective manifolds is ample (resp. nef) under very mild conditions. This is applied to the study of ramified endomorphisms of Fano manifolds with second Betti number one. It is conjectured that the projective space is the only Fano manifold admitting admitting an endomorphism of degree d>1, and we prove that in several cases. A part of the argumentation is based on a new characterization of the projective space as the only manifold that admits an ample subsheaf in its tangent bundle.


Nested quantum Dyck paths and nabla(s_lambda)

Abstract: We conjecture a combinatorial formula for the monomial expansion of the image of any Schur function under the Bergeron-Garsia nabla operator. The formula involves nested labeled Dyck paths weighted by area and a suitable "diagonal inversion" statistic. Our model includes as special cases many previous conjectures connecting the nabla operator to quantum lattice paths. The combinatorics of the inverse Kostka matrix leads to an elementary proof of our proposed formula when q=1. We also outline a possible approach for proving all the extant nabla conjectures that reduces everything to the construction of sign-reversing involutions on explicit collections of signed, weighted objects.


On the Small Ball Inequality in All Dimensions

Abstract: Let h_R denote an L ^{\infty} normalized Haar function adapted to a dyadic rectangle R contained in the unit cube in dimension d. We establish a non-trivial lower bound on the L^{\infty} norm of the `hyperbolic' sums $$ \sum _{|R|=2 ^{-n}} \alpha(R) h_R (x) $$ The lower bound is non-trivial in that we improve the average case bound by n^{\eta} for some positive \eta, a function of dimension d. As far as the authors know, this is the first result of this type in dimension 4 and higher. This question is related to Conjectures in (1) Irregularity of Distributions, (2) Approximation Theory and (3) Probability Theory. The method of proof of this paper gives new results on these conjectures in all dimensions 4 and higher. This paper builds upon prior work of Jozef Beck, from 1989, and first two authors from 2006. These results were of the same nature, but only in dimension 3.


New Enhanced Chaotic Number Generators

Abstract: We introduce new families of enhanced chaotic number generators in order to compute very fast long series of pseudorandom numbers. The key feature of these generators being the use of chaotic numbers themselves for sampling chaotic subsequence of chaotic numbers in order to hide the generating function. We explore numerically the properties of these new families and underline their very high qualities and usefulness as CPRNG when series are computed up to 10 trillions iterations.


New Invariants of Long Virtual Knots

Abstract: This paper extends the construction of invariants for virtual knots to virtual long knots and introduces two new invariant modules of virtual long knots. Several interesting features are described that distinguish virtual long knots from their classical counterparts with respect to their symmetries and the concatenation product.


On the values of integrals with the variable taken from $x=0$ to $x=\infty$

Abstract: This is a translation from the Latin original, "De valoribus integralium a termino variabilis x=0 usque ad x=infinity extensorum" (1781). This is E675 in the Enestrom index. Euler wants to find the location of the end point of a clothoid, a type of spiral. He proves some general results about the gamma function.


Boundary cross theorem in dimension 1 with singularities

Abstract: Let $D$ and $G$ be copies of the open unit disc in $\C,$ let $A$ (resp. $B$) be a measurable subset of $\partial D$ (resp. $\partial G$), let $W$ be the 2-fold cross $\big((D\cup A)\times B\big)\cup \big(A\times(B\cup G)\big),$ and let $M$ be a relatively closed subset of $W.$ Suppose in addition that $A$ and $B$ are of positive one-dimensional Lebesgue measure and that $M$ is fiberwise polar (resp. fiberwise discrete) and that $M\cap (A\times B)=\varnothing.$ We determine the "envelope of holomorphy" $\hat{W\setminus M}$ of $W\setminus M$ in the sense that any function locally bounded on $W\setminus M,$ measurable on $A\times B,$ and separately holomorphic on $\big((A\times G) \cup (D\times B)\big)\setminus M$ "extends" to a function holomorphic on $\hat{W\setminus M}.$


Algebraic Cycles and Mumford-Griffiths Invariants

Abstract: Let $X$ be a projective algebraic manifold and let $CH^r(X)$ be the Chow group of algebraic cycles of codimension $r$ on $X$, modulo rational equivalence. Working with a candidate Bloch-Beilinson filtration $\{F^{\nu}\}_{\nu\geq 0}$ on $CH^r(X)\otimes {\Bbb Q}$ due to the second author, we construct a space of arithmetic Hodge theoretic invariants $\nabla J^{r,\nu}(X)$ and corresponding map $\phi_{X}^{r,\nu} : Gr_{F}^{\nu}CH^r(X)\otimes {\Bbb Q} \to \nabla J^{r,\nu}(X)$, and determine conditions on $X$ for which the kernel and image of $\phi_{X}^{r,\nu}$ are ``uncountably large''.


The Euclidean distortion of the lamplighter group

Abstract: We show that the cyclic lamplighter group $C_2 \bwr C_n$ embeds into Hilbert space with distortion ${\rm O}(\sqrt{\log n})$. This matches the lower bound proved by Lee, Naor and Peres in \cite{LeeNaoPer}, answering a question posed in that paper. Thus the Euclidean distortion of $C_2 \bwr C_n$ is $\Theta(\sqrt{\log n})$. Our embedding is constructed explicitly in terms of the irreducible representations of the group. Since the optimal Euclidean embedding of a finite group can always be chosen to be equivariant, as shown by Aharoni, Maurey and Mityagin \cite{AhaMauMit} and by Gromov (see \cite{deCTesVal}), such representation-theoretic considerations suggest a general tool for obtaining upper and lower bounds on Euclidean embeddings of finite groups.


Stability of Solutions to Damped Equations with Negative Stiffness

Abstract: This article concerns the stability of a model for mass-spring systems with positive damping and negative stiness. It is well known that when the coefficients are frozen in time the system is unstable. Here we find conditions on the variable cofficients to prove stability. In particular, we disprove the believe that if the eigenvalues of the system change slowly in time the system remains unstable. We extend some of our results for nonlinear systems.


On group-theoretic models of randomness and genericity

Abstract: We compare the random group model of Gromov and the model of generic groups of Arzhantseva and Ol'shanskii.


Exponents of 2-multiarrangements and multiplicity lattices

Abstract: We introduce a concept of multiplicity lattices of 2-multiarrangements, determine the combinatorics and geometry of that lattice, and give a criterion and method to construct a basis for derivation modules effectively.


Py-Calabi quasi-morphisms and quasi-states on orientable surfaces of higher genus

Abstract: We show that Py-Calabi quasi-morphism on the group of Hamiltonian diffeomorphisms of surfaces of higher genus gives rise to a quasi-state.


Weak amenability and 2-weak amenability of Beurling algebras

Abstract: Let $L^1_\om(G)$ be a Beurling algebra on a locally compact abelian group $G$. We look for general conditions on the weight which allows the vanishing of continuous derivations of $L^1_\om(G)$. This leads us to introducing vector-valued Beurling algebras and considering the translation of operators on them. This is then used to connect the augmentation ideal to the behavior of derivation space. We apply these results to give examples of various classes of Beurling algebras which are weakly amenable, 2-weakly amenable or fail to be even 2-weakly amenable.


Braided Sweedler cohomology

Abstract: We introduced a braided Sweedler cohomology, which is adequate to work with the H-braided cleft extensions studied in [J. A. Guccione and J. J. Guccione, Theory of braided Hopf crossed products, Journal of Algebra, Vol 261 (2003) 54-101]


A filtered version of the bipolar theorem of Brannath and Schachermayer

Abstract: We extend the Bipolar Theorem of Brannath and Schachermayer (1999) to the space of nonnegative cadlag supermartingales on a filtered probability space. We formulate the notion of fork-convexity as an analogue to convexity in this setting. As an intermediate step in the proof of our main result we establish a conditional version of the Bipolar theorem. In an application to mathematical finance we describe the structure of the set of dual processes of the utility maximization problem of Kramkov and Schachermayer (1999) and give a budget-constraint characterization of admissible consumption processes in an incomplete semimartingale market.


On Cuspidal Representations of General Linear Groups over Discrete Valuation Rings

Abstract: We define a new notion of cuspidality for representations of $\GL_n$ over a finite quotient $\Oh_k$ of the ring of integers $\Oh$ of a non-Archimedean local field $F$ using geometric and infinitesimal induction functors, which involve automorphism groups $G_\lambda$ of torsion $\Oh$\nobreakdash-modules. When $n$ is a prime, we show that this notion of cuspidality is equivalent to strong cuspidality, which arises in the construction of supercuspidal representations of $\GL_n(F)$. We show that strongly cuspidal representations share many features of cuspidal representations of finite general linear groups. In the function field case, we show that the construction of the representations of $\GL_n(\Oh_k)$ for $k\geq 2$ for all $n$ is equivalent to the construction of the representations of all the groups $G_\lambda$. A functional equation for zeta functions for representations of $\GL_n(\Oh_k)$ is established for representations which are not contained in an infinitesimally induced representation. All the cuspidal representations for $\GL_4(\Oh_2)$ are constructed. Not all these representations are strongly cuspidal.


The $(g,K)$-module structures of principal series representations of $Sp(3,R)$

Abstract: We describe explicitly the whole structures of the $(g,K)$-modules of principal series representations of $Sp(3,R)$. We apply this result to determine the holonomic system characterizing those Whittaker functions.


Modeling Hourly Ozone Concentration Fields

Abstract: This paper presents a dynamic linear model for modeling hourly ozone concentrations over the eastern United States. That model, which is developed within an Bayesian hierarchical framework, inherits the important feature of such models that its coefficients, treated as states of the process, can change with time. Thus the model includes a time--varying site invariant mean field as well as time varying coefficients for 24 and 12 diurnal cycle components. This cost of this model's great flexibility comes at the cost of computational complexity, forcing us to use an MCMC approach and to restrict application of our model domain to a small number of monitoring sites. We critically assess this model and discover some of its weaknesses in this type of application.


Enumeration of curves via floor diagrams

Abstract: In this note we compute some enumerative invariants of real and complex projective spaces by means of some enriched graphs called floor diagrams.


The Jones and Alexander polynomials for singular links

Abstract: We extend the state models for Jones and Alexander polynomials of classical links to state models of 2-variable polynomials in the case of singular links. Moreover, we extend both of them to polynomials with d+1 variables for long singular knots with exactly d double points. These extensions can detect non-invertibility of long singular knots.


Spherical harmonics and the icosahedron

Abstract: We define a sextic invariant J on the seven-dimensional space of degree three spherical harmonics and show that J is positive if and only if the nodal set of the spherical harmonic contains the vertices of exactly two regular icosahedra. The proof uses the geometry of the Clebsch diagonal cubic surface, Atiyah's classification of vector bundles on an elliptic curve and a Fano threefold introduced by Mukai.


Sign refinement for combinatorial link Floer homology

Abstract: Link Floer homology is an invariant for links which has recently been described entirely in a combinatorial way. Originally constructed with mod 2 coefficients, it was generalized to integer coefficients thanks to a sign refinement. In this paper, thanks to the spin extension of the permutation group we give an alternative construction of the combinatorial link Floer chain complex associated to a grid diagram with integer coefficients. We prove that the filtered homology of this complex is an invariant for the link and that it gives the previous sign refinement by means of a 2-cohomological class corresponding to the spin extension of the permutation group.


Total singular value decomposition. Robust SVD, regression and location-scale

Abstract: Singular Value Decomposition (SVD) is the basic body of many statistical algorithms and few users question whether SVD is properly handling its job. SVD aims at evaluating the decomposition that best approximates a data matrix, given some rank restriction. However often we are interested in the best components of the decomposition rather than in the best approximation . This conflict of objectives leads us to introduce {\em Total SVD}, where the word "Total" is taken as in "Total" least squares. SVD is a least squares method and, therefore, is very sensitive to gross errors in the data matrix. We make SVD robust by imposing a weight to each of the matrix entries. Breakdown properties are excellent. Algorithmic aspects are handled; they rely on high dimension fixed point computations.


Reading Off Kurosh Decompositions

Abstract: Geometric methods proposed by Stallings for treating finitely generated subgroups of free groups were successfully used by many authors to solve a wide collection of decision problems for free groups and their subgroups. In the present paper we employ our generalized Stallings' folding method to introduce a procedure, which given a subgroup H of a free product of finite groups reads off its Kurosh decomposition from the subgroup graph of H.


Flat modules over valuation rings

Abstract: Let $R$ be a valuation ring and let $Q$ be its total quotient ring. It is proved that any singly projective (respectively flat) module is finitely projective if and only if $Q$ is maximal (respectively artinian). It is shown that each singly projective module is a content module if and only if any non-unit of $R$ is a zero-divisor and that each singly projective module is locally projective if and only if $R$ is self injective. Moreover, $R$ is maximal if and only if each singly projective module is separable, if and only if any flat content module is locally projective. Necessary and sufficient conditions are given for a valuation ring with non-zero zero-divisors to be strongly coherent or $\pi$-coherent. A complete characterization of semihereditary commutative rings which are $\pi$-coherent is given. When $R$ is a commutative ring with a self FP-injective quotient ring $Q$, it is proved that each flat $R$-module is finitely projective if and only if $Q$ is perfect.


Harmonic G-structures

Abstract: For closed and connected subgroups G of SO(n), we study the energy functional on the space of G-structures of a (compact) Riemannian manifold M, where G-structures are considered as sections of the quotient bundle O(M)/G. Then, we deduce the corresponding first and second variation formulae and the characterising conditions for critical points by means of tools closely related with the study of G-structures. In this direction, we show the role in the energy functional played by the intrinsic torsion of the G-structure. Moreover, we analyse the particular case G=U(n) for even-dimensional manifolds. This leads to the study of harmonic almost Hermitian manifolds and harmonic maps from M into O(M)/U(n).


Number of points of Prym varieties over finite fields

Abstract: We establish some upper and lower bounds for the number of rational points of Prym varieties over finite fields.


The largest eigenvalues of finite rank deformation of large Wigner matrices: convergence and nonuniversality of the fluctuations

Abstract: In this paper, we investigate the asymptotic spectrum of complex or real Deformed Wigner matrices $(M_N)_N$ defined by $M_N=W_N/\sqrt{N}+A_N$ where $W_N$ is an $N\times N$ Hermitian (resp., symmetric) Wigner matrix whose entries have a symmetric law satisfying a Poincar\'{e} inequality. The matrix $A_N$ is Hermitian (resp., symmetric) and deterministic with all but finitely many eigenvalues equal to zero. We first show that, as soon as the first largest or last smallest eigenvalues of $A_N$ are sufficiently far from zero, the corresponding eigenvalues of $M_N$ almost surely exit the limiting semicircle compact support as the size $N$ becomes large. The corresponding limits are universal in the sense that they only involve the variance of the entries of $W_N$. On the other hand, when $A_N$ is diagonal with a sole simple nonnull eigenvalue large enough, we prove that the fluctuations of the largest eigenvalue are not universal and vary with the particular distribution of the entries of $W_N$.


Resurgent functions and splitting problems

Abstract: The present text is an introduction to \'Ecalle's theory of resurgent functions and alien calculus, in connection with problems of exponentially small separatrix splitting. An outline of the resurgent treatment of Abel's equation for resonant dynamics in one complex variable is included. The emphasis is on examples of nonlinear difference equations, as a simple and natural way of introducing the concepts.


A quasianalyticity property for monogenic solutions of small divisor problems

Abstract: We discuss the quasianalytic properties of various spaces of functions suitable for one-dimensional small divisor problems. These spaces are formed of functions C^1-holomorphic on certain compact sets K_j of the Riemann sphere (in the Whitney sense), as is the solution of a linear or non-linear small divisor problem when viewed as a function of the multiplier (the intersection of K_j with the unit circle is defined by a Diophantine-type condition, so as to avoid the divergence caused by roots of unity). It turns out that a kind of generalized analytic continuation through the unit circle is possible under suitable conditions on the K_j's.


Existence and non-existence results for a logistic-type equation on manifolds

Abstract: We study the steady state solutions of a generalized logistic type equation on a complete Riemannian manifold. We provide sufficient conditions for existence, respectively non-existence of positive solutions, which depend on the relative size of the coefficients and their mutual interaction with the geometry of the manifold, which is mostly taken into account by means of conditions on the volume growth of geodesic balls.


The M-estimator in a multi-phase random nonlinear model

Abstract: This paper considers M-estimation of a nonlinear regression model with multiple change-points occuring at unknown times. The multi-phase random design regression model, discontinuous in each change-point, have an arbitrary error $\epsilon$. In the case when the number of jumps is known, the M-estimator of locations of breaks and of regression parameters are studied. These estimators are consistent and the distribution of the regression parameter estimators is Gaussian. The estimator of each change-point converges, with the rate $n^{-1}$, to the smallest minimizer of the independent compound Poisson processes. The results are valid for a large class of error distributions.


Number of irreducible polynomials in several variables over finite fields

Abstract: We give a formula and an estimation for the number of irreducible polynomials in two (or more) variables over a finite field.


Dijkgraaf-Witten invariants of surfaces and projective representations of groups

Abstract: We compute the Dijkgraaf-Witten invariants of surfaces in terms of projective representations of groups. As an application we prove that the complex Dijkgraaf-Witten invariants of surfaces of positive genus are positive integers.


A CLT for Information-theoretic statistics of Gram random matrices with a given variance profile

Abstract: Consider a $N\times n$ random matrix $Y_n=(Y_{ij}^{n})$ where the entries are given by $$ Y_{ij}^{n}=\frac{\sigma_{ij}(n)}{\sqrt{n}} X_{ij}^{n} $$ the $X_{ij}^{n}$ being centered, independent and identically distributed random variables with unit variance and $(\sigma_{ij}(n); 1\le i\le N, 1\le j\le n)$ being an array of numbers we shall refer to as a variance profile. We study in this article the fluctuations of the random variable $$ \log\det(Y_n Y_n^* + \rho I_N) $$ where $Y^*$ is the Hermitian adjoint of $Y$ and $\rho > 0$ is an additional parameter. We prove that when centered and properly rescaled, this random variable satisfies a Central Limit Theorem (CLT) and has a Gaussian limit whose parameters are identified. A complete description of the scaling parameter is given; in particular it is shown that an additional term appears in this parameter in the case where the 4$^\textrm{th}$ moment of the $X_{ij}$'s differs from the 4$^{\textrm{th}}$ moment of a Gaussian random variable. Such a CLT is of interest in the field of wireless communications.


Extremal functions for the sharp $L^2-$ Nash inequality

Abstract: We give geometrical conditions under which there exist extremal functions for the sharp $L^2$-Nash inequality.


Monge-Ampere measures on pluripolar sets

Abstract: In this article we solve the complex Monge-Ampere equation for measures with large singular part. This result generalizes classical results by Demailly, Lelong and Lempert a.o., who considered singular parts carried on discrete sets. By using our result we obtain a generalization of Kolodziej's subsolution theorem. More precisely, we prove that if a non-negative Borel measure is dominated by a complex Monge-Ampere measure, then it is a complex Monge-Ampere measure.


The geometrical quantity in damped wave equations on a square

Abstract: The energy in a square membrane $\Omega$ subject to constant viscous damping on a subset $\omega\subset \Omega$ decays exponentially in time as soon as $\omega$ satisfies a geometrical condition known as the "Bardos-Lebeau-Rauch" condition. The rate $\tau(\omega)$ of this decay satisfies $\tau(\omega)= 2 \min(-\mu(\omega), g(\omega))$ (see Lebeau [Math. Phys. Stud. 19 (1996) 73-109]). Here $\mu(\omega)$ denotes the spectral abscissa of the damped wave equation operator and $g(\omega)$ is a number called the geometrical quantity of $\omega$ and defined as follows. A ray in $\Omega$ is the trajectory generated by the free motion of a mass-point in $\Omega$ subject to elastic reflections on the boundary. These reflections obey the law of geometrical optics. The geometrical quantity $g(\omega)$ is then defined as the upper limit (large time asymptotics) of the average trajectory length. We give here an algorithm to compute explicitly $g(\omega)$ when $\omega$ is a finite union of squares.


The structure on the real field generated by the standard part map on an o-minimal expansion of a real closed field

Abstract: Let R be a sufficiently saturated o-minimal expansion of a real closed field, let O be the convex hull of the rationals in R, and let st: O^n \to \mathbb{R}^n be the standard part map. For X \subseteq R^n define st(X):=st(X \cap O^n). We let \mathbb{R}_{\ind} be the structure with underlying set \mathbb{R} and expanded by all sets of the form st(X), where X \subseteq R^{n} is definable in R and n=1,2,.... We show that the subsets of \mathbb{R}^n that are definable in \mathbb{R}_{\ind} are exactly the finite unions of sets of the form st(X) \setminus st(Y), where X,Y \subseteq R^n are definable in R. A consequence of the proof is a partial answer to a question by Hrushovski, Peterzil and Pillay about the existence of measures with certain invariance properties on the lattice of bounded definable sets in R^n.


On factorizations of smooth nonnegative matrix-values functions and on smooth functions with values in polyhedra

Abstract: We discuss the possibility to represent smooth nonnegative matrix-valued functions as finite linear combinations of fixed matrices with positive real-valued coefficients whose square roots are Lipschitz continuous. This issue is reduced to a similar problem for smooth functions with values in a polyhedron.


Equivalence of operations with respect to discriminator clones

Abstract: For each clone C on a set A there is an associated equivalence relation, called C-equivalence, on the set of all operations on A, which relates two operations iff each one is a substitution instance of the other using operations from C. In this paper we prove that if C is a discriminator clone on a finite set, then there are only finitely many C-equivalence classes. Moreover, we show that the smallest discriminator clone is minimal with respect to this finiteness property. For discriminator clones of Boolean functions we explicitly describe the associated equivalence relations.


A New Proof of the New Intersection Theorem

Abstract: In 1987 Roberts completed the proof of the New Intersection Theorem (NIT) by settling the mixed characteristic case using local Chern characters, as developed by Fulton and also by Roberts. His proof has been the only one recorded of the NIT in mixed characteristic. This paper gives a new proof of this theorem, one which mostly parallels Roberts' original proof, but avoids the use of local Chern characters. Instead, the proof here uses Adams operations on K-theory with supports as developed by Gillet-Soule.


A non commutative sewing lemma

Abstract: In a preceding paper [E.J.ofProb.34,860-892,(2006)], we proved a sewing lemma which was a key result for the study of Holder continuous functions. In this paper we give a non-commutative version of this lemma with some applications.


Asymptotic results on the length of coalescent trees

Abstract: We give the asymptotic distribution of the length of partial coalescent trees for Beta and related coalescents. This allows us to give the asymptotic distribution of the number of (neutral) mutations in the partial tree. This is a first step to study the asymptotic distribution of a natural estimator of DNA mutation rate for species with large families.


On a class number formula for real quadratic number fields

Abstract: For an even Dirichlet character psi, we obtain a formula for L(1,psi) in terms of a sum of Dirichlet L-series evaluated at s=2 and s=3 and a rapidly convergent numerical series involving the central binomial coefficients. We then derive a class number formula for real quadratic number fields by taking L(s,psi) to be the quadratic L-series associated with these fields.


Random spatial growth with paralyzing obstacles

Abstract: We study models of spatial growth processes where initially there are sources of growth (indicated by the colour green) and sources of a growth-stopping (paralyzing) substance (indicated by red). The green sources expand and may merge with others (there is no `inter-green' competition). The red substance remains passive as long as it is isolated. However, when a green cluster comes in touch with the red substance, it is immediately invaded by the latter, stops growing and starts to act as red substance itself. In our main model space is represented by a graph, of which initially each vertex is randomly green, red or white (vacant), and the growth of the green clusters is similar to that in first-passage percolation. The main issues we investigate are whether the model is well-defined on an infinite graph (e.g. the $d$-dimensional cubic lattice), and what can be said about the distribution of the size of a green cluster just before it is paralyzed. We show that, if the initial density of red vertices is positive, and that of white vertices is sufficiently small, the model is indeed well-defined and the above distribution has an exponential tail. In fact, we believe this to be true whenever the initial density of red is positive. This research also led to a relation between invasion percolation and critical Bernoulli percolation which seems to be of independent interest.


Two Erdos problems on lacunary sequences: Chromatic number and Diophantine approximation

Abstract: Let ${n_k}$ be an increasing lacunary sequence, i.e., $n_{k+1}/n_k>1+r$ for some $r>0$. In 1987, P. Erdos asked for the chromatic number of a graph $G$ on the integers, where two integers $a,b$ are connected by an edge iff their difference $|a-b|$ is in the sequence ${n_k}$. Y. Katznelson found a connection to a Diophantine approximation problem (also due to Erdos): the existence of $x$ in $(0,1)$ such that all the multiples $n_j x$ are at least distance $\delta(x)>0$ from the set of integers. Katznelson bounded the chromatic number of $G$ by $Cr^{-2}|\log r|$. We apply the Lov\'asz local lemma to establish that $\delta(x)>cr|\log r|^{-1}$ for some $x$, which implies that the chromatic number of $G$ is at most $Cr^{-1} |\log r|$. This is sharp up to the logarithmic factor.


A p-adic quasi-quadratic point counting algorithm

Abstract: In this article we give an algorithm for the computation of the number of rational points on the Jacobian variety of a generic ordinary hyperelliptic curve defined over a finite field of cardinality $q$ with time complexity $O(n^{2+o(1)})$ and space complexity $O(n^2)$, where $n=\log(q)$. In the latter complexity estimate the genus and the characteristic are assumed as fixed. Our algorithm forms a generalization of both, the AGM algorithm of J.-F. Mestre and the canonical lifting method of T. Satoh. We canonically lift a certain arithmetic invariant of the Jacobian of the hyperelliptic curve in terms of theta constants. The theta null values are computed with respect to a semi-canonical theta structure of level $2^\nu p$ where $\nu >0$ is an integer and $p=\mathrm{char}(\F_q)>2$. The results of this paper suggest a global positive answer to the question whether there exists a quasi-quadratic time algorithm for the computation of the number of rational points on a generic ordinary abelian variety defined over a finite field.


Selbstduale Vertexoperatorsuperalgebren und das Babymonster (Self-dual Vertex Operator Super Algebras and the Baby Monster)

Abstract: We investigate self-dual vertex operator algebras (VOAs) and super algebras (SVOAs). Using the genus one correlation functions, it is shown that self-dual SVOAs exist only for half-integral central charges. It is described how self-dual SVOAs can be constructed from self-dual VOAs of larger central charge. The analogy with integral lattices and binary codes is emphasized. One main result is the construction of the shorter Moonshine module, a self-dual SVOA of central charge 23.5 on which the Baby monster - the second largest sporadic simple group - acts by automorphisms. The shorter Moonshine module has the character q^(-47/48)*(1+ 4371q^(3/2)+ 96256q^2+ 1143745q^(5/2) +...) and is the "shorter cousin" of the Moonshine module. Its lattice and code analog are the shorter Leech lattice and shorter Golay code. We conjecture that the shorter Moonshine module is the unique SVOA with this character. The final chapter introduces the notion of extremal VOAs and SVOAs. These are self-dual (S)VOAs with character having the same first few coefficients as the vacuum representation of the Virasoro algebra of the same central charge. We show that extremal VOAs exist at least for the central charges 8, 16, 24, 32, 40 and that extremal SVOAs exist only for the central charges c=0.5, 1, ..., 7.5, 8, 12, 14, 15, 15.5, 23.5 and 24. Examples for c=24 (resp. 23.5) are the (shorter) Moonshine module. Again, our results are similar to results known for codes and lattices.


Braided doubles

Abstract: Braided doubles provide a unifying framework for classical and quantum universal enveloping algebras and rational Cherednik algebras. They are a class of algebras with triangular decomposition, arising from a deformation problem, the solutions to which are called quasi-Yetter-Drinfeld modules. A basic family of quasi-YD modules is provided by braidings (matrices satisfying the quantum Yang-Baxter equation); these give rise to quantum versions of the Weyl algebra, where the role of polynomial rings is played by Nichols-Woronowicz algebras. Rational Cherednik algebras for t = 0 emerge as subalgebras in doubles of Nichols-Woronowicz algebras. For nonzero t, the Nichols-Woronowicz algebra is replaced with an algebra associated to the classical Yang-Baxter equation.


Approximately bisimilar symbolic models for nonlinear control systems

Abstract: Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models are very powerful when dealing with physical phenomena, they are less suitable to describe software and hardware interfacing the physical world. For this reason there is a growing interest in describing control systems through symbolic models that are abstract descriptions of the continuous dynamics, where each "symbol" corresponds to an "aggregate" of states in the continuous model. Since these symbolic models are of the same nature of the models used in computer science to describe software and hardware, they provide a unified language to study problems of control in which software and hardware interact with the physical world. Furthermore the use of symbolic models enables one to leverage techniques from supervisory control and algorithms from game theory for controller synthesis purposes. In this paper we show that every incrementally globally asymptotically stable nonlinear control system is approximately equivalent (bisimilar) to a symbolic model. The approximation error is a design parameter in the construction of the symbolic model and can be rendered as small as desired. Furthermore if the state space of the control system is bounded the obtained symbolic model is finite. For digital control systems, and under the stronger assumption of incremental input-to-state stability, symbolic models can be constructed through a suitable quantization of the inputs.


Aperiodic Pointlikes and Beyond

Abstract: We prove that if $\pi$ is a recursive set of primes, then pointlike sets are decidable for the pseudovariety of semigroups whose subgroups are $\pi$-groups. In particular, when $\pi$ is the empty set, we obtain Henckell's decidability of aperiodic pointlikes. Our proof, restricted to the case of aperiodic semigroups, is simpler than the original proof.


The Compositions of the Differential Operations and Gateaux Directional Derivative

Abstract: In this paper we determine the number of the meaningful compositions of higher order of the differential operations and Gateaux directional derivative.


Giga-Periodic Orbits for Weakly Coupled Tent and Logistic Discretized Maps

Abstract: We introduce new models of very weakly coupled logistic and tent maps for which orbits of very long period are found. The length of these periods is far greater than one billion. The property of these models relatively to the distribution of the iterated points (invariant measure) is described.


Self-equivalence 3rd order ODEs by time-fixed transformations

Abstract: Let y''' = f(x, y, y', y'') be a 3rd order ODE. By Cartan equivalence method, we will study the local equivalence problem under the transformations group of time-fixed coordinates.


Proof of generalized Riemann hypothesis for Dedekind zetas and Dirichlet L-functions

Abstract: A short proof of the generalized Riemann hypothesis (gRH in short) for zeta functions $\zeta_{k}$ of algebraic number fields $k$ - based on the Hecke's proof of the functional equation for $\zeta_{k}$ and the method of the proof of the Riemann hypothesis derived in [$M_{A}$] (algebraic proof of the Riemann hypothesis) is given. The generalized Riemann hypothesis for Dirichlet L-functions is an immediately consequence of (gRH) for $\zeta_{k}$ and suitable product formula which connects the Dedekind zetas with L-functions.


A Geometric Zero-One Law

Abstract: Each relational structure X has an associated Gaifman graph, which endows X with the properties of a graph. Suppose that X is infinite, connected and of bounded degree. A first-order sentence in the language of X is almost surely true (resp. a.s. false) for finite substructures of X if for every element x in X, the fraction of substructures of the ball of radius n around x which satisfy the sentence approaches 1 (resp. 0) as n approaches infinity. Suppose further that, for every finite substructure, X has a disjoint isomorphic substructure. Then every sentence is a.s. true or a.s. false for finite substructures of X. This is one form of the geometric zero-one law. We formulate it also in a form that does not mention the ambient infinite structure. In addition, we investigate various questions related to the geometric zero-one law.


Linearizing torsion classes in the Picard group of algebraic curves over finite fields

Abstract: We address the problem of computing in the group of $\ell^k$-torsion rational points of the jacobian variety of algebraic curves over finite fields, with a view toward computing modular representations.


Baer and Mittag-Leffler modules over tame hereditary algebras

Abstract: We develop a structure theory for two classes of infinite dimensional modules over tame hereditary algebras: the Baer modules, and the Mittag-Leffler ones.


On the antipode of a co-Frobenius (co)quasitriangular Hopf algebra

Abstract: We extend to the co-Frobenius case a result of Drinfeld and Radford related to the fourth power of the antipode of a finite dimensional (co)quasitriangular Hopf algebra.


Parametrization of Pythagorean triples by a single triple of polynomials

Abstract: It is well known that Pythagorean triples can be parametrized by two triples of polynomials with integer coefficients. We show that no single triple of polynomials with integer coefficients in any number of variables is sufficient, but that there exists a parametrization of Pythagorean triples by a single triple of integer-valued polynomials.


Remarks on polynomial parametrization of sets of integer points

Abstract: If, for a subset S of Z^k, we compare the conditions of being parametrizable (a) by a single k-tuple of polynomials with integer coefficients, (b) by a single k-tuple of integer-valued polynomials and, (c) by finitely many k-tuples of polynomials with integer coefficients (variables ranging through the integers in each case) then (a) implies (b) (obviously), (b) implies (c), and neither converse holds. Condition (b) is equivalent to the set S being the set of integer values taken by some k-tuple of polynomials with rational coefficients as the variables range through the integers. We also show that every co-finite subset of Z^k is parametrizable a single k-tuple of polynomials with integer coefficients.


The rectifiability of singular sets for geometric flows (I)--Yang-Mills flow

Abstract: We prove that monotonicity of density and energy inequality imply the rectifiability of the singular sets for Yang-Mills flow.


On the decycling of powers and products of cycles

Abstract: We calculate exact values of the decycling numbers of $C_{m} \times C_{n}$ for $m=3,4$, of $C_{n}^{2}$, and of $C_{n}^{3}$.


Ring extension problem, Shukla cohomology and Ann-category theory

Abstract: Every ring extension of $A$ by $R$ induces a pair of group homomorphisms $\mathcal{L}^{*}:R\to End_\Z(A)/L(A);\mathcal{R}^{*}:R\to End_\Z(A)/R(A),$ preserving multiplication, satisfying some certain conditions. A such 4-tuple $(R,A,\mathcal{L}^{*},\mathcal{R}^{*})$ is called a ring pre-extension. Each ring pre-extension induces a $R$-bimodule structure on bicenter $K_A$ of ring $A,$ and induces an obstruction $k,$ which is a 3-cocycle of $\Z$-algebra $R,$ with coefficients in $R$-bimodule $K_A$ in the sense of Shukla. Each obstruction $k$ in this sense induces a structure of a regular Ann-category of type $(R,K_A).$ This result gives us the first application of Ann-category in extension problems of algebraic structures, as well as in cohomology theories.


Even more simple cardinal invariants

Abstract: Using GCH, we force the following: There are continuum many simple cardinal characteristics with pairwise different values.


Loop Spaces and Langlands Parameters

Abstract: We apply the technique of S^1-equivariant localization to sheaves on loop spaces in derived algebraic geometry, and obtain a fundamental link between two families of categories at the heart of geometric representation theory. Namely, we categorify the well known relationship between free loop spaces, cyclic homology and de Rham cohomology to recover the category of D-modules on a smooth stack X as a localization of the category of S^1-equivariant coherent sheaves on its loop space LX. The main observation is that this procedure connects categories of equivariant D-modules on flag varieties with categories of equivariant coherent sheaves on the Steinberg variety and its relatives. This provides a direct connection between the geometry of finite and affine Hecke algebras and braid groups, and a uniform geometric construction of all of the categorical parameters for representations of real and complex reductive groups. This paper forms the first step in a project to apply the geometric Langlands program to the complex and real local Langlands programs, which we describe.


Parabolic equations with partially VMO coefficients and boundary value problems in Sobolev spaces with mixed norms

Abstract: Second order parabolic equations in Sobolev spaces with mixed norms are studied. The leading coefficients (except $a^{11}$) are measurable in both time and one spatial variable, and VMO in the other spatial variables. The coefficient $a^{11}$ is measurable in time and VMO in the spatial variables. The unique solvability of equations in the whole space is applied to solving Dirichlet and oblique derivative problems for parabolic equations defined in a half-space.