title: Valuations and multiplier ideals

abstract: We present a new approach to the study of multiplier ideals in a local, two-dimensional setting. Our method allows us to deal with ideals, graded systems of ideals and plurisubharmonic functions in a unified way. Among the applications are a formula for the complex integrability exponent of a plurisubharmonic function in terms of Kiselman numbers, and a proof of the openness conjecture by Demailly and Kollar. Our technique also yields new proofs of two recent results: one on the structure of the set of complex singularity exponents for holomorphic functions; the other by Lipman and Watanabe on the realization of ideals as multiplier ideals.


title: Poisson Hypothesis for Information Networks (A study in non-linear Markov processes) I. Domain of Validity

abstract: In this paper we study the Poisson Hypothesis, which is a device to analyze approximately the behavior of large queueing networks. We prove it in some simple limiting cases. We show in particular that the corresponding dynamical system, defined by the non-linear Markov process, has a line of fixed points which are global attractors. To do this we derive the corresponding non-linear equation and we explore its self-averaging properties. We also argue that in cases of havy-tail service times the PH can be violated.


title: On geodesic equivalence of Riemannian metrics and sub-Riemannian metrics on distributions of corank 1

abstract: The present paper is devoted to the problem of (local) geodesic equivalence of Riemannian metrics and sub-Riemannian metrics on generic corank 1 distributions. Using Pontryagin Maximum Principle, we treat Riemannian and sub-Riemannian cases in an unified way and obtain some algebraic necessary conditions for the geodesic equivalence of (sub-)Riemannian metrics. In this way first we obtain a new elementary proof of classical Levi-Civita's Theorem about the classification of all Riemannian geodesically equivalent metrics in a neighborhood of so-called regular (stable) point w.r.t. these metrics. Secondly we prove that sub-Riemannian metrics on contact distributions are geodesically equivalent iff they are constantly proportional. Then we describe all geodesically equivalent sub-Riemannian metrics on quasi-contact distributions. Finally we make the classification of all pairs of geodesically equivalent Riemannian metrics on a surface, which proportional in an isolated point. This is the simplest case, which was not covered by Levi-Civita's Theorem.


title: A trace formula for the Dirac operator

abstract: Our goal is to extend the theory of the spectral shift function to the case where only the difference of some powers of the resolvents of self-adjoint operators belongs to the trace class. As an example, we consider a couple of Dirac operators.


title: Projective Threefolds with Holomorphic Conformal Structure

abstract: The authors give a complete classification of projective threefolds admitting a holomorphic conformal structure. A Corollary is the complete list of projective threefolds, whose tangent bundle is a symmetric square.


title: On the dimensions of conformal repellers. Randomness and parameter dependency

abstract: Bowen's formula relates the Hausdorff dimension of a conformal repeller to the zero of a `pressure' function. We present an elementary, self-contained proof which bypasses measure theory and the Thermodynamic Formalism to show that Bowen's formula holds for $C^1$ conformal repellers. We consider time-dependent conformal repellers obtained as invariant subsets for sequences of conformally expanding maps within a suitable class. We show that Bowen's formula generalizes to such a repeller and that if the sequence is picked at random then the Hausdorff dimension of the repeller almost surely agrees with its upper and lower Box dimensions and is given by a natural generalization of Bowen's formula. For a random uniformly hyperbolic Julia set on the Riemann sphere we show that if the family of maps and the probability law depend real-analytically on parameters then so does its almost sure Hausdorff dimension.


title: Character sheaves on disconnected groups, VI

abstract: We define the notion of character sheaf on a possibly disconnected reductive group. We show that the restriction functor carries a character sheaf to a direct sum of character sheaves.


title: The Positive Bergman Complex of an Oriented Matroid

abstract: We study the positive Bergman complex B+(M) of an oriented matroid M, which is a certain subcomplex of the Bergman complex B(M) of the underlying unoriented matroid. The positive Bergman complex is defined so that given a linear ideal I with associated oriented matroid M_I, the positive tropical variety associated to I is equal to the fan over B+(M_I). Our main result is that a certain "fine" subdivision of B+(M) is a geometric realization of the order complex of the proper part of the Las Vergnas face lattice of M. It follows that B+(M) is homeomorphic to a sphere. For the oriented matroid of the complete graph K_n, we show that the face poset of the "coarse" subdivision of B+(K_n) is dual to the face poset of the associahedron A_{n-2}, and we give a formula for the number of fine cells within a coarse cell.


title: Non-commutative Hopf algebra of formal diffeomorphisms

abstract: The subject of this paper are two Hopf algebras which are the non-commutative analogues of two different groups of formal power series. The first group is the set of invertible series with the multiplication, while the second group is the set of formal diffeomorphisms with the composition. The motivation to introduce these Hopf algebras comes from the study of formal series with non-commutative coefficients. Invertible series with non-commutative coefficients still form a group, and we interpret the corresponding new non-commutative Hopf algebra as an alternative to the natural Hopf algebra given by the co-ordinate ring of the group, which has the advantage of being functorial in the algebra of coefficients. For the formal diffeomorphisms with non-commutative coefficients, this interpretation fails, because in this case the composition is not associative anymore. However, we show that for the dual non-commutative algebra there exists a natural co-associative co-product defining a non-commutative Hopf algebra. Moreover, we give an explicit formula for the antipode, which represents a non-commutative version of the Lagrange inversion formula, and we show that its coefficients are related to planar binary trees. Then we extend these results to the semi-direct co-product of the previous Hopf algebras, and to series in several variables. Finally, we show how the non-commutative Hopf algebras of formal series are related to some renormalization Hopf algebras, which are combinatorial Hopf algebras motivated by the renormalization in quantum field theory, and to the renormalization functor given by the double tensor algebra on a bi-algebra.


title: Homotopy types of box complexes

abstract: In [MZ04] Matousek and Ziegler compared various topological lower bounds for the chromatic number. They proved that Lovasz's original bound [L78] can be restated as $\chr G \geq \ind (\B(G)) +2$. Sarkaria's bound [S90] can be formulated as $\chr G \geq \ind (\B_0(G)) +1$. It is known that these lower bounds are close to each other, namely the difference between them is at most 1. In this paper we study these lower bounds, and the homotopy types of box complexes. Some of the results was announced in [MZ04].


title: Algebras Generated by Elements with Given Spectrum and Scalar Sum and Kleinian Singularities

abstract: For a certain class of (nonunital) subalgebras of deformed preprojective algebra of affine type we describe their centers as certain deformation of Kleinian singularity and find their PI-degree. These results can be applied to algebras generated by elements with given spectrum and scalar sum.


title: A Lower Bound of the First Dirichlet Eigenvalue of a Compact Manifold with Positive Ricci Curvature

abstract: We give a new estimate on the lower bound for the first Dirichlet eigenvalue for a compact manifold with positive Ricci curvature in terms of the in-diameter and the lower bound of the Ricci curvature. The result improves the previous estimates.


title: An asymptotic log-Fourier interpretation of the R-transform

abstract: We estimate the asymptotics of spherical integrals when the rank of one matrix is finite. We show that it is given in terms of the R-transform of the spectral measure of the full rank matrix and give a new proof of the fact that the R-transform is additive under free convolution. These asymptotics also extend to the case where one matrix has rank one but complex eigenvalue, a result related with the analyticity of the corresponding spherical integrals.


title: A note on tensor categories of Lie type $E_9$

abstract: We consider the problem of decomposing tensor powers of the fundamental level 1 highest weight representation $V$ of the affine Kac-Moody algebra $\g(E_9)$. We describe an elementary algorithm for determining the decomposition of the submodule of $\Vn$ whose irreducible direct summands have highest weights which are maximal with respect to the null-root. This decomposition is based on Littelmann's path algorithm and conforms with the uniform combinatorial behavior recently discovered by H. Wenzl for the series $E_N$, $N\not=9$.


title: Pebbling in Dense Graphs

abstract: A configuration of pebbles on the vertices of a graph is solvable if one can place a pebble on any given root vertex via a sequence of pebbling steps. The pebbling number of a graph G is the minimum number pi(G) so that every configuration of pi(G) pebbles is solvable. A graph is Class 0 if its pebbling number equals its number of vertices. A function is a pebbling threshold for a sequence of graphs if a randomly chosen configuration of asymptotically more pebbles is almost surely solvable, while one of asymptotically fewer pebbles is almost surely not. Here we prove that graphs on n>=9 vertices having minimum degree at least floor(n/2) are Class 0, as are bipartite graphs with m>=336 vertices in each part having minimum degree at least floor(m/2)+1. Both bounds are best possible. In addition, we prove that the pebbling threshold of graphs with minimum degree d, with sqrt{n} << d, is O(n^{3/2}/d), which is tight when d is proportional to n.


title: On the Pebbling Threshold Spectrum

abstract: A configuration of pebbles on the vertices of a graph is solvable if one can place a pebble on any given root vertex via a sequence of pebbling steps. A function is a pebbling threshold for a sequence of graphs if a randomly chosen configuration of asymptotically more pebbles is almost surely solvable, while one of asymptotically fewer pebbles is almost surely not. In this note we show that the spectrum of pebbling thresholds for graph sequences spans the entire range from n^{1/2} to n. This answers a question of Czygrinow, Eaton, Hurlbert and Kayll. What the spectrum looks like above n remains unknown.


title: Lower bound for the maximal number of facets of a 0/1 polytope

abstract: We show that there exist 0/1 polytopes in R^n with as many as (cn / (log n)^2)^(n/2) facets (or more), where c>0 is an absolute constant.


title: On Residualizing Homomorphisms Preserving Quasiconvexity

abstract: $H$ is called a $G$-subgroup of a hyperbolic group $G$ if for any finite subset $M\subset G$ there exists a homomorphism from $G$ onto a non-elementary hyperbolic group $G_1$ that is surjective on $H$ and injective on $M$. In his paper in 1993 A. Ol'shanskii gave a description of all $G$-subgroups in any given non-elementary hyperbolic group $G$. Here we show that for the same class of $G$-subgroups the finiteness assumption on $M$ (under certain natural conditions) can be replaced by an assumption of quasiconvexity.


title: Tiles with no spectra

abstract: We exhibit a subset of a finite Abelian group, which tiles the group by translation, and such that its tiling complements do not have a common spectrum (orthogonal basis for their $L^2$ space consisting of group characters). This disproves the Universal Spectrum Conjecture of Lagarias and Wang. Further, we construct a set in some finite Abelian group, which tiles the group but has no spectrum. We extend this last example to the groups $\ZZ^d$ and $\RR^d$ (for $d \ge 5$) thus disproving one direction of the Spectral Set Conjecture of Fuglede. The other direction was recently disproved by Tao.


title: A conformal energy for simplicial surfaces

abstract: A new functional for simplicial surfaces is suggested. It is invariant with respect to Moebius transformations and is a discrete analogue of the Willmore functional. Minima of this functional are investigated. as an application a bending energy for discrete thin-shells is derived.


title: The homotopy type of the space of symplectic balls in $S^2 \times S^2$ above the critical value

abstract: We compute in this note the full homotopy type of the space of symplectic embeddings of the standard ball $B^4(c) \subset \R^4$ (where $c= \pi r^2$ is the capacity of the standard ball of radius $r$) into the 4-dimensional rational symplectic manifold $M_{\mu}= (S^2 \times S^2, \mu \om_0 \oplus \om_0)$ where $\om_0$ is the area form on the sphere with total area 1 and $\mu$ belongs to the interval $(1,2]$. We know, by the work of Lalonde-Pinsonnault, that this space retracts to the space of symplectic frames of $M_{\mu}$ for any value of $c$ smaller than the critical value $\mu -1$, and that its homotopy type does change when $c$ crosses that value. In this paper, we compute the homotopy type for the case $c \ge \mu-1$ and prove that it is not the type of a finite CW-complex.


title: Toroidal orbifolds, gerbes and group cohomology

abstract: We compute the integral cohomology of certain semi-direct products arising from a linear G-action on the n-torus, where G is a finite group. The main application is the complete calculation of torsion gerbes for certain six dimensional examples arising from string theory.


title: The period-index problem in WC-groups I: elliptic curves

abstract: Let E/K be an elliptic curve defined over a number field, and let p be a prime number such that E(K) has full p-torsion. We show that the order of the p-part of the Shafarevich-Tate group of E/L is unbounded as L varies over degree p extensions of K. The proof uses O'Neil's period-index obstruction. We deduce the result from the fact that, under the same hypotheses, there exist infinitely many elements of the Weil-Chatelet group of E/K of period p and index p^2.


title: The Teichm\"{u}ller Space of Pinched Negatively Curved Metrics on a Hyperbolic Manifold is not Contractible

abstract: For a smooth manifold $M$ we define the Teichm\"uller space $\cT(M)$ of all Riemannian metrics on $M$ and the Teichm\"uller space $\cT^\epsilon(M)$ of $\epsilon$-pinched negatively curved metrics on $M$, where $0\leq\epsilon\leq\infty$. We prove that if $M$ is hyperbolic the natural inclusion $\cT^\epsilon(M)\hookrightarrow\cT(M)$ is, in general, not homotopically trivial. In particular, $\cT^\epsilon(M)$ is, in general, not contractible.


title: On elementary equivalence, isomorphism and isogeny of arithmetic function fields

abstract: Motivated by recent work of Florian Pop, we study the connections between three notions of equivalence of function fields: isomorphism, elementary equivalence, and the condition that each of a pair of fields can be embedded in the other, which we call isogeny. Some of our results are purely geometric: we give an isogeny classification of Severi-Brauer varieties and of quadric surfaces. These results are applied to deduce new instances of "elementary equivalence implies isomorphism": for all genus zero curves over a number field, and for certain genus one curves over a number field, including some which are not elliptic curves.


title: Frames, Graphs and Erasures

abstract: Two-uniform frames and their use for the coding of vectors are the main subject of this paper. These frames are known to be optimal for handling up to two erasures, in the sense that they minimize the largest possible error when up to two frame coefficients are set to zero. Here, we consider various numerical measures for the reconstruction error associated with a frame when an arbitrary number of the frame coefficients of a vector are lost. We derive general error bounds for two-uniform frames when more than two erasures occur and apply these to concrete examples. We show that among the 227 known equivalence classes of two-uniform (36,15)-frames arising from Hadamard matrices, there are 5 that give smallest error bounds for up to 8 erasures.


title: The period-index problem in WC-groups II: abelian varieties

abstract: We study the relationship between the period and the index of a principal homogeneous space over an abelian variety, obtaining results which generalize work of Cassels and Lichtenbaum on curves of genus one. In addition, we show that the p-torsion in the Shafarevich-Tate group of a fixed abelian variety over a number field k grows arbitrarily large when considered over field extensions l/k of bounded degree. Essential use is made of an abelian variety version of O'Neil's period-index obstruction.


title: Tsallis relative operator entropy in mathematical physics

abstract: Tsallis relative operator entropy is defined as a parametric extension of the relative operator entropy. Some properties of the Tsallis relative operator entropy are investigated. Also some operator inequalities related to the Tsallis relative operator entropy are shown.


title: Generalized Shannon inequalities based on Tsallis relative operator entropy

abstract: Tsallis relative operator entropy is defined and then its properties are given. Shannon inequality and its reverse one in Hilbert space operators derived by T.Furuta \cite{Fu:par} are extended in terms of the parameter of the Tsallis relative operator entropy. Moreover the generalized Tsallis relative operator entropy is introduced and then several operator inequalities are derived.


title: Random Oxford Graphs

abstract: Inspired by a concept in comparative genomics, we investigate properties of randomly chosen members of G_1(m,n,t), the set of bipartite graphs with $m$ left vertices, n right vertices, t edges, and each vertex of degree at least one. We give asymptotic results for the number of such graphs and the number of $(i,j)$ trees they contain. We compute the thresholds for the emergence of a giant component and for the graph to be connected.


title: Weak Symplectic Functional Analysis and General Spectral Flow Formula

abstract: We consider a continuous curve of self-adjoint Fredholm extensions of a curve of closed symmetric operators with fixed minimal domain $D_m$ and fixed {\it intermediate} domain $D_W$. Our main example is a family of symmetric generalized operators of Dirac type on a compact manifold with boundary with varying well-posed boundary conditions. Here $D_W$ is the first Sobolev space and $D_m$ the subspace of sections with support in the interior. We express the spectral flow of the operator curve by the Maslov index of a corresponding curve of Fredholm pairs of Lagrangian subspaces of the quotient Hilbert space $D_W/D_m$ which is equipped with continuously varying {\it weak symplectic structures} induced by the Green form. In this paper, we specify the continuity conditions; define the Maslov index in weak symplectic analysis; discuss the required weak inner Unique Continuation Property; derive a General Spectral Flow Formula; and check that the assumptions are natural and all are satisfied in geometric and pseudo-differential context. Applications are given to $L^2$ spectral flow formulae; to the splitting of the spectral flow on partitioned manifolds; and to linear Hamiltonian systems.


title: The structure and labelled enumeration of K_{3,3}-subdivision-free projective-planar graphs

abstract: We consider the class F of 2-connected non-planar K_{3,3}-subdivision-free graphs that are embeddable in the projective plane. We show that these graphs admit a unique decomposition as a graph K_5 (the core) where the edges are replaced by two-pole networks constructed from 2-connected planar graphs. A method to enumerate these graphs in the labelled case is described. Moreover, we enumerate the homeomorphically irreducible graphs in F and homeomorphically irreducible 2-connected planar graphs. Particular use is made of two-pole directed series-parallel networks. We also show that the number m of edges of graphs in F with n vertices satisfies the bound m <=3n-6, for n >= 6.


title: The Heun equation and the Calogero-Moser-Sutherland system IV: the Hermite-Krichever Ansatz

abstract: We develop a theory for the Hermite-Krichever Ansatz on the Heun equation. As a byproduct, we find formulae which reduce hyperelliptic integrals to elliptic ones.


title: Smoothly Parameterised Cech Cohomology of Complex Manifolds

abstract: A Stein covering of a complex manifold may be used to realise its analytic cohomology in accordance with the Cech theory. If, however, the Stein covering is parameterised by a smooth manifold rather than just a discrete set, then we construct a cohomology theory in which an exterior derivative replaces the usual combinatorial Cech differential. Our construction is motivated by integral geometry and the representation theory of Lie groups.


title: Hyperelliptic and trigonal Fano threefolds

abstract: We classify Fano 3-folds with canonical Gorenstein singularities whose anticanonical linear system has no base points but does not give an embedding, and we classify anticanonically embedded Fano 3-folds with canonical Gorenstein singularities which are not intersections of quadrics. We also study the rationality questions for most of these varieties.


title: Reduction of strongly equivariant bundle gerbes with connection and curving

abstract: From a certain strongly equivariant bundle gerbe with connection and curving over a smooth manifold on which a Lie group acts, we construct under some conditions a bundle gerbe with connection and curving over the quotient space. In general, the construction requires a choice, and we can consequently obtain distinct stable isomorphism classes of bundle gerbes with connection and curving over the quotient space. A bundle gerbe naturally arising in Chern-Simons theory provides an example of the reduction.


title: Analysis of Invariants Associated with Spectral Boundary Problems for an Elliptic Operator

abstract: This is a survey of recent results on zeta- and eta-function poles and values for realizations of Laplace- and Dirac-type operators defined by pseudodifferential projection boundary conditions (including the Atiyah-Patodi-Singer operator and its square). Section 1 recalls some useful results for ps.d.o.s on closed manifolds. Section 2 describes the asymptotic trace expansions for second-order operators under general projection boundary conditions, in particular the vanishing of the zeta residue at 0 in general (with consequences for first-order operators). Section 3 treats cases with symmetry or selfadjointness conditions, where a stability of the zeta value at 0, or of the vanishing of the eta residue, can be shown for low-order perturbations of the boundary projection. Section 4 describes general results on stability of expansion coefficients when the interior operator is perturbed, and ends with special results obtainable when the perturbation commutes with the interior operator near the boundary, in a suitable sense.


title: Intermittency and regularity issues in 3D Navier-Stokes turbulence

abstract: Two related open problems in the theory of 3D Navier-Stokes turbulence are discussed in this paper. The first is the phenomenon of intermittency in the dissipation field. Dissipation-range intermittency was first discovered experimentally by Batchelor and Townsend over fifty years ago. It is characterized by spatio-temporal binary behaviour in which long, quiescent periods in the velocity signal are interrupted by short, active `events' during which there are violent fluctuations away from the average. The second and related problem is whether solutions of the 3D Navier-Stokes equations develop finite time singularities during these events. This paper shows that Leray's weak solutions of the three-dimensional incompressible Navier-Stokes equations can have a binary character in time. The time-axis is split into `good' and `bad' intervals: on the `good' intervals solutions are bounded and regular, whereas singularities are still possible within the `bad' intervals. An estimate for the width of the latter is very small and decreases with increasing Reynolds number. It also decreases relative to the lengths of the good intervals as the Reynolds number increases. Within these `bad' intervals, lower bounds on the local energy dissipation rate and other quantities, such as $\|\bu(\cdot, t)\|_{\infty}$ and $\|\nabla\bu(\cdot, t)\|_{\infty}$, are very large, resulting in strong dynamics at sub-Kolmogorov scales. Intersections of bad intervals for $n\geq 1$ are related to Scheffer's potentially singular set in time. It is also proved that the Navier-Stokes equations are conditionally regular provided, in a given `bad' interval, the energy has a lower bound that is decaying exponentially in time.


title: Non-reductive Homogeneous Pseudo-Riemannian Manifolds of Dimension Four

abstract: A method, due to \'Elie Cartan, is used to give an algebraic classification of the non-reductive homogeneous pseudo-Riemannian manifolds of dimension four. Only one case with Lorentz signature can be Einstein without having constant curvature, and two cases with (2,2) signature are Einstein of which one is Ricci-flat. If a four-dimensional non-reductive homogeneous pseudo-Riemannian manifold is simply connected, then it is shown to be diffeomorphic to $\real^4$. All metrics for the simply connected non-reductive Einstein spaces are given explicitly. There are no non-reductive pseudo-Riemannian homogeneous spaces of dimension two and none of dimension three with connected isotropy subgroup.


title: Computing the writhe of a knot

abstract: We study the variation of the Tait number of a closed space curve according to its different projections. The results are used to compute the writhe of a knot, leading to a closed formula in case of polygonal curves.


title: The Alexander module of links at infinity

abstract: Walter Neumann showed that the topology of a ``regular'' algebraic curve V in C^2 is determined up to proper isotopy by some link in S^3 called the link at infinity of V. In this note, we compute the Alexander module over C[t^{\pm 1}] of any such link at infinity.


title: Studying the multivariable Alexander polynomial by means of Seifert surfaces

abstract: We show how Seifert surfaces, so useful for the understanding of the Alexander polynomial \Delta_L(t), can be generalized in order to study the multivariable Alexander polynomial \Delta_L(t_1,...,t_\mu). In particular, we give an elementary and geometric proof of the Torres formula.


title: Characters and Blocks for Finite-Dimensional Representations of Quantum Affine Algebras

abstract: We introduce the notion of the ell-weight lattice and the ell-root lattice adapted to the study of finite-dimensional representations of quantum affine algebras. We then study the ell-weights of the fundamental representations and show that they are invariant under the action of the associated braid group, in the case when the underlying simple Lie algebra is of classical type. As an application of this result we are able to give explicit formulas for their q-characters. An example is worked out in detail in Section 5. Finally, we describe the blocks in the category and prove that they are parametrized by the quotient of the ell-weight lattice by the ell-root lattice.


title: On the Kauffman bracket skein module of the quaternionic manifold

abstract: We use recoupling theory to study the Kauffman bracket skein module of the quaternionic manifold over Z[A,A^{-1}] localized by inverting all the cyclotomic polynomials. We prove that the skein module is spanned by five elements. Using the quantum invariants of these skein elements and the Z_2 homology of the manifold, we determine that they are linearly independent.


title: Almost unimodular systems on compact groups with disjoint spectra

abstract: We emulate the Rademacher functions on any non-commutative compact group requiring the resulting system to have pairwise disjoint spectra.


title: Hurwitz stabilisers of some short redundant Artin systems for the braid group Br_3

abstract: We investigate the Hurwitz action of the braid group Br_n on the n-fold Cartesian product of Br_3 and determine some stabilisers of its Artin systems. Our algebraic result is complemented by a geometric study of families of plane polynomial coverings of degree 3. Together they lead to characterisations of the set of 'paths realised by degenerations' of the polynomials as defined by Donaldson in 'Polynomials, vanishing cycles and Floer homology'.


title: GCD matrices, posets, and nonintersecting paths

abstract: We show that with any finite partially ordered set one can associate a matrix whose determinant factors nicely. As corollaries, we obtain a number of results in the literature about GCD matrices and their relatives. Our main theorem is proved combinatorially using nonintersecting paths in a directed graph.


title: Girth, Pebbling, and Grid Thresholds

abstract: In this note we answer a question of Hurlbert about pebbling in graphs of high girth. Specifically we show that for every g there is a Class 0 graph of girth at least g. The proof uses the so-called Erdos construction and employs a recent result proved by Czygrinow, Hurlbert, Kierstead and Trotter. We also use the Czygrinow et al. result to prove that Graham's pebbling product conjecture holds for dense graphs. Finally, we consider a generalization of Graham's conjecture to thresholds of graph sequences and find reasonably tight bounds on the pebbling threshold of the sequence of d-dimensional grids, verifying an important instance the generalization.


title: The Pebbling Threshold of the Square of Cliques

abstract: Given an initial configuration of pebbles on a graph, one can move pebbles in pairs along edges, at the cost of one of the pebbles moved, with the objective of reaching a specified target vertex. The pebbling number of a graph is the minimum number of pebbles so that every configuration of that many pebbles can reach any chosen target. The pebbling threshold of a sequence of graphs is roughly the number of pebbles so that almost every (resp. almost no) configuration of asymptotically more (resp. fewer) pebbles can reach any chosen target. In this paper we find the pebbling threshold of the sequence of squares of cliques, improving upon an earlier result of Boyle and verifying an important instance of a probabilistic version of Graham's product conjecture.


title: Additive Reverses of the Continuous Triangle Inequality for Bochner Integral of Vector-Valued Functions in Hilbert Spaces

abstract: Some additive reverses of the continuous triangle inequality for Bochner integral of vector-valued functions in Hilbert spaces are given. Applications for complex-valued functions are provided as well.


title: Some Reverses of the Continuous Triangle Inequality for Bochner Integral of Vector-Valued Functions in Complex Hilbert Spaces

abstract: Some reverses of the continuous triangle inequality for Bochner integral of vector-valued functions in complex Hilbert spaces are given. Applications for complex-valued functions are provided as well.


title: A tight closure analogue of analytic spread

abstract: An analogue of the theory of integral closure and reductions is developed for a more general class of closures, called Nakayama closures. It is shown that tight closure is a Nakayama closure by proving a ``Nakayama lemma for tight closure''. Then, after strengthening A. Vraciu's theory of $*$-independence and the special part of tight closure, it is shown that all minimal $*$-reductions of an ideal in an analytically irreducible excellent local ring of positive characteristic have the same minimal number of generators. This number is called the $*$-spread of the ideal, by analogy with the notion of analytic spread.


title: Closed manifolds coming from Artinian complete intersections

abstract: We reformulate the integrality property of the Poincar\'{e} inner product in the middle dimension, for an arbitrary Poincar\'{e} $\Q$-algebra, in classical terms (discriminant and local invariants). When the algebra is 1-connected, we show that this property is the only obstruction to realizing it by a closed manifold, up to dimension 11. We reinterpret a result of Eisenbud and Levine on finite map germs, relating the degree of the map germ to the signature of the associated local ring, to answer a question of Halperin on artinian weighted complete intersections.We analyse the homogeneous artinian complete intersections over $\Q$ realized by closed manifolds of dimensions 4 and 8, and their signatures.


title: $C^*$-algebras coming from some buildings

abstract: We construct compact polyhedra with triangular faces whose links are generalized 3-gons. They are interesting compact spaces covered by Euclidean buildings of type $A_2$. Those spaces give us two-dimensional subshifts, which can be used to construct some $C^*$-algebras.


title: Counting primes, groups and manifolds

abstract: Let $\Lambda = \mathrm{SL}_2(\Bbb Z)$ be the modular group and let $c_n(\Lambda)$ be the number of congruence subgroups of $\Lambda$ of index at most $n$. We prove that $\lim\limits_{n\to \infty} \frac{\log c_n(\Lambda)}{(\log n)^2/\log\log n} = \frac{3-2\sqrt{2}}{4}.$ The proof is based on the Bombieri-Vinogradov `Riemann hypothesis on the average' and on the solution of a new type of extremal problem in combinatorial number theory. Similar surprisingly sharp estimates are obtained for the subgroup growth of lattices in higher rank semisimple Lie groups. If $G$ is such a Lie group and $\Gamma$ is an irreducible lattice of $G$ it turns out that the subgroup growth of $\Gamma$ is independent of the lattice and depends only on the Lie type of the direct factors of $G$. It can be calculated easily from the root system. The most general case of this result relies on the Generalized Riemann Hypothesis but many special cases are unconditional. The proofs use techniques from number theory, algebraic groups, finite group theory and combinatorics.


title: Subgroup growth of lattices in semisimple Lie groups

abstract: We give very precise bounds for the congruence subgroup growth of arithmetic groups. This allows us to determine the subgroup growth of irreducible lattices of semisimple Lie groups. In the most general case our results depend on the Generalized Riemann Hypothesis for number fields but we can state the following unconditional theorem: Let $G$ be a simple Lie group of real rank at least 2, different than $D_4(\bbc)$, and let $\Gamma$ be any non-uniform lattice of $G$. Let $s_n(\Gamma)$ denote the number of subgroups of index at most $n$ in $\Gamma$. Then the limit $\lim\limits_{n\to \infty} \frac{\log s_n(\Gamma)}{(\log n)^2/ \log \log n}$ exists and equals a constant $\gamma(G)$ which depends only on the Lie type of $G$ and can be easily computed from its root system.


title: On the associated primes of Matlis duals of top local cohomology modules

abstract: After motivating the question we prove various results about the set of associated primes of Matlis duals of top local cohomology modules. In some cases we can calculate this set, for the general situation we present a conjecture. An easy application of this theory is the well-known fact that Krull dimension can be expressed by the vanishing of local cohomology modules.


title: Jamming and geometric representations of graphs

abstract: We expose a relationship between jamming and a generalization of Tutte's barycentric embedding. This provides a basis for the systematic treatment of jamming and maximal packing problems on two-dimensional surfaces.


title: A Banach Algebra Approach To Amalgamated R- and S-transforms

abstract: We give a Banach algebra approach to the additiveness property of Voiculescu's amalgamated R-transform. We also define an amalgamated S-transform and prove that it is multiplicative on products of amalgamated free random variables when the algebra of amalgamation is commutative.


title: L'homologie de Novikov des entrelacs de Waldhausen

abstract: A graph multilink is a link with multiplicities in a homology 3-sphere whose exterior is a graph manifold. In this Note, we compute the Novikov homology of graph multilinks. As a corollary, we give a majoration for the number of Novikov modules on a given graph link.


title: A Cantor set in the unit sphere in $\mathbb{C}^2$ with large polynomial hull

abstract: It is an old question how massive polynomial hulls of Cantor sets in $\mathbb{C}^n$ can be. In contrast to expectation e.g. Rudin, Vitushkin and Henkin showed on examples that it can be rather massive. Motivated by problems of holomorphic convexity of subsets of strictly pseudoconvex boundaries and removable singularities the question was asked for Cantor sets in the unit sphere. It was known that tame Cantor sets in the unit sphere are polynomially convex. We give an example of a wild Cantor set in the sphere whose polynomial hull contains a large ball. In some sense this can be opposed to a still open conjecture of Vitushkin on the existence of a lower bound for the diameter of the largest boundary component of a relatively closed complex curve in the ball passing through the origin.


title: Moment Formulas For The Quasi-Nilpotent DT-Operator

abstract: Let T be the quasi-nilpotent DT-operator. By use of Voiculescu's amalgamated R-transform we compute the moments of $(T-\lambda 1)^*(T-\lambda 1)$, where $\lambda \in \mathbb C$, and the Brown-measure of $T+\sqrt{\epsilon} Y$, where Y is a circular element *-free from T for $\epsilon>0$. Moreover we give a new proof of \'Sniady's formula for the moments $\tau(((T^*)^k T^k)^n)$ for $k,n\in \mathbb N$.


title: Toric Degenerations and Batyrev-Borisov Duality

abstract: This is an extended example of the study of mirror symmetry via log schemes and the discrete Legendre transform on affine manifolds, introduced by myself and Bernd Siebert in "Mirror Symmetry via Logarithmic Degeneration Data I" (math.AG/0309070). In this paper, I consider the construction as it applies to the Batyrev-Borisov construction for complete intersections in toric varieties. Given a pair of reflexive polytopes with nef decompositions dual to each other, and given polarizations on the corresponding toric varieties, we construct examples of toric degenerations and their dual intersection complexes, which are affine manifolds with singularities. We show these affine manifolds are related by the discrete Legendre transform, thus showing that the Batyrev-Borisov construction is a special case of our more general construction. The description of the dual intersection complexes in terms of the combinatoricsof the setup generalises work of Haase and Zharkov in the toric hypersurface case, and similar work of Ruan. In particular, this gives a topological description of the Strominger-Yau-Zaslow fibrations on complete intersections in toric varieties.


title: A geometric construction of the Conway potential function

abstract: We give a geometric construction of the multivariable Conway potential function for colored links. In the case of a single color, it is Kauffman's definition of the Conway polynomial in terms of a Seifert matrix.


title: Symmetric measures via moments

abstract: Algebraic tools in statistics have recently been receiving special attention and a number of interactions between algebraic geometry and computational statistics have been rapidly developing. This paper presents another such connection, namely, one between probabilistic models invariant under a finite group of (non-singular) linear transformations and polynomials invariant under the same group. Two specific aspects of the connection are discussed: generalization of the (uniqueness part of the multivariate) problem of moments and log-linear, or toric, modeling by expansion of invariant terms. A distribution of minuscule subimages extracted from a large database of natural images is analyzed to illustrate the above concepts.


title: Coalescence in a random background

abstract: We consider a single genetic locus which carries two alleles, labelled P and Q. This locus experiences selection and mutation. It is linked to a second neutral locus with recombination rate r. If r=0, this reduces to the study of a single selected locus. Assuming a Moran model for the population dynamics, we pass to a diffusion approximation and, assuming that the allele frequencies at the selected locus have reached stationarity, establish the joint generating function for the genealogy of a sample from the population and the frequency of the P allele. In essence this is the joint generating function for a coalescent and the random background in which it evolves. We use this to characterize, for the diffusion approximation, the probability of identity in state at the neutral locus of a sample of two individuals (whose type at the selected locus is known) as solutions to a system of ordinary differential equations. The only subtlety is to find the boundary conditions for this system. Finally, numerical examples are presented that illustrate the accuracy and predictions of the diffusion approximation. In particular, a comparison is made between this approach and one in which the frequencies at the selected locus are estimated by their value in the absence of fluctuations and a classical structured coalescent model is used.


title: Finite generation and the Gauss process

abstract: Convergence of the Gauss resolution process for a complex singular foliation of dimension r is shown to be equivalent to finite type of a graded sheaf which is built using base (r+2) expansions of integers. As applications it is calculated which foliations coming from split semisimple representations of commutative Lie algebras can be resolved torically with respect to an eigenspace decomposition and it is shown that Gaussian resolutions stabilize for irreducible normal projective varieties with foliations of dimension r for which (r+1)H+K is finitely generated with Iitaka dimension less than two where H is a hyperplane section and K a canonical divisor of the foliation. For normal irreducible complex projective varieties with very ample divisor H and a resolvable foliation, functorial locally closed conditions on vector subspaces X \subset |iH| are given which hold for large i and ensure that blowing up the base locus of X and one further Gaussian blowup resolves the foliation.


title: Fourier-Mukai and Nahm transforms for holomorphic triples on elliptic curves

abstract: We define a Fourier-Mukai transform for a triple consisting of two holomorphic vector bundles over an elliptic curve and a homomorphism between them. We prove that in some cases the transform preserves the natural stability condition for a triple. We also define a Nahm transform for solutions to natural gauge-theoretic equations on a triple -- vortices -- and explore some of its basic properties. Our approach combines direct methods with dimensional reduction techniques, relating triples over a curve with vector bundles over the product of the curve with the complex projective line.


title: The Conway potential function of a graph link

abstract: We give a closed formula for the multivariable Conway potential function of any graph link in a homology sphere. As corollaries, we answer three questions by Walter Neumann about graph links.


title: Exact asymptotics for fluid queues fed by multiple heavy-tailed on-off flows

abstract: We consider a fluid queue fed by multiple On-Off flows with heavy-tailed (regularly varying) On periods. Under fairly mild assumptions, we prove that the workload distribution is asymptotically equivalent to that in a reduced system. The reduced system consists of a ``dominant'' subset of the flows, with the original service rate subtracted by the mean rate of the other flows. We describe how a dominant set may be determined from a simple knapsack formulation. The dominant set consists of a ``minimally critical'' set of On-Off flows with regularly varying On periods. In case the dominant set contains just a single On-Off flow, the exact asymptotics for the reduced system follow from known results. For the case of several On-Off flows, we exploit a powerful intuitive argument to obtain the exact asymptotics. Combined with the reduced-load equivalence, the results for the reduced system provide a characterization of the tail of the workload distribution for a wide range of traffic scenarios.


title: Long line knots

abstract: We study continuous embeddings of the long line L into L^n (n>1) up to ambient isotopy of L^n. We define the direction of an embedding and show that it is (almost) a complete invariant in the case n=2 for continuous embeddings, and in the case n>3 for differentiable ones. Finally, we prove that the classification of smooth embeddings L \to L^3 is equivalent to the classification of classical oriented knots.


title: Reduction of $m$-Regular Noncrossing Partitions

abstract: In this paper, we present a reduction algorithm which transforms $m$-regular partitions of $[n]=\{1, 2, ..., n\}$ to $(m-1)$-regular partitions of $[n-1]$. We show that this algorithm preserves the noncrossing property. This yields a simple explanation of an identity due to Simion-Ullman and Klazar in connection with enumeration problems on noncrossing partitions and RNA secondary structures. For ordinary noncrossing partitions, the reduction algorithm leads to a representation of noncrossing partitions in terms of independent arcs and loops, as well as an identity of Simion and Ullman which expresses the Narayana numbers in terms of the Catalan numbers.


title: Large deviations problems for star networks: the min policy

abstract: We are interested in analyzing the effect of bandwidth sharing for telecommunication networks. More precisely, we want to calculate which routes are bottlenecks by means of large deviations techniques. The method is illustrated in this paper on a star network, where the bandwidth is shared between customers according to the so-called min policy. We prove a sample path large deviation principle for a rescaled process n^{-1}Q_{nt}, where Q_t represents the joint number of connections at time t. The main result is to compute the rate function explicitly. The major step consists in deriving large deviation bounds for an empirical generator constructed from the join number of customers and arrivals on each route. The rest of the analysis relies on a suitable change of measure together with a localization procedure. An example shows how this can be used practically.


title: A Local Limit Theorem for random walks conditioned to stay positive

abstract: We consider a real random walk S_n = X_1 + ... + X_n attracted (without centering) to the normal law: this means that for a suitable norming sequence a_n we have the weak convergence S_n / a_n --> f(x) dx, where f(x) is the standard normal density (this happens in particular by the CLT when X_1 has zero mean and finite variance \sigma^2, with a_n = \sigma \sqrt{n}). A local refinement of this convergence is provided by Gnedenko's and Stone's Local Limit Theorems, in the lattice and nonlattice case respectively. Now let C_n denote the event (S_1 > 0, ..., S_n > 0) and let S_n^+ denote the random variable S_n conditioned on C_n: it is known that S_n^+ / a_n --> f^+(x) \dd x, where f^+(x) := x \exp(-x^2/2) \ind_{x > 0}. What we establish in this paper is an equivalent of Gnedenko's and Stone's Local Limit Theorems for this weak convergence. We also consider the particular case when X_1 has an absolutely continuous law: in this case the uniform convergence of the density of S_n^+ / a_n towards f^+(x) holds under a standard additional hypothesis, in analogy to the classical case. We finally discuss an application of our main results to the asymptotic behavior of the joint renewal measure of the ladder variables process. Unlike the classical proofs of the LLT, we make no use of characteristic functions: our techniques are rather taken from the so--called Fluctuation Theory for random walks.


title: Hitting probabilities in a Markov additive process with linear movements and upward jumps: applications to risk and queueing processes

abstract: Motivated by a risk process with positive and negative premium rates, we consider a real-valued Markov additive process with finitely many background states. This additive process linearly increases or decreases while the background state is unchanged, and may have upward jumps at the transition instants of the background state. It is known that the hitting probabilities of this additive process at lower levels have a matrix exponential form. We here study the hitting probabilities at upper levels, which do not have a matrix exponential form in general. These probabilities give the ruin probabilities in the terminology of the risk process. Our major interests are in their analytic expressions and their asymptotic behavior when the hitting level goes to infinity under light tail conditions on the jump sizes. To derive those results, we use a certain duality on the hitting probabilities, which may have an independent interest because it does not need any Markovian assumption.


title: The asymptotic distributions of the largest entries of sample correlation matrices

abstract: Let X_n=(x_{ij}) be an n by p data matrix, where the n rows form a random sample of size n from a certain p-dimensional population distribution. Let R_n=(\rho_{ij}) be the p\times p sample correlation matrix of X_n; that is, the entry \rho_{ij} is the usual Pearson's correlation coefficient between the ith column of X_n and jth column of X_n. For contemporary data both n and p are large. When the population is a multivariate normal we study the test that H_0: the p variates of the population are uncorrelated. A test statistic is chosen as L_n=max_{i\ne j}|\rho_{ij}|. The asymptotic distribution of L_n is derived by using the Chen-Stein Poisson approximation method. Similar results for the non-Gaussian case are also derived.


title: Generalised Surfaces in ${\Bbb{R}}^3$

abstract: The correspondence between 2-parameter families of oriented lines in ${\Bbb{R}}^3$ and surfaces in $T{\Bbb{P}}^1$ is studied, and the geometric properties of the lines are related to the complex geometry of the surface. Congruences generated by global sections of $T{\Bbb{P}}^1$ are investigated and a number of theorems are proven that generalise results for closed convex surfaces in ${\Bbb{R}}^3$.


title: Galois theory for weak Hopf algebras

abstract: We develop Hopf-Galois theory for weak Hopf algebras, and recover analogs of classical results for Hopf algebras. Our methods are based on the recently introduced Galois theory for corings. We focus on the situatation where the weak Hopf algebra is a groupoid algebra or its dual. We obtain weak versions of strongly graded rings, and classical Galois extensions.


title: Galois corings applied to partial Galois theory

abstract: Partial Galois extensions were recently introduced by Dokuchaev, Ferrero and Paques. We introduce partial Galois extensions for noncommutative rings, using the theory of Galois corings. We associate a Morita context to a partial action on a ring.


title: Block Combinatorics

abstract: In this paper we extend the block combinatorics partition theorems of Hindman and Milliken in the setting of the recursive system of the block Schreier families (B^xi) consisting of families defined for every countable ordinal xi. Results contain (a) a block partition Ramsey theorem for every countable ordinal xi (Hindman's theorem corresponding to xi=1, and Milliken's theorem to xi a finite ordinal), (b) a countable ordinal form of the block Nash-Williams partition theorem, and (c) a countable ordinal block partition theorem for sets closed in the infinite block analogue of Ellentuck's topology.


title: Visualizing Ricci Flow of Manifolds of Revolution

abstract: We present numerical visualizations of Ricci Flow of surfaces and 3-dimensional manifolds of revolution. Ricci_rot is an educational tool which visualizes surfaces of revolution moving under Ricci flow. That these surfaces tend to remain embedded in R3 is what makes direct visualization possible. The numerical lessons gained in developing this tool may be applicable to numerical simulation of Ricci flow of other surfaces. Similarly for simple 3-dimensional manifolds like the 3-sphere, with a metric which is invariant under the action of SO(3) with 2-sphere orbits, the metric can be represented by a 2-sphere of revolution, where the distance to the axis of revolution represents the radius of a 2-sphere orbit. Hence we can also visualize the behaviour of such a metric under Ricci flow. We discuss briefly why surfaces and 3-manifolds of revolution remain embedded in R3 and R4 respectively, under Ricci flow and finally indulge in some speculation about the idea of Ricci flow in the larger space of positive definite and indefinite metrics.


title: Problems on invariants of knots and 3-manifolds

abstract: This is a list of open problems on invariants of knots and 3-manifolds with expositions of their history, background, significance, or importance. This list was made by editing open problems given in problem sessions in the workshop and seminars on `Invariants of Knots and 3-Manifolds' held at Kyoto in 2001.


title: On a boundary value problem in subsonic aeroelasticity and the cofinite Hilbert transform

abstract: We study a boundary value problem in subsonic aeroelasticity.


title: Hereditarily non-sensitive dynamical systems and linear representations

abstract: For an arbitrary topological group G any compact G-dynamical system (G,X) can be linearly G-represented as a weak*-compact subset of a dual Banach space V*. As was shown by Megrelishvili (2003), the Banach space V can be chosen to be reflexive iff the metric system (G,X) is weakly almost periodic (WAP). In this paper we study the wider class of compact G-systems which can be linearly represented as a weak*-compact subset of a dual Banach space with the Radon-Nikodym property. We call such a system a Radon-Nikodym system (RN). One of our main results is to show that for metrizable compact G-systems the three classes: RN, HNS (hereditarily not sensitive) and HAE (hereditarily almost equicontinuous) coincide. We investigate these classes and their relation to previously studied classes of G-systems such as WAP and LE (locally equicontinuous). We show that the Glasner-Weiss examples of recurrent-transitive locally equicontinuous but not weakly almost periodic cascades are actually RN. We also show that for symbolic systems the RN property is equivalent to having a countable phase space; and that any Z-dynamical system (f,X), where X is either the unit interval or the unit circle and f: X\to X is a homeomorphism, is an RN system. Using fragmentability and Namioka's theorem we give an enveloping semigroup characterization of HNS systems and show that the enveloping semigroup of a compact metrizable HNS system is a separable Rosenthal compact, hence of cardinality less than or equal c. We investigate a dynamical version of the Bourgain-Fremlin-Talagrand dichotomy and a dynamical version of Todor\u{c}evi\'{c} dichotomy concerning Rosenthal compacts.


title: Invariant differential operators for quantum symmetric spaces, I

abstract: This is the first paper in a series of two which proves a version of a theorem of Harish-Chandra for quantum symmetric spaces in the maximally split case: There is a Harish-Chandra map which induces an isomorphism between the ring of quantum invariant differential operators and the ring of invariants of a certain Laurent polynomial ring under an action of the restricted Weyl group. Here, we establish this result for all quantum symmetric spaces defined using irreducible symmetric pairs not of type EIII, EIV, EVII, or EIX. A quantum version of a related theorem due to Helgason is also obtained: The image of the center under this Harish-Chandra map is the entire invariant ring if and only if the underlying irreducible symmetric pair is not one of these four types.


title: Invariant differential operators for quantum symmetric spaces, II

abstract: The two papers in this series analyze quantum invariant differential operators for quantum symmetric spaces in the maximally split case. In this paper, we complete the proof of a quantum version of Harish-Chandra's theorem: There is a Harish-Chandra map which induces an isomorphism between the ring of quantum invariant differential operators and a ring of Laurent polynomial invariants with respect to the dotted action of the restricted Weyl group. We find a particularly nice basis for the quantum invariant differential operators that provides a new interpretation of difference operators associated to Macdonald polynomials. Finally, we set the stage for a general quantum counterpart to noncompact zonal spherical functions.


title: A Non-Standard Bezout Theorem

abstract: This paper provides a non-standard analogue of Bezout's theorem. This is acheived by showing that, in all characteristics, the notion of Zariski multiplicity coincides with intersection multiplicity when we consider the full families of projective degree d and degree e curves. The result is particularly interesting in that it holds even when we consider intersections at singular points of curves or when the curves contain non-reduced components. The proof also provides motivation for the fact that tangency is a definable relation for families of curves inside a non-linear 1-dimensional Zariski structure X. This is a crucial ingredient in unpublished work by Peterzil and Zilber that any such Zariski structure interprets a pure algebraically closed field L with X as a definable finite cover.


title: On the deformation quantization of affine algebraic varieties

abstract: We compute an explicit algebraic deformation quantization for an affine Poisson variety described by an ideal in a polynomial ring, and inheriting its Poisson structure from the ambient space.


title: Heegaard splittings of graph manifolds

abstract: Let M be a totally orientable graph manifold with characteristic submanifold T and let M = V cup_S W be a Heegaard splitting. We prove that S is standard. In particular, S is the amalgamation of strongly irreducible Heegaard splittings. The splitting surfaces S_i of these strongly irreducible Heegaard splittings have the property that for each vertex manifold N of M, S_i cap N is either horizontal, pseudohorizontal, vertical or pseudovertical.


title: Banach Algebras of Integral Operators, Off-Diagonal Decay, and Applications in Wireless Communications

abstract: In this dissertation I establish that a broad class of Banach *-algebras of infinite integral operators, defined by the property that the kernels of the elements of the algebras possess subexponential off-diagonal decay, is inverse closed in the Banach space of bounded linear operators on the Hilbert space of square-integrable functions. I also show that the algebras under consideration are symmetric. In the second part of this dissertation, I present the results of the IEEE Transactions on Communications paper written jointly by Thomas Strohmer and me. We develop a comprehensive framework for the design of orthogonal frequency-division multiplexing (OFDM) systems, using techniques from Gabor frame theory, sphere-packing theory, representation theory, and the Heisenberg group.


title: Anosov diffeomorphisms on nilmanifolds up to dimension 8

abstract: After more than thirty years, the only known examples of Anosov diffeomorphisms are hyperbolic automorphisms of infranilmanifolds. It is also important to note that the existence of an Anosov automorphism is a really strong condition on an infranilmanifold. Any Anosov automorphism determines an automorphism of the (rational) Lie algebra of the Mal'cev completion of the corresponding lattice which is hyperbolic and unimodular. These two conditions together are strong enough to make of such rational nilpotent Lie algebras (called Anosov Lie algebras) very distinguished objects. In this paper, we classify Anosov Lie algebras of dimension less or equal than 8, which also classify nilmanifolds admitting an Anosov diffeomorphism in those dimensions. As a corollary we obtain that if an infranilmanifold of dimension n<9 admits an Anosov diffeomorphism f and it is not a torus or a compact flat manifold (i.e. covered by a torus), then n=6 or 8 and the signature of f necessarily equals {3,3} or {4,4}, respectively. We had to study the set of all rational forms up to isomorphism for many real Lie algebras, which is a subject on its own and it is treated in a section completely independent of the rest of the paper.


title: A Hopf algebra quantizing a necklace Lie algebra canonically associated to a quiver

abstract: V. Ginzburg, and independently R. Bocklandt and L. Le Bruyn, defined an infinite-dimensional "necklace" Lie algebra canonically associated to any quiver. Following suggestions of V. Turaev, P. Etingof, and Ginzburg, we define a cobracket and prove that it defines a Lie bialgebra structure. We then present a Hopf algebra quantizing this Lie bialgebra, and prove that it is a Hopf algebra satisfying the PBW property. We present representations into spaces of differential operators on representations of the quiver, which quantize the trace representations of the Lie algebra given by Ginzburg.


title: Convergence of invariant densities in the small-noise limit

abstract: This paper presents a systematic numerical study of the effects of noise on the invariant probability densities of dynamical systems with varying degrees of hyperbolicity. It is found that the rate of convergence of invariant densities in the small-noise limit is frequently governed by power laws. In addition, a simple heuristic is proposed and found to correctly predict the power law exponent in exponentially mixing systems. In systems which are not exponentially mixing, the heuristic provides only an upper bound on the power law exponent. As this numerical study requires the computation of invariant densities across more than 2 decades of noise amplitudes, it also provides an opportunity to discuss and compare standard numerical methods for computing invariant probability densities.


title: Fundamental Solutions and Mapping Properties of Semielliptic Operators

abstract: An explicit formula is given for a fundamental solution for a class of semielliptic operators. The fundamental solution is used to investigate properties of these operators as mappings between weighted function spaces. Necessary and sufficient conditions are given for such a mapping to be an isomorphism. Results apply, for example, to elliptic, parabolic, and generalized p-parabolic operators.


title: Homogeneous Multiplicative Polynomial Laws are Determinants

abstract: Let R be a ring and let B be a commutative ring. Let p be a homogeneous multiplicative polynomial law of degree n from R to B. We show that p is essentially a determinant, in the sense that p is obtained from a determinant by left and right composition with ring homomorphisms.


title: On the Invariants of Matrices and the Embedding Problem

abstract: Let K be an infinite field and let R be a K-algebra endowed with a homogeneous polynomial norm N of degree n. If N satisfies a formal analogue of the Cayley-Hamilton Theorem the we will show that R is a quotient of the ring of the invariants of several square matrices of order n under the simultaneous conjugation.


title: Well-posedness of the three-dimensional Lagrangian averaged Navier-Stokes equations

abstract: In this dissertation, we study the well-posedness of the three-dimensional Lagrangian averaged Navier-Stokes (LANS-$\alpha$) equations. There are two types of LANS-$\alpha$ equations: the anisotropic version in which the fluctuation tensor is a dynamic variable that is coupled with the evolution equations for the mean velocity, and the isotropic version in which the covariance tensor is assumed to be a constant multiple of the identity matrix. We prove the global-in-time existence and uniqueness of weak solutions to the isotropic LANS-$\alpha$ equations for the case of no-slip boundary conditions. When the anisotropic LANS-$\alpha$ equations are written with the Stokes projector viscosity term, we show the local-in-time well-posedness of the anisotropic equations in the periodic box. We numerically compute strong solutions to the anisotropic equations in the laminar channel and pipe by considering steady fluid flow solutions to the Navier-Stokes equations.


title: The Cover Pebbling Number of Graphs

abstract: A pebbling move on a graph consists of taking two pebbles off of one vertex and placing one pebble on an adjacent vertex. In the traditional pebbling problem we try to reach a specified vertex of the graph by a sequence of pebbling moves. In this paper we investigate the case when every vertex of the graph must end up with at least one pebble after a series of pebbling moves. The cover pebbling number of a graph is the minimum number of pebbles such that however the pebbles are initially placed on the vertices of the graph we can eventually put a pebble on every vertex simultaneously. We find the cover pebbling numbers of trees and some other graphs. We also consider the more general problem where (possibly different) given numbers of pebbles are required for the vertices.


title: Automorphisms fixing a variable of K<x,y,z>

abstract: We study automorphisms of the free associative algebra K<x,y,z> over a field K which fix z and such that the images of x, y are linear with respect to x, y. We prove that some of these automorphisms are wild in the class of all automorphisms fixing z, including the well known automorphism discovered by Anick, and show how to recognize the wild ones. This class of automorphisms induces tame automorphisms of the polynomial algebra K[x,y,z]. For n>2 the automorphisms of K<x_1,...,x_n,z> which fix z and are linear in the x's are tame.


title: Ramanujan Complexes of Type $\tilde{A_d}$

abstract: We define and construct Ramanujan complexes. These are simplicial complexes which are higher dimensional analogues of Ramanujan graphs. They are obtained as quotients of the buildings of type $\tilde{A}_{d-1}$ associated with $\operatorname{PGL}_d(F)$ where $F$ is a local field of positive characteristic.


title: A new integrable system on the sphere

abstract: We present a new Liouville-integrable natural Hamiltonian system on the (cotangent bundle of the) two-dimensional sphere. The second integral is cubic in the momenta.

categories: math.DS math-ph math.DG math.MP math.SG nlin.SI


title: Most real analytic Cauchy-Riemann manifolds are nonalgebraizable

abstract: We give a very simple argument to the effect that most germs of generic real analytic Cauchy-Riemann manifolds of positive CR dimension are not holomorphically embeddable into any generic real algebraic CR manifold of the same real codimension in a finite dimensional space. In particular, most such germs are not holomorphically equivalent to a germ of a generic real algebraic CR manifold.


title: The bar automorphism in quantum groups and geometry of quiver representations

abstract: Two geometric interpretations of the bar automorphism in the positive part of a quantized enveloping algebra are given. The first is in terms of numbers of rational points over finite fields of quiver analogues of orbital varieties; the second is in terms of a duality of constructible functions provided by preprojective varieties of quivers.


title: Reflection of a wave off a surface

abstract: Recent advances in twistor theory are applied to geometric optics in ${\Bbb{R}}^3$. The general formulae for reflection of a wavefront in a surface are derived and in three special cases explicit descriptions are provided: when the reflecting surface is a plane, when the incoming wave is a plane and when the incoming wave is spherical. In each case particular examples are computed exactly and the results plotted to illustrate the outgoing wavefront.


title: Central extensions of groups of symplectomorphisms

abstract: We construct some canonically defined central extensions of groups of symplectomorphisms. We show that this central extension is nontrivial in the case of a torus of dimension $\ge 6$ and in the case of a two-dimensional surface of genus $\ge 3$.


title: Traffic Flow Models and Their Numerical Solutions

abstract: In this thesis, Riemann problems and Godunov methods are developed for higher order traffic flow models. A rigorous analysis of the first order traffic flow model of inhomogeneous road is presented. A two-level simulation framework of network vehicular traffic is proposed as a Godunov-type finite difference system with the supply-demand method as an alternative of Riemann solver.


title: Slab Percolation and Phase Transitions for the Ising Model

abstract: We prove, using the random-cluster model, a strict inequality between site percolation and magnetization in the region of phase transition for the d-dimensional Ising model, thus improving a result of [CNPR76]. We extend this result also at the case of two plane lattices Z^2x{0,1} (slabs) and give a characterization of phase transition in this case. The general case of N slabs, with N an arbitrary positive integer, is partially solved and it is used to show that this characterization holds in the case of three slabs with periodic boundary conditions. However in this case we do not obtain useful inequalities between magnetization and percolation probability.


title: Power laws for family sizes in a duplication model

abstract: Qian, Luscombe and Gerstein [J. Molecular Biol. 313 (2001) 673--681] introduced a model of the diversification of protein folds in a genome that we may formulate as follows. Consider a multitype Yule process starting with one individual in which there are no deaths and each individual gives birth to a new individual at rate 1. When a new individual is born, it has the same type as its parent with probability $1-r$ and is a new type, different from all previously observed types, with probability $r$. We refer to individuals with the same type as families and provide an approximation to the joint distribution of family sizes when the population size reaches $N$. We also show that if $1\ll S\ll N^{1-r}$, then the number of families of size at least $S$ is approximately $CNS^{-1/(1-r)}$, while if $N^{1-r}\ll S$ the distribution decays more rapidly than any power.


title: Explicit Constructions of Ramanujan Complexes of Type $\tilde{A}_d$

abstract: In this paper we present for every $d \geq 2$ and every local field $F$ of positive characteristic, explicit constructions of Ramanujan complexes which are quotients of the Bruhat-Tits building $\B_d(F)$ associated with $\operatorname{PGL}_d(F)$.


title: Central Limit Theorem and convergence to stable laws in Mallows distance

abstract: We give a new proof of the classical Central Limit Theorem, in the Mallows ($L^r$-Wasserstein) distance. Our proof is elementary in the sense that it does not require complex analysis, but rather makes use of a simple subadditive inequality related to this metric. The key is to analyse the case where equality holds. We provide some results concerning rates of convergence. We also consider convergence to stable distributions, and obtain a bound on the rate of such convergence.


title: Proximality and equidistribution on the Furstenberg boundary

abstract: Let G be a connected semisimple Lie group with finite center and without compact factors, P a minimal parabolic subgroup of G, and \Gamma a lattice in G. We prove that every \Gamma-orbits in the Furstenberg boundary G/P is equidistributed for the averages over Riemannian balls. The proof is based on the proximality of the action of \Gamma on G/P.


title: Hyperreal Waves on Transfinte, Terminated, Distortionless and Lossless, Transmission Lines

abstract: A prior work (see Chapter 8 of the book, ``Graphs and Networks: Transfinite and Nonstandard,'' Birkhauser-Boston, Cambridge, Mass., USA, 2004) examined the propagation of an electromagnetic wave on a transfinite transmission line, transfinite in the sense that infinitely many one-way infinite transmission lines are connected in cascade. That there are infinitely many such one-way infinite lines results in the wave propagating without ever reflecting at some discontinuity. The present work examines the cascade where the cascade terminates after only finitely many one-way infinite transmission lines, with the result that reflected waves are now produced at both the far end as well as at the initial end of the transfinite transmission line. The question of whether the reflected waves are infini tesimal or appreciable and whether they sum to an infinitesimal or appreciable amount are resolved for both distortionless and lossless lines. Finally, the generalizations to higher ranks of transfiniteness is briefly summarized.


title: Suboptimal behaviour of Bayes and MDL in classification under misspecification

abstract: We show that forms of Bayesian and MDL inference that are often applied to classification problems can be *inconsistent*. This means there exists a learning problem such that for all amounts of data the generalization errors of the MDL classifier and the Bayes classifier relative to the Bayesian posterior both remain bounded away from the smallest achievable generalization error.


title: L^2 torsion without the determinant class condition and extended L^2 cohomology

abstract: We associate determinant lines to objects of the extended abelian category built out of a von Neumann category with a trace. Using this we suggest constructions of the combinatorial and the analytic L^2 torsions which, unlike the work of the previous authors, requires no additional assumptions; in particular we do not impose the determinant class condition. The resulting torsions are elements of the determinant line of the extended L^2 cohomology. Under the determinant class assumption the L^2 torsions of this paper specialize to the invariants studied in our previous work. Applying a recent theorem of D. Burghelea, L. Friedlander and T. Kappeler we obtain a Cheeger - Muller type theorem stating the equality between the combinatorial and the analytic L^2 torsions.


title: Homological properties of representations of p-adic groups related to geometry of the group at infinity

abstract: Geometry of buildings is used to prove some homological properties of the category of smooth representations of a reductive p-adic group (Kazhdan's "pairing conjecture", Bernstein's description of homological duality in terms of Deligne-Lusztig duality). A different proof had been obtained a little earlier by Schneider and Stuhler.


title: Lattice polygons and the number 2i+7

abstract: In this note we classify all triples (a,b,i) such that there is a convex lattice polygon P with area a, and b respectively i lattice points on the boundary respectively in the interior. The crucial lemma for the classification is the necessity of b \le 2 i + 7. We sketch three proofs of this fact: the original one by Scott, an elementary one, and one using algebraic geometry. As a refinement, we introduce an onion skin parameter l: how many nested polygons does P contain? and give sharper bounds.


title: 3-Manifolds admitting toric integrable geodesic flows

abstract: The geodesic flow of a Riemannian metric on a compact manifold $Q$ is said to be toric integrable if it is completely integrable and the first integrals of motion generate a homogeneous torus action on the punctured cotangent bundle $T^*Q\setminus{Q}$. If the geodesic flow is toric integrable, the cosphere bundle admits the structure of a contact toric manifold. By comparing the Betti numbers of contact toric manifolds and cosphere bundles, we are able to provide necessary conditions for the geodesic flow on a compact, connected 3-dimensional manifold to be toric integrable.


title: Compact hyperbolic Coxeter n-polytopes with n+3 facets

abstract: We use methods of combinatorics of polytopes together with geometrical and computational ones to obtain the complete list of compact hyperbolic Coxeter n-polytopes with n+3 facets, 3<n<8. Combined with results of Esselmann (1994), Andreev (1970) and Poincare (1882) this gives the classification of all compact hyperbolic Coxeter n-polytopes with n+3 facets.


title: A note on compact solvmanifolds with Kaehler structures

abstract: A solvmanifold is a compact differentiable manifold M on which a connected solvable Lie group G acts transitively. As the main result, we will see, applying a result of Arapura and Nori on solvable Kaehler groups and some of the author's previous results, that a compact solvmanifold admits a Kaehler structure if and only if it is a finite quotient of a complex torus which has a structure of a complex torus bundle over a complex torus. There are also quite a few comments and remarks on and around this result.


title: Spherical Tetrahedra and Invariants of 3-manifolds

abstract: Motivated by the Turaev-Viro invariant of 3-manifolds, we construct a formal topological invariant of closed, oriented 3-manifolds involving spherical tetrahedra as an application of the asymptotic formula of 6j symbols for the Quantum Enveloping Algebra of sl(2). This invariant can be considered as a spherical version of a formal invariant of Ponzano-Regge and Korepanov defined via Euclidean tetrahedra.


title: Solute Transport in a Porous Medium: A Mass-Conserving Solution for the Convection-Dispersion Equation in a Finite Domain

abstract: This dissertation resolves a longstanding discussion of a mathematical problem important in contaminant hydrogeology and chemical-reaction engineering, the proper mathematical description for a miscible solute undergoing longitudinal convective-dispersive transport with production, decay, and sorption in a porous medium. Initial and input concentrations may be any continuously differentiable functions and the problem is stated for a finite domain. This domain yields a mass balance which requires Robin (i.e., third-type) boundaries, which describe a continuous flux but a discontinuous resident-concentration. The discontinuity in the resident concentration at the outflow boundary yields an underdetermined system when the exit concentration is not experimentally measured. This is resolved by defining the unknown effluent concentration from a semi-infinite problem which satisfies a Dirichlet (i.e., first-type) condition at the origin. The solution is represented in a uniformly convergent series of real variables. The large volume of antecedent literature on finite solutions for convective-dispersive transport equations grew out of the historical precedents set by Danckwerts (1953) and Wehner and Wilhelm (1956) whom made simplifying assumptions of continuous boundary concentrations. This dissertation includes the demonstration that continuous-concentration hypotheses, whether rendered as Dirichlet or homogeneous Neumann (i.e., second-type) conditions, satisfy external mass conservation yet fail to provide solutions that are internally consistent with the governing equation.


title: Countable and Full Exchange Rings

abstract: We show that a suitable ring with a ``nice'' topology, in which convergent limits of units are units, is an \aleph_0-exchange ring. We generalize the argument to show that a semi-regular ring, R, with a ``nice'' topology, is a full exchange ring. Putting these results in the language of modules, we show that a cohopfian module with finite exchange has countable exchange. Also, all modules with Dedekind-finite, semi-regular endomorphism rings are full exchange modules.


title: On a Theorem of Ihara

abstract: Let $p$ be a prime number and let $n$ be a positive integer prime to $p$. By an Ihara result we mean existence of an injection with torsion-free cokernel from a full lattice in the space of $p$-old modular forms, into a full lattice in the space of all modular forms of level $np$. In this paper, we prove Ihara results for genus two Siegel modular forms, Siegel-Jacobi forms and Hilbert modular forms. We also propose a geometric formulation for the notion of $p$-old Siegel modular forms of genus two.


title: On Atkin-Lehner correspondences on Siegel spaces

abstract: We introduce a higher dimensional Atkin-Lehner theory for Siegel-Parahoric congruence subgroups of $GSp(2g)$. Old Siegel forms are induced by geometric correspondences on Siegel moduli spaces which commute with almost all local Hecke algebras. We also introduce an algorithm to get equations for moduli spaces of Siegel-Parahoric level structures, once we have equations for prime levels and square prime levels over the level one Siegel space. This way we give equations for an infinite tower of Siegel spaces after N. Elkies who did the genus one case.


title: The set of common fixed points of an n-parameter continuous semigroup of mappings

abstract: In this paper, using Kronecker's theorem, we discuss the set of common fixed points of an n-parameter continuous semigroup of mappings. We also discuss convergence theorems to a common fixed point of an n-parameter nonexpansive semigroup.


title: Efficient construction of contact coordinates for partial prolongations

abstract: Let $\CV$ be a vector field distribution on manifold $M$. We give an efficient algorithm for the construction of local coordinates on $M$ such that $\CV$ may be locally expressed as some partial prolongation of the contact distribution $\Cal C^{(1)}_q$, on the first order jet bundle of maps from $\Bbb R$ to $\Bbb R^q$, $q\geq 1$. It is proven that if $\CV$ is locally equivalent to a partial prolongation of $\Cal C^{(1)}_q$ then the explicit construction of contact coordinates algorithmically depends upon the determination of certain first integrals in a sequence of geometrically defined and algorithmically determined integrable Pfaffian systems on $M$. The number of these first integrals that must be computed satisfies a natural minimality criterion. These results therefore provide a full and constructive generalisation of the classical Goursat normal form from the theory of exterior differential systems.


title: Some considerations in connection with Kurepa's function

abstract: In this paper we consider the functional equation for factorial sum and its particular solutions (Kurepa's function $K(z)$ \cite{Kurepa_71} and function $K_{1}(z)$). We determine an extension of domain of functions $K(z)$ and $K_{1}(z)$ in the sense of Cauchy's principal value at point \cite{Slavic_70}. In this paper we give an addendum to the proof of Slavi\' c's representation of Kurepa's function $K(z)$ \cite{Slavic_73}. Also, we consider some representations of functions $K(z)$ and $K_{1}(z)$ via incomplete gamma function and we consider differential transcendency of previous functions too.


title: Some considerations in connection with alternating Kurepa's function

abstract: In this paper we consider the functional equation for alternating factorial sum and some of its particular solutions (alternating Kurepa's function $A(z)$ from [Petojevic_02] and function $A_{1}(z)$). We determine an extension of domain of functions $A(z)$ and $A_{1}(z)$ in the sense of the principal value at point [Slavic_73], [Mijajlovic & Malesevic_07]. Using the methods from [Slavic_73] and [Malesevic_03] we give a new representation of alternating Kurepa's function $A(z)$, which is an analog of Slavi\' c's representation of Kurepa's function $K(z)$ [Slavic_73], [Marichev_83]. Also, we consider some representations of functions $A(z)$ and $A_{1}(z)$ via incomplete gamma function and we consider differential transcendency of previous functions too.


title: Adjusted Viterbi training

abstract: We study modifications of the Viterbi Training (VT) algorithm to estimate emission parameters in Hidden Markov Models (HMM) in general, and in mixure models in particular. Motivated by applications of VT to HMM that are used in speech recognition, natural language modeling, image analysis, and bioinformatics, we investigate a possibility of alleviating the inconsistency of VT while controlling the amount of extra computations. Specifically, we propose to enable VT to asymptotically fix the true values of the parameters as does the EM algorithm. This relies on infinite Viterbi alignment and an associated with it limiting probability distribution. This paper, however, focuses on mixture models, an important case of HMM, wherein the limiting distribution can always be computed exactly; finding such limiting distribution for general HMM presents a more challenging task under our ongoing investigation. A simulation of a univariate Gaussian mixture shows that our central algorithm (VA1) can dramatically improve accuracy without much cost in computation time. We also present VA2, a more mathematically advanced correction to VT, verify by simulation its fast convergence and high accuracy; its computational feasibility remains to be investigated in future work.


title: Inverse spectral problems for Sturm-Liouville operators with singular potentials, IV. Potentials in the Sobolev space scale

abstract: We solve the inverse spectral problems for the class of Sturm--Liouville operators with singular real-valued potentials from the Sobolev space W^{s-1}_2(0,1), s\in[0,1]. The potential is recovered from two spectra or from the spectrum and norming constants. Necessary and sufficient conditions on the spectral data to correspond to the potential in W^{s-1}_2(0,1) are established.


title: On the uniqueness of ${\bf C}^*$-actions on affine surfaces

abstract: We prove that a normal affine surface $V$ over $\bf C$ admits an effective action of a maximal torus ${\bf T}={\bf C}^{*n}$ ($n\le 2$) such that any other effective ${\bf C}^*$-action is conjugate to a subtorus of $\bf T$ in Aut $(V)$, in the following particular cases: (a) the Makar-Limanov invariant ML$(V)$ is nontrivial, (b) $V$ is a toric surface, (c) $V={\bf P}^1\times {\bf P}^1\backslash \Delta$, where $\Delta$ is the diagonal, and (d) $V={\bf P}^2\backslash Q$, where $Q$ is a nonsingular quadric. In case (a) this generalizes a result of Bertin for smooth surfaces, whereas (b) was previously known for the case of the affine plane (Gutwirth) and (d) is a result of Danilov-Gizatullin and Doebeli.


title: Multi-index filtrations and motivic Poincare series

abstract: The Poincare series of a multi-index filtration on the ring of germs of functions can be written as a certain integral with respect to the Euler characteristic over the projectivization of the ring. Here this integral is considered with respect to the generalized Euler characteristic with values in the Grothendieck ring of varieties. For the filtration defined by orders of functions on the components of a plane curve singularity $C$ and for the so called divisorial filtration for a modification of $(\C^2,0)$ by a sequence of blowing-ups there are given formulae for this integral in terms of an embedded resolution of the germ $C$ or in terms of the modification respectively. The generalized Euler characteristic of the extended semigroup corresponding to the divisorial filtration is computed.


title: Smarandache Function Applied to Perfect Numbers

abstract: In this article we see that the value takes the Smarandache Function when it is applied to a perfect number.


title: On canonical triangulations of once-punctured torus bundles and two-bridge link complements

abstract: We prove the hyperbolization theorem for punctured torus bundles and two-bridge link complements by decomposing them into ideal tetrahedra which are then given hyperbolic structures, following Rivin's volume maximization principle.


title: Conjectures about discriminants of Hecke algebras at prime level

abstract: We study p-divisibility of discriminants of Hecke algebras associated to spaces of cusp forms of prime level. We make a precise conjecture about the indexes of Hecke algebras in their normalisation which implies (if true) the conjecture that there are no mod p congruences between non-conjugate newforms of weight 2 and level Gamma_0(p).


title: Mod p representations on elliptic curves

abstract: Modular Galois representations into GL_2(F_p) with cyclotomic determinant arise from elliptic curves for p = 2,3,5. We show (by constructing explicit examples) that such elliptic curves cannot be chosen to have conductor as small as possible at all primes other than p. Our proof involves finding all elliptic curves of conductor 85779, a custom computation carried out for us by Cremona. This leads to a counterexample to a conjecture of Lario and Rio. For p > 5, we construct irreducible representations with cyclotomic determinant that do not arise from any elliptic curve over Q.


title: Graphical patterns in quadratic residues

abstract: Plots of quadratic residues display some features that are analyzed mathematically.


title: Optimal Tristance Anticodes in Certain Graphs

abstract: For $z_1,z_2,z_3 \in \Z^n$, the \emph{tristance} $d_3(z_1,z_2,z_3)$ is a generalization of the $L_1$-distance on $\Z^n$ to a quantity that reflects the relative dispersion of three points rather than two. A tristance anticode $\cA_d$ of diameter $d$ is a subset of $\Z^n$ with the property that $d_3(z_1,z_2,z_3) \leq d$ for all $z_1,z_2,z_3 \in \cA_d$. An anticode is optimal if it has the largest possible cardinality for its diameter $d$. We determine the cardinality and completely classify the optimal tristance anticodes in $\Z^2$ for all diameters $d \ge 1$. We then generalize this result to two related distance models: a different distance structure on $\Z^2$ where $d(z_1,z_2) = 1$ if $z_1,z_2$ are adjacent either horizontally, vertically, or diagonally, and the distance structure obtained when $\Z^2$ is replaced by the hexagonal lattice $A_2$. We also investigate optimal tristance anticodes in $\Z^3$ and optimal quadristance anticodes in $\Z^2$, and provide bounds on their cardinality. We conclude with a brief discussion of the applications of our results to multi-dimensional interleaving schemes and to connectivity loci in the game of Go.


title: Proper affine actions and geodesic flows of hyperbolic surfaces

abstract: We give necessary and sufficient conditions for an affine deformation of a Schottky subgroup of O(2,1) to act properly on affine space. There exists a real-valued biaffine map between the cohomology of the Schottky group and the space of geodesic currents on the corresponding hyperbolic surface S. For a fixed cohomology class, this map is uniformly positive or uniformly negative on the space of geodesic currents if and only if the corresponding affine deformation is proper. As a corollary, the deformation space of proper affine deformations is an open convex cone.


title: A bijection between type D_n^{(1)} crystals and rigged configurations

abstract: Hatayama et al. conjectured fermionic formulas associated with tensor products of U'_q(g)-crystals B^{r,s}. The crystals B^{r,s} correspond to the Kirillov--Reshetikhin modules which are certain finite dimensional U'_q(g)-modules. In this paper we present a combinatorial description of the affine crystals B^{r,1} of type D_n^{(1)}. A statistic preserving bijection between crystal paths for these crystals and rigged configurations is given, thereby proving the fermionic formula in this case. This bijection reflects two different methods to solve lattice models in statistical mechanics: the corner-transfer-matrix method and the Bethe Ansatz.


title: Counting congruence subroups

abstract: Let $\Gamma$ denote the modular group $SL(2,\Bbb Z)$ and $C_n(\Gamma)$ the number of congruence subgroups of $\Gamma$ of index at most $n$. We prove that $\lim\limits_{n\to \infty} \frac{\log C_n(\Gamma)}{(\log n)^2/\log\log n} = \frac{3-2\sqrt{2}}{4}.$ We also present a very general conjecture giving an asymptotic estimate for $C_n(\Gamma)$ for general arithmetic groups. The lower bound of the conjecture is proved modulo the generalized Riemann hypothesis for Artin-Hecke L-functions, and in many cases is also proved unconditionally.


title: Transformations of Border Strips and Schur Function Determinants

abstract: We introduce the notion of the cutting strip of an outside decomposition of a skew shape, and show that cutting strips are in one-to-one correspondence with outside decompositions for a given skew shape. Outside decompositions are introduced by Hamel and Goulden and are used to give an identity for the skew Schur function that unifies the determinantal expressions for the skew Schur functions including the Jacobi-Trudi determinant, its dual, the Giambelli determinant and the rim ribbon determinant due to Lascoux and Pragacz. Using cutting strips, one obtains a formula for the number of outside decompositions of a given skew shape. Moreover, one can define the basic transformations which we call the twist transformation among cutting strips, and derive a transformation theorem for the determinantal formula of Hamel and Goulden. The special case of the transformation theorem for the Giambelli identity and the rim ribbon identity was obtained by Lascoux and Pragacz. Our transformation theorem also applies to the supersymmetric skew Schur function.


title: Feynman diagrams for pedestrians and mathematicians

abstract: This is a simple mathematical introduction into Feynman diagram technique, which is a standard physical tool to write perturbative expansions of path integrals near a critical point of the action. I start from a rigorous treatment of a finite dimensional case (which actually belongs more to multivariable calculus than to physics), and then use a simple "dictionary" to translate these results to an infinite dimensional case. The standard methods such as gauge-fixing and Faddeev-Popov ghosts are also included. Resulting Feynman diagram series often may be used rigorously without any references to the initial physical theory (which one may "sweep under the carpet"). This idea is illustrated on an example of the Chern-Simons theory, which leads to universal finite type invariants of knots and 3-manifolds.


title: Dense Packings of Equal Disks in an Equilateral Triangle: From 22 to 34 and Beyond

abstract: Previously published packings of equal disks in an equilateral triangle have dealt with up to 21 disks. We use a new discrete-event simulation algorithm to produce packings for up to 34 disks. For each n in the range 22 =< n =< 34 we present what we believe to be the densest possible packing of n equal disks in an equilateral triangle. For these n we also list the second, often the third and sometimes the fourth best packings among those that we found. In each case, the structure of the packing implies that the minimum distance d(n) between disk centers is the root of polynomial P_n with integer coefficients. In most cases we do not explicitly compute P_n but in all cases we do compute and report d(n) to 15 significant decimal digits. Disk packings in equilateral triangles differ from those in squares or circles in that for triangles there are an infinite number of values of n for which the exact value of d(n) is known, namely, when n is of the form Delta(k) := k(k+1)/2. It has also been conjectured that d(n-1) = d(n) in this case. Based on our computations, we present conjectured optimal packings for seven other infinite classes of n, namely n = Delta(2k)+1, Delta(2k+1)+1, Delta(k+2)-2, Delta(2k+3)-3, Delta(3k+1)+2, 4*Delta(k) and 2*Delta(k+1)+2*Delta(k)-1. We also report the best packings we found for other values of n in these forms which are larger than 34, namely, n=37, 40, 42, 43, 46, 49, 56, 57, 60, 63, 67, 71, 79, 84, 92, 93, 106, 112, 121, and 254, and also for n=58, 95, 108, 175, 255, 256, 258, and 260. We say that an infinite class of packings of n disks, n=n(1), n(2),...n(k),..., is tight, if 1/d(n(k)+1) - 1/d(n(k)) is bounded away from zero as k goes to infinity. We conjecture that some of our infinite classes are tight, others are not tight, and that there are infinitely many tight classes.


title: On unitary representations of groups of isometries

abstract: Is the topological group of all motions (including translations) of an infinite-dimensional Hilbert space $H$ isomorphic to a subgroup of the unitary group $U(H)$? This question was asked by Su Gao. We answer the question in the affirmative.


title: On $p$-separability of subgroups of free metabelian groups

abstract: We prove that every free metabelian non--cyclic group has a finitely generated isolated subgroup which is not separable in the class of nilpotent groups. As a corollary we prove that for every prime number $p$ an arbitrary free metabelian non--cyclic group has a finitely generated $p'$--isolated subgroup which is not $p$--separable.


title: The Dynamical Fine Structure of Iterated Cosine Maps and a Dimension Paradox

abstract: We discuss in detail the dynamics of maps $z\mapsto ae^z+be^{-z}$ for which both critical orbits are strictly preperiodic. The points which converge to $\infty$ under iteration contain a set $R$ consisting of uncountably many curves called ``rays'', each connecting $\infty$ to a well-defined ``landing point'' in $\C$, so that every point in $\C$ is either on a unique ray or the landing point of finitely many rays. The key features of this paper are the following two: (1) this is the first example of a transcendental dynamical system where the Julia set is all of $\C$ and the dynamics is described in detail using symbolic dynamics; and (2) we get the strongest possible version (in the plane) of the ``dimension paradox'': the set $R$ of rays has Hausdorff dimension 1, and each point in $\C\sm R$ is connected to $\infty$ by one or more disjoint rays in $R$; as a complement of a 1-dimensional set, $\C\sm R$ has of course Hausdorff dimension 2 and full Lebesgue measure.


title: Hyperbolic Components in Exponential Parameter Space

abstract: We discuss the space of complex exponential maps $\Ek\colon z\mapsto e^{z}+\kappa$. We prove that every hyperbolic component $W$ has connected boundary, and there is a conformal isomorphism $\Phi_W\colon W\to\half^-$ which extends to a homeomorphism of pairs $\Phi_W\colon(\ovl W,W)\to(\ovl\half^-,\half^-)$. This solves a conjecture of Baker and Rippon, and of Eremenko and Lyubich, in the affirmative. We also prove a second conjecture of Eremenko and Lyubich.