title: Impossible metric conditions on exotic R^4's

abstract: There are many theorems in the differential geometry literature of the following sort. Let M be a complete Riemannian manifold with some conditions on various curvatures, diameters, volumes, etc. Then M is homotopy equivalent to a finite CW complex, or M is the interior of a compact, topological manifold with boundary. At first glance it seems unlikely that such theorems have anything to say about smooth manifolds homeomorphic to R^4. However, there is a common theme to all the proofs which forbids the existence of such metrics on most (and possibly all) exotic R^4's.


title: Quiver $D$-Modules and Homology of Local Systems over an Arrangement of Hyperplanes

abstract: Let $C$ be an arrangement of affine hyperplanes in a complex affine space $X$, $D$ the ring of algebraic differential operators on $X$. We define a category of quivers associated with $C$. A quiver is a collection of vector spaces, attached to strata of the arrangement, and suitable linear maps between the vector spaces . To a quiver we assign a $D$-module on $X$, called the quiver $D$-module. We describe basic operations for $D$-modules in terms of linear algebra of quivers. We give an explicit construction of a free resolution of a quive $D$-module and use the construction to describe the associated perverse sheaf. As an application, we calculate the cohomology of $X$ with coefficients in the quiver perverse sheaf (under certain assumptions).


title: Hyperbolic Polynomials Approach to Van der Waerden/Schrijver-Valiant like Conjectures : Sharper Bounds, Simpler Proofs and Algorithmic Applications

abstract: Let $p(x_1,...,x_n) = p(X), X \in R^{n}$ be a homogeneous polynomial of degree $n$ in $n$ real variables, $e = (1,1,..,1) \in R^n$ be a vector of all ones . Such polynomial $p$ is called $e$-hyperbolic if for all real vectors $X \in R^{n}$ the univariate polynomial equation $P(te - X) = 0$ has all real roots $\lambda_{1}(X) \geq ... \geq \lambda_{n}(X)$ . The number of nonzero roots $|\{i :\lambda_{i}(X) \neq 0 \}|$ is called $Rank_{p}(X)$ . A $e$-hyperbolic polynomial $p$ is called $POS$-hyperbolic if roots of vectors $X \in R^{n}_{+}$ with nonnegative coordinates are also nonnegative (the orthant $R^{n}_{+}$ belongs to the hyperbolic cone) and $p(e) > 0$ . Below $\{e_1,...,e_n\}$ stands for the canonical orthogonal basis in $R^{n}$. The main results states that if $p(x_1,x_2,...,x_n)$ is a $POS$-hyperbolic (homogeneous) polynomial of degree $n$, $Rank_{p} (e_{i}) = R_i$ and $ p(x_1,x_2,...,x_n) \geq \prod_{1 \leq i \leq n} x_i ; x_i > 0, 1 \leq i \leq n , $ then the following inequality holds $$ \frac{\partial^n}{\partial x_1...\partial x_n} p(0,...,0) \geq \prod_{1 \leq i \leq n} (\frac{G_{i} -1}{G_{i}})^{G_{i} -1} (G_i = \min(R_{i}, n+1-i)) . $$ This theorem is a vast (and unifying) generalization of as the van der Waerden conjecture on the permanents of doubly stochastic matrices as well Schrijver-Valiant conjecture on the number of perfect matchings in $k$-regular bipartite graphs . The paper is (almost) self-contained, most of the proofs can be found in the {\bf Appendices}.


title: Individual-based probabilistic models of adaptive evolution and various scaling approximations

abstract: We are interested in modelling Darwinian evolution, resulting from the interplay of phenotypic variation and natural selection through ecological interactions. Our models are rooted in the microscopic, stochastic description of a population of discrete individuals characterized by one or several adaptive traits. The population is modelled as a stochastic point process whose generator captures the probabilistic dynamics over continuous time of birth, mutation, and death, as influenced by each individual's trait values, and interactions between individuals. An offspring usually inherits the trait values of her progenitor, except when a mutation causes the offspring to take an instantaneous mutation step at birth to new trait values. We look for tractable large population approximations. By combining various scalings on population size, birth and death rates, mutation rate, mutation step, or time, a single microscopic model is shown to lead to contrasting macroscopic limits, of different nature: deterministic, in the form of ordinary, integro-, or partial differential equations, or probabilistic, like stochastic partial differential equations or superprocesses. In the limit of rare mutations, we show that a possible approximation is a jump process, justifying rigorously the so-called trait substitution sequence. We thus unify different points of view concerning mutation-selection evolutionary models.


title: Stokes' formulae on classical symbol valued forms and applications

abstract: The Wodzicki residue and the cut-off integral extend to classical symbol-valued forms. We show that they obey a Stokes' type property and that the extended Wodzicki residue can be interpreted as a complex residue like the ordinary one. In the case of cut-off integrals, Stokes' property (i.e. vanishing on exact forms) only holds for non-integer order symbol-valued forms and leads to an integration by parts formula and translation invariance for cut-off integrals on non-integer order classical symbols. The extended Wodzicki residue yields an even residue cycle on classical symbols and an odd cochain (the cosphere cochain) which measures an obstruction to Stokes' property of the cut-off integral on integer order symbol-valued forms.


title: A Combinatorial Study on Quiver Varieties

abstract: This is an expository paper which has two parts. In the first part, we study quiver varieties of affine $A$-type from a combinatorial point of view. We present a combinatorial method for obtaining a closed formula for the generating function of Poincar\'e polynomials of quiver varieties in rank 1 cases. Our main tools are cores and quotients of Young diagrams. In the second part, we give a brief survey of instanton counting in physics, where quiver varieties appear as moduli spaces of instantons, focusing on its combinatorial aspects.


title: SOS approximations of nonnegative polynomials via simple high degree perturbation

abstract: We show that every real polynomial $f$ nonnegative on $[-1,1]^{n}$ can be approximated in the $l_{1}$-norm of coefficients, by a sequence of polynomials $\{f_{\ep r}\}$ that are sums of squares. This complements the existence of s.o.s. approximations in the denseness result of Berg, Christensen and Ressel, as we provide a very simple and \textit{explicit} approximation sequence. Then we show that if the Moment Problem holds for a basic closed semi-algebraic set $K_S\subset\R^n$ with nonempty interior, then every polynomial nonnegative on $K_S$ can be approximated in a similar fashion by elements from the corresponding preordering. Finally, we show that the degree of the perturbation in the approximating sequence depends on $\epsilon$ as well as the degree and the size of coefficients of the nonnegative polynomial $f$, but not on the specific values of its coefficients.


title: On decomposition numbers of the cyclotomic q-Schur algebras

abstract: Let $S(\Lambda)$ be the cyclotomic q-Schur algebra associated to the Ariki-Koike algebra $H$. We construct a certain subalgebra $S^0(\Lambda)$ of $S(\Lambda)$, and show that it is a standardly based algebra in the sense of Du and Rui. $S^0(\Lambda)$ has a natural quotient $\bar{S^0}(\Lambda)$, which turns out to be a cellular algebra. In the case where the modified Ariki-Koike algebra $H^{\flat}$ is defined, $\bar{S^0}(\Lambda)$ coincides with the cyclotomic q-Schur algebra associated to $H^{\flat}$. In this paper, we discuss a relationship among the decomposition numbers of $S(\Lambda)$, $S^0(\Lambda)$ and $\bar{S^0}(\Lambda)$. In particular, we show that some important part of the decomposition matrix of $S(\Lambda)$ coincides with a part of the decomposition matrix of $\bar{S^0}(\Lambda)$.


title: Index Function and Minimal Cycles

abstract: Let P be a closed triangulated manifold, dim P=n. We consider the group of simplicial 1-chains C_1(P) and the homology group H_1(P). We also use some nonnegative weighting function L on C_1(P). For any homological class from H_1(P) method proposed in article builds a cycle z with minimal weight L(z). The main idea is in using a simplicial scheme of space of the regular covering with automorphism group H_1(P). We construct this covering applying index function relative to any basis of group H_{n-1}(P).


title: Replacing a graph clasper by tree claspers

abstract: We prove that two links related by a surgery along a connected, strict graph clasper of degree n are C_n-equivalent, i.e, related by a sequence of surgeries along strict tree claspers of degree n.


title: Brunnian links, claspers and Goussarov-Vassiliev finite type invariants

abstract: We prove that if n\ge1, then an (n+1)-component Brunnian link L in a connected, oriented 3-manifold is C_n-equivalent to an unlink. We also prove that if n\ge2, then L can not be distinguished from an unlink by any Goussarov-Vassiliev finite type invariant of degree<2n.


title: Semi-geostrophic particle motion and exponentially accurate normal forms

abstract: We give an exponentially-accurate normal form for a Lagrangian particle moving in a rotating shallow-water system in the semi-geostrophic limit, which describes the motion in the region of an exponentially-accurate slow manifold (a region of phase space for which dynamics on the fast scale are exponentially small in the Rossby number). The result extends to numerical solutions of this problem via backward error analysis, and extends to the Hamiltonian Particle-Mesh (HPM) method for the shallow-water equations where the result shows that HPM stays close to balance for exponentially-long times in the semi-geostrophic limit. We show how this result is related to the variational asymptotics approach of [Oliver, 2005]; the difference being that on the Hamiltonian side it is possible to obtain strong bounds on the growth of fast motion away from (but near to) the slow manifold.


title: Self-Similar Solutions to Curvature Flow of Convex Hypersurfaces

abstract: We classify the self-similar solutions to a class of Weingarten curvature flow of connected compact convex hypersurfaces, isometrically immersed into space forms with non-positive curvature, and obtain a new characterization of a sphere in a Euclidean space $\R^{n+1}$.


title: Free multiflows in bidirected and skew-symmetric graphs

abstract: A graph (digraph) $G=(V,E)$ with a set $T\subseteq V$ of terminals is called inner Eulerian if each nonterminal node $v$ has even degree (resp. the numbers of edges entering and leaving $v$ are equal). Cherkassky and Lov\'asz showed that the maximum number of pairwise edge-disjoint $T$-paths in an inner Eulerian graph $G$ is equal to $\frac12\sum_{s\in T} \lambda(s)$, where $\lambda(s)$ is the minimum number of edges whose removal disconnects $s$ and $T-\{s\}$. A similar relation for inner Eulerian digraphs was established by Lomonosov. Considering undirected and directed networks with ``inner Eulerian'' edge capacities, Ibaraki, Karzanov, and Nagamochi showed that the problem of finding a maximum integer multiflow (where partial flows connect arbitrary pairs of distinct terminals) is reduced to $O(\log T)$ maximum flow computations and to a number of flow decompositions. In this paper we extend the above max-min relation to inner Eulerian bidirected and skew-symmetric graphs and develop an algorithm of complexity $O(VE\log T\log(2+V^2/E))$ for the corresponding capacitated cases. In particular, this improves the known bound for digraphs. Our algorithm uses a fast procedure for decomposing a flow with O(1) sources and sinks in a digraph into the sum of one-source-one-sink flows.


title: A general realization theorem for matrix-valued Herglotz-Nevanlinna functions

abstract: New special types of stationary conservative impedance and scattering systems, the so-called non-canonical systems, involving triplets of Hilbert spaces and projection operators, are considered. It is established that every matrix-valued Herglotz-Nevanlinna function of the form V(z)=Q+Lz+\int_{\dR}(\frac{1}{t-z}-\frac{t}{1+t^2})d\Sigma(t) can be realized as a transfer function of such a new type of conservative impedance system. In this case it is shown that the realization can be chosen such that the main and the projection operators of the realizing system satisfy a certain commutativity condition if and only if L=0. It is also shown that $V(z)$ with an additional condition (namely, $L$ is invertible or L=0), can be realized as a linear fractional transformation of the transfer function of a non-canonical scattering $F_+$-system. In particular, this means that every scalar Herglotz-Nevanlinna function can be realized in the above sense. Moreover, the classical Livsic systems (Brodskii-Livsic operator colligations) can be derived from $F_+$-systems as a special case when $F_+=I$ and the spectral measure $d\Sigma(t)$ is compactly supported. The realization theorems proved in this paper are strongly connected with, and complement the recent results by Ball and Staffans.


title: On the residual solvability of generalized free products of finitely generated nilpotent groups

abstract: In this paper we study the residual solvability of the generalized free product of finitely generated nilpotent groups. We show that these kinds of structures are often residually solvable.


title: Real Separated Algebraic Curves, Quadrature Domains, Ahlfors Type Functions and Operator Theory

abstract: The aim of this paper is to inter-relate several algebraic and analytic objects, such as real-type algebraic curves, quadrature domains, functions on them and rational matrix functions with special properties, and some objects from Operator Theory, such as vector Toeplitz operators and subnormal operators. Our tools come from operator theory, but some of our results have purely algebraic formulation. We make use of Xia's theory of subnormal operators and of the previous results by the author in this direction. We also correct (in Section 5) some inaccuracies in two papers by the author in Revista Matematica Iberoamericana (1998).


title: On Visibility Graphs of Point Sets in the Plane

abstract: The visibility graph Vis(X) of a discrete point set X in the plane has vertex set X and an edge xy for every two points x,y\in X whenever there is no other point in X on the line segment between x and y. We show that for every graph G, there is a point set X, such that the subgraph of Vis(X\cup Z^2) induced by X is isomorphic to G. As a consequence, we show that there are visibility graphs of arbitrary high chromatic number with clique number six settling a question by K\'{a}ra, P\'{o}r and Wood.


title: Kaehler Metrics Generated by Functions of the Time-Like Distance in the Flat Kaehler-Lorentz Space

abstract: We prove that every Kaehler metric, whose potential is a function of the time-like distance in the flat Kaehler-Lorentz space, is of quasi-constant holomorphic sectional curvatures, satisfying certain conditions. This gives a local classification of the Kaehler manifolds with the above mentioned metrics. New examples of Sasakian space forms are obtained as real hypersurfaces of a Kaehler space form with special invariant distribution. We introduce three types of even dimensional rotational hypersurfaces in flat spaces and endow them with locally conformal Kaehler structures. We prove that these rotational hypersurfaces carry Kaehler metrics of quasi-constant holomorphic sectional curvatures satisfying some conditions, corresponding to the type of the hypersurfaces. The meridians of those rotational hypersurfaces, whose Kaehler metrics are Bochner-Kaehler (especially of constant holomorphic sectional curvatures) are also described.


title: Godel's theorem is invalid

abstract: Goedel's results have had a great impact in diverse fields such as philosophy, computer sciences and fundamentals of mathematics. The fact that the rule of mathematical induction is contradictory with the rest of clauses used by Goedel to prove his undecidability and incompleteness theorems is proved in this paper. This means that those theorems are invalid.


title: On f-vectors of Minkowski additions of convex polytopes

abstract: The objective of this paper is to present two types of results on Minkowski sums of convex polytopes. The first is about a special class of polytopes we call perfectly centered and the combinatorial properties of the Minkowski sum with their own dual. In particular, we have a characterization of face lattice of the sum in terms of the face lattice of a given perfectly centered polytope. Exact face counting formulas are then obtained for perfectly centered simplices and hypercubes. The second type of results concerns tight upper bounds for the f-vectors of Minkowski sums of several polytopes.


title: Counting without sampling. New algorithms for enumeration problems using statistical physics

abstract: We propose a new type of approximate counting algorithms for the problems of enumerating the number of independent sets and proper colorings in low degree graphs with large girth. Our algorithms are not based on a commonly used Markov chain technique, but rather are inspired by developments in statistical physics in connection with correlation decay properties of Gibbs measures and its implications to uniqueness of Gibbs measures on infinite trees, reconstruction problems and local weak convergence methods. On a negative side, our algorithms provide $\epsilon$-approximations only to the logarithms of the size of a feasible set (also known as free energy in statistical physics). But on the positive side, our approach provides deterministic as opposed to probabilistic guarantee on approximations. Moreover, for some regular graphs we obtain explicit values for the counting problem. For example, we show that every 4-regular $n$-node graph with large girth has approximately $(1.494...)^n$ independent sets, and in every $r$-regular graph with $n$ nodes and large girth the number of $q\geq r+1$-proper colorings is approximately $[q(1-{1\over q})^{r\over 2}]^n$, for large $n$. In statistical physics terminology, we compute explicitly the limit of the log-partition function. We extend our results to random regular graphs. Our explicit results would be hard to derive via the Markov chain method.


title: Cylinder renormalization for Siegel disks and a constructive Measurable Riemann Mapping Theorem

abstract: The boundary of the Siegel disk of a quadratic polynomial with an irrationally indifferent fixed point with the golden mean rotation number has been observed to be self-similar. The geometry of this self-similarity is universal for a large class of holomorphic maps. A renormalization explanation of this universality has been proposed in the literature. However, one of the ingredients of this explanation, the hyperbolicity of renormalization, has not been proved yet. The present work considers a cylinder renormalization - a novel type of renormalization for holomorphic maps with a Siegel disk which is better suited for a hyperbolicity proof. A key element of a cylinder renormalization of a holomorphic map is a conformal isomorphism of a dynamical quotient of a subset of $\field{C}$ to a bi-infinite cylinder $\field{C} / \field{Z}$. A construction of this conformal isomorphism is an implicit procedure which can be performed using the Measurable Riemann Mapping Theorem. We present a constructive proof of the Measurable Riemann Mapping Theorem, and obtain rigorous bounds on a numerical approximation of the desired conformal isomorphism. Such control of the uniformizing conformal coordinate is of key importance for a rigorous computer-assisted study of cylinder renormalization.


title: Pathwise uniqueness for two dimensional reflecting Brownian motion in Lipschitz domains

abstract: We give a simple proof that in a Lipschitz domain in two dimensions with Lipschitz constant one, there is pathwise uniqueness for the Skorokhod equation governing reflecting Brownian motion.


title: Normal form for travelling kinks in discrete Klein-Gordon lattices

abstract: We study travelling kinks in the spatial discretizations of the nonlinear Klein--Gordon equation, which include the discrete $\phi^4$ lattice and the discrete sine--Gordon lattice. The differential advance-delay equation for travelling kinks is reduced to the normal form, a scalar fourth-order differential equation, near the quadruple zero eigenvalue. We show numerically non-existence of monotonic kinks (heteroclinic orbits between adjacent equilibrium points) in the fourth-order equation. Making generic assumptions on the reduced fourth-order equation, we prove the persistence of bounded solutions (heteroclinic connections between periodic solutions near adjacent equilibrium points) in the full differential advanced-delay equation with the technique of center manifold reduction. Existence and persistence of multiple kinks in the discrete sine--Gordon equation are discussed in connection to recent numerical results of \cite{ACR03} and results of our normal form analysis.


title: The parity of the Cochran-Harvey invariants of 3-manifolds

abstract: Given a finitely presented group G and an epimorphism G to the group of integers Cochran and Harvey defined a sequence of integral invariants, which can be viewed as the degrees of higher--order Alexander polynomials. Cochran and Harvey showed that (up to a minor modification) this is a never decreasing sequence of numbers if G is the fundamental group of a 3-manifold with empty or toroidal boundary, and that these invariants give lower bounds on the Thurston norm. Using a certain Cohn localization and the duality of Reidemeister torsion we show that for a fundamental group of a 3--manifold any jump in the sequence is necessarily even. This answers in particular a question of Cochran. Furthermore using results of Turaev we show that under a mild extra hypothesis the parity of the Cochran--Harvey invariant agrees with the parity of the Thurston norm.


title: Formal loops III: Factorizing functions and the Radon transform

abstract: To any algebraic variety X and and closed 2-form \omega on X, we associate the "symplectic action functional" T(\omega) which is a function on the formal loop space LX introduced by the authors in math.AG/0107143. The correspondence \omega --> T(\omega) can be seen as a version of the Radon transform. We give a characterization of the functions of the form T(\omega) in terms of factorizability (infinitesimal analog of additivity in holomorphic pairs of pants) as well as in terms of vertex operator algebras. These results will be used in the subsequent paper which will relate the gerbe of chiral differential operators on X (whose lien is the sheaf of closed 2-forms) and the determinantal gerbe of the tangent bundle of LX (whose lien is the sheaf of invertible functions on LX). On the level of liens this relation associates to a closed 2-form \omega the invertible function exp T(\omega).


title: Parametrizing the abstract Ellentuck theorem

abstract: We give a parametrization with perfect sets of the abstract Ellentuck theorem. The main tool for achieving this goal is a sort of parametrization of an abstract version of the Nash-Williams theorem. As corollaries, we obtain some known classical results like the parametrized version of the Galvin-Prikry theorem due to Miller and Todorcevic, and the parametrized version of Ellentuck's theorem due to Pawlikowski. Also, we obtain parametized vesions of nonclassical results such as Milliken's theorem.


title: On Algebraic Multi-Ring Spaces

abstract: A Smarandache multi-space is a union of $n$ spaces $A_1,A_2,..., A_n$ with some additional conditions holding. Combining Smarandache multi-spaces with rings in classical ring theory, the conception of multi-ring spaces is introduced. Some characteristics of a multi-ring space are obtained in this paper.


title: On Multi-Vector Spaces

abstract: A Smarandache multi-space is a union of $n$ spaces $A_1,A_2,..., A_n$ with some additional conditions holding. Combining Smarandache multi-spaces with linear vector spaces in classical linear algebra, the conception of multi-vector spaces is introduced. Some characteristics of a multi-vector space are obtained in this paper.


title: On Multi-Metric Spaces

abstract: A Smarandache multi-space is a union of $n$ spaces $A_1,A_2,..., A_n$ with some additional conditions holding. Combining Smarandache multi-spaces with classical metric spaces, the conception of multi-metric space is introduced. Some characteristics of a multi-metric space are obtained and Banach's fixed-point theorem is generalized in this paper.


title: Evolution Equations and Functions of Hypergeometric Type over Fields of Positive Characteristic

abstract: We consider a class of partial differential equations with Carlitz derivatives over a local field of positive characteristic, for which an analog of the Cauchy problem is well-posed. Equations of such type correspond to quasi-holonomic modules over the ring of differential operators with Carlitz derivatives. The above class of equations includes some equations of hypergeometric type. Building on the work of Thakur, we develop his notion of the hypergeometric function of the first kind (whose parameters belonged initially to $\mathbb Z$) in such a way that it becomes fully an object of the function field arithmetic, with the variable, parameters and values from the field of positive characteristic.


title: Completely empty pyramids on integer lattices and two-dimensional faces of multidimensional continued fractions

abstract: In this paper we develop an integer-affine classification of three-dimensional multistory completely empty convex marked pyramids. We apply it to obtain the complete lists of compact two-dimensional faces of multidimensional continued fractions lying in planes with integer distances to the origin equal 2, 3, 4 ... The faces are considered up to the action of the group of integer-linear transformations. In conclusion we formulate some actual unsolved problems associated with the generalizations for n-dimensional faces and more complicated face configurations.


title: On uniform distribution modulo one

abstract: We introduce an elementary argument to the theory of distribution of sequences modulo one.


title: A semifilter approach to selection principles II: tau*-covers

abstract: In this paper we settle all questions whether (it is consistent that) the properties P and Q [do not] coincide, where P and Q run over selection principles of the type U_fin(O,A).


title: A stochastic-variational model for soft Mumford-Shah segmentation

abstract: In contemporary image and vision analysis, stochastic approaches demonstrate great flexibility in representing and modeling complex phenomena, while variational-PDE methods gain enormous computational advantages over Monte-Carlo or other stochastic algorithms. In combination, the two can lead to much more powerful novel models and efficient algorithms. In the current work, we propose a stochastic-variational model for soft (or fuzzy) Mumford-Shah segmentation of mixture image patterns. Unlike the classical hard Mumford-Shah segmentation, the new model allows each pixel to belong to each image pattern with some probability. We show that soft segmentation leads to hard segmentation, and hence is more general. The modeling procedure, mathematical analysis, and computational implementation of the new model are explored in detail, and numerical examples of synthetic and natural images are presented.


title: Mellin-Barnes integrals as Fourier-Mukai transforms

abstract: We study the generalized hypergeometric system introduced by Gelfand, Kapranov and Zelevinsky and its relationship with the toric Deligne-Mumford (DM) stacks recently studied by Borisov, Chen and Smith. We construct series solutions with values in a combinatorial version of the Chen-Ruan (orbifold) cohomology and in the $K$-theory of the associated DM stacks. In the spirit of the homological mirror symmetry conjecture of Kontsevich, we show that the $K$-theory action of the Fourier-Mukai functors associated to basic toric birational maps of DM stacks are mirrored by analytic continuation transformations of Mellin-Barnes type.


title: Tableau complexes

abstract: Let X,Y be finite sets and T a set of functions from X -> Y which we will call "tableaux". We define a simplicial complex whose facets, all of the same dimension, correspond to these tableaux. Such "tableau complexes" have many nice properties, and are frequently homeomorphic to balls, which we prove using vertex decompositions. In our motivating example, the facets are labeled by semistandard Young tableaux, and the more general interior faces are labeled by Buch's set-valued semistandard tableaux. One vertex decomposition of this "Young tableau complex" parallels Lascoux's transition formula for vexillary double Grothendieck polynomials. Consequently, we obtain formulae (both old and new) for these polynomials. In particular, we present a common generalization of the formulae of Wachs and Buch, each of which implies the classical tableau formula for Schur polynomials.


title: Binomial-Poisson entropic inequalities and the M/M/$\infty$ queue

abstract: This article provides entropic inequalities for binomial-Poisson distributions, derived from the two point space. They appear as local inequalities of the M/M/$\infty$ queue. They describe in particular the exponential dissipation of $\Phi$-entropies along this process. This simple queueing process appears as a model of ``constant curvature'', and plays for the simple Poisson process the role played by the Ornstein-Uhlenbeck process for Brownian Motion. Some of the inequalities are recovered by semi-group interpolation. Additionally, we explore the behaviour of these entropic inequalities under a particular scaling, which sees the Ornstein-Uhlenbeck process as a fluid limit of M/M/$\infty$ queues. Proofs are elementary and rely essentially on the development of a ``$\Phi$-calculus''.


title: Complete orbit spaces of affine torus actions

abstract: Given an action of an algebraic torus on a normal affine variety, we describe all open subsets admitting a complete orbit space.


title: A note on the composition product of symmetric sequences

abstract: We consider the composition product of symmetric sequences in the case where the underlying symmetric monoidal structure does not commute with coproducts. Even though this composition product is not a monoidal structure on symmetric sequences, it has enough structure, namely that of a `normal oplax' monoidal product, to be able to define monoids (which are then operads on the underlying category) and make a bar construction. The main benefit of this work is in the dual setting, where it allows us to define a cobar construction for cooperads.


title: On an Argument of Shkredov on Two-Dimensional Corners

abstract: Let $\mathbb F_2^n$ be the finite field of cardinality $2 ^{n}$. For all large $n$, any subset $A\subset \mathbb F_2^n\times \mathbb F_2 ^n$ of cardinality \begin{equation*} \abs{A} \gtrsim 4^n \log\log n (\log n) ^{-1} \end{equation*} must contain three points $ \{(x,y) ,(x+d,y) ,(x,y+d)\}$ for $x,y,d\in \mathbb F_2^n$ and $d\neq0$. Our argument is an elaboration of an argument of Shkredov \cite {math.NT/0405406}, building upon the finite field analog of Ben Green \cite {math.NT/0409420}. The interest in our result is in the exponent on $ \log n$, which is larger than has been obtained previously.


title: Magnetic Pseudodifferential Operators

abstract: In previous papers, a generalization of the Weyl calculus was introduced in connection with the quantization of a particle moving in $\mathbb R^n$ under the influence of a variable magnetic field $B$. It incorporates phase factors defined by $B$ and reproduces the usual Weyl calculus for B=0. In the present article we develop the classical pseudodifferential theory of this formalism for the standard symbol classes $S^m_{\rho,\delta}$. Among others, we obtain properties and asymptotic developments for the magnetic symbol multiplication, existence of parametrices, boundedness and positivity results, properties of the magnetic Sobolev spaces. In the case when the vector potential $A$ has all the derivatives of order $\ge 1$ bounded, we show that the resolvent and the fractional powers of an elliptic magnetic pseudodifferential operator are also pseudodifferential. As an application, we get a limiting absorption principle and detailed spectral results for self-adjoint operators of the form $H=h(Q,\Pi^A)$, where $h$ is an elliptic symbol, $\Pi^A=D-A$ and $A$ is the vector potential corresponding to a short-range magnetic field.


title: Reflection in a Translation Invariant Surface

abstract: We prove that the focal set generated by the reflection of a point source off a translation invariant surface consists of two sets: a curve and a surface. The focal curve lies in the plane orthogonal to the symmetry direction containing the source, while the focal surface is translation invariant. This is done by constructing explicitly the focal set of the reflected line congruence (2-parameter family of oriented lines in ${\Bbb{R}}^3$) with the aid of the natural complex structure on the space of all oriented affine lines.


title: A Fourth Order Curvature Flow on a CR 3-manifold

abstract: Let $(\mathbf{M}^{3},J,\theta_{0})$ be a closed pseudohermitian 3-manifold. Suppose the associated torsion vanishes and the associated $Q$-curvature has no kernel part with respect to the associated Paneitz operator. On such a background pseudohermitian 3-manifold, we study the change of the contact form according to a certain version of normalized $Q$-curvature flow. This is a fourth order evolution equation. We prove that the solution exists for all time and converges smoothly to a contact form of zero $Q$ -curvature. We also consider other background conditions and obtain a priori bounds up to high orders for the solution.


title: On Solutions of First Order Stochastic Partial Differential Equations

abstract: This note is concerned with an important for modelling question of existence of solutions of stochastic partial differential equations as proper stochastic processes, rather than processes in the generalized sense. We consider a first order stochastic partial differential equations of the form $\pd Ut = DW$, and $\pd Ut-\pd Ux= DW$, where $D$ is a differential operator and $W(t,x)$ is a continuous but non-differentiable function (field). We give a necessary and sufficient condition for stochastic equations to have solutions as functions. The result is then applied to the equation for a yield curve. Proofs are based on probability arguments.


title: Boundary slope diameter and crossing number of 2-bridge knots

abstract: We prove that for 2-bridge knots, the diameter, D, of the set of boundary slopes is twice the crossing number, c. This constitutes partial verification of a conjecture that, for all knots in S^3, D is at most 2c.


title: Options on Hedge Funds under the High Water Mark Rule

abstract: The rapidly growing hedge fund industry has provided individual and institutional investors with new investment vehicles and styles of management. It has also brought forward a new form of performance contract: hedge fund managers receive incentive fees which are typically a fraction of the fund net asset value (NAV) above its starting level - a rule known as high water mark. Options on hedge funds are becoming increasingly popular, in particular because they allow investors with limited capital to get exposure to this new asset class. The goal of the paper is to propose a valuation of plain-vanilla options on hedge funds which accounts for the high water market rule. Mathematically, this valuation leads to an interesting use of local times of Brownian motion. Option prices are numerically computed by inversion of their Laplace transforms.


title: On 2-surfaces in R^4 and R^n

abstract: In this overview report we generalize Erhard Heinz' curvature estimate for minimal graphs in R^3 to graphs in R^n of prescribed mean curvature. Secondly, we analyse these problems in the frame of the outer differential geometry which leads us to the notions of normal torsion and normal curvature for immersions in R^4.


title: Even sets of nodes on sextic surfaces

abstract: We determine the possible even sets of nodes on sextic surfaces in $\Pn 3$, showing in particular that their cardinalities are exactly the numbers in the set $\{24, 32, 40, 56 \}$. We also show that all the possible cases admit an explicit description. The methods that we use are an interplay of coding theory and projective geometry on one hand, of homological and computer algebra on the other. We give a detailed geometric construction for the new case of an even set of 56 nodes, but the ultimate verification of existence relies on computer calculations. The construction gives a maximal family, unirational and of dimension 27, of nodal sextics with an even set of 56 nodes. According to a general theorem of Casnati and Catanese each such nodal surface $F$ is given as the determinant of a symmetric map for an appropriate vector bundle $\E$ depending on $F$. The first difficulty here is to show the existence of such vector bundles. This leads us to the investigation of a hitherto unknown moduli space of rank 6 vector bundles which we show to be birational to a moduli space of plane representations of cubic surfaces in $\PP^3$. The resulting picture shows a very rich and interesting geometry. The main difficulty is to show the existence of "good" maps $\phi$, and the interesting phenomenon which shows up is the following: the "moduli space" of such pairs $(\E, \phi)$ is reducible, indeed for a general choice of $\E$ the determinant of $ \phi $ is the double of a cubic surface $G$.


title: Every non-Euclidean oriented matroid admits a biquadratic final polynomial

abstract: Richter-Gebert proved that every non-Euclidean uniform oriented matroid admits a biquadratic final polynomial. We extend this result to the non-uniform case.


title: Modifying hyperkaehler manifolds with circle symmetry

abstract: A construction is introduced for modifying hyperkaehler manifolds with tri-Hamiltonian circle action, that in favourable situations increases the second Betti number by one. This is based on the symplectic cut construction of Lerman. In 4 or 8 dimensions the construction may be interpreted as adding a D6-brane. A number of examples are given and generalisations to three-Sasaki and hypersymplectic geometry discussed.


title: Proof of a conjecture of Polya on the zeros of successive derivatives of real entire functions

abstract: We prove Polya's conjecture of 1943: For a real entire function of order greater than 2, with finitely many non-real zeros, the number of non-real zeros of the n-th derivative tends to infinity with n. We use the saddle point method and potential theory, combined with the theory of analytic functions with positive imaginary part in the upper half-plane.


title: A note on embeddings of $S_4$ and $A_5$ into the Cremona group and versal Galois coverings

abstract: In this paper we introduce two versal $S_4$ coverings, and show that the two are birationaly distinct, i.e. there exists no $S_4$ equivariant birational map between them. We also introduce two versal $A_5$ coverings and show that the two are birationaly distinct also. As a corollary we obtain that there are at least three non-conjugate embbedings of $S_4$ (resp. $A_5$) into $Cr_2(\mathbb{C})$, the Cremona group.


title: Some improvements in the method of the weakly conjugate operator

abstract: We present some improvements in the method of the weakly conjugate operator, one variant of the Mourre theory. When applied to certain two-body Schroedinger operators, this leads to a limiting absorption principle that is uniform on the positive real axis.


title: Isospectral domains with mixed boundary conditions

abstract: We construct a series of examples of planar isospectral domains with mixed Dirichlet-Neumann boundary conditions. This is a modification of a classical problem proposed by M. Kac.


title: A sharp diameter bound for unipotent groups of classical type over Z/pZ

abstract: The unipotent subgroup of a finite group of Lie type over a prime field Z/pZ comes equipped with a natural set of generators; the properties of the Cayley graph associated to this set of generators have been much studied. In the present paper, we show that the diameter of this Cayley graph is bounded above and below by constant multiples of np + n^2 log p, where n is the rank of the associated Lie group. This generalizes a result of the first author, which treated the case of SL_n(Z/pZ). (Keywords: diameter, Cayley graph, finite groups of Lie type. AMS classification: 20G40, 05C25)


title: Link groups of 4-manifolds

abstract: The notion of a Bing cell is introduced, and it is used to define invariants, link groups, of 4-manifolds. Bing cells combine some features of both surfaces and 4-dimensional handlebodies, and the link group \lambda(M) measures certain aspects of the handle structure of a 4-manifold M. This group is a quotient of the fundamental group, and examples of manifolds are given with \pi_1(M) not equal to \lambda(M). The main construction of the paper is a generalization of the Milnor group, which is used to formulate an obstruction to embeddability of Bing cells into 4-space. Applications to the A-B slice problem and to the structure of topological arbiters are discussed.


title: A-infinity algebras, modules and functor categories

abstract: In this survey, we first present basic facts on A-infinity algebras and modules including their use in describing triangulated categories. Then we describe the Quillen model approach to A-infinity structures following K. Lefevre's thesis. Finally, starting from an idea of V. Lyubashenko's, we give a conceptual construction of A-infinity functor categories using a suitable closed monoidal category of cocategories. In particular, this yields a natural construction of the bialgebra structure on the bar construction of the Hochschild complex of an associative algebra.


title: On fixed-point sets in the boundary of a CAT(0) space

abstract: In this paper, we investigate the fixed-point set of an element of a CAT(0) group in its boundary. Suppose that a group $G$ acts geometrically on a CAT(0) space $X$. Let $g\in G$ and let $\mathcal{F}_g$ be the fixed-point set of $g$ in the boundary $\partial X$. Then we show that $\mathcal{F}_g=L(Z_g)$, where $Z_g$ is the centralizer of $g$ (i.e. $Z_g=\{v\in G| gv=vg\}$) and $L(Z_g)$ is the limit set of $Z_g$ in $\partial X$. Thus we obtain that $\mathcal{F}_g\neq \emptyset$ if and only if the set $Z_g$ is infinite. We also show that if $g$ is a hyperbolic isometry, then $\mathcal{F}_g=\partial\Min(g)$, where $\partial\Min(g)$ is the boundary of the minimal set $\Min(g)$ of $g$. This implies that the fixed-point set $\mathcal{F}_g$ and the periodic-point set $\mathcal{P}_g$ of $g$ in $\partial X$ have suspension forms.


title: On the center of a Coxeter group

abstract: In this paper, we show that the center of every Coxeter group is finite and isomorphic to $(\Z_2)^n$ for some $n\ge 0$. Moreover, for a Coxeter system $(W,S)$, we prove that $Z(W)=Z(W_{S\setminus\tilde{S}})$ and $Z(W_{\tilde{S}})=1$, where $Z(W)$ is the center of the Coxeter group $W$ and $\tilde{S}$ is the subset of $S$ such that the parabolic subgroup $W_{\tilde{S}}$ is the {\it essential parabolic subgroup} of $(W,S)$ (i.e.\ $W_{\tilde{S}}$ is the minimum parabolic subgroup of finite index in $(W,S)$). The finiteness of the center of a Coxeter group implies that a splitting theorem holds for Coxeter groups.


title: Dense subsets of boundaries of CAT(0) groups

abstract: In this paper, we study dense subsets of boundaries of CAT(0) groups. Suppose that a group $G$ acts geometrically on a CAT(0) space $X$ and suppose that there exists an element $g_0\in G$ such that (1) $Z_{g_0}$ is finite, (2) $X\setminus F_{g_0}$ is not connnected, and (3) each component of $X\setminus F_{g_0}$ is convex and not $g_0$-invariant, where $Z_{g_0}$ is the centralizer of $g_0$ and $F_{g_0}$ is the fixed-point set of $g_0$ in $X$ (that is, $Z_{g_0}=\{h\in G| g_0h=hg_0\}$ and $F_{g_0}=\{x\in X| g_0x=x\}$). Then we show that each orbit $G \alpha$ is dense in the boundary $\partial X$ (i.e.\ $\partial X$ is minimal) and the set $\{g^{\infty} | g\in G, o(g)=\infty\}$ is also dense in the boundary $\partial X$. We obtain an application for dense subsets on the boundary of a Coxeter system.


title: Included-row exchange principle for quantum minors

abstract: The main theorem of the paper allows to generalize a class of identities among the quantum minors for quantum linear groups to similar identities but with the row labels of the quantum minors involved permuted.


title: Another approach to Brownian motion

abstract: Braverman, Mallows and Shepp (1995), showed that if the absolute moments of partial sums of i.i.d. symmetric variables are equal to those of normal variables, then the marginals have normal distribution. This fact suggested the conjecture that probably the absolute moments alone characterize the homogeneous process with independent increments. In this paper we prove a more general result that gives a positive answer to this conjecture, and then apply it in order to obtain the CLT for a class of dependent random variables under a normalization involving the absolute moments of partial sums.


title: The algebra generated by idempotents in a Fourier-Stieltjes algebra

abstract: We study the closed algebra B_I(G) generated by the idempotents in the Fourier-Stieltjes algebra of a locally compact group G. We show that it is a regular Banach algebra with computable spectrum G^I, which we call the idempotent compactification of G. For any locally compact groups G and H, we show that B_I(G) is completely isometrically isomorphic to B_I(H) exactly when G/G_e= H/H_e, where G_e and H_e are the connected components of the identities. We compute some examples to illustrate out results.


title: Low-frequency stability analysis of periodic traveling-wave solutions of viscous conservation laws in several dimensions

abstract: We generalize work of Oh & Zumbrun and Serre on spectral stability of spatially periodic traveling waves of systems of viscous conservation laws from the one-dimensional to the multi-dimensional setting. Specifically, we extend to multi-dimensions the connection observed by Serre between the linearized dispersion relation near zero frequency of the linearized equations about the wave and the homogenized system obtained by slow modulation (WKB) approximation. This may be regarded as partial justification of the WKB expansion; an immediate consequence is that hyperbolicity of the multi-dimensional homogenized system is a necessary condition for stability of the wave. As pointed out by Oh & Zumbrun in one dimension, description of the low-frequency dispersion relation is also a first step in the determination of time-asymptotic behavior.


title: On Numerical Algorithms for the Solution of a Beltrami Equation

abstract: The paper concerns numerical algorithms for solving the Beltrami equation $f_{\bar{z}}(z)=\mu(z) f_z(z)$ for a compactly supported $\mu$. First, we study an efficient algorithm that has been proposed in the literature, and present its rigorous justification. We then propose a different scheme for solving the Beltrami equation which has a comparable speed and accuracy, but has the virtue of a greater simplicity of implementation.


title: A notion of selective ultrafilter corresponding to topological Ramsey spaces

abstract: We introduce the relation of "almost-reduction" in an arbitrary topological Ramsey space R, as a generalization of the relation of "almost-inclusion" on the space of infinite sets of natural numbers (the Ellentuck space). This leads us to a type of ultrafilter U on the set of first approximations of the elements of R which corresponds to the well-known notion of "selective ultrafilter" on N, the set of natural numbers. The relationship turns out to be rather exact in the sense that it permits us to lift several well-known facts about selective ultrafilters on N and the Ellentuck space to the ultrafilter U and the Ramsey space R. For example, we prove that the Open Coloring Axiom holds in M[U], where M is a Solovay model. In this way we extend a result due to Di Prisco and Todorcevic which gives the same conclusion for the Ellentuck space.


title: Slices of Brownian Sheet: New Results, and Open Problems

abstract: We can view Brownian sheet as a sequence of interacting Brownian motions or slices. Here we present a number of results about the slices of the sheet. A common feature of our results is that they exhibit phase transition. In addition, a number of open problems are presented.


title: Transition asymptotics for reaction-diffusion in random media

abstract: We describe a universal transition mechanism characterizing the passage to an annealed behavior and to a regime where the fluctuations about this behavior are Gaussian, for the long time asymptotics of the empirical average of the expected value of the number of random walks which branch and annihilate on ${\mathbb Z}^d$, with stationary random rates. The random walks are independent, continuous time rate $2d\kappa$, simple, symmetric, with $\kappa \ge 0$. A random walk at $x\in{\mathbb Z}^d$, binary branches at rate $v_+(x)$, and annihilates at rate $v_-(x)$. The random environment $w$ has coordinates $w(x)=(v_-(x),v_+(x))$ which are i.i.d. We identify a natural way to describe the annealed-Gaussian transition mechanism under mild conditions on the rates. Indeed, we introduce the exponents $F_\theta(t):=\frac{H_1((1+\theta)t)-(1+\theta)H_1(t)}{\theta}$, and assume that $\frac{F_{2\theta}(t)-F_\theta(t)}{\theta\log(\kappa t+e)}\to\infty$ for $|\theta|>0$ small enough, where $H_1(t):=\log < m(0,t)>$ and $<m(0,t)>$ denotes the average of the expected value of the number of particles $m(0,t,w)$ at time $t$ and an environment of rates $w$, given that initially there was only one particle at 0. Then the empirical average of $m(x,t,w)$ over a box of side $L(t)$ has different behaviors: if $ L(t)\ge e^{\frac{1}{d} F_\epsilon(t)}$ for some $\epsilon >0$ and large enough $t$, a law of large numbers is satisfied; if $ L(t)\ge e^{\frac{1}{d} F_\epsilon (2t)}$ for some $\epsilon>0$ and large enough $t$, a CLT is satisfied. These statements are violated if the reversed inequalities are satisfied for some negative $\epsilon$. Applications to potentials with Weibull, Frechet and double exponential tails are given.


title: Counting Solutions to Binomial Complete Intersections

abstract: We study the problem of counting the total number of affine solutions of a system of n binomials in n variables over an algebraically closed field of characteristic zero. We show that we may decide in polynomial time if that number is finite. We give a combinatorial formula for computing the total number of affine solutions (with or without multiplicity) from which we deduce that this counting problem is #P-complete. We discuss special cases in which this formula may be computed in polynomial time; in particular, this is true for generic exponent vectors.


title: On surrogate loss functions and $f$-divergences

abstract: The goal of binary classification is to estimate a discriminant function $\gamma$ from observations of covariate vectors and corresponding binary labels. We consider an elaboration of this problem in which the covariates are not available directly but are transformed by a dimensionality-reducing quantizer $Q$. We present conditions on loss functions such that empirical risk minimization yields Bayes consistency when both the discriminant function and the quantizer are estimated. These conditions are stated in terms of a general correspondence between loss functions and a class of functionals known as Ali-Silvey or $f$-divergence functionals. Whereas this correspondence was established by Blackwell [Proc. 2nd Berkeley Symp. Probab. Statist. 1 (1951) 93--102. Univ. California Press, Berkeley] for the 0--1 loss, we extend the correspondence to the broader class of surrogate loss functions that play a key role in the general theory of Bayes consistency for binary classification. Our result makes it possible to pick out the (strict) subset of surrogate loss functions that yield Bayes consistency for joint estimation of the discriminant function and the quantizer.


title: The spectrum minimum for random Schr\"{o}dinger operators with indefinite sign potentials

abstract: This paper sets out to study the spectral minimum for operator belonging to the family of random Schr\"{o}dinger operators of the form $H\_{\lambda,\omega}=-\Delta+W\_{\text{per}}+\lambda V\_{\omega}$, where we suppose that $V\_{\omega}$ is of Anderson type and the single site is assumed to be with an indefinite sign. Under some assumptions we prove that there exists $\lambda\_0>0$ such that for any $\lambda \in [0,\lambda\_0]$, the minimum of the spectrum of $H\_{\lambda,\omega}$ is obtained by a given realization of the random variables.


title: A note on equivariant normal forms of Poisson structures

abstract: We prove an equivariant version of the local splitting theorem for tame Poisson structures and Poisson actions of compact Lie groups. As a consequence, we obtain an equivariant linearization result for Poisson structures whose transverse structure has semisimple linear part of compact type.


title: $q$-Volkenborn Integration and Its Applications

abstract: The main purpose of this paper is to present a systemic study of some families of multiple $q$-Euler numbers and polynomials. In particular, by using the $q$-Volkenborn integration on $\Bbb Z_p$, we construct $p$-adic $q$-Euler numbers and polynomials of higher order. We also define new generating functions of multiple $q$-Euler numbers and polynomials. Furthermore, we construct Euler $q$-Zeta function. This paper is the version of the preprint of my paper to publish in the special issues as the preprint part of this proceedings.


title: Majorizing multiplicative cascades for directed polymers in random media

abstract: In this note we give upper bounds for the free energy of discrete polymers in random media. The bounds are given by the so-called generalized multiplicative cascades from the statistical theory of turbulence. For the polymer model, we derive that the quenched free energy is different from the annealed one in dimension 1, for any finite temperature and general environment. This implies localization of the polymer.


title: Riemann extensions in theory of the first order systems of differential equations

abstract: The properties of the Riemann extensions of nonriemannian spaces defined by the first order systems of differential equations are considered.


title: Absolutely Continuous Invariant Measures for Nonuniformly Expanding Maps

abstract: For a large class of nonuniformly expanding maps of $\Bbb R^m$, with indifferent fixed points and unbounded distorsion and non necessarily Markovian, we construct an absolutely continuous invariant measure. We extend to our case techniques previously used for expanding maps on quasi-H\"{o}lder spaces. We give general conditions and provide examples to which apply our result.


title: Orbifold Cohomology of ADE-singularities

abstract: We study Ruan's "cohomological crepant resolution conjecture" (see math.AG/0108195) for orbifolds with transversal ADE singularities. Let [Y] be such an orbifold, Y its coarse moduli space and Z the crepant resolution of Y. Following Ruan [math.AG/0108195], we have a deformation of the cohomology ring H^*(Z) using some Gromov-Witten invariants of Z. The resulting family of rings will be denoted by H^*(Z)(q_1,...,q_n), where q_1,...,q_n are complex parameters. In the A_n case we compute both the orbifold cohomology ring H^*_{orb}([Y]) and the family H^*(Z)(q_1,...,q_n). The former is achieved in general, the later up to an explicit conjecture on the Gromov-Witten invariants which is verified under additional, technical assumptions. We construct an explicit isomorphism between H^*_{orb}([Y]) and H^*(Z)(-1) in the A_1 case, verifying Ruan's conjecture. In the A_2 case, the family H^*(q_1,q_2) is not defined for q_1=q_2=-1, so the conjecture should be slightly modified. However we give an explicit isomorphism between H^*_{orb}([Y]) and H^*(Z)(q_1,q_2) with q_1=q_2 be a primitive third root of the unity, thus proving a slightly modified version of Ruan's conjecture. It is natural to conjecture that, in the A_n case, H^*_{orb}([Y]) is isomorphic to H^*(Z)(q_1,...,q_n) with q_1=...=q_n be a primitive (n+1)-th root of the unity.


title: Mixed ladder determinantal varieties from two-sided ladders

abstract: We study the family of ideals defined by mixed size minors of two-sided ladders of indeterminates. We compute their Groebner bases with respect to a skew-diagonal monomial order, then we use them to compute the height of the ideals. We show that these ideals correspond to a family of irreducible projective varieties, that we call mixed ladder determinantal varieties. We show that these varieties are arithmetically Cohen-Macaulay. We characterize the arithmetically Gorenstein ones, among those that satisfy a technical condition. Our main result consists in proving that mixed ladder determinantal varieties belong to the same G-biliaison class of a linear variety.


title: Large gaps between the zeros of the Riemann zeta function

abstract: We show that the generalized Riemann hypothesis implies that there are infinitely many consecutive zeros of the Riemann zeta function whose spacing is 2.9125 times larger than the average spacing. This is deduced from the calculation of the second moment of the Riemann zeta function multiplied by a Dirichlet polynomial averaged over the zeros of the zeta function.


title: Indefinite affine hyperspheres admitting a pointwise symmetry

abstract: An affine hypersurface M is said to admit a pointwise symmetry, if there exists a subgroup G of Aut(T_p M) for all p in M, which preserves (pointwise) the affine metric h, the difference tensor K and the affine shape operator S. Here, we consider 3-dimensional indefinite affine hyperspheres, i.e. S= H Id (and thus S is trivially preserved). First we solve an algebraic problem. We determine the non-trivial stabilizers G of a traceless cubic form on a Lorentz-Minkowski space R^3_1 under the action of the isometry group SO(1,2) and find a representative of each SO(1,2)/G-orbit. Since the affine cubic form is defined by h and K, this gives us the possible symmetry groups G and for each G a canonical form of K. Next, we classify hyperspheres admitting a pointwise G-symmetry for all non-trivial stabilizers G (apart from Z_2). Besides well-known hyperspheres (for Z_2 x Z_2 resp. R the hyperspheres have constant sectional curvature and Pick invariant J<0 resp. J=0 we obtain rich classes of new examples e.g. warped product structures of two-dimensional affine spheres (resp. quadrics) and curves. Moreover, we find a way to construct indefinite affine hyperspheres out of 2-dimensional quadrics or positive definite affine spheres.


title: Refined Analytic Torsion as an Element of the Determinant Line

abstract: We construct a canonical element, called the refined analytic torsion, of the determinant line of the cohomology of a closed oriented odd-dimensional manifold M with coefficients in a flat complex vector bundle E. We compute the Ray-Singer norm of the refined analytic torsion. In particular, if there exists a flat Hermitian metric on E, we show that this norm is equal to 1. We prove a duality theorem, establishing a relationship between the refined analytic torsions corresponding to a flat connection and its dual.


title: Ranks of elliptic curves in cubic extensions

abstract: For an elliptic curve E over a number field K, we prove that the algebraic rank of E goes up in infinitely many extensions of K obtained by adjoining a cube root of an element of K. As an example, we briefly discuss E=X_1(11) over Q, and how the result relates to Iwasawa theory.


title: Finite type invariants and Milnor invariants for Brunnian links

abstract: A link L in the 3-sphere is called Brunnian if every proper sublink of L is trivial. In a previous paper, the first author proved that the restriction to Brunnian links of any Goussarov-Vassiliev finite type invariant of (n+1)-component links of degree<2n is trivial. The purpose of this paper is to study the first nontrivial case. We will show that the restriction of an invariant of degree 2n to (n+1)-component Brunnian links can be expressed as a quadratic form on the Milnor link-homotopy invariants of length n+1.


title: Small models of graph colouring manifolds and the Stiefel manifolds Hom(C_5, K_n)

abstract: We show P\'eter Csorba's conjecture that the graph homomorphism complex Hom(C_5,K_{n+2}) is homeomorphic to a Stiefel manifold, the space of unit tangent vectors to the n-dimensional sphere. For this a general tool is developed that allows to replace the complexes Hom(G, K_n) by smaller complexes that are homeomorphic to them whenever G is a graph for which those complexes are manifolds. The equivariant version of Csorba's conjecture is proved up to homotopy. We also study certain subdivisions of simplicial manifolds that are related to the interval poset of their face posets and their connection with geometric approximations to diagonal maps.


title: Reduced chromatic graph cohomology

abstract: In this paper we give a new characterization of the h-vector of the chromatic polynomial of a graph. We introduce reduced chromatic cohomology of a graph and show that h_i are its Betti numbers. We then discuss various combinatorial properties of these cohomologies. In particular we prove that these cohomologies depend only on the matroid type of the graph and describe their relationship to the regular chromatic cohomologies.


title: Angle structures and normal surfaces

abstract: Let M be the interior of a compact 3-manifold with non-empty boundary, and T be an ideal (topological) triangulation of M. This paper describes necessary and sufficient conditions for the existence of angle structures, semi-angle structures and generalised angle structures on (M; T) respectively in terms of a generalised Euler characteristic function on the solution space of normal surface theory of (M; T). This extends previous work of Kang and Rubinstein, and is itself generalised to a more general setting for 3-dimensional pseudo-manifolds.


title: Some examples of Hecke algebras over 2-dimensional local fields

abstract: Let K be a local non-archimedian field, F=K((t)) and let G be a split semi-simple group. The purpose of this paper is to study certain analogs of spherical (and Iwahori) Hecke algebras for representations of the group G(F) and its central extension by means of K*. For instance our spherical Hecke algebra corresponds to the subgroup G(A) where A is the subring $\calO_K((t))$ where $\calO_K\subset K$ is the ring of integers. It turns out that for generic level the spherical Hecke algebra is trivial; however, on the critical level it is quite large. On the other hand we expect that the size of the corresponding Iwahori-Hecke algebra does not depend on a choice of a level (details will be considered in another publication).


title: Sharp bounds for the valence of certain harmonic polynomials

abstract: D. Khavinson and G. Swiatek proved that harmonic polynomials p(z)+q(z), where p is holomorphic, q is antiholomorphic, and deg p = n > 1 = deg q, can have at most 3n-2 complex zeros. We show that this bound is sharp for all n by proving a conjecture of Sarason and Crofoot about the existence of holomorphic polynomials p which map all critical points to their complex conjugates. We also count the number of equivalence classes of real polynomials solving this system of equations. The methods employed rely on Thurston's characterization of post-critically finite rational maps, in particular the results on polynomials by S. Levy and A. Poirier.


title: New collections of p-subgroups and homology decompositions for classifying spaces of finite groups

abstract: Let G be a finite group and p a prime dividing its order. We define new collections of p-subgroups of G. We study the homotopy relations among them and with the standard collections of p-subgroups. We determine their ampleness and sharpness properties.


title: On a homotopy relation between the 2-local geometry and the Bouc complex for the sporadic group McL

abstract: We study the homotopy relation between the standard 2-local geometry and the Bouc complex for the sporadic finite simple group McL.


title: On a homotopy relation between the 2-local geometry and the Bouc complex for the sporadic group Co3

abstract: We study the homotopy relation between the standard 2-local geometry and the Bouc complex for the sporadic group Co3. We also give a result concerning the relative projectivity of the reduced Lefschetz module associated to the aformentioned 2-local geometry.


title: The generalized Heisenberg-Virasoro algebra

abstract: In this paper, we mainly study the generalized Heisenberg-Virasoro algebra. Some structural properties of the Lie algebra are studied.


abstract: The structure of Lie algebras, Lie superalgebras and Leibniz algebras graded by finite root systems has been studied by several researchers since 1992. In this paper, we study the structure of Leibniz superalgebras graded by finite root systems, which gives an approach to study various classes of Leibniz superalgebras.


title: Leibniz Algebras Graded by Finite Root Systems

abstract: There are several researches on Lie algebras and Lie superalgebras graded by finite root systems. In this paper, we study Leibniz algebras graded by finite root systems and obtain some results in simply-laced cases.


title: Leibniz superalgebras and central extensions

abstract: Dialgebras are generalizations of associative algebras which give rise to Leibniz algebras instead of Lie algebras. In this paper we study super dialgebras and Leibniz superalgebras, which are $\z_2$-graded dialgebras and Leibniz algebras. We also study universal central extesions of Leibniz superalgebras and obtain some results as in the case of Lie superalgebras. We determine universal central extensions of basic classical Lie superalgebras in the category of Leibniz superalgebras. They play a key role in studying Leibniz superalgebras graded by finite root systems.


title: Nonembeddability theorems via Fourier analysis

abstract: Various new nonembeddability results (mainly into $L_1$) are proved via Fourier analysis. In particular, it is shown that the Edit Distance on $\{0,1\}^d$ has $L_1$ distortion $(\log d)^{\frac12-o(1)}$. We also give new lower bounds on the $L_1$ distortion of flat tori, quotients of the discrete hypercube under group actions, and the transportation cost (Earthmover) metric.


title: Complexification of real cycles and Lawson suspension theorem

abstract: We embed the space of totally real $r$-cycles of a totally real projective variety into the space of complex $r$-cycles by complexification. We provide a proof of the holomorphic taffy argument in the proof of Lawson suspension theorem by using Chow forms and this proof gives us an analogous result for totally real cycle spaces. We use Sturm theorem to derive a criterion for a real polynomial of degree $d$ to have $d$ distinct real roots and use it to prove the openness of some subsets of real divisors. This enables us to prove that the suspension map induces a weak homotopy equivalence between two enlarged spaces of totally real cycle spaces.


title: Analytic asymptotic expansions of the Reshetikhin--Turaev invariants of Seifert 3-manifolds for SU(2)

abstract: We calculate the large quantum level asymptotic expansion of the RT-invariants associated to SU(2) of all oriented Seifert 3-manifolds X with orientable base or non-orientable base with even genus. Moreover, we identify the Chern-Simons invariants of flat SU(2)-connections on X in the asymptotic formula thereby proving the so-called asymptotic expansion conjecture (AEC) due to J. E. Andersen for these manifolds. For the case of Seifert manifolds with base $S^2$ we actually prove a little weaker result, namely that the asymptotic formula has a form as predicted by the AEC but contains some extra terms which should be zero according to the AEC. We prove that these `extra' terms are indeed zero if the number of exceptional fibers n is less than 4 and conjecture that this is also the case if n is greater than 3. For the case of Seifert fibered rational homology spheres we identify the Casson-Walker invariant in the asymptotic formula. Our calculations demonstrate a general method for calculating the large r asymptotics of a finite sum $\Sigma_{k=1}^{r} f(k)$, where f is a meromorphic function depending on the integer parameter r and satisfying certain symmetries. Basically the method, which is due to L. Rozansky, is based on a limiting version of the Poisson summation formula together with an application of the steepest descent method from asymptotic analysis.


title: Limiting laws associated with Brownian motion perturbated by normalized exponential weights I

abstract: We determine the rate of decay of the expectation Z(t) of some multiplicative functional related to Brownian motion up to time t. This permits to prove that the Wiener measure, penalized by this multiplicative functional, converges as t goes to infinity to a probability measure (p.m.) . We obtain the law of the canonical process under this new p.m.


title: $AF$ Embedding of Crossed Products of Certain Graph $C^*$-Algebras by Quasi-free Actions

abstract: We introduce the labelling map and the quasi-free action of a locally compact abelian group on a graph $C^*$-algebra of a row-finite directed graph. Some necessary conditions for embedding the crossed product to an $AF$ algebra are discussed, and one sufficient condition is proved that if the row-finite directed graph is constructed by possibly attaching some 1-loops to a row-finite directed graph whose each weak connected component is a rooted (possibly infinite) directed tree, and the labelling map is almost proper, which is proved to be a reasonable generalization of the earlier case, then the crossed product can be embedded to an $AF$ algebra.


title: Betti Numbers and Degree Bounds for Some Linked Zero-Schemes

abstract: In their paper on multiplicity bounds (1998), Herzog and Srinivasan study the relationship between the graded Betti numbers of a homogeneous ideal I in a polynomial ring R and the degree of I. For certain classes of ideals, they prove a bound on the degree in terms of the largest and smallest Betti numbers, generalizing results of Huneke and Miller (1985). The bound is conjectured to hold in general; we study this using linkage. If R/I is Cohen-Macaulay, we may reduce to the case where I defines a zero-dimensional subscheme Y. If Y is residual to a zero-scheme Z of a certain type (low degree or points in special position), then we show that the conjecture is true for I_Y.


title: A trace theorem for Dirichlet forms on fractals

abstract: We consider a trace theorem for self-similar Dirichlet forms on self-similar sets to self-similar subsets. In particular, we characterize the trace of the domains of Dirichlet forms on the Sierpinski gaskets and the Sierpinski carpets to their boundaries, where boundaries mean the triangles and rectangles which confine gaskets and carpets. As an application, we construct diffusion processes on a collection of fractals called fractal fields, which behave as the appropriate fractal diffusion within each fractal component of the field.


title: Periodical Solutions of Multi-Time Hamilton Equations

abstract: To our knowledge, there are two main references [9], [12] regarding the periodical solutions of multi-time Euler-Lagrange systems, even if the multi-time equations appeared in 1935, being introduced by de Donder. That is why, the central objective of this paper is to solve an open problem raised in [12]: what we can say about periodical solutions of multi-time Hamilton systems when the Hamiltonian is convex? Section 1 recall well-known facts regarding the equivalence between Euler-Lagrange equations and Hamilton equations. Section 2 analyzes the action that produces multi-time Hamilton equations, and introduces the Legendre transform of a Hamiltonian together a new dual action. Section 3 proves the existence of periodical solutions of multi-time Hamilton equations via periodical extremals of the dual action, when the Hamiltonian is convex.


title: The single-leaf Frobenius Theorem with Applications

abstract: Using the notion of Levi form of a smooth distribution, we discuss the local and the global problem of existence of one horizontal section of a smooth vector bundle endowed with a horizontal distribution. The analysis will lead to the formulation of a "one-leaf" analogue of the classical Frobenius integrability theorem in elementary differential geometry. Several applications of the result will be discussed. First, we will give a characterization of symmetric connections arising as Levi-Civita connections of semi-Riemannian metric tensors. Second, we will prove a general version of the classical Cartan-Ambrose-Hicks Theorem giving conditions on the existence of an affine map with prescribed differential at one point between manifolds endowed with connections.


title: The critical Branching Markov Chain is transient

abstract: We investigate recurrence and transience of Branching Markov Chains (BMC) in discrete time. Branching Markov Chains are clouds of particles which move (according to an irreducible underlying Markov Chain) and produce offspring independently. The offspring distribution can depend on the location of the particle. If the offspring distribution is constant for all locations, these are Tree-Indexed Markov chains in the sense of \cite{benjamini94}. Starting with one particle at location $x$, we denote by $\alpha(x)$ the probability that $x$ is visited infinitely often by the cloud. Due to the irreducibility of the underlying Markov Chain, there are three regimes: either $\alpha(x) = 0$ for all $x$ (transient regime), or $0 < \alpha(x) < 1$ for all $x$ (weakly recurrent regime) or $\alpha(x) = 1$ for all $x$ (strongly recurrent regime). We give classification results, including a sufficient condition for transience in the general case. If the mean of the offspring distribution is constant, we give a criterion for transience involving the spectral radius of the underlying Markov Chain and the mean of the offspring distribution.


title: Some Inequalities Satisfied by Periodical Solutions of Multi-Time Hamilton Equations

abstract: The objective of this paper is to find some inequalities satisfied by periodical solutions of multi-time Hamilton systems, when the Hamiltonian is convex. To our knowledge, this subject of first-order field theory is still open. Section 1 recall well-known facts regarding the equivalence between Euler-Lagrange equations and Hamilton equations and analyses the action that produces multi-time Hamilton equations, emphasizing the role of the polysymplectic structure. Section 2 extends two inequalities of [21] from a cube to parallelipiped and proves two inequalityes concerning multiple periodical solutions of multi-time Hamilton equations.


title: Asymptotic Expansion of the Risk Difference of the Bayesian Spectral Density in the ARMA model

abstract: The autoregressive moving average (ARMA) model is one of the most important models in time series analysis.We consider the Bayesian estimation of an unknown spectral density in the ARMA model.In the i.i.d. cases, Komaki showed that Bayesian predictive densities based on a superharmonic prior asymptotically dominate those based on the Jeffreys prior.It is shown by using the asymptotic expansion of the risk difference.We obtain the corresponding result in the ARMA model.


title: Periodical Solutions of Poisson-Gradient Dynamical Systems with Periodical Potential

abstract: The main purpose of this paper is the study of the action that produces Poisson-gradient systems and their multiple periodical solutions. The Section 1 establishes the basic tools. The section 2 underlines conditions in which the action $\phi (u) = \displaystyle\displaystyle\int_{T_{0}}[ \displaystyle% \displaystyle{1/2}| \displaystyle\displaystyle\frac{\partial u}{% \partial t}| ^{2}+F(t,u(t)) ] dt^{1}\wedge >...\wedge dt^{p}$, that produces the Poisson-gradient systems, is continuous, and some conditions in which the general action $\phi (u) = \displaystyle\displaystyle\int_{T_{0}}L(t,u(t), \displaystyle\displaystyle\frac{\partial u}{\partial t}(t)) dt^{1}\wedge >...\wedge dt^{p}$ is continuously differentiable. The Section 3 studies the multiple periodical solutions of a Poisson-gradient system in the case when the potential function $F$ has a spatial periodicity.


title: Moser-Trudinger inequalities of vector bundle over a compact Riemannian manifold of dimension 2

abstract: Let $(M,g)$ be a 2-dimensional compact Riemannian manifold. In this paper, we use the method of blowing up analysis to prove several Moser-Trdinger type inequalities for vector bundle over $(M,g)$. We also derive an upper bound of such inequalities under the assumption that blowing up occur.


title: Alternating Quadrisecants of Knots

abstract: It is known that for every knotted curve in space, there is a line intersecting it in four places, a quadrisecant. Comparing the order of the four points along the line and knot we can distinguish three types of quadrisecants; the alternating ones have the most relevance for the geometry of a knot. In this paper we prove that every (nontrivial tame) knot has an alternating quadrisecant. This result had applications to the total curvature, second hull and ropelength of knots.


title: Finite Simple Groups as Expanders

abstract: We prove that there exist $k\in N$ and $0<\epsilon\in R$ such that every non-abelian finite simple group $G$, which is not a Suzuki group, has a set of $k$ generators for which the Cayley graph $\Cay(G; S)$ is an $\epsilon$-expander.


title: The approximate fixed point property in product spaces

abstract: In this paper we generalize to unbounded convex subsets C of hyperbolic spaces results obtained by W.A. Kirk and R. Espinola on approximate fixed points of nonexpansive mappings in product spaces $(C\times M)_\infty$, where M is a metric space and C is a nonempty, convex, closed and bounded subset of a normed or a CAT(0)-space. We extend the results further, to families $(C_u)_{u\in M}$ of unbounded convex subsets of a hyperbolic space. The key ingredient in obtaining these generalizations is a uniform quantitative version of a theorem due to Borwein, Reich and Shafrir, obtained by the authors in a previous paper using techniques from mathematical logic. Inspired by that, we introduce in the last section the notion of uniform approximate fixed point property for sets C and classes of self-mappings of C. The paper ends with an open problem.


title: Measure rigidity for algebraic bipermutative cellular automata

abstract: Let $(\az,F)$ be a bipermutative algebraic cellular automaton. We present conditions which force a probability measure which is invariant for the $\N\times\Z$-action of $F$ and the shift map $\s$ to be the Haar measure on $\gs$, a closed shift-invariant subgroup of the Abelian compact group $\az$. This generalizes simultaneously results of B. Host, A. Maass and S. Mart\'{\i}nez \cite{Host-Maass-Martinez-2003} and M. Pivato \cite{Pivato-2003}. This result is applied to give conditions which also force a $(F,\s)$-invariant probability measure to be the uniform Bernoulli measure when $F$ is a particular invertible expansive cellular automaton on $\an$.


title: Poisson-Gradient Dynamical Systems with Convex Potential

abstract: The basic aim is to extend some results and concepts of non-autonomous second order differential systems with convex potentials to the new context of multi-time Poisson-gradient PDE systems with convex potential. In this sense, we prove that minimizers of a suitable action functional are multiple periodical solutions of a Dirichlet problem associated to the Euler-Lagrange equations. Automatically, these are solutions of the associated multi-time Hamiltonian equations.


title: Derivations for the even part of the odd Hamiltonian superalgebra in positive characteristic

abstract: In this paper we mainly study the derivations for even part of the finite-dimensional odd Hamiltonian superalgebra $HO$ over a field of prime characteristic. We first give the generator set of $HO_{\bar{0}}.$ Then we determine the homogeneous derivationsfrom $HO_{\bar{0}}$ into $W_{\bar{0}},$ the even part of the generalized Witt superalgebra $W$. Finally, wedetermine the derivation algebra and outer derivation algebra of $HO_{\bar{0}}.$


title: Derivations for the even part of the Hamiltonian superalgebra in positive characteristic

abstract: In this paper we consider the derivations for even part of the finite-dimensional Hamiltonian superalgebra $H$ over a field of prime characteristic. We first introduce an ideal $\frak{N}$ of $H_{\bar{0}}$ and show that the derivation space from $H_{\bar{0}}$ into $W_{\bar{0}}$ can be obtained by the derivation space from $\frak{N}$ into $W_{\bar{0}},$ the even part of the generalized Witt superalgebra $W$. For further application we also give the generating set of the ideal $\frak{N}$. Then we describe three series of exceptional derivations from $ {H}_{\bar{0}}$ into $W_{\bar{0}}.$ Finally, we determine all the derivations vanishing on the non-positive $\mathbb{Z}$-graded part of $ H_{\bar{0}}$, the odd $\mathbb{Z}$-homogeneous derivations, and negative $\mathbb{Z}$-homogeneous derivations from ${H}_{\bar{0}}$ into $W_{\bar{0}}.$


title: Winning rate in the full-information best choice problem

abstract: Following a long-standing suggestion by Gilbert and Mosteller, we derive an explicit formula for the asymptotic winning rate in the full-information problem of the best choice.


title: Bi-invariant metrics on the group of symplectomorphisms

abstract: This paper studies the extension of the Hofer metric and general Finsler metrics on Hamiltonian symplectomorphism group $Ham(M,\omega)$ to the identity component $Symp_0(M,\omega)$ of symplectomorphism group. In particular, we prove that the Hofer metric on $Ham(M,\omega)$ does not extend to a bi-invariant metric on $Symp_0(M,\omega)$ for many symplectic manifolds. We also show that for the torus $T^{2n}$ with the standard symplectic form $\omega$, no Finsler metric on $Ham(T^{2n},\omega)$ that satisfies a strong form of the invariance condition can extend to a bi-invariant metric on $Symp_0(T^{2n},\omega)$. Another interesting result is that there exists no $C^1$-continuous bi-invariant metric on $Symp_0(T^{2n},\omega)$.


title: An explicit zero-free region for the Dirichlet L-functions

abstract: Let $L(s,\chi)$ be the Dirichlet $L$-function associated to a non-principal primitive character $\chi$ modulo $q$ with $3\le q \le 400\,000$. We prove a new explicit zero-free region for $L(s,\chi)$: $L(s,\chi)$ does not vanish in the region $\Re s \ge 1-\frac1{R \log \left(q\max(1,| \Im s|)\right) }$ with $R=5.60$. This improves a result of McCurley where $9.65$ was shown to be an admissible value for $R$.


title: A Z-set unknotting theorem for Nobeling spaces

abstract: We prove a $Z$-set unknotting theorem for Nobeling spaces. This generalizes a result obtained by S. Ageev for a restricted class of $Z$-sets. The theorem is proved for a certain model of Nobeling spaces.


title: The Riemann zeros and the cyclic Renormalization Group

abstract: We propose a consistent quantization of the Berry-Keating Hamiltonian x p, which is currently discussed in connection with the non trivial zeros of the Riemann zeta function. The smooth part of the Riemann counting formula of the zeros is reproduced exactly. The zeros appear, not as eigenstates, but as missing states in the spectrum, in agreement with Connes adelic approach to the Riemann hypothesis. The model is exactly solvable and renormalizable, with a cyclic Renormalization Group. These results are obtained by mapping the Berry-Keating model into the Russian doll model of superconductivity. Finally, we propose a generalization of these models in an attempt to explain the oscillatory part of the Riemann's formula.

categories: math.NT cond-mat.supr-con hep-th quant-ph


title: Fast Monte-Carlo Low Rank Approximations for Matrices

abstract: In many applications, it is of interest to approximate data, given by mxn matrix A, by a matrix B of at most rank k, which is much smaller than m and n. The best approximation is given by singular value decomposition, which is too time consuming for very large m and n. We present here a Monte Carlo algorithm for iteratively computing a k-rank approximation to the data consisting of mxn matrix A. Each iteration involves the reading of O(k) of columns or rows of A. The complexity of our algorithm is O(kmn). Our algorithm, distinguished from other known algorithms, guarantees that each iteration is a better k-rank approximation than the previous iteration. We believe that this algorithm will have many applications in data mining, data storage and data analysis.


title: Infinitely many universally tight contact manifolds with trivial Ozsvath-Szabo contact invariants

abstract: In this article we present infinitely many 3-manifolds admitting infinitely many universally tight contact structures each with trivial Ozsvath-Szabo contact invariants. By known properties of these invariants the contact structures constructed here are non weakly symplectically fillable.


title: Limiting laws associated with Brownian motion perturbed by its maximum, minmum and local time II

abstract: We obtain probability measures on the canonical space penalizing the Wiener measure by a function of its maximum (resp. minimum, local time). We study the law of the canonical process under these new probability measures.


title: Strongly 1-bounded von Neumann algebras

abstract: Suppose F is a finite set of selfadjoint elements in a tracial von Neumann algebra M. For $\alpha >0$, F is $\alpha$-bounded if the free packing $\alpha$-entropy of F is bounded from above. We say that M is strongly 1-bounded if M has a 1-bounded finite set of selfadjoint generators F such that there exists an x in F with finite free entropy. It is shown that if M is strongly 1-bounded, then any finite set of selfadjoint generators G for M is 1-bounded and the microstates free entropy dimension of G is less than or equal to 1; consequently, a strongly 1-bounded von Neumann algebra is not isomorphic to an interpolated free group factor and the microstates free entropy dimension is an invariant for these algebras. Examples of strongly 1-bounded von Neumann algebras include (separable) II_1-factors which have property Gamma, have Cartan subalgebras, are non-prime, or the group von Neumann algebras of SL_n(Z), n >2. If M and N are strongly 1-bounded and their intersection is diffuse, then the von Neumann algebra generated by M and N is strongly 1-bounded. In particular, a free product of two strongly 1-bounded von Neumann algebras with amalgamation over a common, diffuse von Neumann subalgebra is strongly 1-bounded. It is also shown that a II_1-factor generated by the normalizer of a strongly 1-bounded von Neumann subalgebra is strongly 1-bounded.


title: Regularity of the distance function to the boundary

abstract: Let $\Omega$ be a domain in a smooth complete Finsler manifold, and let $G$ be the largest open subset of $\Omega$ such that for every $x$ in $G$ there is a unique closest point from $\partial \Omega$ to $x$ (measured in the Finsler metric). We prove that the distance function from $\partial \Omega$ is in $C^{k,\alpha}_{loc}(G\cup \partial \Omega)$, $k\ge 2$ and $0<\alpha\le 1$, if $\partial \Omega$ is in $C^{k,\alpha}$.


title: Smooth Siegel disks without number theory: A remark on a proof by Buff and Cheritat

abstract: X. Buff and A. Cheritat proved that there are quadratic polynomials having Siegel disks with smooth boundaries. Based on a simplification of A. Avila, we give yet another simplification of their proof. The main tool used is a harmonic function introduced by Yoccoz whose boundary values are the sizes of the Siegel disks. The proof also applies to some other families of polynomials, entire and meromorphic functions.


title: Categoricity in Abstract Elementary Classes with No Maximal Models

abstract: The results in this paper are in a context of abstract elementary classes identified by Shelah and Villaveces in which the amalgamation property is not assumed. The long-term goal is to solve Shelah's Categoricity Conjecture in this context. Here we tackle a problem of Shelah and Villaveces by proving that in their context, the uniqueness of limit models follows from categoricity under the assumption that the subclass of amalgamation bases is closed under unions of bounded, increasing chains.


title: Deformation Quantization on Singular Coadjoint Orbits

abstract: Invariant star products are constructed on minimal coadjoint orbits of all the simple Lie algebras. Explicit expressions are given for the generators of the Joseph ideals and the associated infinitesimal characters.


title: Maximal multilinear operators

abstract: We establish multilinear $L^p$ bounds for a class of maximal multilinear averages of functions on one variable, reproving and generalizing the bilinear maximal function bounds of Lacey. As an application we obtain almost everywhere convergence results for these averages, and in some cases we also obtain almost everywhere convergence for their ergodic counterparts on a dynamical system.


title: Free subgroups of one-relator relative presentations

abstract: Suppose that G is a nontrivial torsion-free group and w is a word over the alphabet G\cup\{x_1^{\pm1},...,x_n^{\pm1}\}. It is proved that for n\ge2 the group \~G=<G,x_1,x_2,...,x_n | w=1> always contains a nonabelian free subgroup. For n=1 the question about the existence of nonabelian free subgroups in \~G is answered completely in the unimodular case (i.e., when the exponent sum of x_1 in w is one). Some generalisations of these results are discussed.


title: A Skolem-Mahler-Lech Theorem in Positive Characteristic and Finite Automata

abstract: Lech proved in 1953 that the set of zeroes of a linear recurrence sequence in a field of characteristic 0 is the union of a finite set and finitely many infinite arithmetic progressions. This result is known as the Skolem-Mahler-Lech theorem. Lech gave a counterexample to a similar statement in positive characteristic. We will present some more pathological examples. We will state and prove a correct analog of the Skolem-Mahler-Lech theorem in positive characteristic. The zeroes of a recurrence sequence in positive characteristic can be described using finite automata.


title: Hilbert series of subspace arrangements

abstract: The vanishing ideal I of a subspace arrangement is an intersection of linear ideals. We give a formula for the Hilbert polynomial of I if the subspaces meet transversally. We also give a formula for the Hilbert series of a product J of the linear ideals without any assumptions on the subspace arrangement. It turns out that the Hilbert series of J is a combinatorial invariant of the subspace arrangement: it only depends on the intersection lattice and the dimension function. The graded Betti numbers of J are determined by the Hilbert series, so they are combinatorial invariants as well. The results can be applied to Generalized Principal Component Analysis (GPCA), a tool that is useful for computer vision and image processing.


title: Sharp Bounds for the Harmonic Numbers

abstract: We obtain best possible upper and lower bounds for the Lodge-Ramanujan and DeTemple-Wang approximations to the nth Harmonic Number


title: Multivariate normal approximations by Stein's method and size bias couplings

abstract: Stein's method is used to obtain two theorems on multivariate normal approximation. Our main theorem, Theorem 1.2, provides a bound on the distance to normality for any nonnegative random vector. Theorem 1.2 requires multivariate size bias coupling, which we discuss in studying the approximation of distributions of sums of dependent random vectors. In the univariate case, we briefly illustrate this approach for certain sums of nonlinear functions of multivariate normal variables. As a second illustration, we show that the multivariate distribution counting the number of vertices with given degrees in certain random graphs is asymptotically multivariate normal and obtain a bound on the rate of convergence. Both examples demonstrate that this approach may be suitable for situations involving non-local dependence. We also present Theorem 1.4 for sums of vectors having a local type of dependence. We apply this theorem to obtain a multivariate normal approximation for the distribution of the random $p$-vector which counts the number of edges in a fixed graph both of whose vertices have the same given color when each vertex is colored by one of $p$ colors independently. All normal approximation results presented here do not require an ordering of the summands related to the dependence structure. This is in contrast to hypotheses of classical central limit theorems and examples, which involve e.g., martingale, Markov chain, or various mixing assumptions.


title: An unexpected connection between branching processes and optimal stopping

abstract: A curious connection exists between the theory of optimal stopping for independent random variables, and branching processes. In particular, for the branching process $Z_n$ with offspring distribution $Y$, there exists a random variable $X$ such that the probability $P(Z_n=0)$ of extinction of the $n$th generation in the branching process equals the value obtained by optimally stopping the sequence $X_1,...,X_n$, where these variables are i.i.d distributed as $X$. Generalizations to the inhomogeneous and infinite horizon cases are also considered. This correspondence furnishes a simple `stopping rule' method for computing various characteristics of branching processes, including rates of convergence of the $n^{th}$ generation's extinction probability to the eventual extinction probability, for the supercritical, critical and subcritical Galton-Watson process. Examples, bounds, further generalizations and a connection to classical prophet inequalities are presented. Throughout, the aim is to show how this unexpected connection can be used to translate methods from one area of applied probability to another, rather than to provide the most general results.


title: Overcrowding estimates for zeroes of Planar and Hyperbolic Gaussian analytic functions

abstract: We consider the point process of zeroes of certain Gaussian analytic functions and find the asymptotics for the probability that there are more than m points of the process in a fixed disk of radius r, as m-->infinity. For the Planar Gaussian analytic function, sum_n a_n z^n/sqrt(n!), we show that this probability is asymptotic to exp(-0.5 m^2 log(m)). For the Hyperbolic Gaussian analytic functions, sum_n sqrt({-rho choose n}) a_n z^n, rho>0, we show that this probability decays like exp(-cm^2). In the planar case, we also consider the problem posed by Mikhail Sodin on moderate and very large deviations in a disk of radius r as r --> infinity. We partly solve the problem by showing that there is a qualitative change in the asymptotics of the probability as we move from the large deviation regime to the moderate.


title: Groebner bases of ideals invariant under endomorphisms

abstract: We introduce the notion of Groebner S-basis of an ideal of the free associative algebra K<X> over a field K invariant under the action of a semigroup S of endomorphisms of the algebra. We calculate the Groebner S-bases of the ideal corresponding to the universal enveloping algebra of the free nilpotent of class 2 Lie algebra and of the T-ideal generated by the polynomial identity [x,y,z]=0, with respect to suitable semigroups S. In the latter case, if |X|>2, the ordinary Groebner basis is infinite and our Groebner S-basis is finite. We obtain also explicit minimal Groebner bases of these ideals.


title: A density result for Sobolev spaces in dimension two, and applications to stability of nonlinear Neumann problems

abstract: We prove that if $\Om \subseteq \R^2$ is bounded and $\R^2 \setminus \Om$ satisfies suitable structural assumptions (for example it has a countable number of connected components), then $W^{1,2}(\Om)$ is dense in $W^{1,p}(\Om)$ for every $1\le p<2$. The main application of this density result is the study of stability under boundary variations for nonlinear Neumann problems of the form $$ \begin{cases} -{\rm div} A(x,\nabla u)+B(x,u)=0 & \text{in}\Om, \\ A(x,\nabla u)\cdot \nu=0 & \text{on}\partial \Om, \end{cases} $$ where $A:\R^2\times \R^2 \to \R^2$ and $B:\R^2 \times \R \to \R$ are Carath\'eodory functions which satisfy standard monotonicity and growth conditions of order $p$.


title: A $\Gamma$-convergence approach to stability of unilateral minimality properties

abstract: We prove the stability of a large class of unilateral minimality properties which arise naturally in the theory of crack propagation proposed by Francfort and Marigo in [Revisiting brittle fractures as an energy minimization problem. J. Mech. Phys. Solids, 46 (1998), 1319-1342]. Then we give an application to the quasistatic evolution of cracks in composite materials.