title: On the Cayley digraphs that are patterns of unitary matrices

abstract: A digraph D is the pattern of a matrix M when D has an arc ij if and only if the ij-th entry of M is nonzero. Study the relationship between unitary matrices and their patterns is motivated by works in quantum chaology and quantum computation. In this note, we prove that if a Cayley digraph is a line digraph then it is the pattern of a unitary matrix. We prove that for any finite group with two generators there exists a set of generators such that the Cayley digraph with respect to such a set is a line digraph and hence the pattern of a unitary matrix.


title: Goedel's Incompleteness Theorems hold vacuously

abstract: In an earlier paper, "Omega-inconsistency in Goedel's formal system: a constructive proof of the Entscheidungsproblem" (math/0206302), I argued that a constructive interpretation of Goedel's reasoning establishes any formal system of Arithmetic as omega-inconsistent. It follows from this that Goedel's Theorem VI holds vacuously. In this paper I show that Goedel's Theorem XI essentially states that, if we assume there is a P-formula [Con(P)] whose standard interpretation is equivalent to the assertion "P is consistent", then [Con(P)] is not P-provable. I argue that there is no such formula.


title: Non-Archimedean Big Picard Theorems

abstract: A non-Archimedean analog of the classical Big Picard Theorem, which says that a holomorphic map from the punctured disc to a Riemann surface of hyperbolic type extends accross the puncture, is proven using Berkovich's theory of non-Archimedean analytic spaces.


title: Higher Homotopy Operations

abstract: We provide a general definition of higher homotopy operations, encompassing most known cases, including higher Massey and Whitehead products, and long Toda brackets. These operations are defined in terms of the W-construction of Boardman and Vogt, applied to the appropriate diagram category; we also show how some classical families of polyhedra (including simplices, cubes, associahedra, and permutahedra) arise in this way.


title: Co-Addition for free Non-Associative Algebras and the Hausdorff Series

abstract: Generalizations of the series exp and log to noncommutative non-associative and other types of algebras were considered by M.Lazard, and recently by V.Drensky and L.Gerritzen. There is a unique power series exp(x) in one non-associative variable x such that exp(x)exp(x)=exp(2x), exp'(0)=1. We call the unique series H=H(x,y) in two non-associative variables satisfying exp(H)=exp(x)exp(y) the non-associative Hausdorff series, and we show that the homogeneous components of H are primitive elements with respect to the co-addition for non-associative variables. We describe the space of primitive elements for the co-addition in non-associative variables using Taylor expansion and a projector onto the algebra A_0 of constants for the partial derivations. By a theorem of Kurosh, A_0 is a free algebra. We describe a procedure to construct a free algebra basis consisting of primitive elements.


title: The existence problem for dynamics of dissipative systems in quantum probability

abstract: Motivated by existence problems for dissipative systems arising naturally in lattice models from quantum statistical mechanics, we consider the following $C^{\ast}$-algebraic setting: A given hermitian dissipative mapping $\delta$ is densely defined in a unital $C^{\ast}$-algebra $\mathfrak{A}$. The identity element in ${\frak A}$ is also in the domain of $\delta$. Completely dissipative maps $\delta$ are defined by the requirement that the induced maps, $(a_{ij})\to (\delta (a_{ij}))$, are dissipative on the $n$ by $n$ complex matrices over ${\frak A}$ for all $n$. We establish the existence of different types of maximal extensions of completely dissipative maps. If the enveloping von Neumann algebra of ${\frak A}$ is injective, we show the existence of an extension of $\delta$ which is the infinitesimal generator of a quantum dynamical semigroup of completely positive maps in the von Neumann algebra. If $\delta$ is a given well-behaved *-derivation, then we show that each of the maps $\delta$ and $-\delta$ is completely dissipative.


title: Homogeneous algebras, statistics and combinatorics

abstract: After some generalities on homogeneous algebras, we give a formula connecting the Poincar\'e series of a homogeneous algebra with the homology of the corresponding Koszul complex generalizing thereby a standard result for quadratic algebras. We then investigate two particular types of cubic algebras: The first one called the parafermionic (parabosonic) algebra is the algebra generated by the creation operators of the universal fermionic (bosonic) parastatics with $D$ degrees of freedom while the second is the plactic algebra that is the algebra of the plactic monoid with entries in $\{1,2,..., D\}$. In the case D=2 we describe the relations with the cubic Artin-Schelter algebras. It is pointed out that the natural action of GL(2) on the parafermionic algebra for D=2 extends as an action of the quantum group $GL_{p,q}(2)$ on the generic cubic Artin-Schelter regular algebra of type $S_1$; $p$ and $q$ being related to the Artin-Schelter parameters. It is claimed that this has a counterpart for any integer $D\geq 2$.


title: Implementation of the Combined--Nonlinear Condensation Transformation

abstract: We discuss several applications of the recently proposed combined nonlinear-condensation transformation (CNCT) for the evaluation of slowly convergent, nonalternating series. These include certain statistical distributions which are of importance in linguistics, statistical-mechanics theory, and biophysics (statistical analysis of DNA sequences). We also discuss applications of the transformation in experimental mathematics, and we briefly expand on further applications in theoretical physics. Finally, we discuss a related Mathematica program for the computation of Lerch's transcendent.


title: Higher Order Invariants of Immersions of Surfaces into 3-Space

abstract: We classify all finite order invariants of immersions of a closed orientable surface into R^3, with values in any Abelian group. We show that they are all functions of order one invariants.


title: Counting Rational Points on Ruled Varieties

abstract: In this paper, we prove a general result computing the number of rational points of bounded height on a projective variety $V$ which is covered by lines. The main technical result used to achieve this is an upper bound on the number of rational points of bounded height on a line. This upper bound is such that it can be easily controlled as the line varies, and hence is used to sum the counting functions of the lines which cover the original variety $V$.


title: Unfoldings of meromorphic connections and a construction of Frobenius manifolds

abstract: The existence of universal unfoldings of certain germs of meromorphic connections is established. This is used to prove a general construction theorem for Frobenius manifolds. A particular case is Dubrovin's theorem on semisimple Frobenius manifolds. Another special case starts with variations of Hodge structures. This case is used to compare two constructions of Frobenius manifolds, the one in singularity theory and the Barannikov-Kontsevich construction. For homogeneous polynomials which give Calabi-Yau hypersurfaces certain Frobenius submanifolds in both constructions are isomorphic.


title: Robust transitivity implies almost robust ergodicity

abstract: In this paper we show the relation between robust transitivity and robust ergodicity for conservative diffeomorphisms. In dimension 2 robustly transitive systems are robustly ergodic. For the three dimensional case, we define it almost robust ergodicity and prove that generically robustly transitive systems are almost robustly ergodic, if the Lyapunov exponents are nonzero. We also show in higher dimensions, that under some conditions robust transitivity implies robust ergodicity.


title: Equations of Hurwitz Schemes in the Infinite Grassmannian

abstract: The main result proved in the paper is the computation of the explicit equations defining the Hurwitz schemes of coverings with punctures as subschemes of the Sato infinite Grassmannian. As an application, we characterize the existence of certain linear series on a smooth curve in terms of soliton equations.


title: Continuous-Trace Groupoid Crossed Products

abstract: Let $G$ be a second countable, locally compact groupoid with Haar system, and let $\mathcal{A}$ be a bundle of $C^{\ast}$-algebras defined over the unit space of $G$ on which $G$ acts continuously. We determine conditions under which the associated crossed product $C^{\ast}(G;\mathcal{A})$ is a continuous trace $C^{\ast}$-algebra.


title: Integral bases for TQFT modules and unimodular representations of mapping class groups

abstract: We construct integral bases for the SO(3)-TQFT-modules of surfaces in genus one and two at roots of unity of prime order and show that the corresponding mapping class group representations preserve a unimodular Hermitian form over a ring of algebraic integers. For higher genus surfaces the Hermitian form sometimes must be non-unimodular. In one such case, genus 3 and p=5, we still give an explicit basis.


title: Zero Assignment in Multivariable System Using Pole Assignment Method

abstract: In the paper we consider the invariant zero assignment problem in a linear multivariable system with several inputs/outputs by constructing a system output matrix. The problem is reduced to the pole assignment problem by a state feedback (modal control) in a descriptor system or a regular one. It is shown that the zero assignment and pole assignment are mathematically equivalent problems.


title: $(L_p, L_q)$ estimates of potentials with oscillating kernel

abstract: $(L_p, L_q)$ estimates are obtained for oscillatory potentials $(K^\alphaf)(x)=\int\limits_{R^n}\frac{\exp(i|y|)}{|y|^{n-\alpha}}f(x-y)dy$, $0<\alpha<n$, $n\geq 2$, whose symbol has a singularity on the unit sphere. These potentials are natural modifications of the celebrated Bochner-Riesz operator and Helmholtz potential arising in Fourier analysis and PDE. For some values of $\alpha$, determination of the corresponding pairs $(L_p, L_q)$ represents an open problem. The range of $\alpha$ for which the problem is open is just the same as for the Bochner-Riesz means.


title: The topology of the space of symplectic balls in rational 4-manifolds

abstract: We study in this paper the rational homotopy type of the space of symplectic embeddings of the standard ball $B^4(c) \subset \R^4$ into 4-dimensional rational symplectic manifolds. We compute the rational homotopy groups of that space when the 4-manifold has the form $M_{\lambda}= (S^2 \times S^2, \mu \omega_0 \oplus \omega_0)$ where $\omega_0$ is the area form on the sphere with total area 1 and $\mu$ belongs to the interval $[1,2]$. We show that, when $\mu$ is 1, this space retracts to the space of symplectic frames, for any value of $c$. However, for any given $1 < \mu < 2$, the rational homotopy type of that space changes as $c$ crosses the critical parameter $c_{crit} = \mu - 1$, which is the difference of areas between the two $S^2$ factors. We prove moreover that the full homotopy type of that space changes only at that value, i.e the restriction map between these spaces is a homotopy equivalence as long as these values of $c$ remain either below or above that critical value.


title: Categories arising from tabular algebras

abstract: We continue the investigation of tabular algebras with trace (a certain class of associative ${\Bbb Z}[v, v^{-1}]$-algebras equipped with distinguished bases) by determining the extent to which the tabular structure may be recovered from a knowledge of the structure constants. This problem is equivalent to understanding a certain category (the category of table data associated to a tabular algebra) which we introduce. The main result is that this category is equivalent to another category (the category of based posets associated to a tabular algebra) whose structure we describe explicitly.


title: Desingularization algorithms I. Role of exceptional divisors

abstract: The article is about a "desingularization principle" common to various canonical desingularization algorithms in characteristic zero, and the roles played by the exceptional divisors in the underlying local construction. We compare algorithms of the authors and of Villamayor and his collaborators, distinguishing between the fundamental effect of the way the exceptional divisors are used, and different theorems obtained because of flexibility allowed in the choice of "input data". We show how the meaning of "invariance" of the desingularization invariant, and the efficiency of the algorithm depend on the notion of "equivalence" of collections of local data used in the inductive construction.


title: Quadratic quandles and their link invariants

abstract: Carter, Jelsovsky, Kamada, Langford and Saito have defined an invariant of classical links associated to each element of the second cohomology of a finite quandle. We study these invariants for Alexander quandles of the form Z[t,t^{-1}]/(p, t^2 + kappa t + 1), where p is a prime number and t^2 + kappa t + 1 is irreducible modulo p. For each such quandle, there is an invariant with values in the group ring Z[C_p] of a cyclic group of order p. We shall show that the values of this invariant all have the form Gamma_p^r p^{2s} for a fixed element Gamma_p of Z[C_p] and integers r >= 0 and s > 0. We also describe some machine computations, which lead us to conjecture that the invariant is determined by the Alexander module of the link. This conjecture is verified for all torus and two-bridge knots.


title: Maximal Independent Sets In Graphs With At Most r Cycles

abstract: We find the maximum number of maximal independent sets in two families of graphs: all graphs with $n$ vertices and at most $r$ cycles, and all such graphs that are also connected. In addition, we characterize the extremal graphs.


title: Improved upper bounds for the number of points on curves over finite fields

abstract: We give new arguments that improve the known upper bounds on the maximal number N_q(g) of rational points of a curve of genus g over a finite field F_q for a number of pairs (q,g). Given a pair (q,g) and an integer N, we determine the possible zeta functions of genus-g curves over F_q with N points, and then deduce properties of the curves from their zeta functions. In many cases we can show that a genus-g curve over F_q with N points must have a low-degree map to another curve over F_q, and often this is enough to give us a contradiction. In particular, we able to provide eight previously unknown values of N_q(g), namely: N_4(5) = 17, N_4(10) = 27, N_8(9) = 45, N_{16}(4) = 45, N_{128}(4) = 215, N_3(6) = 14, N_9(10) = 54, and N_{27}(4) = 64. Our arguments also allow us to give a non-computer-intensive proof of the recent result of Savitt that there are no genus-4 curves over F_8 having exactly 27 rational points. Furthermore, we show that there is an infinite sequence of q's such that for every g with 0 < g < log_2 q, the difference between the Weil-Serre bound on N_q(g) and the actual value of N_q(g) is at least g/2.


title: Diophantine approximation by conjugate algebraic integers

abstract: Building on work of Davenport and Schmidt, we mainly prove two results. The first one is a version of Gel'fond's transcendence criterion which provides a sufficient condition for a complex or $p$-adic number $\xi$ to be algebraic in terms of the existence of polynomials of bounded degree taking small values at $\xi$ together with most of their derivatives. The second one, which follows from this criterion by an argument of duality, is a result of simultaneous approximation by conjugate algebraic integers for a fixed number $\xi$ that is either transcendental or algebraic of sufficiently large degree. We also present several constructions showing that these results are essentially optimal.


title: Capture zones of the family of functions lambda z^m exp(z)

abstract: We consider the family of entire transcendental maps given by $F_{\lambda,m}= \lambda z^m exp(z)$ where m>=2. All functions $F_{\lambda,m}$ have a superattracting fixed point at z=0, and a critical point at z=-m. In the dynamical plane we study the topology of the basin of attraction of z=0. In the parameter plane we focus on the capture behaviour, i.e., \lambda values such that the critical point belongs to the basin of attraction of z=0. In particular, we find a capture zone for which this basin has a unique connected component, whose boundary is then non-locally connected. However, there are parameter values for which the boundary of the immediate basin of z=0 is a quasicircle.


title: Threefolds of P^5 with one apparent quadruple point

abstract: In this article we classify all the smooth threefolds of P^5 with an apparent quadruple point provided that the family of its 4-secant lines is an irreducible (first order) congruence. This is sufficient to conclude the classification of all the smooth codimension two varieties of P^n with one apparent (n-1)-point and with irreducible family of (n-1)-secant lines.


title: Minimum aberration designs of resolution III

abstract: In this article we prove several important properties of 2^{k-p} minimum aberration (MA) designs with k>2, where n=2^{k-p} is the number of runs. We develop a simple method to build MA designs of resolution III. Furthermore, we introduce a simple relationship, based on product of polynomials, for computing their word-length patterns.


title: Multipoint series of Gromov-Witten invariants of CP^1

abstract: We give explicit formulas for the multipoint series of Gromov-Witten invariants of CP^1. We use the recursions of the Toda hierarchy to calculate these in degree 0, and the Toda equation and the degree 0 formulas to extend the calculation to higher degrees. We also obtain formulas for the Hodge series for the Hodge classes lambda_g and lambda_{g-1}.


title: The space of clouds in an Euclidean space

abstract: We study the space $\nua{m}{d}$ of clouds in $\bbr^d$ (ordered sets of $m$ points modulo the action of the group of affine isometries). We show that $\nua{m}{d}$ is a smooth space, stratified over a certain hyperplane arrangement in $\bbr^m$. We give an algorithm to list all the chambers and other strata (this is independent of $d$). With the help of a computer, we obtain the list of all the chambers for $m\leq 9$ and all the strata when $m\leq 8$. As the strata are the product of a polygon spaces with a disk, this gives a classification of $m$-gon spaces for $m\leq 9$. When $d=2,3$, $m=5,6,7$ and modulo reordering, we show that the chambers (and so the different generic polygon spaces) are distinguished by the ring structure of their ${\rm mod} 2$-cohomology.


title: The Zariski-Lefschetz principle for higher homotopy groups of nongeneric pencils

abstract: We prove a general Zariski-van Kampen-Lefschetz type theorem for higher homotopy groups of generic and nongeneric pencils on singular open complex spaces.


title: Test ideals in diagonal hypersurface rings II

abstract: Let $R=k[x_1, ..., x_n]/(x_1^d + ... + x_n^d)$, where $k$ is a field of characteristic $p$, $p$ does not divide $d$ and $n \geq 3$. We describe a method for computing the test ideal for these diagonal hypersurface rings. This method involves using a characterization of test ideals in Gorenstein rings as well as developing a way to compute tight closures of certain ideals despite the lack of a general algorithm. In addition, we compute examples of test ideals in diagonal hypersurface rings of small characteristic (relative to $d$) including several that are not integrally closed. These examples provide a negative answer to Smith's (2000, Comm. in Alg.) question of whether the test id eal in general is always integrally closed.


title: Point Configurations and Cayley-Menger Varieties

abstract: Equivalence classes of $n$-point configurations in Euclidean, Hermitian, and quaternionic spaces are related, respectively, to classical determinantal varieties of symmetric, general, and skew-symmetric bilinear forms. Cayley-Menger varieties arise in the Euclidean case, and have relevance for mechanical linkages, polygon spaces and rigidity theory. Applications include upper bounds for realizations of planar Laman graphs with prescribed edge-lengths and examples of special Lagrangians in Calabi-Yau manifolds.


title: Sur la L2-cohomologie des varietes a courbure negative

abstract: We give a topological interpretation of the space of L2-harmonic forms on finite-volume manifolds with sufficiently pinched negative curvature. We give examples showing that this interpretation fails if the curvature is not sufficiently pinched and that our result is sharp with respect to the pinching constants. The method consists first in comparing L2-cohomology with weighted L2-cohomology thanks to previuos works done by T. Ohsawa, and then in identifying these weighted spaces.


title: Percolation on finite graphs and isoperimetric inequalities

abstract: Consider a uniform expanders family G_n with a uniform bound on the degrees. It is shown that for any p and c>0, a random subgraph of G_n obtained by retaining each edge, randomly and independently, with probability p, will have at most one cluster of size at least c|G_n|, with probability going to one, uniformly in p. The method from Ajtai, Komlos and Szemeredi [Combinatorica 2 (1982) 1-7] is applied to obtain some new results about the critical probability for the emergence of a giant component in random subgraphs of finite regular expanding graphs of high girth, as well as a simple proof of a result of Kesten about the critical probability for bond percolation in high dimensions. Several problems and conjectures regarding percolation on finite transitive graphs are presented.


title: Generating large non-singular matrices over an arbitrary field with blocks of full rank

abstract: This note describes a technique for generating large non-singular matrices with blocks of full rank. Our motivation to construct such matrices arises in the white-box implementation of cryptographic algorithms with S-boxes.


title: Gauss-Manin connections for arrangements, II Nonresonant weights

abstract: We study the Gauss-Manin connection for the moduli space of an arrangement of complex hyperplanes in the cohomology of a nonresonant complex rank one local system. Aomoto and Kita determined this Gauss-Manin connection for arrangements in general position. We use their results and an algorithm constructed in this paper to determine this Gauss-Manin connection for all arrangements.


title: Representations of twisted Yangians associated with skew Young diagrams

abstract: Let $G_M$ be one of the complex Lie groups $O_M$ and $Sp_M$. The irreducible finite-dimensional representations of the group $G_M$ are labeled by partitions $\mu$ satisfying certain extra conditions. Let $U$ be the representation of $G_M$ corresponding to $\mu$. Regard the direct product $G_N\times G_M$ as a subgroup of $G_{N+M}$. Let $V$ be the irreducible representation of $G_{N+M}$ corresponding to a partition $\lambda$. Consider the vector space $W=Hom_{G_M}(U,V)$. It comes with a natural action of the group $G_N$. Let $n$ be sum of parts of $\lambda$ less the sum of parts of $\mu$. For any choice of a standard Young tableau of skew shape $\lambda/\mu$, we realize $W$ as a subspace in the tensor product of $n$ copies of the defining $N$-dimensional representation of $G_N$. This subspace is determined as the image of a certain linear operator $F(M)$ in the tensor product, given by an explicit formula. When M=0 and $W=V$ is an irreducible representation of $G_N$, we recover the classical realization of $V$ as a subspace in the space of all traceless tensors. Then the operator F(0) can be regarded as the analogue for $G_N$ of the Young symmetrizer, corresponding to the chosen standard tableau of shape $\lambda$. Even in the special case M=0, our formula for the operator $F(M)$ is new. Our results are applications of representation theory of the twisted Yangian, corresponding to $G_N$. In particular, $F(M)$ is an intertwining operator between two representations of the twisted Yangian in the $n$-fold tensor product.


title: Dynamics on the space of harmonic functions and the foliated Liouville problem

abstract: We study here the action of subgroups of PSL(2,R) on the space of harmonic functions on the unit disc bounded by a common constant, as well as the relationship this action has with the foliated Liouville problem: Given a foliation of a compact manifold by Riemannian leaves and a leafwise harmonic continuous function on the manifold, is the function leafwise constant? We give a number of positive results and also show a general class of examples for which the Liouville property does not hold. The connection between the Liouville property and the dynamics on the space of harmonic functions as well as general properties of this dynamical system are explored. It is shown among other properties that the Z-action generated by hyperbolic or parabolic elements of PSL(2,R) is chaotic.


title: Vertex operator algebra with two Miyamoto involutions generating $S_3$

abstract: In this article we study a VOA with two Miyamoto involutions generating $S_3$. In \cite{M3}, Miyamoto showed that a VOA generated by two conformal vectors whose Miyamoto involutions generate an automorphism group isomorphic to $S_3$ is isomorphic to one of the four candidates he listed. We construct one of them and prove that our VOA is actually the same as $\mathrm{VA}(e,f)$ studied by Miyamoto. We also show that there is an embedding into the moonshine VOA. Using our VOA, we can define the 3A-triality in the Monster.


title: Invariant Cyclic Homology

abstract: We define a noncommutative analogue of invariant de Rham cohomology. More precisely, for a triple $(A,\mathcal{H},M)$ consisting of a Hopf algebra $\mathcal{H}$, an $\mathcal{H}$-comodule algebra $A$, an $\mathcal{H}$-module $M$, and a compatible grouplike element $\sigma$ in $\mathcal{H}$, we define the cyclic module of invariant chains on $A$ with coefficients in $M$ and call its cyclic homology the invariant cyclic homology of $A$ with coefficients in $M$. We also develop a dual theory for coalgebras. Examples include cyclic cohomology of Hopf algebras defined by Connes-Moscovici and its dual theory. We establish various results and computations including one for the quantum group $SL(q,2)$.


title: Commutants of Bol loops of Odd Order

abstract: In this note we show that the commutant of a Bol loop of odd order is a subloop.


title: Morphismes injectifs entre groupes d'Artin-Tits

abstract: We construct a family of morphisms between Artin-Tits groups which generalise the ones constructed by J. Crisp in [Injective maps between Artin groups, Proceedings of the Special Year in Geometric Group Theory, Berlin, (1999), 119 -- 138]. We show that their restrictions to the positive Artin monoids respect normal forms, and that for Artin-Tits groups of type FC, these morphisms are injective. The proof of the second result uses the Deligne Complex, and the normal cube paths constructed in [G. Niblo and L. Reeves, The geometry of cube complexes and the complexity of their fundamental groups, Topology 37 (1998) 621-633] and [J.A. Altobelli and R. Charney, A geometric Rational Form for Artin Groups of FC type, Geom. Dedicata, 79 (2000) 277-289]. Resume: On construit une classe de morphismes entre groupes d'Artin-Tits qui generalise celle construite par J. Crisp dans [Injective maps between Artin groups, Proceedings of the Special Year in Geometric Group Theory, Berlin, (1999), 119 -- 138]. On montre que leurs restrictions aux monoides respectent les formes normales, et que pour les groupes d'Artin-Tits de type FC ces morphismes sont injectifs. La demonstration du second resultat utilise le complexe de Deligne et les chemins cubiques normaux construits dans [G. Niblo et L. Reeves, The geometry of cube complexes and the complexity of their fundamental groups, Topology 37 (1998) 621-633] et [J.A. Altobelli et R. Charney, A geometric Rational Form for Artin Groups of FC type, Geom. Dedicata, 79 (2000) 277-289].


title: The Shannon-McMillan Theorem for Ergodic Quantum Lattice Systems

abstract: We formulate and prove a quantum Shannon-McMillan theorem. The theorem demonstrates the significance of the von Neumann entropy for translation invariant ergodic quantum spin systems on n-dimensional lattices: the entropy gives the logarithm of the essential number of eigenvectors of the system on large boxes. The one-dimensional case covers quantum information sources and is basic for coding theorems.

categories: math.DS cs.DS cs.IT math-ph math.IT math.MP math.OA quant-ph


title: Symmetric Functions and B_N-invariant Spherical Harmonics

abstract: The wave functions of a quantum isotropic harmonic oscillator in N-space modified by barriers at the coordinate hyperplanes can be expressed in terms of certain generalized spherical harmonics. These are associated with a product-type weight function on the sphere. Their analysis is carried out by means of differential-difference operators. The symmetries of this system involve the Weyl group of type B, generated by permutations and changes of sign of the coordinates. A new basis for symmetric functions as well as an explicit transition matrix to the monomial basis is constructed. This basis leads to a basis for invariant spherical harmonics. The determinant of the Gram matrix for the basis in the natural inner product over the sphere is evaluated, and there is a formula for the evaluation of the basis elements at (1,1,...,1). When the underlying parameter is specialized to zero, the basis consists of ordinary spherical harmonics with cube group symmetry, as used for wave functions of electrons in crystals. The harmonic oscillator can also be considered as a degenerate interaction-free spin Calogero model.


title: Refined and l-adic Euler characteristics of nearly perfect complexes

abstract: We lift the Euler characteristic of a nearly perfect complex to a relative algebraic K-group by passing to its l-adic Euler characteristics.


title: Galois structure of Zariski cohomology for weakly ramified covers of curves

abstract: We compute equivariant Euler characteristics of locally free sheaves on curves, thereby generalizing several results of Kani and Nakajima. For instance, we extend Kani's computation of the Galois module structure of the space of global meromorphic differentials which are logarithmic along the ramification locus from the tamely ramified to the weakly ramified case.


title: Existence and uniqueness of solutions to the operator Riccati equation. A geometric approach

abstract: We introduce a new concept of unbounded solutions to the operator Riccati equation $A_1 X - X A_0 - X V X + V^\ast = 0$ and give a complete description of its solutions associated with the spectral graph subspaces of the block operator matrix $\mathbf{B} = \begin{pmatrix} A_0 & V V^\ast & A_1 \end{pmatrix}$. We also provide a new characterization of the set of all contractive solutions under the assumption that the Riccati equation has a contractive solution associated with a spectral subspace of the operator $\mathbf{B}$. In this case we establish a criterion for the uniqueness of contractive solutions.


title: On the Number of Embeddings of Minimally Rigid Graphs

abstract: Rigid frameworks in some Euclidian space are embedded graphs having a unique local realization (up to Euclidian motions) for the given edge lengths, although globally they may have several. We study the number of distinct planar embeddings of minimally rigid graphs with $n$ vertices. We show that, modulo planar rigid motions, this number is at most ${{2n-4}\choose {n-2}} \approx 4^n$. We also exhibit several families which realize lower bounds of the order of $2^n$, $2.21^n$ and $2.88^n$. For the upper bound we use techniques from complex algebraic geometry, based on the (projective) Cayley-Menger variety $CM^{2,n}(C)\subset P_{{{n}\choose {2}}-1}(C)$ over the complex numbers $C$. In this context, point configurations are represented by coordinates given by squared distances between all pairs of points. Sectioning the variety with $2n-4$ hyperplanes yields at most $deg(CM^{2,n})$ zero-dimensional components, and one finds this degree to be $D^{2,n}={1/2}{{2n-4}\choose {n-2}}$. The lower bounds are related to inductive constructions of minimally rigid graphs via Henneberg sequences. The same approach works in higher dimensions. In particular we show that it leads to an upper bound of $2 D^{3,n}= {\frac{2^{n-3}}{n-2}}{{n-6}\choose{n-3}}$ for the number of spatial embeddings with generic edge lengths of the 1-skeleton of a simplicial polyhedron, up to rigid motions.


title: Induced and simple modules of double affine Hecke algebras

abstract: We classify the simple integrable modules of double affine Hecke algebras via perverse sheaves. We get also some estimate for the Jordan-Holder multiplicities of induced modules.


title: The asymptotic growth of equivariant sections of positive and big line bundles

abstract: If a finite group acts holomorphically on a pair (X,L), where X is a complex projective manifold and L a line bundle on it, for every k the space of holomorphic global section of the k-th power of L splits equivariantly according to the irreducible representations of G. We consider the asymptotic growth of these summands, under various positivity conditions on L. The methods apply also to the context of almost complex quantization.


title: Transformation de Fourier homogene

abstract: In their proof of the Drinfeld-Langlands correspondence, Frenkel, Gaitsgory and Vilonen make use of a geometric Fourier transformation. Therefore, they work either with l-adic sheaves in characteristic p>0, or with D-modules in characteristic 0. Actually, they only need to consider the Fourier transforms of homogeneous sheaves for which one expects a uniform geometric construction in any characteristic. In this note, we propose such a homogeneous geometric Fourier transformation. It extends the geometric Radon transformation which has been studied by Brylinski.


title: Mean Curvature Flow, Orbits, Moment Maps

abstract: Given a compact Riemannian manifold together with a group of isometries, we discuss MCF of the orbits and some applications: eg, finding minimal orbits. We then specialize to Lagrangian orbits in Kaehler manifolds. In particular, in the Kaehler-Einstein case we find a relation between MCF and moment maps which, for example, proves that the minimal Lagrangian orbits are isolated.


title: Plane curves and their fundamental groups: Generalizations of Uludag's construction

abstract: In this paper we investigate Uludag's method for constructing new curves whose fundamental groups are central extensions of the fundamental group of the original curve by finite cyclic groups. In the first part, we give some generalizations to his method in order to get new families of curves with controlled fundamental groups. In the second part, we discuss some properties of groups which are preserved by these methods. Afterwards, we describe precisely the families of curves which can be obtained by applying the generalized methods to several types of plane curves. We also give an application of the general methods for constructing new Zariski pairs.


title: Families of toric varieties

abstract: The goal of this paper is to define families of toric varieties and to study their properties. These families are locally trivial fibrations over some base, whose fibres are isomorphic to a fixed complete toric variety. The study is motivated by the occurence of such families in the context of gauged sigma models for toric varieties.


title: On the existence of a new type of periodic and quasi-periodic orbits for twist maps of the torus

abstract: We prove that for a large and important class of $C^1$ twist maps of the torus periodic and quasi-periodic orbits of a new type exist, provided that there are no rotational invariant circles (R.I.C's). These orbits have a non-zero ''vertical rotation number'' (V.R.N.), in contrast to what happens to Birkhoff periodic orbits and Aubry-Mather sets. The V.R.N. is rational for a periodic orbit and irrational for a quasi-periodic. We also prove that the existence of an orbit with a $V.R.N=a>0,$ implies the existence of orbits with $V.R.N=b,$ for all $0<b<a.$ In this way, related to a generalized definition of rotation number, we characterize all kinds of periodic and quasi-periodic orbits a twist map of the torus can have. And as a consequence of the previous results we obtain that a twist map of the torus with no R.I.C's has positive topological entropy, which is a very classical result. In the end of the paper we present some examples, like the Standard map, such that our results apply.


title: A note on a standard family of twist maps

abstract: We investigate the break up of the last invariant curve for families of standard maps. Our main result is another evidence of how hard this problem is. We give an example of an analytic mapping with a "pathological" behavior, related to the break up of the last rotational invariant curve.


title: The Hilbert Zonotope and a Polynomial Time Algorithm for Universal Grobner Bases

abstract: We provide a polynomial time algorithm for computing the universal Gr\"obner basis of any polynomial ideal having a finite set of common zeros in fixed number of variables. One ingredient of our algorithm is an effective construction of the state polyhedron of any member of the Hilbert scheme Hilb^d_n of n-long d-variate ideals, enabled by introducing the Hilbert zonotope H^d_n and showing that it simultaneously refines all state polyhedra of ideals on Hilb^d_n.


title: Convex Matroid Optimization

abstract: We consider a problem of optimizing convex functionals over matroid bases. It is richly expressive and captures certain quadratic assignment and clustering problems. While generally NP-hard, we show it is polynomial time solvable when a suitable parameter is restricted.


title: Rigidity of the measurable structure for algebraic actions of higher rank abelian groups

abstract: We investigate rigidity of measurable structure for higher rank abelian algebraic actions. In particular, we show that ergodic measures for these actions fiber over a 0 entropy measure with Haar measures along the leaves. We deduce various rigidity theorems for isomorphisms and joinings as corollaries.


title: K-theory of Solvable Groups

abstract: We first prove that the Whitehead group of a torsion-free virtually solvable linear group vanishes. Next we make a reduction of the fibered isomorphism conjecture from virtually solvable groups to a class of virtually solvable Q-linear groups. Finally we prove an L-theory analogue for elementary amenable groups.


title: Bounds for Curves in Abelian Varieties

abstract: A uniform bound of intersection multiplicities of curves and divisors on abelian varieties is proved by algebraic geometric methods. It extends and improves a result obtained by A. Buium with a different method based on Kolchin's differential algebra. The problem is modeled after the abc-Conjecture of Masser-Oesterle for abelian varieties over the function field of a curve. As an application a finiteness theorem is proved for maps from a curve into an abelian variety omitting an ample divisor.


title: Boundary rigidity for Lagrangian submanifolds, non-removable intersections, and Aubry-Mather theory

abstract: We consider Lagrangian submanifolds lying on a fiberwise strictly convex hypersurface in some cotangent bundle or, respectively, in the domain bounded by such a hypersurface. We establish a new boundary rigidity phenomenon, saying that certain Lagrangians on the hypersurface cannot be deformed (via Lagrangians having the same Liouville class) into the interior domain. Moreover, we study the "non-removable intersection set" between the Lagrangian and the hypersurface, and show that it contains a set with specific dynamical behavior, known as Aubry set in Aubry-Mather theory.


title: Large classes of minimally supported frequency wavelets of L^2(\R) and H^2(\R)

abstract: We introduce a method to construct large classes of MSF wavelets of the Hardy space H^2(\R) and symmetric MSF wavelets of L^2(\R), and discuss the classification of such sets. As application, we show that there are uncountably many wavelet sets of L^2(\R) and H^2(\R). We also enumerate all symmetric wavelets of L^2(\R) with at most three intervals in the positive axis as well as 3-interval wavelet sets of H^2(\R). Finally, we construct families of MSF wavelets of L^2(\R) whose Fourier transform does not vanish in any neighbourhood of the origin.


title: Non-MSF wavelets for the Hardy space H^2(\R)

abstract: We prove three results on wavelets for the Hardy space H^2(\R). All wavelets constructed so far for H^2(\R) are MSF wavelets. We construct a family of H^2-wavelets which are not MSF. An equivalence relation on H^2-wavelets is introduced and it is shown that the corresponding equivalence classes are non-empty. Finally, we construct a family of H^2-wavelets with Fourier transform discontinuous at the origin.


title: Free abelian covers, short loops, stable length, and systolic inequalities

abstract: Withdrawn by first author.


title: Deformations of Asymptotically Conical Special Lagrangian Submanifolds

abstract: McLean studied the deformations of compact special Lagrangian submanifolds, showing in particular that they come in moduli spaces whose dimension depends only on the topology of the submanifold. In this article we study the analogous problem for non-compact, "asymptotically conical" SL submanifolds, with respect to various "boundary conditions at infinity".


title: The omega-Categories Associated With Products of Infinite-Dimensional Globes

abstract: This thesis studies the omega-categories associated with products of infinite-dimensional globes.


title: A Zador-Like Formula for Quantizers Based on Periodic Tilings

abstract: We consider Zador's asymptotic formula for the distortion-rate function for a variable-rate vector quantizer in the high-rate case. This formula involves the differential entropy of the source, the rate of the quantizer in bits per sample, and a coefficient G which depends on the geometry of the quantizer but is independent of the source. We give an explicit formula for G in the case when the quantizing regions form a periodic tiling of n-dimensional space, in terms of the volumes and second moments of the Voronoi cells. As an application we show, extending earlier work of Kashyap and Neuhoff, that even a variable-rate three-dimensional quantizer based on the ``A15'' structure is still inferior to a quantizer based on the body-centered cubic lattice. We also determine the smallest covering radius of such a structure.


title: Quantizing Using Lattice Intersections

abstract: The usual quantizer based on an n-dimensional lattice L maps a point x in R^n to a closest lattice point. Suppose L is the intersection of lattices L_1, ..., L_r. Then one may instead combine the information obtained by simultaneously quantizing x with respect to each of the L_i. This corresponds to decomposing R^n into a honeycomb of cells which are the intersections of the Voronoi cells for the L_i, and identifying the cell to which x belongs. This paper shows how to write several standard lattices (the face-centered and body-centered cubic lattices, the root lattices D_4, E_6*, E_8, the Coxeter-Todd, Barnes-Wall and Leech lattices, etc.) in a canonical way as intersections of a small number of simpler, decomposable, lattices. The cells of the honeycombs are given explicitly and the mean squared quantizing error calculated in the cases when the intersection lattice is the face-centered or body-centered cubic lattice or the lattice D_4.


title: Higher Order Modulation Equations for a Boussinesq Equation

abstract: In order to investigate corrections to the common KdV approximation to long waves, we derive modulation equations for the evolution of long wavelength initial data for a Boussinesq equation. The equations governing the corrections to the KdV approximation are explicitly solvable and we prove estimates showing that they do indeed give a significantly better approximation than the KdV equation alone. We also present the results of numerical experiments which show that the error estimates we derive are essentially optimal.


title: A Free Entropy Dimension Lemma

abstract: Suppose M is a von Neumann algebra with normal, tracial state phi and {a_1,...,a_n} is a set of self-adjoint elements in M. We provide an alternative uniform packing description of delta_0(a_1,...,a_n), the modified free entropy dimension of {a_1,...,a_n}.


title: Etale covers of affine spaces in positive characteristic

abstract: We prove that every projective variety of dimension n over a field of positive characteristic admits a morphism to projective n-space, etale away from the hyperplane H at infinity, which maps a chosen divisor into H and a chosen smooth point not on the divisor to some point not in H.


title: Quantum Group Covariance and the Braided Structure of Deformed Oscillators

abstract: The connection between braided Hopf algebra structure and the quantum group covariance of deformed oscillators is constructed explicitly. In this context we provide deformations of the Hopf algebra of functions on SU(1,1). Quantum subgroups and their representations are also discussed.


title: Strichartz estimates for the Wave and Schrodinger Equations with the Inverse-Square Potential

abstract: We prove spacetime weighted-L^2 estimates for the Schrodinger and wave equation with an inverse-square potential. We then deduce Strichartz estimates for these equations.


title: Uniform Infinite Planar Triangulations

abstract: The existence of the weak limit as n --> infinity of the uniform measure on rooted triangulations of the sphere with n vertices is proved. Some properties of the limit are studied. In particular, the limit is a probability measure on random triangulations of the plane.


title: Injective Hopf bimodules, cohomologies of infinite dimensional Hopf algebras and graded-commutativity of the Yoneda product

abstract: We prove that the category of Hopf bimodules over any Hopf algebra has enough injectives, which enables us to extend some results on the unification of Hopf bimodule cohomologies of [T1,T2] to the infinite dimensional case. We also prove that the cup-product defined on these cohomologies is graded-commutative.


title: Classification of irreducible modules of certain subalgebras of free boson vertex algebra

abstract: Let M(1) be the vertex algebra for a single free boson. We classify irreducible modules of certain vertex subalgebras of M(1) generated by two generators. These subalgebras correspond to the W(2, 2p-1)--algebras with central charge $1- 6 \frac{(p - 1) ^{2}}{p}$ where p is a positive integer, $p \ge 2$. We also determine the associated Zhu's algebras.


title: Free C_+ -actions on C^3 are translations

abstract: Let X' be a smooth contractible three-dimensional affine algebraic variety with a free algebraic C_+ -action on it such that S =X'// C_+ is smooth. We prove that X' is isomorphic to $S \times \C$ and the action is induced by a translation on the second factor. As a consequence we show that any free algebraic C_+ -action on C^3 is a translation in a suitable coordinate system.


title: Traces of intertwiners for quantum groups and difference equations, II

abstract: In this paper we study twisted traces of products of intertwining operators for quantum affine algebras. They are interesting special functions, depending on two weights lambda, mu, three scalar parameters q, omega, k, and spectral parameters z_1,...,z_N, which may be regarded as q-analogs of conformal blocks of the Wess-Zumino-Witten model on an elliptic curve. It is expected that in the rank 1 case they essentially coincide with the elliptic hypergeometric functions defined in math.QA/0110081. Our main result is that after a suitable renormalization the traces satisfy four systems of difference equations -- the Macdonald-Ruijsenaars equation, the q-Knizhnik-Zamolodchikov-Bernard equation, and their dual versions. We also show that in the case when the twisting automorphism is trivial, the trace functions are symmetric under the permutation lambda <--> mu, k <--> omega. Thus, our results here generalize our previous results, dealing with the case q = 1 and the finite dimensional case.


abstract: 0-efficient triangulations of 3-manifolds are defined and studied. It is shown that any triangulation of a closed, orientable, irreducible 3-manifold M can be modified to a 0-efficient triangulation or M can be shown to be one of the manifolds S^3, RP^3 or L(3,1). Similarly, any triangulation of a compact, orientable, irreducible, boundary-irreducible 3-manifold can be modified to a 0-efficient triangulation. The notion of a 0-efficient ideal triangulation is defined. It is shown if M is a compact, orientable, irreducible, boundary-irreducible 3-manifold having no essential annuli and distinct from the 3-cell, then the interior of M admits an ideal triangulation; furthermore, it is shown that any ideal triangulation of such a 3-manifold can be modified to a 0-efficient ideal triangulation. A 0-efficient triangulation of a closed manifold has only one vertex or the manifold is S^3 and the triangulation has precisely two vertices. 0-efficient triangulations of 3-manifolds with boundary, and distinct from the 3-cell, have all their vertices in the boundary and then just one vertex in each boundary component. As tools, we introduce the concepts of barrier surface and shrinking, as well as the notion of crushing a triangulation along a normal surface. A number of applications are given, including an algorithm to construct an irreducible decomposition of a closed, orientable 3-manifold, an algorithm to construct a maximal collection of pairwise disjoint, normal 2-spheres in a closed 3-manifold, an alternate algorithm for the 3-sphere recognition problem, results on edges of low valence in minimal triangulations of 3-manifolds, and a construction of irreducible knots in closed 3-manifolds.


title: Fusion and exchange matrices for quantized sl(2) and associated q-special functions

abstract: The aim of this paper is to evaluate in terms of q-special functions the objects (intertwining map, fusion matrix, exchange matrix) related to the quantum dynamical Yang-Baxter equation (QDYBE) for infinite dimensional representations (Verma modules) of the quantized universal enveloping algebra of g=sl(2,C). This study is done in the framework of the exchange construction, which was initiated (for general semisimple g) by Etingof and Varchenko (math.QA/9801135} and surveyed by Etingof and Schiffmann (math.QA/9908064) and Etingof (math.QA/0207008). Special attention is paid to the shifted boundary introduced by Babelon, Bernard and Billey (q-alg/9511019) and to its coincidence (first observed by Rosengren) with Rosengren's generalized elements in U_q(sl(2)) for conjugation. The present paper extends in various aspects our earlier paper math.QA/0007086, which dealt with q=1.


title: Conformal Structures and Necksizes of Embedded Constant Mean Curvature Surfaces

abstract: Let M = M_{g,k} denote the space of properly (Alexandrov) embedded constant mean curvature (CMC) surfaces of genus g with k (labeled) ends, modulo rigid motions, endowed with the real analytic structure described in [kmp]. Let $P = P_{g,k} = r_{g,k} \times R_+^k$ be the space of parabolic structures over Riemann surfaces of genus g with k (marked) punctures, the real analytic structure coming from the 3g-3+k local complex analytic coordinates on the Riemann moduli space r_{g,k}. Then the parabolic classifying map, Phi: M --> P, which assigns to a CMC surface its induced conformal structure and asymptotic necksizes, is a proper, real analytic map. It follows that Phi is closed and in particular has closed image. For genus g=0, this can be used to show that every conformal type of multiply punctured Riemann sphere occurs as a CMC surface, and -- under a nondegeneracy hypothesis -- that Phi has a well defined (mod 2) degree. This degree vanishes, so generically an even number of CMC surfaces realize any given conformal structure and asymptotic necksizes.


title: The algebra of K-invariant vector fields on a symmetric space G/K

abstract: When $G$ is a complex reductive algebraic group and $G/K$ is a reductive symmetric space, the decomposition of $\C[G/K]$ as a $K$-module was obtained (in a non-constructive way) by Richardson, generalizing the celebrated result of Kostant-Rallis for the linearized problem (the harmonic decomposition of the isotropy representation). To obtain a constructive version of Richardson's results, this paper studies the infinite dimensional Lie algebra $\X(G/K)^K$ of $K$-invariant regular algebraic vector fields using the geometry of $G/K$ and the $K$-spherical representations of $G$. Assume $G$ is semisimple and simply-connected and let $\J$ be the algebra of $K$ biinvariant functions on $G$. An explicit set of free generators for the localization $ \X(G/K)^K_{\psi}$ is constructed for a suitable $\psi \in \J$. A commutator formula is obtained for $K$-invariant vector fields in terms of the corresponding $K$-covariant maps from $G$ to the isotropy representation of $G/K$. Vector fields on $G/K$ whose horizontal lifts to $G$ are tangent to the Cartan embedding of $G/K$ into $G$ are called \emph{flat}. When $G$ is simple and simply connected, it is shown that every element of $\X(G/K)^K$ is flat if and only if $K$ is semisimple. The gradients of the fundamental characters of $G$ are shown to generate all conjugation-invariant vector fields on $G$. These results are applied in the case of the adjoint representation of $G = \SL(2,\C)$ to construct a conjugation invariant differential operator whose kernel furnishes a harmonic decomposition of $\C[G]$.


title: Morita equivalence bimodules for Wick type star products

abstract: In this paper, the notion of star products with separation of variables on a Kahler manifold is extended to bimodule deformations of (anti-) holomorphic vector bundles over a Kahler manifold. Here the Fedosov construction is appropriately adapted using the geometric data of a connection in the vector bundle. Moreover, the relation between the star products of Wick and anti Wick type is clarified by constructing a canonical Morita equivalence bimodule as bimodule deformation of the canonical line bundle over the Kahler manifold.


title: Motivic integration and the Grothendieck group of pseudo-finite fields

abstract: We survey our recent work on an extension of the theory of motivic integration, called arithmetic motivic integration. We developed this theory to understand how p-adic integrals of a very general type depend on p.


title: Covering dimension and quasidiagonality

abstract: We introduce the decomposition rank, a notion of covering dimension for nuclear C^*-algebras. The decomposition rank generalizes ordinary covering dimension and has nice permanence properties; in particular, it behaves well with respect to direct sums, quotients, inductive limits, unitization and quasidiagonal extensions. Moreover, it passes to hereditary subalgebras and is invariant under stabilization. It turns out that the decomposition rank can be finite only for strongly quasidiagonal C^*-algebras and that it is closely related to the classification program.


title: Default Logic in a Coherent Setting

abstract: In this talk - based on the results of a forthcoming paper (Coletti, Scozzafava and Vantaggi 2002), presented also by one of us at the Conference on "Non Classical Logic, Approximate Reasoning and Soft-Computing" (Anacapri, Italy, 2001) - we discuss the problem of representing default rules by means of a suitable coherent conditional probability, defined on a family of conditional events. An event is singled-out (in our approach) by a proposition, that is a statement that can be either true or false; a conditional event is consequently defined by means of two propositions and is a 3-valued entity, the third value being (in this context) a conditional probability.


title: Kaehler quantization and reduction

abstract: Exploiting a notion of Kaehler structure on a stratified space introduced elsewhere we show that, in the Kaehler case, reduction after quantization coincides with quantization after reduction: Key tools developed for that purpose are stratified polarizations and stratified prequantum modules, the latter generalizing prequantum bundles. These notions encapsulate, in particular, the behaviour of a polarization and that of a prequantum bundle across the strata. Our main result says that, for a positive Kaehler manifold with a hamiltonian action of a compact Lie group, when suitable additional conditions are imposed, reduction after quantization coincides with quantization after reduction in the sense that not only the reduced and unreduced quantum phase spaces correspond but the (invariant) unreduced and reduced quantum observables as well. Over a stratified space, the appropriate quantum phase space is a costratified Hilbert space in such a way that the costratified structure reflects the stratification. Examples of stratified Kaehler spaces arise from the closures of holomorphic nilpotent orbits including angular momentum zero reduced spaces, and from representations of compact Lie groups. For illustration, we carry out Kaehler quantization on various spaces of that kind including singular Fock spaces.


title: A general formula in Additive Number Theory

abstract: We reduce the principal problem of Additive Number Theory of whether an infinite sequence of integers constitutes a finite basis for the integers to a Diophantine problem involving the difference set of the sequence, by proving a formula connecting the respective number of solutions.


title: Determination of the algebraic relations among special Gamma-values in positive characteristic

abstract: We devise a new criterion for linear independence over function fields. Using this tool in the setting of dual t-motives, we find that all algebraic relations among special values of the geometric function field Gamma-function are explained by the standard functional equations.


title: Hodge cohomology of gravitational instantons

abstract: We study the space of L^2 harmonic forms on complete manifolds with metrics of fibred boundary or fibred cusp type. These metrics generalize the geometric structures at infinity of several different well-known classes of metrics, including asymptotically locally Euclidean manifolds, the (known types of) gravitational instantons, and also Poincar\'e metrics on Q-rank 1 ends of locally symmetric spaces and on the complements of smooth divisors in K\"ahler manifolds. The answer in all cases is given in terms of intersection cohomology of a stratified compactification of the manifold. The L^2 signature formula implied by our result is closely related to the one proved by Dai [dai] and more generally by Vaillant [Va], and identifies Dai's tau invariant directly in terms of intersection cohomology of differing perversities. This work is also closely related to a recent paper of Carron [Car] and the forthcoming paper of Cheeger and Dai [CD]. We apply our results to a number of examples, gravitational instantons among them, arising in predictions about L^2 harmonic forms in duality theories in string theory.


title: Three-dimensional flops and non-commutative rings

abstract: If Y,Z are three-dimensional smooth varieties related by a flop, then Bondal and Orlov conjectured that the derived categories of coherent sheaves on Y and Z are equivalent. This conjecture was recently proved by Bridgeland. Our aim in this paper is to give a partially new proof of Bridgeland's result using non-commutative rings. The new proof also covers some mild singular and higher dimensional situations (including the one in the recent paper by Chen: ``Flops and Equivalences of derived Categories for Threefolds with only Gorenstein Singularities'').


title: The Nash problem on arc families of singularities

abstract: Nash proved that every irreducible component of the space of arcs through a singularity corresponds to an exceptional divisor that occurs on every resolution. He asked if the converse also holds: does every such exceptional divisor correspond to an arc family? We prove that the converse holds for toric singularities but fails in general.


title: Random projections and the optimization of an algorithm for phase retrieval

abstract: Iterative phase retrieval algorithms typically employ projections onto constraint subspaces to recover the unknown phases in the Fourier transform of an image, or, in the case of x-ray crystallography, the electron density of a molecule. For a general class of algorithms, where the basic iteration is specified by the difference map, solutions are associated with fixed points of the map, the attractive character of which determines the effectiveness of the algorithm. The behavior of the difference map near fixed points is controlled by the relative orientation of the tangent spaces of the two constraint subspaces employed by the map. Since the dimensionalities involved are always large in practical applications, it is appropriate to use random matrix theory ideas to analyze the average-case convergence at fixed points. Optimal values of the gamma parameters of the difference map are found which differ somewhat from the values previously obtained on the assumption of orthogonal tangent spaces.


title: Convergence of Singular Limits for Multi-D Semilinear Hyperbolic Systems to Parabolic Systems

abstract: In this paper we investigate the zero-relaxation limit of the following multi-D semilinear hyperbolic system in pseudodifferential form: W_{t}(x,t) + (1/epsilon) A(x,D) W(x,t) = (1/epsilon^2) B(x,W(x,t)) + (1/epsilon) D(W(x,t)) + E(W(x,t)). We analyse the singular convergence, as epsilon tends to 0, in the case which leads to a limit system of parabolic type. The analysis is carried out by using the following steps: (i) We single out algebraic ``structure conditions'' on the full system, motivated by formal asymptotics, by some examples of discrete velocity models in kinetic theories. (ii) We deduce ``energy estimates'', uniformly in epsilon, by assuming the existence of a symmetrizer having the so called block structure and by assuming ``dissipativity conditions'' on B. (iii) We perform the convergence analysis by using generalizations of Compensated Compactness due to Tartar and Gerard. Finally we include examples which show how to use our theory to approximate prescribed general quasilinear parabolic systems, satisfying Petrowski parabolicity condition, or general reaction diffusion systems.


title: Farrell cohomology of low genus pure mapping class groups with punctures

abstract: In this paper, we calculate the p-torsion of the Farrell cohomology for low genus pure mapping class groups with punctures, where p is an odd prime. Here, `low genus' means g=1,2,3; and `pure mapping class groups with punctures' means the mapping class groups with any number of punctures, where the punctures are not allowed to be permuted. These calculations use our previous results about the periodicity of pure mapping class groups with punctures, as well as other cohomological tools. The low genus cases are interesting because we know that the high genus cases can be reduced to the low genus ones. Also, the cohomological properties of the mapping class groups without punctures are closely related to our cases.


title: My Favorite Integer Sequences

abstract: This paper gives a brief description of the author's database of integer sequences, now over 35 years old, together with a selection of a few of the most interesting sequences in the table. Many unsolved problems are mentioned.


title: On Cayley's Enumeration of Alkanes (or 4-Valent Trees)

abstract: Cayley's 1875 enumerations of centered and bicentered alkanes (unlabeled trees of valency at most 4) are corrected and extended -- possibly for the first time in 124 years.


title: On the Existence of Similar Sublattices

abstract: Partial answers are given to two questions. When does a lattice Lambda contain a sublattice Lambda' of index N that is geometrically similar to Lambda? When is the sublattice "clean", in the sense that the boundary of the Voronoi cells for Lambda ' do not intersect Lambda?


title: Excision in bivariant periodic cyclic cohomology: a categorical approach

abstract: We extend Cuntz-Quillen's excision theorem for algebras and pro-algebras in arbitrary Q-linear categories with tensor product.The excision theorems for the bivariant periodic cyclic cohomology of discrete,topological and bornological algebras and pro-algebras follow from this.


title: Boundary Value Problems on Manifolds with Fibered Boundary

abstract: We define a class of boundary value problems on manifolds with fibered boundary. This class is in a certain sense a deformation between the classical boundary value problems and the Atiyah-Patodi-Singer problems in subspaces. The boundary conditions in this theory are taken as elements of the C^*-algebra generated by pseudodifferential operators and families of pseudodifferential operators in the fibers. We prove the Fredholm property for elliptic boundary value problems. This class also contains nonlocal boundary value problems of math.KT/0108107. We compute a topological obstruction (similar to the Atiyah-Bott obstruction) to the existence of elliptic boundary conditions for a given operator. Geometric operators with a nontrivial obstruction are given.


title: The Primary Pretenders

abstract: We call a composite number q such that there exists a positive integer b with b^p == b (mod q) a prime pretender to base b. The least prime pretender to base b is the primary pretender q_b. It is shown that there are only 132 distinct primary pretenders, and that q_b is a periodic function of b whose period is the 122-digit number 19568584333460072587245340037736278982017213829337604336734362- 294738647777395483196097971852999259921329236506842360439300.


title: Uncertainty Relations in Deformation Quantization

abstract: Robertson and Hadamard-Robertson theorems on non-negative definite hermitian forms are generalized to an arbitrary ordered field. These results are then applied to the case of formal power series fields, and the Heisenberg-Robertson, Robertson-Schr\"odinger and trace uncertainty relations in deformation quantization are found. Some conditions under which the uncertainty relations are minimized are also given.


title: The Antipode Construction for Sphere Packings

abstract: A construction for sphere packings is introduced that is parallel to the ``anticode'' construction for codes. This provides a simple way to view Vardy's recent 20-dimensional sphere packing, and also produces packings in dimensions 22, 44--47 that are denser than any previously known.


title: Error autocorrection in rational approximation and interval estimates

abstract: The error autocorrection effect means that in a calculation all the intermediate errors compensate each other, so the final result is much more accurate than the intermediate results. In this case standard interval estimates are too pessimistic. We shall discuss a very strong form of the effect which appears in rational approximations to functions, where very significant errors in the approximant coefficients do not affect the accuracy of this approximant. The reason is that the errors in the coefficients of the rational approximant are not distributed in an arbitrary way, but form a collection of coefficients for a new rational approximant to the same approximated function. Understanding this mechanism allows to decrease the approximation error by varying the approximation procedure depending on the form of the approximant. The effect of error autocorrection indicates that variations of an approximated function under some deformations of rather general type may have little effect on the corresponding rational approximant viewed as a function (whereas the coefficients of the approximant can have very significant changes). Accordingly, deforming a function for which good rational approximation is possible may lead to a rapid increase in the corresponding approximant's error. Thus the property of having a good rational approximation is not stable under small deformations of the approximated functions: this property is "individual", in the sense that it holds for specific functions. Results of computer experiments are presented.


title: Asymmetric Multiple Description Lattice Vector Quantizers

abstract: We consider the design of asymmetric multiple description lattice quantizers that cover the entire spectrum of the distortion profile, ranging from symmetric or balanced to successively refinable. We present a solution to a labeling problem, which is an important part of the construction, along with a general design procedure. This procedure is illustrated using the Z^2 lattice. The asymptotic performance of the quantizer is analyzed in the high-rate case. We also evaluate its rate-distortion performance and compare it to known information theoretic bounds.


title: David Gale's subset take-away game

abstract: Subset take-away is a two-player game involving a fixed finite set A. Players alternate choosing a proper, non-empty subset of A, with the condition that one may not name a set containing a set that was named earlier. A player unable to move loses. It was conjectured by David Gale that this game is always a second player win, and this was known to hold if A has no more than 5 elements. In this paper, we describe a technique called "binary star reduction" that often allows one to dramatically reduce the complexity of a position. Using this tool and some computer search we show that Gale's conjecture holds when A has six elements. We also show how this game can be interpreted geometrically.


title: A Simple Construction for the Barnes-Wall Lattices

abstract: A certain family of orthogonal groups (called "Clifford groups" by G. E. Wall) has arisen in a variety of different contexts in recent years. These groups have a simple definition as the automorphism groups of certain generalized Barnes-Wall lattices. This leads to an especially simple construction for the usual Barnes-Wall lattices. This is based on the third author's talk at the Forney-Fest, M.I.T., March 2000, which in turn is based on our paper "The Invariants of the Clifford Groups", Designs, Codes, Crypt., 24 (2001), 99--121, to which the reader is referred for further details and proofs.


title: Hopf Galois extensions, triangular structures, and Frobenius Lie algebras in prime characteristic

abstract: We investigate the transformed Hopf algebras in Hopf Galois extensions. The final goal of this paper is to introduce certain triangular Hopf algebras associated with restricted Frobenius Lie algebras over a field of characteristic $p>0$.


title: Quadratic functions and complex spin structures on three-manifolds

abstract: We show how the space of complex spin structures of a closed oriented three-manifold embeds naturally into a space of quadratic functions associated to its linking pairing. Besides, we extend the Goussarov-Habiro theory of finite type invariants to the realm of compact oriented three-manifolds equipped with a complex spin structure. Our main result states that two closed oriented three-manifolds endowed with a complex spin structure are undistinguishable by complex spin invariants of degree zero if, and only if, their associated quadratic functions are isomorphic.


title: Note on generalised connections and affine bundles

abstract: We develop an alternative view on the concept of connections over a vector bundle map, which consists of a horizontal lift procedure to a prolonged bundle. We further focus on prolongations to an affine bundle and introduce the concept of affineness of a generalised connection.


title: Filtrations, hyperbolicity and dimension for polynomial automorphisms of C^n

abstract: In this paper we study the dynamics of regular polynomial automorphisms of C^n. These maps provide a natural generalization of complex Henon maps in C^2 to higher dimensions. For a given regular polynomial automorphism f we construct a filtration in C^n which has particular escape properties for the orbits of f. In the case when f is hyperbolic we obtain a complete description of its orbits. In the second part of the paper we study the Hausdorff and box dimension of the Julia sets of f. We show that the Julia set J has positive box dimension, and (provided f is not volume preserving) that the filled-in Julia set K has box dimension strictly less than 2n. Moreover, if f is hyperbolic, then the Hausdorff dimension of the forward/backward Julia set J^{+/-} is strictly less than 2n.


title: Tangential Star Products

abstract: We etablish a necessary and sufficient condition under which there exists a tangential and well graded star product, differential or not, on the dual g^* of a nilpotent Lie algebra g. We also give enlightening examples with explicit computations.


title: 321-polygon-avoiding permutations and Chebyshev polynomials

abstract: A 321-k-gon-avoiding permutation pi avoids 321 and the following four patterns: k(k+2)(k+3)...(2k-1)1(2k)23...(k+1), k(k+2)(k+3)...(2k-1)(2k)123...(k+1), (k+1)(k+2)(k+3)...(2k-1)1(2k)23...k, (k+1)(k+2)(k+3)...(2k-1)(2k)123...k. The 321-4-gon-avoiding permutations were introduced and studied by Billey and Warrington [BW] as a class of elements of the symmetric group whose Kazhdan-Lusztig, Poincare polynomials, and the singular loci of whose Schubert varieties have fairly simple formulas and descriptions. Stankova and West [SW] gave an exact enumeration in terms of linear recurrences with constant coefficients for the cases k=2,3,4. In this paper, we extend these results by finding an explicit expression for the generating function for the number of 321-k-gon-avoiding permutations on n letters. The generating function is expressed via Chebyshev polynomials of the second kind.


title: An Interior Estimate for a Nonlinear Parabolic Equation

abstract: In this paper there are estimated the derivatives of the solution of an initial boundary value problem for a nonlinear uniformly parabolic equation in the interior with the total variation of the boundary data and the L^{infinity}-norm of the initial condition.


title: On Noether's and Weyl's bound in positive characteristic

abstract: In this note we generalize several well known results concerning invariants of finite groups from characteristic zero to positive characteristic not dividing the group order. The first is Schmid's relative version of Noether's theorem. That theorem compares the degrees of generators of a group with those of a subgroup. Then we prove a suitable positive characteristic version of Weyl's theorem on vector invariants: polarization works in small degrees. Using that we show that the regular representation has the "most general" ring of invariants, thereby generalizing theorems of Schmid and Smith.


title: Analogues of Weyl's formula for reduced enveloping algebras

abstract: In this note we study simple modules for a reduced enveloping algebra U_chi(g) in the critical case when chi element of g^* is ``nilpotent''. Some dimension formulas computed by Jantzen suggest modified versions of Weyl's dimension formula, based on certain reflecting hyperplanes for the affine Weyl group which might be associated to Kazhdan--Lusztig cells.


title: Picard-Fuchs equations, Integrable Systems, and higher Algebraic K-theory

abstract: This paper continues our previous work done in math.AG/0008207 and is an attempt to establish a conceptual framework which generalizes the work of Manin on the relation between non-linear second order ODEs of type Painleve VI and integrable systems. The principle behind everything is a strong interaction between K-theory and Picard-Fuchs type differential equations via Abel-Jacobi maps. Our main result is an extension of a theorem of Donagi and Markman to our setup.


title: On Single-Deletion-Correcting Codes

abstract: This paper gives a brief survey of binary single-deletion-correcting codes. The Varshamov-Tenengolts codes appear to be optimal, but many interesting unsolved problems remain. The connections with shift-register sequences also remain somewhat mysterious.


title: The dissipation distance for a 2D single crystal with two symmetric slip systems

abstract: We solve a model problem from single crystal plasticity.We consider 4 slip systems in the plane with orthogonal slip-directions and equal slip rates, forward as well as backwards. We compute the associated dissipation distance by solving an optimal control problem. It turns out that from a computational point of view computing the distance is inexpensive. We put special emphasis on visualization of the metric spheres and the associated length-minimizing curves. As a byproduct we also solve a related problem, optimal path planning for a car driving forwards and backwards with limited turning radius in the hyperbolic plane. This is a hyperbolic version of the Reeds-Shepp-Car-Problem first discussed in (Pac. J. Math. 145:367-393, 1990).


title: Mixing times of the biased card shuffling and the asymmetric exclusion process

abstract: Consider the following method of card shuffling. Start with a deck of $N$ cards numbered 1 through N. Fix a parameter $p$ between 0 and 1. In this model a ``shuffle'' consists of uniformly selecting a pair of adjacent cards and then flipping a coin that is heads with probability p. If the coin comes up heads then we arrange the two cards so that the lower numbered card comes before the higher numbered card. If the coin comes up tails then we arrange the cards with the higher numbered card first. In this paper we prove that for all p not equal to 1/2, the mixing time of this card shuffling is O(N^2), as conjectured by Diaconis and Ram [DR]. A novel feature of our proof is that the analysis of an infinite (asymmetric exclusion) process plays an essential role in bounding the mixing time of a finite process.


title: The Complexity of Three-Way Statistical Tables

abstract: Multi-way tables with specified marginals arise in a variety of applications in statistics and operations research. We provide a comprehensive complexity classification of three fundamental computational problems on tables: existence, counting and entry-security. One major outcome of our work is that each of the following problems is intractable already for "slim" 3-tables, with constant and smallest possible number 3 of rows: (1) deciding existence of 3-tables with given consistent 2-marginals; (2) counting all 3-tables with given 2-marginals; (3) finding whether an integer value is attained in entry (i,j,k) by at least one of the 3-tables satisfying given (feasible) 2-marginals. This implies that a characterization of feasible marginals for such slim tables, sought by much recent research, is unlikely to exist. Another important consequence of our study is a systematic efficient way of embedding the set of 3-tables satisfying any given 1-marginals and entry upper bounds in a set of slim 3-tables satisfying suitable 2-marginals with no entry bounds. This provides a valuable tool for studying multi-index transportation problems and multi-index transportation polytopes.


title: Exponential Sums Along p-adic Curves

abstract: Let K be a p-adic field, R the valuation ring of K, and P the maximal ideal of R. Let $Y subseteq R^{2}$ be a non-singular closed curve, and Y_{m} its image in R/P^{m} times R/P^{m}, i.e. the reduction modulo P^{m} of Y. We denote by Psi an standard additive character on K. In this paper we discuss the estimation of exponential sums of type S_{m}(z,Psi,Y,g):= $sum\limits_{x in Y_{m}}$ Psi(zg(x)), with z in K, and g a polynomial function on Y. We show that if the p-adic absolute value of z is big enough then the complex absolute value of S_{m}(z,Psi,Y,g) is O(q^{m(1-beta(f,g))}), for a positive constant beta(f,g) satisfying 0<beta(f,g)<1.


title: Prym varieties, curves with automorphisms and the Sato Grassmannian

abstract: The aim of the paper is twofold. First, some results of Shiota and Plaza-Martin on Prym varieties of curves with an involution are generalized to the general case of an arbitrary automorphism of prime order. Second, the equations defining the moduli space of curves with an automorphism of prime order as a subscheme of the Sato Grassmannian are given.


title: Crosscap numbers of torus knots

abstract: The crosscap number of a knot in the 3-sphere is the minimal genus of non-orientable surface bounded by the knot. We determine the crosscap numbers of torus knots.


title: Avoiding 2-letter signed patterns

abstract: Let B_n be the hyperoctahedral group; that is, the set of all signed permutations on n letters, and let B_n(T) be the set of all signed permutations in B_n which avoids a set T of signed patterns. In this paper, we find all the cardinalities of the sets B_n(T) where $T \subseteq B_2$. This allow us to express these cardinalities via inverse of binomial coefficients, binomial coefficients, Catalan numbers, and Fibonacci numbers.


title: Comatrix corings: Galois corings, Descent Theory, and a Structure Theorem for Cosemisimple corings

abstract: In order to extrincate the structure of corings with a finitely generated and projective generator we give the notion of a comatrix coring. As consequences we give generalizations of the main characterizations of faithfully flat Galois corings and extensions which work for corings without grouplike elements, as well as a generalization of the Descent Theorem. We provide also a complete description of all cosemisimple corings. No restrictions are made over the ground noncommutative ring.


title: A PBW commutator lemma for U_q[gl(m|n)]

abstract: We present and prove in detail a Poincare--Birkhoff--Witt commutator lemma for the quantum superalgebra U_q[gl(m|n)].


title: Orbits for the adjoint coaction on quantum matrices

abstract: Conjugation coactions of the quantum general linear group on the algebra of quantum matrices have been introduced in an earlier paper and the coinvariants have been determined. In this paper the notion of orbit is considered via co-orbit maps for these coactions. The co-orbit maps are calculated explicitly for 2 by 2 quantum matrices. In the NxN case we consider the case of a generic diagonal matrix when the deformation parameter is transcendental over the field generated by the diagonal entries.


title: The Z_4-Linearity of Kerdock, Preparata, Goethals and Related Codes

abstract: Certain notorious nonlinear binary codes contain more codewords than any known linear code. These include the codes constructed by Nordstrom-Robinson, Kerdock, Preparata, Goethals, and Delsarte-Goethals. It is shown here that all these codes can be very simply constructed as binary images under the Gray map of linear codes over Z_4, the integers mod 4 (although this requires a slight modification of the Preparata and Goethals codes). The construction implies that all these binary codes are distance invariant. Duality in the Z_4 domain implies that the binary images have dual weight distributions. The Kerdock and "Preparata" codes are duals over Z_4 -- and the Nordstrom-Robinson code is self-dual -- which explains why their weight distributions are dual to each other. The Kerdock and "Preparata" codes are Z_4-analogues of first-order Reed-Muller and extended Hamming codes, respectively. All these codes are extended cyclic codes over Z_4, which greatly simplifies encoding and decoding. An algebraic hard-decision decoding algorithm is given for the "Preparata" code and a Hadamard-transform soft-decision decoding algorithm for the Kerdock code. Binary first- and second-order Reed-Muller codes are also linear over Z_4, but extended Hamming codes of length n >= 32 and the Golay code are not. Using Z_4-linearity, a new family of distance regular graphs are constructed on the cosets of the "Preparata" code.


title: Interleaver Design for Turbo Codes

abstract: The performance of a Turbo code with short block length depends critically on the interleaver design. There are two major criteria in the design of an interleaver: the distance spectrum of the code and the correlation between the information input data and the soft output of each decoder corresponding to its parity bits. This paper describes a new interleaver design for Turbo codes with short block length based on these two criteria. A deterministic interleaver suitable for Turbo codes is also described. Simulation results compare the new interleaver design to different existing interleavers.


title: The resolution property for schemes and stacks

abstract: We prove the equivalence of two fundamental properties of algebraic stacks: being a quotient stack in a strong sense, and the resolution property, which says that every coherent sheaf is a quotient of some vector bundle. Moreover, we prove these properties in the important special case of orbifolds whose associated algebraic space is a scheme.


title: McLaren's Improved Snub Cube and Other New Spherical Designs in Three Dimensions

abstract: Evidence is presented to suggest that, in three dimensions, spherical 6-designs with N points exist for N=24, 26, >= 28; 7-designs for N=24, 30, 32, 34, >= 36; 8-designs for N=36, 40, 42, >= 44; 9-designs for N=48, 50, 52, >= 54; 10-designs for N=60, 62, >= 64; 11-designs for N=70, 72, >= 74; and 12-designs for N=84, >= 86. The existence of some of these designs is established analytically, while others are given by very accurate numerical coordinates. The 24-point 7-design was first found by McLaren in 1963, and -- although not identified as such by McLaren -- consists of the vertices of an "improved" snub cube, obtained from Archimedes' regular snub cube (which is only a 3-design) by slightly shrinking each square face and expanding each triangular face. 5-designs with 23 and 25 points are presented which, taken together with earlier work of Reznick, show that 5-designs exist for N=12, 16, 18, 20, >= 22. It is conjectured, albeit with decreasing confidence for t >= 9, that these lists of t-designs are complete and that no others exist. One of the constructions gives a sequence of putative spherical t-designs with N= 12m points (m >= 2) where N = t^2/2 (1+o(1)) as t -> infinity.


title: The link of {f(x,y)+z^n=0} and Zariski's Conjecture

abstract: We consider suspension hypersurface singularities of type g=f(x,y)+z^n, where f is an irreducible plane curve singularity. For such germs, we prove that the link of g determines completely the Newton pairs of f and the integer n except for two pathological cases, which can be completely described. Even in the pathological cases, the link and the Milnor number of g determine uniquely the Newton pairs of f and n. In particular, for such g, we verify Zariski's conjecture about the multiplicity. The result also supports the following conjecture formulated in the paper. If the link of an isolated hypersurface singularity is a rational homology 3-sphere then it determines the embedded topological type, the equivariant Hodge numbers and the multiplicity of the singularity. The conjecture is verified for weighted homogeneous singularities too.


title: Linking first occurrence polynomials over F_p by Steenrod operations

abstract: This paper provides analogues of the results of [G.Walker and R.M.W. Wood, Linking first occurrence polynomials over F_2 by Steenrod operations, J. Algebra 246 (2001), 739--760] for odd primes p. It is proved that for certain irreducible representations L(lambda) of the full matrix semigroup M_n(F_p), the first occurrence of L(lambda) as a composition factor in the polynomial algebra P=F_p[x_1,...,x_n] is linked by a Steenrod operation to the first occurrence of L(lambda) as a submodule in P. This operation is given explicitly as the image of an admissible monomial in the Steenrod algebra A_p under the canonical anti-automorphism chi . The first occurrences of both kinds are also linked to higher degree occurrences of L(lambda) by elements of the Milnor basis of A_p.


title: An existence theorem, with energy bounds, of Floer's perturbed Cauchy-Riemann equation with jumping discontinuity

abstract: This is a sequel to the paper [Oh5] (or ArXiv:math.SG/0206092). The main purpose of the paper is to give the proof of an existence theorem, with energy bounds, of certain pseudo-holomorphic sections of the mapping cylinder that is needed for the proof of nondegeneracy of the homological invariant pseudo-norm which the author has constructed on general symplectic manifolds [Oh4,5]. The existence theorem is also the crux of the author's recent proof of an optimal energy-capacity inequality given in [Oh5]. In this paper, we prove a more general existence result than needed in that we study Floer's perturbed Cauchy-Riemann equations with discontinous Hamiltonian perturbation terms and prove an existence theorem of certain piecewise smooth finite energy solutions of the equation. The proof relies on a careful study of the product structure in the chain level Floer homology theory and a singular degeneration (``adiabatic degeneration'') of Floer's perturbed Cauchy-Riemann equation. In the course of the proof, we also derive certain general energy identity of pseudo-holomorphic sections of the Hamiltonian fibration.


title: An approach to the tangential Poisson cohomology based on examples in duals of Lie algebras

abstract: We study the tangential Poisson cohomology (TP-cohomology) of regular Poisson manifolds, first defined by Lichnerowicz using contravariant tensor fields. We show that for a regular Poisson manifold M, the TP-cohomology coincides with the leafwise de Rham (or Cech) cohomology of the symplectic foliation of M. Its computation in various degrees leads to open, non trivial problems. To get a better understanding of these difficulties, we study explicitly many examples coming from nilpotent and 3-dimensional (real) Lie algebras. For the latter, we compare the TP-cohomology and the usual Poisson cohomology (P-cohomology).


title: The "Symplectic Camel Principle" and Semiclassical Mechanics

abstract: Gromov's nonsqueezing theorem, aka the property of the symplectic camel, leads to a very simple semiclassical quantiuzation scheme by imposing that the only "physically admissible" semiclassical phase space states are those whose symplectic capacity (in a sense to be precised) is nh + (1/2)h where h is Planck's constant. We the construct semiclassical waveforms on Lagrangian submanifolds using the properties of the Leray-Maslov index, which allows us to define the argument of the square root of a de Rham form.


title: The simplest nearest-neighbor spin system on regular graphs:Time dynamics of the mean coverage function

abstract: We establish a characterization of the class of the simplest nearest neighbor spin systems possesing the mean coverage function (mcf) that obeys a second order differential equation, and derive explicit expressions for the mcf's of the above models. Based on these expressions, the problem of ergodicity of the models is studied and bounds for their spectral gaps are obtained.


title: Asymptotic solutions to the sl_2 KZ equation and the intersection of Schubert classes

abstract: The hypergeometric solutions to the KZ equation contain a certain symmetric ``master function'', [SV]. Asymptotics of the solutions correspond to critical points of the master function and give Bethe vectors of the inhomogeneous Gaudin model, [RV]. The general conjecture is that the number of orbits of critical points equals the dimension of the relevant vector space, and that the Bethe vectors form a basis. In [ScV], a proof of the conjecture for the sl_2 KZ equation was given. The difficult part of the proof was to count the number of orbits of critical points of the master function. Here we present another, ``less technical'', proof based on a relation between the master function and the map sending a pair of polynomials into the Wronski determinant. Within these frameworks, the number of orbits becomes the intersection number of appropriate special Schubert classes. Application of the Schubert calculus to the sl_p KZ equation is discussed.


title: Affine Linking Numbers and Causality Relations for Wave Fronts

abstract: Two wave fronts $W_1$ and $W_2$ that originated at some points of the manifold $M^n$ are said to be causally related if one of them passed through the origin of the other before the other appeared. We define the causality relation invariant $CR (W_1, W_2)$ to be the algebraic number of times the earlier born front passed through the origin of the other front before the other front appeared. Clearly, if $CR(W_1, W_2)\neq 0$, then $W_1$ and $W_2$ are causally related. If $CR(W_1, W_2)= 0$, then we generally can not make any conclusion about fronts being causally related. However we show that for front propagation given by a complete Riemannian metric of non-positive sectional curvature, $CR(W_1, W_2)\neq 0$ if and only if the two fronts are causally related. The models where the law of propagation is given by a metric of constant sectional curvature are the famous Friedmann Cosmology models. The classical linking number $lk$ is a $Z$-valued invariant of two zero homologous submanifolds. We construct the affine linking number generalization $AL$ of the $lk$ invariant to the case of linked $(n-1) $-spheres in the total space of the unit sphere tangent bundle $(STM)^{2n-1}\to M^n$. For all $M$, except of odd-dimensional rational homology spheres, $AL$ allows one to calculate the value of $CR(W_1, W_2)$ from the picture of the two wave fronts at a certain moment. This calculation is done without the knowledge of the front propagation law and of their points and times of birth. Moreover, in fact we even do not need to know the topology of $M$ outside of a part $\bar M$ of $M$ such that $W_1$ and $W_2$ are null-homotopic in $\bar M$.

categories: math.GT gr-qc math-ph math.MP physics.space-ph


title: Transport in Rotating Fluids

abstract: We consider uniformly rotating incompressible Euler and Navier-Stokes equations. We study the suppression of vertical gradients of Lagrangian displacement ("vertical" refers to the direction of the rotation axis). We employ a formalism that relates the total vorticity to the gradient of the back-to-labels map (the inverse Lagrangian map, for inviscid flows, a diffusive analogue for viscous flows). The results include a nonlinear version of the Taylor-Proudman theorem: in a steady solution of the rotating Euler equations, two fluid material points which were initially on a vertical vortex line, will perpetually maintain their vertical separation unchanged. For more general situations, including unsteady flows, we obtain bounds for the vertical gradients of the Lagrangian displacement that vanish linearly with the maximal local Rossby number.


title: Filtration of the classical knot concordance group and Casson-Gordon invariants

abstract: It is known that if any prime power branched cyclic cover of a knot in the 3-sphere is a homology sphere, then the knot has vanishing Casson-Gordon invariants. We construct infinitely many examples of (topologically) non-slice knots in the 3-sphere whose prime power branched cyclic covers are homology spheres. We show that these knots generate an infinite rank subgroup of F_(1.0)/F_(1.5) for which Casson-Gordon invariants vanish in Cochran-Orr-Teichner's filtration of the classical knot concordance group . As a corollary, it follows that Casson-Gordon invariants are not a complete set of obstructions to a second layer of Whitney disks.


title: Functional equations of higher logarithms

abstract: We give the first genuine 2-variable functional equation for the 7--logarithm. We investigate and relate identities for the 3-logarithm given by Goncharov and Wojtkowiak and deduce a certain family of functional equations for the 4-logarithm.


title: Proving The Ergodic Hypothesis for Billiards With Disjoint Cylindric Scatterers

abstract: In this paper we study the ergodic properties of mathematical billiards describing the uniform motion of a point in a flat torus from which finitely many, pairwise disjoint, tubular neighborhoods of translated subtori (the so called cylindric scatterers) have been removed. We prove that every such system is ergodic (actually, a Bernoulli flow), unless a simple geometric obstacle for the ergodicity is present.


title: Bifurcating nodoids

abstract: All complete, axially symmetric surfaces of constant mean curvature in R^3 lie in the one-parameter family D_tau of Delaunay surfaces. The elements of this family which are embedded are called unduloids; all other elements, which correspond to parameter value tau element in R^-, are immersed and are called nodoids. The unduloids are stable in the sense that the only global constant mean curvature deformations of them are to other elements of this Delaunay family. We prove here that this same property is true for nodoids only when tau is sufficiently close to zero (this corresponds to these surfaces having small `necksizes'). On the other hand, we show that as tau decreases to negative infinity, infinitely many new families of complete, cylindrically bounded constant mean curvature surfaces bifurcate from this Delaunay family. The surfaces in these branches have only a discrete symmetry group.


title: Bochner-Riesz summability for analytic functions on the m-complex unit sphere and for cylindrically symmetric functions on R^{n-1} times R

abstract: We prove that spectral projections of Laplace-Beltrami operator on the m-complex unit sphere E_{Delta_{S^{2m-1}}}([0,R)) are uniformly bounded as an operator from H^p(S^{2m-1}) to L^p(S^{2m-1}) for all p --> (1,infinity). We also show that the Bochner-Riesz conjecture is true when restricted to cylindrically symmetric functions on R^{n-1} times R.


title: On the Hardy-Littlewood majorant problem for random sets

abstract: The Hardy-Littlewood majorant problem asks whether L^p norms of functions on the circle grow if one replaces their Fourier coefficients with their absolute values. This is clear if p is an even integer, but false if p is any other number. One can still ask if the norm grows at most by the degree raised to a small power for any p. We show that this is so with any epsilon power provided the majorizing function is the Dirichlet kernel on a random set, with large probability.