title: A priori bounds for some infinitely renormalizable quadratics: II. Decorations

abstract: A decoration of the Mandelbrot set $M$ is a part of $M$ cut off by two external rays landing at some tip of a satellite copy of $M$ attached to the main cardioid. In this paper we consider infinitely renormalizable quadratic polynomials satisfying the decoration condition, which means that the combinatorics of the renormalization operators involved is selected from a finite family of decorations. For this class of maps we prove {\it a priori} bounds. They imply local connectivity of the corresponding Julia sets and the Mandelbrot set at the corresponding parameter values.


title: On the division of space by topological hyperplanes

abstract: A topological hyperplane is a subspace of R^n (or a homeomorph of it) that is topologically equivalent to an ordinary straight hyperplane. An arrangement of topological hyperplanes in R^n is a finite set H such that k topological hyperplanes in H, if their intersection is nonempty, meet in a subspace that is a topological hyperplane in the intersection of any k-1 of them; but two topological hyperplanes that do intersect need not cross each other. If every intersecting pair does cross, the arrangement is affine. The number of regions formed by an arrangement of topological hyperplanes has the same formula as for arrangements of affine hyperplanes. Hoping to explain this geometrically, we ask whether parts of the topological hyperplanes in any arrangement can be reassembled into an arrangement of affine topological hyperplanes with the same regions. That is always possible if the dimension is two but not in higher dimensions. We also ask whether all affine topological hyperplane arrangements correspond to oriented matroids; they need not, but we can characterize those that do if the dimension is two. In higher dimensions this problem is open. Another open question is to characterize the intersection semilattices of topological hyperplane arrangements; a third is to prove that the regions of an arrangement of topological hyperplanes are necessarily cells.


title: Totally frustrated states in the chromatic theory of gain graphs

abstract: We generalize proper coloring of gain graphs to totally frustrated states, where each vertex takes a value in a set of `qualities' or `spins' that is permuted by the gain group. (An example is the Potts model.) The number of totally frustrated states satisfies the usual deletion-contraction law but is matroidal only for standard coloring, where the group action is trivial or nearly regular. One can generalize chromatic polynomials by constructing spin sets with repeated transitive components.


title: A new distribution problem of balls into urns, and how to color a graph by different-sized sets

abstract: Set-coloring a graph means giving each vertex a subset of a fixed color set so that no two adjacent subsets have the same cardinality. When the graph is complete one gets a new distribution problem with an interesting generating function. We explore examples and generalizations.


title: Hypocoercivity

abstract: This memoir attempts at a systematic study of convergence to stationary state for certain classes of degenerate diffusive equations, by means of well-chosen Lyapunov functionals. Typical examples are the kinetic Fokker--Planck and Boltzmann equation. Many open problems and possible directions for future research are discussed.


title: Lattice point counts for the Shi arrangement and other affinographic hyperplane arrangements

abstract: Hyperplanes of the form x_j = x_i + c are called affinographic. For an affinographic hyperplane arrangement in R^n, such as the Shi arrangement, we study the function f(M) that counts integral points in [1,M]^n that do not lie in any hyperplane of the arrangement. We show that f(M) is a piecewise polynomial function of positive integers M, composed of terms that appear gradually as M increases. Our approach is to convert the problem to one of counting integral proper colorations of a rooted integral gain graph. An application is to interval coloring in which the interval of available colors for vertex v_i has the form [(h_i)+1,M]. A related problem takes colors modulo M; the number of proper modular colorations is a different piecewise polynomial that for large M becomes the characteristic polynomial of the arrangement (by which means Athanasiadis previously obtained that polynomial). We also study this function for all positive moduli.


title: The Expected Order of a Random Unitary Matrix

abstract: Let M=M(n,q) be the average of the orders of the elements in the finite unitary group U(n,q). The asymptotic estimate log(M)=nlog(q)-log(n) +o(log n) is proved.


title: Using Equivariant Obstruction Theory in Combinatorial Geometry

abstract: A significant group of problems coming from the realm of Combinatorial Geometry can only be approached through the use of Algebraic Topology. From the first such application to Kneser's problem in 1978 by Lov% \'{a}sz \cite{Lovasz} through the solution of the Lov\'{a}sz conjecture \cite% {Babson-Kozlov}, \cite{Carsten}, many methods from Algebraic Topology have been used. Specifically, it appears that the understanding of equivariant theories is of the most importance. The solution of many problems depends on the existence of an elegantly constructed equivariant map. For example, the following problems were approached by discussing the existence of appropriate equivariant maps.A variety of results from algebraic topology were applied in solving these problems. The methods used ranged from well known theorems like Borsuk Ulam and Dold theorem to the integer / ideal valued index theories. In this paper we are going to extract the essence of the equivariant obstruction theory in order to obtain an effective \emph{general position map%} scheme for analyzing the problem of existence of equivariant maps.


title: On the ideals of Secant Varieties to certain rational varieties

abstract: If $\X \subset \P^n$ is a reduced and irreducible projective variety, it is interesting to find the equations describing the (higher) secant varieties of $\X$. In this paper we find those equations in the following cases: $\X = \P^{n_1}\times...\times\P^{n_t}\times\P^n$ is the Segre embedding of the product and $n$ is "large" with respect to the $n_i$ (Theorem 2.4); $\X$ is a Segre-Veronese embedding of some products with 2 or three factors; $\X$ is a Del Pezzo surface.


title: High-codimensional knots spun about manifolds

abstract: Using spinning we analyze in a geometric way Haefliger's smoothly knotted (4k-1)-spheres in the 6k-sphere. Consider the 2-torus standardly embedded in the 3-sphere, which is further standardly embedded in the 6-sphere. At each point of the 2-torus we have the normal disk pair: a 4-dimensional disk and a 1-dimensional proper sub-disk. We consider an isotopy (deformation) of the normal 1-disk inside the normal 4-disk, by using a map from the 2-torus to the space of long knots in 4-space, first considered by Budney. We use this isotopy in a construction called spinning about a submanifold introduced by the first-named author. Our main observation is that the resultant spun knot provides a generator of the Haefliger knot group of knotted 3-spheres in the 6-sphere. Our argument uses an explicit construction of a Seifert surface for the spun knot and works also for higher-dimensional Haefliger knots.


title: Bayesian Nonparametric Estimation of a Unimodal Density via two $\mathbf{S}$-paths

abstract: A Bayesian nonparametric method for unimodal densities on the real line is provided by considering a class of species sampling mixture models containing random densities that are unimodal and not necessarily symmetric. This class of densities generalize the model considered by Brunner (1992, Statist. Probab. Lett.), in which the Dirichlet process is replaced by a more general class of species sampling models. A novel and explicit characterization of the posterior distribution via a finite mixture of two dependent $\mathbf{S}$-paths is derived. This results in a closed-form and tractable Bayes estimator for any unimodal density in terms of a finite sum over two $\mathbf{S}$-paths. To approximate this class of estimates, we propose a sequential importance sampling algorithm that exploits the idea of the accelerated path sampler, an efficient path-sampling Markov chain Monte Carlo method. Numerical simulations are given to demonstrate the practicality and the effectiveness of our methodology.


title: Willmore Surfaces of Constant Moebius Curvature

abstract: We study Willmore surfaces of constant Moebius curvature $K$ in $S^4$. It is proved that such a surface in $S^3$ must be part of a minimal surface in $R^3$ or the Clifford torus. Another result in this paper is that an isotropic surface (hence also Willmore) in $S^4$ of constant $K$ could only be part of a complex curve in $C^2\cong R^4$ or the Veronese 2-sphere in $S^4$. It is conjectured that they are the only examples possible. The main ingredients of the proofs are over-determined systems and isoparametric functions.


title: Gravity and the Noncommutative Residue for Manifolds with Boundary

abstract: We prove a Kastler-Kalau-Walze type theorem for the Dirac operator and the signature operator for $3,4$-dimensional manifolds with boundary. As a corollary, we give two kinds of operator theoretic explanations of the gravitational action in the case of 4-dimensional manifolds with flat boundary.


title: Adiabatic Limits, Vanishing Theorems and the Noncommutative Residue

abstract: In this paper, we compute the adiabatic limit of the scalar curvature and prove several vanishing theorems, we also derive a Kastler-Kalau-Walze type theorem for the noncommutative residue in the case of foliations.


title: Differential Forms and the Noncommutative Residue for Manifolds with Boundary in the Non-product Case

abstract: In this paper, for an even dimensional compact manifold with boundary which has the non-product metric near the boundary, we use the noncommutative residue to define a conformal invariant pair. For a 4-dimensional manifold, we compute this conformal invariant pair under some conditions and point out the way of computations in the general.


title: The Equivariant Noncommutative Atiyah-Patodi-Singer Index Theorem

abstract: In [Wu], the noncommutative Atiyah-Patodi-Singer index theorem was proved. In this paper, we extend this theorem to the equivariant case.


title: Differential Forms and the Wodzicki Residue for Manifolds with Boundary

abstract: In [3], Connes found a conformal invariant using Wodzicki's 1-density and computed it in the case of 4-dimensional manifold without boundary. In [14], Ugalde generalized the Connes' result to $n$-dimensional manifold without boundary. In this paper, we generalize the results of [3] and [14] to the case of manifolds with boundary.


title: Chern-Connes Character for the Invariant Dirac Operator in Odd Dimensions

abstract: In this paper we give a proof of the Lefschetz fixed point formula of Freed$^{\rm [1]}$ for an orientation-reversing involution on an odd dimensional spin manifold by using the direct geometric method introduced in [2] and then we generalize this formula under the noncommutative geometry framework.


title: The Ground Axiom

abstract: A new axiom is proposed, the Ground Axiom, asserting that the universe is not a nontrivial set-forcing extension of any inner model. The Ground Axiom is first-order expressible, and any model of ZFC has a class-forcing extension which satisfies it. The Ground Axiom is independent of many well-known set-theoretic assertions including the Generalized Continuum Hypothesis, the assertion V=HOD that every set is ordinal definable, and the existence of measurable and supercompact cardinals. The related Bedrock Axiom, asserting that the universe is a set-forcing extension of a model satisfying the Ground Axiom, is also first-order expressible, and its negation is consistent. As many of these results rely on forcing with proper classes, an appendix is provided giving an exposition of the underlying theory of proper class forcing.


title: Rigidity of p-adic cohomology classes of congruence subgroups of GL(n, Z)

abstract: We extend the work of Ash and Stevens [Ash-Stevens 97] on p-adic analytic families of p-ordinary arithmetic cohomology classes for GL(N,Q) by introducing and investigating the concept of p-adic rigidity of arithmetic Hecke eigenclasses. An arithmetic eigenclass is said to be "rigid" if (modulo twisting) it does not admit a nontrivial p-adic deformation containing a Zariski dense set of arithmetic specializations. This paper develops tools for explicit investigation into the structure of eigenvarieties for GL(N). We use these tools to prove that known examples of non-sefldual cohomological cuspforms for GL(3) are rigid. Moreover, we conjecture that for GL(3), rigidity is equivalent to non-selfduality.


title: Twisting commutative algebraic groups

abstract: If $V$ is a commutative algebraic group over a field $k$, $O$ is a commutative ring that acts on $V$, and $I$ is a finitely generated free $O$-module with a right action of the absolute Galois group of $k$, then there is a commutative algebraic group $I \otimes_O V$ over $k$, which is a twist of a power of $V$. These group varieties have applications to cryptography (in the cases of abelian varieties and algebraic tori over finite fields) and to the arithmetic of abelian varieties over number fields. For purposes of such applications we devote this article to making explicit this tensor product construction and its basic properties.


title: The RO(G)-graded coefficients of (Z/2)^n-equivariant K-theory

abstract: In this note, we calculate all untwisted and twisted (Z/2)^n-equivariant K-groups with compact supports of real finite-dimensional linear representations of (Z/2)^n. The question was motivated by the question of D-brane charges for orbifold type II string vacua.


title: The emergence of the deterministic Hodgkin--Huxley equations as a limit from the underlying stochastic ion-channel mechanism

abstract: In this paper we consider the classical differential equations of Hodgkin and Huxley and a natural refinement of them to include a layer of stochastic behavior, modeled by a large number of finite-state-space Markov processes coupled to a simple modification of the original Hodgkin--Huxley PDE. We first prove existence, uniqueness and some regularity for the stochastic process, and then show that in a suitable limit as the number of stochastic components of the stochastic model increases and their individual contributions decrease, the process that they determine converges to the trajectory predicted by the deterministic PDE, uniformly up to finite time horizons in probability. In a sense, this verifies the consistency of the deterministic and stochastic processes.


title: The Sum Theorem for Linear Maximal Monotone Operators

abstract: The goal of this article is to give a positive answer to Rockafellar's maximality of the sum conjecture in the linear multi-valued operator case.


title: Chirality Groups of Maps and Hypermaps

abstract: Although the phenomenon of chirality appears in many investigations of maps and hypermaps no detailed study of chirality seems to have been carried out. Chirality of maps and hypermaps is not merely a binary invariant but can be quantified by two new invariants -- the chirality group and the chirality index, the latter being the size of the chirality group. A detailed investigation of the chirality groups of maps and hypermaps will be the main objective of this paper. The most extreme type of chirality arises when the chirality group coincides with the monodromy group. Such hypermaps are called totally chiral. Examples of them are constructed by considering appropriate ``asymmetric'' pairs of generators for some non-abelian simple groups. We also show that every finite abelian group is the chirality group of some hypermap, whereas many non-abelian groups, including symmetric and dihedral groups, cannot arise as chirality groups.


title: Three proofs of the Goulden-Litsyn-Shevelev conjecture on a sequence arising in algebraic geometry

abstract: I. P. Goulden, S. Litsyn, and V. Shevelev [On a sequence arising in algebraic geometry, J. Integer Sequences 8 (2005), 05.4.7] conjectured that certain Laurent polynomials associated with the solution of a functional equation have only odd negative powers. We prove their conjecture and generalize it.


title: A simply connected surface of general type with p_g=0 and K^2=2

abstract: In this paper we construct a simply connected, minimal, complex surface of general type with p_g=0 and K^2=2 using a rational blow-down surgery and Q-Gorenstein smoothing theory.


title: Scattering Rule in Soliton Cellular Automaton associated with Crystal Base of $U_q(D_4^{(3)})$

abstract: In terms of the crystal base of a quantum affine algebra $U_q(\mathfrak{g})$, we study a soliton cellular automaton (SCA) associated with the exceptional affine Lie algebra $\mathfrak{g}=D_4^{(3)}$. The solitons therein are labeled by the crystals of quantum affine algebra $U_q(A_1^{(1)})$. The scatteing rule is identified with the combinatorial $R$ matrix for $U_q(A_1^{(1)})$-crystals. Remarkably, the phase shifts in our SCA are given by {\em 3-times} of those in the well-known box-ball system.


title: Weak equivalence classes of complex vector bundles

abstract: For any complex vector bundle $E^k$ of rank $k$ over a manifold $M^m$ with Chern classes $c_i \in H^{2i}(M^m,\Z)$ and any non-negative integers $l_1, >..., l_k$ we show the existence of a positive number $N(k,m)$ and the existence of a complex vector bundle $\hat E^k$ over $M^m$ whose Chern classes are $ N(k,m) \cdot l_i\cdot c_i\in H^{2i} (M^m,\Z)$. We also discuss a version of this statement for holomorphic vector bundles over projective algebraic manifolds.


title: On the monodromy action on Milnor fibers of graphic arrangements

abstract: We analyze the monodromy action, over the rationals, on the first homology group of the Milnor fiber, for arbitrary subarrangements of Coxeter arrangements. We propose a combinatorial formula for the monodromy action, involving Aomoto complexes in positive characteristic. We verify the formula, in cases A, B and D.


title: Orthogonal maximal abelian *-subalgebras of the 6x6 matrices

abstract: We construct new pairs of orthogonal maximal abelian $*$-subalgebras of $M_6(\mathbb C)$, by classifying all self-adjoint complex Hadamard matrices of order 6. In particular, we exhibit a non-affine one-parameter family of non-equivalent Hadamard matrices of order 6. In the last part of the paper we present other previously unknown examples of complex Hadamard matrices of higher orders.


title: Some Geometric Evolution Equations Arising as Geodesic Equations on Groups of Diffeomorphisms Including the Hamiltonian Approach

abstract: This is the extended version of a lecture course given at the University of Vienna in the spring term 2005. The main aim of this course was to understand the papers \cite{10} and \cite{11} and to give a complete account of existence and uniqueness of the solutions of the members of higher order of the hierarchies of Burgers' equation and the Korteweg-de Vries equation, including their derivation and all the necessary background, both on the circle and on the real line in the setting of rapidly decreasing functions. These are all geodesic equations of infinite dimensional regular Lie groups, namely the diffeomorphism group of the line or the circle and the corresponding Virasoro group.


title: When Polarizations Generate

abstract: Let G be a reductive complex algebraic group and V a finite-dimensional G-module. From elements of the invariant algebra C[V]^G we obtain by polarization elements of C[kV]^G, where k\geq 1 and kV denotes the direct sum of k copies of V. For G simple our main result is the classification of the G-modules V and integers k\geq 2 such that polarizations generate C[kV]^G.


title: Domains in Infinite Jets: C-Spectral Sequence

abstract: Domains in infinite jets present the simplest class of diffieties with boundary. In this note some basic elements of geometry of these domains are introduced and an analogue of the C-spectral sequence in this context is studied. This, in particular, allows cohomological interpretation and analysis of initial data, boundary conditions, etc, for general partial differential equations and of transversality conditions in calculus of variations. This kind applications and extensions to arbitrary diffieties will be considered in subsequent publications.


title: Free Entropy Dimension in Amalgamated Free Products

abstract: We calculate the microstates free entropy dimension of natural generators in an amalgamated free product of certain von Neumann algebras, with amalgamation over a hyperfinite subalgebra. In particular, some `exotic' Popa algebra generators of free group factors are shown to have the expected free entropy dimension. We also show that microstates and non--microstates free entropy dimension agree for generating sets of many groups. In the appendix by Wolfgang Lueck, the first L^2-Betti number for certain amalgamated free products of groups is calculated.


title: Homology of equivariant vector fields

abstract: Let K be a compact Lie group. We compute the abelianization of the Lie algebra of equivariant vector fields on a smooth K-manifold X. We also compute the abelianization of the Lie algebra of strata preserving smooth vector fields on the quotient X/K.


title: Baxter Q-operator and Givental integral representation for C_n and D_n

abstract: Recently integral representations for the eigenfunctions of quadratic open Toda chain Hamiltonians for classical groups was proposed. This representation generalizes Givental representation for A_n. In this note we verify that the wave functions defined by these integral representations are common eigenfunctions for the complete set of open Toda chain Hamiltonians. We consider the zero eigenvalue wave functions for classical groups C_n and D_n thus completing the generalization of the Givental construction in these cases. The construction is based on a recursive procedure and uses the formalism of Baxter Q-operators. We also verify that the integral Q-operators for C_n, D_n and twisted affine algebra A_{2n-1}^{(2)} proposed previously intertwine complete sets of Hamiltonian operators. Finally we provide integral representations of the eigenfunctions of the quadratic $D_n$ Toda chain Hamiltonians for generic nonzero eigenvalues.


title: Small bound for birational automorphism groups of algebraic varieties (with an Appendix by Yujiro Kawamata)

abstract: We give an effective upper bound of |Bir(X)| for the birational automorphism group of an irregular n-fold (with n = 3) of general type in terms of the volume V = V(X) under an ''albanese smoothness and simplicity'' condition. To be precise, |Bir(X)| < d_3 V^{10}. An optimum linear bound |Bir(X)|-1 < (1/3)(42)^3 V is obtained for those 3-folds with non-maximal albanese dimension. For all n > 2, a bound |Bir(X)| < d_n V^{10} is obtained when alb_X is generically finite, alb(X) is smooth and Alb(X) is simple.


title: A Tanaka formula for the derivative of intersection local time in $\reals^1$

abstract: Let $B_t$ be a one dimensional Brownian motion, and let $\alpha'$ denote the derivative of the intersection local time of $B_t$ as defined in Jay Rosen's work (see references). The object of this paper is to prove the following formula $(1/2)\alpha'_t(x) + (1/2)sgn(x)t = \int_0^t L_s^{B_s - x}dB_s - \int_0^t sgn(B_t - B_u - x) du$ which was given as a formal identity by Rosen without proof.


title: Surfaces with boundary: their uniformizations, determinants of Laplacians, and isospectrality

abstract: Let \Sigma be a compact surface of type (g, n), n > 0, obtained by removing n disjoint disks from a closed surface of genus g. Assuming \chi(\Sigma)<0, we show that on \Sigma, the set of flat metrics which have the same Laplacian spectrum of Dirichlet boundary condition is compact in the C^\infty topology. This isospectral compactness extends the result of Osgood, Phillips, and Sarnak \cite{OPS3} for type (0,n) surfaces, whose examples include bounded plane domains. Our main ingredients are as following. We first show that the determinant of the Laplacian is a proper function on the moduli space of geodesically bordered hyperbolic metrics on \Sigma. Secondly, we show that the space of such metrics is homeomorphic (in the C^\infty-topology) to the space of flat metrics (on \Sigma) with constantly curved boundary. Because of this, we next reduce the complicated degenerations of flat metrics to the simpler and well-known degenerations of hyperbolic metrics, and we show that determinants of Laplacians of flat metrics on \Sigma, with fixed area and boundary of constant geodesic curvature, give a proper function on the corresponding moduli space. This is interesting because Khuri \cite{Kh} showed that if the boundary length (instead of the area) is fixed, the determinant is not a proper function when \Sigma is of type (g, n), g>0; while Osgood, Phillips, and Sarnak \cite{OPS3} showed the properness when g=0.


abstract: In this paper, we will study p-adic q-expansion of alternating sums of powers. From these properties, we derive some interesting properties related to p-adic q-expansion of alternating sums of powers


title: Pro-torus actions on Poincar\'e duality spaces

abstract: In this paper, it is shown that some of the results of torus actions on Poincar\'{e} duality spaces, Borel's dimension formula and topological splitting principle to local weights, hold if `torus' is replaced by `pro-torus'.


title: Local quasinilpotence and common invariant subspaces

abstract: In this article we obtain some positive results about the existence of a common nontrivial invariant subspace for $N$-tuples of not necessarily commuting operators on Banach spaces with a Schauder basis. The concept of joint quasinilpotence plays a basic role. Our results complement recent work by Kosiek \cite{6} and Ptak \cite{8}.


title: Inequalities involving upper bounds for certain matrix operators

abstract: In this paper, we considered the problem of finding the upper bound Hausdorff matrix operator from sequence spaces $l_p(v)$ (or $d(v,p)$) into $l_p(w)$ (or $d(w,p)$). Also we considered the upper bound problem for matrix operators from $d(v,1)$ into $d(w,1)$, and matrix operators from $e(w,\infty)$ into $e(v,\infty)$, and deduce upper bound for Cesaro, Copson and Hilbert matrix operators, which are recently considered in \cite{5} and \cite{6} and similar to that in \cite{10}.


title: D-forced spaces: a new approach to resolvability

abstract: We introduce a ZFC method that enables us to build spaces (in fact special dense subspaces of certain Cantor cubes) in which we have "full control" over all dense subsets. Using this method we are able to construct, in ZFC, for each uncountable regular cardinal $\lambda$ a 0-dimensional $T_2$, hence Tychonov, space which is $\mu$-resolvable for all $\mu < \lambda$ but not $\lambda$-resolvable. This yields the final (negative) solution of a celebrated problem of Ceder and Pearson raised in 1967: Are $\omega$-resolvable spaces maximally resolvable? This method enables us to solve several other open problems concerning resolvability as well.


title: Resolvability of spaces having small spread or extent

abstract: In a recent paper O. Pavlov proved the following two interesting resolvability results: (1) If a space $X$ satisfies $\Delta(X) > \ps(X)$ then $X$ is maximally resolvable. (2) If a $T_3$-space $X$ satisfies $\Delta(X) > \pe(X)$ then $X$ is $\omega$-resolvable. Here $\ps(X)$ ($\pe(X)$) denotes the smallest successor cardinal such that $X$ has no discrete (closed discrete) subset of that size and $\Delta(X)$ is the smallest cardinality of a non-empty open set in $X$. In this note we improve (1) by showing that $\Delta(X) >$ $\ps(X)$ can be relaxed to $\Delta(X) \ge$ $\ps(X)$. In particular, if $X$ is a space of countable spread with $\Delta(X) > \omega$ then $X$ is maximally resolvable. The question if an analogous improvement of (2) is valid remains open, but we present a proof of (2) that is simpler than Pavlov's.


title: Resolvability and monotone normality

abstract: A space $X$ is said to be $\kappa$-resolvable (resp. almost $\kappa$-resolvable) if it contains $\kappa$ dense sets that are pairwise disjoint (resp. almost disjoint over the ideal of nowhere dense subsets). $X$ is maximally resolvable iff it is $\Delta(X)$-resolvable, where $\Delta(X) = \min\{|G| : G \ne \emptyset {open}\}.$ We show that every crowded monotonically normal (in short: MN) space is $\omega$-resolvable and almost $\mu$-resolvable, where $\mu = \min\{2^{\omega}, \omega_2 \}$. On the other hand, if $\kappa$ is a measurable cardinal then there is a MN space $X$ with $\Delta(X) = \kappa$ such that no subspace of $X$ is $\omega_1$-resolvable. Any MN space of cardinality $< \aleph_\omega$ is maximally resolvable. But from a supercompact cardinal we obtain the consistency of the existence of a MN space $X$ with $|X| = \Delta(X) = \aleph_{\omega}$ such that no subspace of $X$ is $\omega_2$-resolvable.


title: Invariants of Newton non-degenerate surface singularities

abstract: We recover the Newton diagram (modulo a natural ambiguity) from the link for any surface hypersurface singularity with non-degenerate Newton principal part whose link is a rational homology sphere. As a corollary, we show that the link determines the embedded topological type, the Milnor fibration, and the multiplicity of such a germ. This proves (even a stronger version of) Zariski's Conjecture about the multiplicity for such a singularity.


title: Pade and Hermite-Pade approximation and orthogonality

abstract: We give a short introduction to Pade approximation (rational approximation to a function with close contact at one point) and to Hermite-Pade approximation (simultaneous rational approximation to several functions with close contact at one point) and show how orthogonality plays a crucial role. We give some insight into how logarithmic potential theory helps in describing the asymptotic behavior and the convergence properties of Pade and Hermite-Pade approximation.


title: The Lang-Trotter Conjecture on Average

abstract: For an elliptic curve $E$ over $\ratq$ and an integer $r$ let $\pi_E^r(x)$ be the number of primes $p\le x$ of good reduction such that the trace of the Frobenius morphism of $E/\fie_p$ equals $r$. We consider the quantity $\pi_E^r(x)$ on average over certain sets of elliptic curves. More in particular, we establish the following: If $A,B>x^{1/2+\epsilon}$ and $AB>x^{3/2+\epsilon}$, then the arithmetic mean of $\pi_E^r(x)$ over all elliptic curves $E$ : $y^2=x^3+ax+b$ with $a,b\in \intz$, $|a|\le A$ and $|b|\le B$ is $\sim C_r\sqrt{x}/\log x$, where $C_r$ is some constant depending on $r$. This improves a result of C. David and F. Pappalardi. Moreover, we establish an ``almost-all'' result on $\pi_E^r(x)$.


title: Diophantine Geometry over Groups VIII: Stability

abstract: This paper is the eighth in a sequence on the structure of sets of solutions to systems of equations in free and hyperbolic groups, projections of such sets (Diophantine sets), and the structure of definable sets over free and hyperbolic groups. In the eighth paper we use a modification of the sieve procedure, that was presented as part of the quantifier elimination process, to prove that free and torsion-free (Gromov) hyperbolic groups are stable.


title: Unimodular Fourier multipliers for modulation spaces

abstract: We investigate the boundedness of unimodular Fourier multipliers on modulation spaces. Surprisingly, the multipliers with general symbol $e^{i|\xi|^\alpha}$, where $\alpha\in[0, 2]$, are bounded on all modulation spaces, but, in general, fail to be bounded on the usual $L^p$-spaces. As a consequence, the phase-space concentration of the solutions to the free Schr\"odinger and wave equations are preserved. As a byproduct, we also obtain boundedness results on modulation spaces for singular multipliers $|\xi|^{-\delta} \sin (|\xi|^\alpha)$ for $ 0 \leq \delta \leq \alpha $.


title: Manifolds: Hausdorffness versus homogeneity

abstract: We analyze the relationship between Hausdorffness and homogeneity in the frame of manifolds, not confined to be Hausdorff. We exhibit examples of homogeneous non-Hausdorff manifolds and prove that a Lindel\"of homogeneous manifold is Hausdorff.


title: Properly Embedded Least Area Planes in Gromov Hyperbolic 3-Spaces

abstract: We show that for any simple closed curve in the sphere at infinity of a Gromov hyperbolic 3-space with cocompact metric, there exist a properly embedded least area plane in the space spanning the given curve. This gives a positive answer to a conjecture of Gabai. Soma has already proven this conjecture earlier. Our technique here is simpler and more general, and it can be applied to many similar settings.


title: The conjugate prior for discrete hierarchical log-linear models

abstract: In the Bayesian analysis of contingency table data, the selection of a prior distribution for either the log-linear parameters or the cell probabilities parameter is a major challenge. Though the conjugate prior on cell probabilities has been defined by Dawid and Lauritzen (1993) for decomposable graphical models, it has not been identified for the larger class of graphical models Markov with respect to an arbitrary undirected graph or for the even wider class of hierarchical log-linear models. In this paper, working with the log-linear parameters used by GLIM, we first define the conjugate prior for these parameters and then derive the induced prior for the cell probabilities: this is done for the general class of hierarchical log-linear models. We show that the conjugate prior has all the properties that one expects from a prior: notational simplicity, ability to reflect either no prior knowledge or a priori expert knowledge, a moderate number of hyperparameters and mathematical convenience. It also has the strong hyper Markov property which allows for local updates within prime components for graphical models.


title: Weighted Sobolev spaces and regularity for polyhedral domains

abstract: We prove a regularity result for the Poisson problem $-\Delta u = f$, $u |\_{\pa \PP} = g$ on a polyhedral domain $\PP \subset \RR^3$ using the \BK\ spaces $\Kond{m}{a}(\PP)$. These are weighted Sobolev spaces in which the weight is given by the distance to the set of edges \cite{Babu70, Kondratiev67}. In particular, we show that there is no loss of $\Kond{m}{a}$--regularity for solutions of strongly elliptic systems with smooth coefficients. We also establish a "trace theorem" for the restriction to the boundary of the functions in $\Kond{m}{a}(\PP)$.


title: Operator-algebraic superrigidity for $SL_n(\mathbb Z),n\geq 3$

abstract: For $n\geq 3,$ let $\Gamma=SL_n(\mathbb Z).$ We prove the following superridigity result for $\Gamma$ in the context of operator algebras. Let $L(\Gamma)$ be the von Neumann algebra generated by the left regular representation of $\Gamma.$ Let $M$ be a finite factor and let $U(M)$ be its unitary group. Let $\pi: \Gamma\to U(M)$ be a group homomorphism such that $\pi(\Gamma)''=M.$ Then \begin{itemize} \item[(i)] either $M$ is finite dimensional, or \item [(ii)] there exists a subgroup of finite index $\Lambda$ of $\Gamma$ such that $\pi|_\Lambda$ extends to a homomorphism $U(L(\Lambda))\to U(M).$ \end{itemize} The result is deduced from a complete description of the tracial states on the full $C^*$--algebra of $\Gamma.$ As another application, we show that the full $C^*$--algebra of $\Gamma$ has no faithful tracial state.


title: Energy Quantization for Yamabe's problem in Conformal Dimension

abstract: T. Riviere proved an energy quantization for Yang-Mills fields defined on n-dimensional Riemannian manifolds, when $n$ is larger than the critical dimension 4. More precisely, he proved that the defect measure of a weakly converging sequence of Yang-Mills fields is quantized, provided the $W^{2,1}$ norm of their curvature is uniformly bounded. In the present paper, we prove a similar quantization phenomenon for the Yamabe problem in a bounded domain $\Omega$ of $R^n$.


title: Fuzzy Interval Matrices, Neutrosophic Interval Matrices and their Applications

abstract: The new concept of fuzzy interval matrices has been introduced in this book for the first time. The authors have not only introduced the notion of fuzzy interval matrices, interval neutrosophic matrices and fuzzy neutrosophic interval matrices but have also demonstrated some of its applications when the data under study is an unsupervised one and when several experts analyze the problem. Further, the authors have introduced in this book multiexpert models using these three new types of interval matrices. The new multi expert models dealt in this book are FCIMs, FRIMs, FCInMs, FRInMs, IBAMs, IBBAMs, nIBAMs, FAIMs, FAnIMS, etc. Illustrative examples are given so that the reader can follow these concepts easily. This book has three chapters. The first chapter is introductory in nature and makes the book a self-contained one. Chapter two introduces the concept of fuzzy interval matrices. Also the notion of fuzzy interval matrices, neutrosophic interval matrices and fuzzy neutrosophic interval matrices, can find applications to Markov chains and Leontief economic models. Chapter three gives the application of fuzzy interval matrices and neutrosophic interval matrices to real-world problems by constructing the models already mentioned. Further these models are mainly useful when the data is an unsupervised one and when one needs a multi-expert model. The new concept of fuzzy interval matrices and neutrosophic interval matrices will find their applications in engineering, medical, industrial, social and psychological problems. We have given a long list of references to help the interested reader.


title: A note on plurisubharmonic defining functions in C^2

abstract: Let D be a smoothly bounded domain in C^2. Suppose that D admits a smooth defining function which is plurisubharmonic on the boundary of D. Then the Diederich-Fornaess exponent can be chosen arbitrarily close to 1, and the closure of D admits a Stein neighborhood basis.


title: Alternate Pacing of Border-Collision Period-Doubling Bifurcations

abstract: Unlike classical bifurcations, border-collision bifurcations occur when, for example, a fixed point of a continuous, piecewise $\mathcal{C}^{1}$ map crosses a boundary in state space. Although classical bifurcations have been much studied, border-collision bifurcations are not well understood. This paper considers a particular class of border-collision bifurcations, i.e., border-collision period-doubling bifurcations. We apply a subharmonic perturbation to the bifurcation parameter, which is also known as alternate pacing, and we investigate the response under such pacing near the original bifurcation point. The resulting behavior is characterized quantitatively by a gain, which is the ratio of the response amplitude to the applied perturbation amplitude. The gain in a border-collision period-doubling bifurcation has a qualitatively different dependence on parameters from that of a classical period-doubling bifurcation. Perhaps surprisingly, the differences are more readily apparent if the gain is plotted vs. the perturbation amplitude (with the bifurcation parameter fixed) than if plotted vs. the bifurcation parameter (with the perturbation amplitude fixed). When this observation is exploited, the gain under alternate pacing provides a useful experimental tool to identify a border-collision period-doubling bifurcation.


title: The Green Conjecture for Exceptional Curves on a K3 Surface

abstract: We use the Brill-Noether theory to prove the Green conjecture for exceptional curves on K3 surfaces. Such curves count among the few ones having Clifford dimension at least three. We obtain our result by adopting an infinitesimal approach due to Pareschi, and using a degenerate version of a theorem due to Hirschowitz-Ramanan-Voisin.


title: On the Local Smoothing for the Schroedinger Equation

abstract: We prove a family of identities that involve the solutions to the free Schreodinger equation. As a consequence of these identities we shall deduce a lower bound for the local smoothing estimate and a uniqueness criterion.


title: On the Local Smoothing for a class of conformally invariant Schroedinger equations

abstract: We present some a - priori bounds from above and from below for solutions to a class of conformally invariant Schroedinger equations. As a by - product we deduce some new uniqueness results.


title: Affine insertion and Pieri rules for the affine Grassmannian

abstract: We study combinatorial aspects of the Schubert calculus of the affine Grassmannian Gr associated with SL(n,C). Our main results are: 1) Pieri rules for the Schubert bases of H^*(Gr) and H_*(Gr), which expresses the product of a special Schubert class and an arbitrary Schubert class in terms of Schubert classes. 2) A new combinatorial definition for k-Schur functions, which represent the Schubert basis of H_*(Gr). 3) A combinatorial interpretation of the pairing between homology and cohomology of the affine Grassmannian. These results are obtained by interpreting the Schubert bases of Gr combinatorially as generating functions of objects we call strong and weak tableaux, which are respectively defined using the strong and weak orders on the affine symmetric group. We define a bijection called affine insertion, generalizing the Robinson-Schensted Knuth correspondence, which sends certain biwords to pairs of tableaux of the same shape, one strong and one weak. Affine insertion offers a duality between the weak and strong orders which does not seem to have been noticed previously. Our cohomology Pieri rule conjecturally extends to the affine flag manifold, and we give a series of related combinatorial conjectures.


title: Revisiting two classical results on graph spectra

abstract: Let mu(G) and mu_min(G) be the largest and smallest eigenvalues of the adjacency matricx of a graph G. We refine quantitatively the following two results on graph spectra. (i) if H is a proper subgraph of a connected graph G, then mu(G)>mu(H). (ii) if G is a connected nonbipartite graph, then mu(G)>-mu_min(G).


title: Uniqueness of Solutions to Schrodinger Equations on Complex Semi-simple Lie Groups

abstract: We consider the time dependent Schrodinger equation on a complex semi-simple Lie group. We consider initial data a bi-invariant function. We prove that if the initial data decays fast enough, and the solution decays fast enough at one time slice, then the solution hs to vanish identically for all time. The hypothesis for decay we impose is shown to be optimal, uniqueness fails otherwise. We also consider the Heisenberg roup. There we show that the presence of closed loops that arise as the projection of geodesics to the contact plane at the origin precludes writing down a solution operator.


title: Real dynamics of a family of plane birational maps: trapping regions and entropy zero

abstract: Continuing work begun in a previous paper, we study the real dynamics of a family of plane birational maps. This time we consider a parameter range where the real and complex dynamics are different. We show in particular that for one parameter value, the real dynamics are transient even though the map is not integrable.


title: Lattices which can be represented as lattices of intervals

abstract: We investigate lattices that can be represented as sublattices of the lattice of all convex subsets of a linearly ordered set $(X, \leq)$ and as lattices of convex subsets of $(X, \leq)$. A representation theory for general lattices is presented and also some applications in general topology are given.


title: The value ring of geometric motivic integration and the Iwahori Hecke algebra of SL_2

abstract: In \cite{HK}, an integration theory for valued fields was developed with a Grothendieck group approach. It was shown that the semiring of semi-algebraic sets with measure preserving morphisms is isomorphic to a certain semiring formed out of twisted varieties over the residue field and rational polytopes over the value group. With a view to representation-theoretic applications, we require a simpler description of the possible values of the integration, and in particular natural homomorphisms into fields. In the present paper we obtain such results after tensoring with Q. Since this operation trivializes the full semiring, we restrict to bounded sets. We show that the resulting Q-algebra is generated by its one-dimensional part. In the "geometric" case, i.e. working over an elementary submodel as a base, we determine the structure precisely. As a corollary we obtain useful canonical homomorphisms in the general case. In the appendix we define the Iwahori Hecke algebra of $SL_2$ over an algebraically closed valued field using motivic integration (to replace the Haar measure) and study its structure.


title: AdS manifolds with particles and earthquakes on singular surfaces

abstract: We prove two related results. The first is an ``Earthquake Theorem'' for closed hyperbolic surfaces with cone singularities where the total angle is less than $\pi$: any two such metrics in are connected by a unique left earthquake. The second result is that the space of ``globally hyperbolic'' AdS manifolds with ``particles'' -- cone singularities (of given angle) along time-like lines -- is parametrized by the product of two copies of the Teichm\"uller space with some marked points (corresponding to the cone singularities). The two statements are proved together.


title: The small-time behaviour of diffusion and time-changed diffusion processes on the line

abstract: This paper has been withdrawn


title: The irreducibility of certain pure-cycle Hurwitz spaces

abstract: We study "pure-cycle" Hurwitz spaces, parametrizing covers of the projective line having only one ramified point over each branch point. We start with the case of genus-0 covers, using a combination of limit linear series theory and group theory to show that these spaces are always irreducible. In the case of four branch points, we also compute the associated Hurwitz numbers. Finally, we give a conditional result in the higher-genus case, requiring at least 3g simply branched points. These results have equivalent formulations in group theory, and in this setting complement results of Conway-Fried-Parker-Volklein.


title: Dirac's theorem on simplicial matroids

abstract: We introduce the notion of k-hyperclique complexes, i.e., the largest simplicial complexes on the set [n] with a fixed k-skeleton. These simplicial complexes are a higher-dimensional analogue of clique (or flag) complexes (case k=2) and they are a rich new class of simplicial complexes. We show that Dirac's theorem on chordal graphs has a higher-dimensional analogue in which graphs and clique complexes get replaced, respectively, by simplicial matroids and k-hyperclique complexes. We prove also a higher-dimensional analogue of Stanley's reformulation of Dirac's theorem on chordal graphs.


title: Equidistribution and integral points for Drinfeld modules

abstract: We prove that the local height of a point on a Drinfeld module can be computed by averaging the logarithm of the distance to that point over the torsion points of the module. This gives rise to a Drinfeld module analog of a weak version of Siegel's integral points theorem over number fields and to an analog of a theorem of Schinzel's regarding the order of a point modulo certain primes.


title: Signed degree sets in signed graphs

abstract: The set D of distinct signed degrees of the vertices in a signed graph G is called its signed degree set. In this paper, we prove that every non-empty set of positive (negative) integers is the signed degree set of some connected signed graph and determine the smallest possible order for such a signed graph. We also prove that every non-empty set of integers is the signed degree set of some connected signed graph.


title: Signed degree sets in signed bipartite graphs

abstract: A signed bipartite graph G(U, V) is a bipartite graph in which each edge is assigned a positive or a negative sign. The signed degree of a vertex x in G(U, V) is the number of positive edges incident with x less the number of negative edges incident with x. The set S of distinct signed degrees of the vertices of G(U, V) is called its signed degree set. In this paper, we prove that every set of integers is the signed degree set of some connected signed bipartite graph. \medskip \medskip


title: Nomadic Decompositions of Bidirected Complete Graphs

abstract: We use $K^*_n$ to denote the bidirected complete graph on $n$ vertices. A nomadic Hamiltonian decomposition of $K^*_n$ is a Hamiltonian decomposition, with the additional property that ``nomads'' walk along the Hamiltonian cycles (moving one vertex per time step) without colliding. A nomadic near-Hamiltonian decomposition is defined similarly, except that the cycles in the decomposition have length $n-1$, rather than length $n$. J.A. Bondy asked whether these decompositions of $K^*_n$ exist for all $n$. We show that $K^*_n$ admits a nomadic near-Hamiltonian decomposition when $n\not\equiv 2\bmod 4$.


title: New Proofs of Davies-Simon's Theorems about Ultracontractivity and Logarithmic Sobolev Inequalities related to Nash Type Inequalities

abstract: We present new proofs of two theorems of E.B. Davies and B. Simon about ultracontractivity property for of semigroups of operators and logarithmic Sobolev inequalities with parameter (LSIWP for short) satisfied by the generator of the semigroup. In our proof, we use neither the $L^p$ version of the $LSIWP$ nor Stein's interpolation. Our tool is Nash type inequality. We also present new results. In particular, we show that Nash type inequality and LSIWP are equivalent.


title: Coassociative magmatic bialgebras and the Fine numbers

abstract: We prove a structure theorem for the connected coassociative magmatic bialgebras. The space of primitive elements is an algebra over an operad called the primitive operad. We prove that the primitive operad is magmatic generated by n-2 operations of arity n. The dimension of the space of all the n-ary operations of this primitive operad turns out to be the Fine number F_{n-1}. In short, the triple of operads (As, Mag, MagFine) is good.


title: A Liouville-type theorem for the p-Laplacian with potential term

abstract: In this paper we prove a sufficient condition, in terms of the behavior of a ground state of a singular p-Laplacian problem with a potential term, such that a nonzero subsolution of another such problem is also a ground state. Unlike in the linear case (p=2), this condition involves comparison of both the functions and of their gradients.


title: Square Eulerian Quadruples

abstract: We consider the problem of finding 4 rational squares, such that the product of any two plus the sum of the same two always gives a square. We give some historical background and exhibit one such quadruple.


title: Mark sequences in digraphs

abstract: A k-digraph is an orientation of a multi-graph that is without loops and contains at most k edges between any pair of distinct vertices. We obtain necessary and sufficient conditions for a sequence of non-negative integers in non-decreasing order to be a sequence of numbers, called marks (k-scores), attached to vertices of a k-digraph. We characterize irreducible mark sequences in k-digraphs and uniquely realizable mark sequences in 2-digraphs.


title: Approximation by the Dickman distribution and quasi-logarithmic combinatorial structures

abstract: This paper has been withdrawn by the author; a revised version is part of the author's phd-thesis "Quasi-logarithmic structures" (Zurich, 2007).


title: A Singular Value Inequality for Heinz Means

abstract: We prove a matrix inequality for matrix monotone functions, and apply it to prove a singular value inequality for Heinz means recently conjectured by X. Zhan.


title: New proof of a Theorem on k-hypertournament losing scores

abstract: In this paper, we give a new and short proof of a Theorem on k-hypertournament losing scores due to Zhou et al.[7].


title: Polyboxes, cube tilings and rigidity

abstract: A non-empty subset A of X = X_1 x...x X_d is a (proper) box if A = A_1 x...x A_d and A_i is a (proper) subset of X_i for each i. Suppose that for each pair of boxes A, B and each i, one can only know which of the three states takes place: A_i = B_i, A_i = X_i\setminus B_i, A_i is different from each of the sets B_i, X_i\setminus B_i. Let F and G be two systems of disjoint boxes. Can one decide whether their unions are equal? In general, the answer is no, but as is shown in the paper, it is yes if both systems consist of pairwise dichotomous boxes. Several criteria that enable to compare such systems are collected. The paper includes also rigidity results, which say what assumptions have to be imposed on F to ensure that \bigcup F = \bigcup G implies F = G. As an application, the rigidity conjecture for 2-extremal cube tilings of Lagarias and Shor is verified.


title: Determining nonsmooth first order terms from partial boundary measurements

abstract: We extend results of Dos Santos Ferreira-Kenig-Sjoestrand-Uhlmann (math.AP/0601466) to less smooth coefficients, and we show that measurements on part of the boundary for the magnetic Schroedinger operator determine uniquely the magnetic field related to a Hoelder continuous potential. We give a similar result for determining a convection term. The proofs involve Carleman estimates, a smoothing procedure, and an extension of the Nakamura-Uhlmann pseudodifferential conjugation method to logarithmic Carleman weights.


title: Score lists in [h-k]-bipartite hypertournaments

abstract: Given non-negative integers m, n, h and k with $ m\geq h>1 $ and $ n\geq k>1, $an [h-k]-bipartite hypertournament on $ m+n$ vertices is a triple $(U,V,A) $, where U and V are two sets of vertices with $| U| =m$ and $ | V| =n,$ and $A$ is a set of $(h+k) -$ tuples of vertices, called arcs, with exactly $h$ vertices from $U$ and exactly $k$ vertices from $V$, such that any $h+k$ subsets $ U_{1}\cup V_{1}$ of $U\cup V, A$ contains exactly one of the $(h+k) ! (h+k) -$tuples whose entries belong to $U_{1}\cup V_{1}.$ We obtain necessary and sufficient conditions for a pair of non-decreasing sequences of non-negative integers to be the losing score lists or score lists of some$[h-k]-$bipartite hypertournament.\bigskip


title: Score sets in oriented bipartite graphs

abstract: The set A of distinct scores of the vertices of an oriented bipartite graph D(U, V) is called its score set. We consider the following question: given a finite, nonempty set A of positive integers, is there an oriented bipartite graph D(U, V) such that score set of D(U, V) is A? We conjecture that there is an affirmative answer, and verify this conjecture when $\mid A\mid $ = 1, 2, 3, or when A is a geometric or arithmetic progression.


title: Moving from Data-Constrained to Data-Enabled Research: Experiences and Challenges in Collecting, Validating and Analyzing Large-Scale e-Commerce Data

abstract: Widespread e-commerce activity on the Internet has led to new opportunities to collect vast amounts of micro-level market and nonmarket data. In this paper we share our experiences in collecting, validating, storing and analyzing large Internet-based data sets in the area of online auctions, music file sharing and online retailer pricing. We demonstrate how such data can advance knowledge by facilitating sharper and more extensive tests of existing theories and by offering observational underpinnings for the development of new theories. Just as experimental economics pushed the frontiers of economic thought by enabling the testing of numerous theories of economic behavior in the environment of a controlled laboratory, we believe that observing, often over extended periods of time, real-world agents participating in market and nonmarket activity on the Internet can lead us to develop and test a variety of new theories. Internet data gathering is not controlled experimentation. We cannot randomly assign participants to treatments or determine event orderings. Internet data gathering does offer potentially large data sets with repeated observation of individual choices and action. In addition, the automated data collection holds promise for greatly reduced cost per observation. Our methods rely on technological advances in automated data collection agents. Significant challenges remain in developing appropriate sampling techniques integrating data from heterogeneous sources in a variety of formats, constructing generalizable processes and understanding legal constraints. Despite these challenges, the early evidence from those who have harvested and analyzed large amounts of e-commerce data points toward a significant leap in our ability to understand the functioning of electronic commerce.


title: Partial Degree Formulae for Plane Offset Curves

abstract: In this paper we present several formulae for computing the partial degrees of the defining polynomial of the offset curve to an irreducible affine plane curve given implicitly, and we see how these formulae particularize to the case of rational curves. In addition, we present a formula for computing the degree w.r.t the distance variable.


title: Partial flag varieties and preprojective algebras

abstract: Let L be a preprojective algebra of Dynkin type, and let G be the corresponding complex semisimple simply connected algebraic group. We study rigid modules in subcategories sub(Q) for Q an injective L-module, and we introduce a mutation operation between complete rigid modules in sub(Q). This yields cluster algebra structures on the coordinate rings of the partial flag varieties attached to G.


title: A generic characterization of direct summands for orthogonal involutions

abstract: The `transcendental methods' in the algebraic theory of quadratic forms are based on two major results, proved in the 60's by Cassels and Pfister, and known as the representation and the subform theorems. A generalization of the representation theorem was proven by Jean-Pierre Tignol in 1996, in the setting of central simple algebras with involution. This paper studies the subform question for orthogonal involutions. A generic characterization of direct summands is given; an analogue of the subform theorem is proven for division algebras and algebras of index at most 2.


title: Homology of planar polygon spaces

abstract: In this paper we study topology of the variety of closed planar polygons with given side lengths. We describe the Betti numbers of the moduli spaces as functions of the length vector. We also find sharp upper bounds on the sum of Betti numbers of the moduli space depending only on the number of links n. Our method is based on an observation of a remarkable interaction between Morse functions and involutions under the condition that the fixed points of the involution coincide with the critical points of the Morse function.


title: Homological category weights and estimates for cat^1(X,\xi)

abstract: In this paper we study a new notion of category weight of homology classes developing further the ideas of E. Fadell and S. Husseini. In the case of closed smooth manifolds the homological category weight is equivalent to the cohomological category weight of E. Fadell and S. Husseini but these two notions are distinct already for Poincar\'e complexes. An important advantage of the homological category weight is its homotopy invariance. We use the notion of homological category weight to study various generalizations of the Lusternik - Schnirelmann category which appeared in the theory of closed one-forms and have applications in dynamics. Our primary goal is to compare two such invariants $\cat(X,\xi)$ and $\cat^1(X,\xi)$ which are defined similarly with reversion of the order of quantifiers. We compute these invariants explicitly for products of surfaces and show that they may differ by an arbitrarily large quantity. The proof of one of our main results, Theorem \ref{main2}, uses an algebraic characterization of homology classes $z\in H_i(\tilde X;\Z)$ (where $\tilde X\to X$ is a free abelian covering) which are movable to infinity of $\tilde X$ with respect to a prescribed cohomology class $\xi\in H^1(X;\R)$. This result is established in Part II which can be read independently of the rest of the paper.


title: On exceptional rigid local systems

abstract: We prove new instances of Simpson's rigidity conjecture which states that quasi-unipotent rigid local systems should be motivic. We construct new relative motives over the fourfold punctured Riemann sphere which give rise to $G_2$-rigid local systems which are not rigid in the group $\GL_7.$


title: Asymptotic density in quasi-logarithmic additive number systems


title: Sato--Tate, cyclicity, and divisibility statistics on average for elliptic curves of small height

abstract: We obtain asymptotic formulae for the number of primes $p\le x$ for which the reduction modulo $p$ of the elliptic curve $$ \E_{a,b} : Y^2 = X^3 + aX + b $$ satisfies certain ``natural'' properties, on average over integers $a$ and $b$ with $|a|\le A$ and $|b| \le B$, where $A$ and $B$ are small relative to $x$. Specifically, we investigate behavior with respect to the Sato--Tate conjecture, cyclicity, and divisibility of the number of points by a fixed integer $m$.


title: Damping estimates for oscillatory integral operators with finite type singularities

abstract: We derive damping estimates and asymptotics of $L^p$ operator norms for oscillatory integral operators with finite type singularities. The methods are based on incorporating finite type conditions into $L^2$ almost orthogonality technique of Cotlar-Stein.


title: Homological finiteness conditions for groups, monoids and algebras

abstract: Recently Alonso and Hermiller introduced a homological finiteness condition\break $bi{-}FP_n$ (here called {\it weak} $bi{-}FP_n$) for monoid rings, and Kobayashi and Otto introduced a different property, also called $bi{-}FP_n$ (we adhere to their terminology). From these and other papers we know that: $bi{-}FP_n \Rightarrow$ left and right $FP_n \Rightarrow$ weak $bi{-}FP_n$; the first implication is not reversible in general; the second implication is reversible for group rings. We show that the second implication is reversible in general, even for arbitrary associative algebras (Theorem 1'), and we show that the first implication {\it is} reversible for group rings (Theorem 2). We also show that the all four properties are equivalent for connected graded algebras (Theorem 4). A result on retractions (Theorem 3') is proved, and some questions are raised.


title: Intersections of Magnus subgroups and embedding theorems for cyclically presented groups

abstract: A Magnus subgroup of a one-relator group is the free subgroup freely generated by a proper subset of the generators. Two such subgroups can intersect in the obvious way or in a larger, exceptional way. The condition of non-exceptional intersection of Magnus subgroups of a one-relator group is applied to give criteria for the resulting cyclically presented groups to contain nonabelian free subgroups.


title: A Laundry Surface for Braids

abstract: Laundry surfaces for closed braid diagrams are presented. It is shown that braid diagrams are characterized by linking matrices obtained by lifting cycles from these surfaces. Oriented link types are then characterized by equivalence classes of linking matrices. Similar equivalence classes can be composed of Gordon and Litherland forms or Seifert matrices.


title: Covariant completely positive linear maps between locally C*-algebras

abstract: We prove a covariant version of the KSGNS (Kasparov, Stinespring, Gel'fand,Naimark,Segal) construction for completely positive linear maps between locally $C^{*}$-algebras. As an application of this construction, we show that a covariant completely positive linear map $\rho $ from a locally $C^{*}$-algebra $A$ to another locally $C^{*}$ -algebra $B$ with respect to a locally $C^{*}$-dynamical system $(G,A,\alpha)$ extends to a completely positive linear map on the crossed product $A\times_{\alpha ^{{}}}G$.


title: The Hilbert functions which force the Weak Lefschetz Property

abstract: The purpose of this note is to characterize the finite Hilbert functions which force all of their artinian algebras to enjoy the Weak Lefschetz Property (WLP). Curiously, they turn out to be exactly those (characterized by Wiebe in $[Wi]$) whose Gotzmann ideals have the WLP. This implies that, if a Gotzmann ideal has the WLP, then all algebras with the same Hilbert function (and hence lower Betti numbers) have the WLP as well. However, we will answer in the negative, even in the case of level algebras, the most natural question that one might ask after reading the previous sentence: If $A$ is an artinian algebra enjoying the WLP, do all artinian algebras with the same Hilbert function as $A$ and Betti numbers lower than those of $A$ have the WLP as well? Also, as a consequence of our result, we have another (simpler) proof of the fact that all codimension 2 algebras enjoy the WLP (this fact was first proven in $[HMNW]$, where it was shown that even the Strong Lefschetz Property holds).


title: Andre-Quillen homology of commutative algebras

abstract: These notes are an introduction to basic properties of Andre-Quillen homology for commutative algebras. They are an expanded version of my lectures at the summer school: Interactions between homotopy theory and algebra, University of Chicago, 26th July - 6th August, 2004. The aim is to give fairly complete proofs of characterizations of smooth homomorphisms and of locally complete intersection homomorphisms in terms of vanishing of Andre-Quillen homology. The choice of the material, and the point of view, are guided by these goals.


title: The Core of 0-Dimensional Monomial Ideals

abstract: The core of an ideal is the intersection of all its reductions. We describe the core of a zero-dimensional monomial ideal I as the largest monomial ideal contained in a general reduction of I. This provides a new interpretation of the core in the monomial case as well as an efficient algorithm for computing it. We relate the core to adjoints and first coefficient ideals, and in dimension two and three we give explicit formulas.


title: A geometric Birkhoffian formalism for nonlinear RLC networks

abstract: The aim of this paper is to give a formulation of the dynamics of nonlinear RLC circuits as a geometric Birkhoffian system and to discuss in this context the concepts of regularity, conservativeness, dissipativeness. An RLC circuit, with no assumptions placed on its topology, will be described by a family of Birkhoffian systems, parameterized by a finite number of real constants which correspond to initial values of certain state variables of the circuit. The configuration space and a special Pfaffian form, called Birkhoffian, are obtained from the constitutive relations of the resistors, inductors and capacitors involved and from Kirchhoff's laws. Under certain assumptions on the voltage-current characteristic for resistors, it is shown that a Birkhoffian system associated to an RLC circuit is dissipative. For RLC networks which contain a number of pure capacitor loops or pure resistor loops the Birkhoffian associated is never regular. A procedure to reduce the original configuration space to a lower dimensional one, thereby regularizing the Birkhoffian, it is also presented. In order to illustrate the results, specific examples are discussed in detail.


title: Birkhoffian formulation of the dynamics of LC circuits

abstract: We present a formulation of general nonlinear LC circuits within the framework of Birkhoffian dynamical systems on manifolds. We develop a systematic procedure which allows, under rather mild non-degeneracy conditions, to write the governing equations for the mathematical description of the dynamics of an LC circuit as a Birkhoffian differential system. In order to illustrate the advantages of this approach compared to known Lagrangian or Hamiltonian approaches we discuss a number of specific examples. In particular, the Birkhoffian approach includes networks which contain closed loops formed by capacitors, as well as inductor cutsets. We also extend our approach to the case of networks which contain independent voltage sources as well as independent current sources. Also, we derive a general balance law for an associated "energy function".


title: Bounds for Codes by Semidefinite Programming

abstract: Delsarte's method and its extensions allow to consider the upper bound problem for codes in 2-point-homogeneous spaces as a linear programming problem with perhaps infinitely many variables, which are the distance distribution. We show that using as variables power sums of distances this problem can be considered as a finite semidefinite programming problem. This method allows to improve some linear programming upper bounds. In particular we obtain new bounds of one-sided kissing numbers.


title: Universal Cone Manifolds and the Poincar\'e Conjecture I

abstract: We identify a universal group $U$ and show that $\Bbb H^3/G$ is $S^3$ when $G$ is a finite index subgroup of $U$ generated by elements of finite order.


title: Existence of Pseudo Almost Periodic Solutions to Some Classes of Partial Hyperbolic Evolution Equations

abstract: The paper examines the existence of pseudo almost periodic solutions to some classes of partial hyperbolic evolution equations. Namely, sufficient conditions for the existence and uniqueness of pseudo almost periodic solutions to those classes of hyperbolic evolution equations are given. Applications include the existence of pseudo almost periodic solutions to the transport and heat equations with delay.


title: Conformal geometry and fully nonlinear equations

abstract: This article is a survey of results involving conformal deformation of Riemannian metrics and fully nonlinear equations.


title: Regular normed bimodules

abstract: In this article, we will give a characterization of Banach bimodules over $C^*$-algebras of compact operators that arises from operator spaces as well as a characterization of (F)-Banach bundles amongst all (H)-Banach bundles over a hyper-Stonian space. These two characterizations are concerned with whether certain natural map from a Banach bimodule to its canonical bidual is isometric (we call such bimodule \emph{regular}).


title: On quaternionic functional analysis

abstract: In this article, we will show that the category of quaternion vector spaces, the category of (both one-sided and two sided) quaternion Hilbert spaces and the category of quaternion $B^*$-algebras are equivalent to the category of real vector spaces, the category of real Hilbert spaces and the category of real $C^*$-algebras respectively. We will also give a Riesz representation theorem for quaternion Hilbert spaces and will extend two results of Kulkarni (namely, we will give the full versions of the Gelfand-Naimark theorem and the Gelfand theorem for quaternion $B^*$-algebras). On our way to these results, we compare, clarify and unify the term "quaternion Hilbert spaces" in the literatures.


title: Blow-up in Nonlinear Heat Equations

abstract: We study the blow-up problem of one-dimensional nonlinear heat equations. Our result shows that for a certain class of initial conditions, the solutions blow up in finite time and we characterize the asymptotic dynamics of these solutions. The approach is analogous to one used in bifurcation theory and our techniques can be regarded as a time-dependent version of the Lyapunov-Schmidt decomposition.


title: Weighted Blowups and Mirror Symmetry for Toric Surfaces

abstract: This paper explores homological mirror symmetry for weighted blowups of toric varieties. It will be shown that both the A-model and B-model categories have natural semiorthogonal decompositions. An explicit equivalence of the right orthogonal categories will be shown for the case of toric surfaces.


title: Estimating heavy-tail exponents through max self-similarity

abstract: In this paper, a novel approach to the problem of estimating the heavy-tail exponent alpha>0 of a distribution is proposed. It is based on the fact that block-maxima of size m of the independent and identically distributed data scale at a rate of m^{1/alpha}. This scaling rate can be captured well by the max-spectrum plot of the data that leads to regression based estimators. Consistency and asymptotic normality of these estimators is established under mild conditions on the behavior of the tail of the distribution. The results are obtained by establishing bounds on the rate of convergence of moment-type functionals of heavy-tailed maxima. Such bounds often yield exact rates of convergence and are of independent interest. Practical issues on the automatic selection of tuning parameters for the estimators and corresponding confidence intervals are also addressed. Extensive numerical simulations show that the proposed method proves competitive for both small and large sample sizes and for a large range of tail exponents. The method is shown to be more robust than the classical Hill plot and is illustrated on two data sets of insurance claims and natural gas field sizes.


title: Homogeneous operators on Hilbert spaces of holomorphic functions -- I

abstract: In this paper we construct a large class of multiplication operators on reproducing kernel Hilbert spaces which are {\em homogeneous} with respect to the action of the M\"{o}bius group consisting of bi-holomorphic automorphisms of the unit disc $\mathbb D$. For every $m \in \N$ we have a family of operators depending on $m+1$ positive real parameters. The kernel function is calculated explicitly. It is proved that each of these operators is bounded, lies in the Cowen-Douglas class of $\mathbb D$ and is irreducible. These operators are shown to be mutually pairwise unitarily inequivalent.


title: A proof of simultaneous linearization with a polylog estimate

abstract: We give an alternative proof of simultaneous linearization recently shown by T.Ueda, which connects the Schr\"oder equation and the Abel equation analytically. Indeed, we generalize Ueda's original result so that we may apply it to the parabolic fixed points with multiple petals. As an application, we show a continuity result on linearizing coordinates in complex dynamics.


title: Essential state surfaces for knots and links

abstract: We study a canonical spanning surface obtained from a knot or link diagram depending on a given Kauffman state, and give a sufficient condition for the surface to be essential. By using the essential surface, we can see the triviality and splittability of a knot or link from its diagrams. This has been done on the extended knot or link class which includes all of semiadequate, homogeneous, and most of algebraic knots and links. In the process of the proof of main theorem, Gabai's Murasugi sum theorem is extended to the case of nonorientable spanning surfaces.


title: Exploration trees and conformal loop ensembles

abstract: We construct and study the conformal loop ensembles CLE(kappa), defined for all kappa between 8/3 and 8, using branching variants of SLE(kappa) called exploration trees. The conformal loop ensembles are random collections of countably many loops in a planar domain that are characterized by certain conformal invariance and Markov properties. We conjecture that they are the scaling limits of various random loop models from statistical physics, including the O(n) loop models.


title: A Special Issue on Statistical Challenges and Opportunities in Electronic Commerce Research

abstract: This special issue is a product of the First Interdisciplinary Symposium on Statistical Challenges and Opportunities in Electronic Commerce Research, which took place on May 22--23, 2005, at the Robert H. Smith School of Business, University of Maryland, College Park (\url{www.smith.umd.edu/dit/statschallenges/}). The symposium brought together, for the first time, researchers from statistics, information systems, and related fields, all of whom work or are interested in empirical research related to electronic commerce. The goal of the symposium was to cross the borders, discuss joint research opportunities, expose this field and its statistical challenges, and promote collaboration between the different fields.


title: Distributed consensus on enclosing shapes and minimum time rendezvous

abstract: In this paper we introduce the notion of optimization under control and communication constraint in a robotic network. Starting from a general setup, we focus our attention on the problem of achieving rendezvous in minimum time for a network of first order agents with bounded inputs and limited range communication. We propose two dynamic control and communication laws. These laws are based on consensus algorithms for distributed computation of the minimal enclosing ball and orthotope of a set of points. We prove that these control laws converge to the optimal solution of the centralized problem (i.e., when no communication constrains are enforced) as the bound on the control input goes to zero. Moreover, we give a bound for the time complexity of one of the two laws.


title: Evaluating Pricing Strategy Using e-Commerce Data: Evidence and Estimation Challenges

abstract: As Internet-based commerce becomes increasingly widespread, large data sets about the demand for and pricing of a wide variety of products become available. These present exciting new opportunities for empirical economic and business research, but also raise new statistical issues and challenges. In this article, we summarize research that aims to assess the optimality of price discrimination in the software industry using a large e-commerce panel data set gathered from Amazon.com. We describe the key parameters that relate to demand and cost that must be reliably estimated to accomplish this research successfully, and we outline our approach to estimating these parameters. This includes a method for ``reverse engineering'' actual demand levels from the sales ranks reported by Amazon, and approaches to estimating demand elasticity, variable costs and the optimality of pricing choices directly from publicly available e-commerce data. Our analysis raises many new challenges to the reliable statistical analysis of e-commerce data and we conclude with a brief summary of some salient ones.


title: Analysis of top-swap shuffling for genome rearrangements

abstract: We study Markov chains which model genome rearrangements. These models are useful for studying the equilibrium distribution of chromosomal lengths, and are used in methods for estimating genomic distances. The primary Markov chain studied in this paper is the top-swap Markov chain. The top-swap chain is a card-shuffling process with $n$ cards divided over $k$ decks, where the cards are ordered within each deck. A transition consists of choosing a random pair of cards, and if the cards lie in different decks, we cut each deck at the chosen card and exchange the tops of the two decks. We prove precise bounds on the relaxation time (inverse spectral gap) of the top-swap chain. In particular, we prove the relaxation time is $\Theta(n+k)$. This resolves an open question of Durrett.


title: The General PBW Property

abstract: For ungraded quotients of an arbitrary $\mathbb{Z}$-graded ring, we define the general PBW property, that covers the classical PBW property and the $N$-type PBW property studied via the $N$-Koszulity by several authors ([BG1], BG2], [FV]). In view of the noncommutative Gr\"obner basis theory, we conclude that every ungraded quotient of a path algebra (or a free algebra) has the general PBW property. We remark that an earlier result of Golod [Gol] concerning Gr\"obner bases can be used to give a homological characterization of the general PBW property in terms of Shafarevich complex. Examples of application are given.


title: Functional Data Analysis in Electronic Commerce Research

abstract: This paper describes opportunities and challenges of using functional data analysis (FDA) for the exploration and analysis of data originating from electronic commerce (eCommerce). We discuss the special data structures that arise in the online environment and why FDA is a natural approach for representing and analyzing such data. The paper reviews several FDA methods and motivates their usefulness in eCommerce research by providing a glimpse into new domain insights that they allow. We argue that the wedding of eCommerce with FDA leads to innovations both in statistical methodology, due to the challenges and complications that arise in eCommerce data, and in online research, by being able to ask (and subsequently answer) new research questions that classical statistical methods are not able to address, and also by expanding on research questions beyond the ones traditionally asked in the offline environment. We describe several applications originating from online transactions which are new to the statistics literature, and point out statistical challenges accompanied by some solutions. We also discuss some promising future directions for joint research efforts between researchers in eCommerce and statistics.


title: Verification and Strengthening of the Atiyah--Sutcliffe Conjectures for Several Types of Configurations

abstract: In 2001 Sir M. F. Atiyah formulated a conjecture C1 and later with P. Sutcliffe two stronger conjectures C2 and C3. These conjectures, inspired by physics (spin-statistics theorem of quantum mechanics), are geometrically defined for any configuration of points in the Euclidean three space. The conjecture C1 is proved for $n = 3, 4$ and for general $n$ only for some special configurations (M. F. Atiyah, M. Eastwood and P. Norbury, D.{\DJ}okovi\'{c}). Interestingly the conjecture C2 (and also stronger C3) is not yet proven even for arbitrary four points in a plane. So far we have verified the conjectures C2 and C3 for parallelograms, cyclic quadrilaterals and some infinite families of tetrahedra. We have also proposed a strengthening of conjecture C3 for configurations of four points (Four Points Conjectures). For almost collinear configurations (with all but one point on a line) we propose several new conjectures (some for symmetric functions) which imply C2 and C3. By using computations with multi-Schur functions we can do verifications up to $n=9$ of our conjectures. We can also verify stronger conjecture of {\DJ}okovi\' c which imply C2 for his nonplanar configurations with dihedral symmetry. Finally we mention that by minimizing a geometrically defined energy, figuring in these conjectures, one gets a connection to some complicated physical theories, such as Skyrmions and Fullerenes.


title: Counting Partitions on the Abacus

abstract: In 2003, Maroti showed that one could use the machinery of l-cores and l-quotients of partitions to establish lower bounds for p(n), the number of partitions of n. In this paper we explore these ideas in the case l=2, using them to give a largely combinatorial proof of an effective upper bound on p(n), and to prove asymptotic formulae for the number of self-conjugate partitions, and the number of partitions with distinct parts. In a further application we give a combinatorial proof of an identity originally due to Gauss.


title: Opportunities and Challenges Applying Functional Data Analysis to the Study of Open Source Software Evolution

abstract: This paper explores the application of functional data analysis (FDA) as a means to study the dynamics of software evolution in the open source context. Several challenges in analyzing the data from software projects are discussed, an approach to overcoming those challenges is described, and preliminary results from the analysis of a sample of open source software (OSS) projects are provided. The results demonstrate the utility of FDA for uncovering and categorizing multiple distinct patterns of evolution in the complexity of OSS projects. These results are promising in that they demonstrate some patterns in which the complexity of software decreased as the software grew in size, a particularly novel result. The paper reports preliminary explorations of factors that may be associated with decreasing complexity patterns in these projects. The paper concludes by describing several next steps for this research project as well as some questions for which more sophisticated analytical techniques may be needed.


title: The Relation Between the Associate Almost Complex Structure to $HM'$ and $(HM',S,T)$-Cartan Connections

abstract: In the present paper, the $(HM',S,T)$-Cartan connections on pseudo-Finsler manifolds, introduced by A. Bejancu and H.R. Farran, are obtained by the natural almost complex structure arising from the nonlinear connection $HM'$. We prove that the natural almost complex linear connection associated to a $(HM',S,T)$-Cartan connection is a metric linear connection with respect to the Sasaki metric $G$. Finally we give some conditions for $(M', J, G)$ to be a K\"ahler manifold.


title: Linear and Circular Permutations with Limited Number of Repetitions

abstract: The problem of linear and circular permutations of n identical objects in m boxes, where a limit l is imposed on the number of objects in a box, is considered. In the linear case, where the boxes are arranged as a row, two methods of solution are described. The first uses the partition diagram that is modified with prescribed number of zeros, and the second applies a direct combinatorial approach. Subject to constraints set on the relation between n and l, results of the combinatorial approach are used to solve the problem where there are more than one type of objects. These solutions are then extended for the case of boxes comprising subgroups that are characterized by different values of l. In the circular case, where the boxes are arranged in the form of a circle, no direct combinatorial solution in close form is available. Consequently, in the latter case, the solution relies on the use of the modified partition diagram. This solution, which involves the application of multinomial permutations on a circle, is also extended to the case of two kinds of objects.


title: Note on the number of proper colorings of a graph

abstract: We present a simpler proof of a bound on the number of proper colorings of a graph that was obtained recently by Liu and Murty using Tur'an sieve (in fact, we prove a stronger inequality). We also point out that these results are subsumed in a stronger result due to Lazebnik in 1990.


title: Varieties of Modules for Z/2Z x Z/2Z

abstract: Let $k$ be an algebraically closed field of characteristic 2. We prove that the restricted nilpotent commuting variety ${\mathcal C}$, that is the set of pairs of $(n\times n)$-matrices $(A,B)$ such that $A^2=B^2=[A,B]=0$, is equidimensional. ${\mathcal C}$ can be identified with the `variety of $n$-dimensional modules' for ${\mathbb Z}/2{\mathbb Z}\times{\mathbb Z}/2{\mathbb Z}$, or equivalently, for $k[X,Y]/(X^2,Y^2)$. On the other hand, we provide an example showing that the restricted nilpotent commuting variety is not equidimensional for fields of characteristic $>2$. We also prove that if $e^2=0$ then the set of elements of the centralizer of $e$ whose square is zero is equidimensional. Finally, we express each irreducible component of ${\mathcal C}$ as a direct sum of indecomposable components of varieties of ${\mathbb Z}/{2{\mathbb Z}}\times{\mathbb Z}/2{\mathbb Z}$-modules.


title: On the existence of a proper conformal maximal disk in L^3

abstract: In this paper we construct an example of a properly immersed maximal surface in the Lorentz-Minkowski space L^3 with the conformal type of a disk.


title: The Cuntz semigroup, the Elliott conjecture, and dimension functions on C*-algebras

abstract: We prove that the Cuntz semigroup is recovered functorially from the Elliott invariant for a large class of C*-algebras. In particular, our results apply to the largest class of simple C*-algebras for which K-theoretic classification can be hoped for. This work has three significant consequences. First, it provides new conceptual insight into Elliott's classification program, proving that the usual form of the Elliott conjecture is equivalent, among Z-stable algebras, to a conjecture which is in general substantially weaker and for which there are no known counterexamples. Second and third, it resolves, for the class of algebras above, two conjectures of Blackadar and Handelman concerning the basic structure of dimension functions on C*-algebras. We also prove in passing that the Cuntz-Pedersen semigroup is recovered functorially from the Elliott invariant for a large class of unital simple C*-algebras.


title: Open Boundaries for the Nonlinear Schrodinger Equation

abstract: We present a new algorithm, the Time Dependent Phase Space Filter (TDPSF) which is used to solve time dependent Nonlinear Schrodinger Equations (NLS). The algorithm consists of solving the NLS on a box with periodic boundary conditions (by any algorithm). Periodically in time we decompose the solution into a family of coherent states. Coherent states which are outgoing are deleted, while those which are not are kept, reducing the problem of reflected (wrapped) waves. Numerical results are given, and rigorous error estimates are described. The TDPSF is compatible with spectral methods for solving the interior problem. The TDPSF also fails gracefully, in the sense that the algorithm notifies the user when the result is incorrect. We are aware of no other method with this capability.


title: Faces of Generalized Permutohedra

abstract: The aim of the paper is to calculate face numbers of simple generalized permutohedra, and study their f-, h- and gamma-vectors. These polytopes include permutohedra, associahedra, graph-associahedra, simple graphic zonotopes, nestohedra, and other interesting polytopes. We give several explicit formulas for h-vectors and gamma-vectors involving descent statistics. This includes a combinatorial interpretation for gamma-vectors of a large class of generalized permutohedra which are flag simple polytopes, and confirms for them Gal's conjecture on nonnegativity of gamma-vectors. We calculate explicit generating functions and formulae for h-polynomials of various families of graph-associahedra, including those corresponding to all Dynkin diagrams of finite and affine types. We also discuss relations with Narayana numbers and with Simon Newcomb's problem. We give (and conjecture) upper and lower bounds for f-, h-, and gamma-vectors within several classes of generalized permutohedra. An appendix discusses the equivalence of various notions of deformations of simple polytopes.


title: Littlewood-Paley theorem for Schroedinger operators

abstract: Let $H$ be a Schr\"odinger operator on $\R^n$. Under a polynomial decay condition for the kernel of its spectral operator, we show that the Besov spaces and Triebel-Lizorkin spaces associated with $H$ are well defined. We further give a Littlewood-Paley characterization of $L_p$ spaces as well as Sobolev spaces in terms of dyadic functions of $H$. This generalizes and strengthens the previous result when the heat kernel of $H$ satisfies certain upper Gaussian bound.


title: Adaptive Weak Approximation of Diffusions with Jumps

abstract: This work develops Monte Carlo Euler adaptive time stepping methods for the weak approximation problem of jump diffusion driven stochastic differential equations. The main result is the derivation of a new expansion for the omputational error, with computable leading order term in a posteriori form, based on stochastic flows and discrete dual backward problems which extends the results in [STZ]. These expansions lead to efficient and accurate computation of error estimates. Adaptive algorithms for either stochastic time steps or quasi-deterministic time steps are described. Numerical examples show the performance of the proposed error approximation and of the described adaptive time-stepping methods.


title: Kakeya Sets in Cantor directions

abstract: We construct a union of N parallelograms of dimensions approximately 1/N x 1 in the plane, with the slope of their long sides in the standard Cantor set. The union has area 1/log N but the union of the doubles has area log log N/ log N. In particular, this implies unbounded of the associated maximal operator in L^p for any p different from infinity. The construction is by randomizing an earlier construction of the second author for the L^2 case. The proof that the construction satisfies the desired conditions is by elementary estimates in the theory of percolation on trees as developed by R. Lyons.


title: A Markov chain on permutations which projects to the PASEP

abstract: The partially asymmetric exclusion process (PASEP) is an important model from statistical mechanics which describes a system of interacting particles hopping left and right on a one-dimensional lattice of N sites. It is partially asymmetric in the sense that the probability of hopping left is q times the probability of hopping right. Additionally, particles may enter from the left with probability alpha and exit from the right with probability beta. It has been observed that the (unique) stationary distribution of the PASEP has remarkable connections to combinatorics -- see for example the papers of Derrida, Duchi and Schaeffer, and Corteel. Most recently we proved that in fact the (normalized) probability of being in a particular state of the PASEP can be viewed as a certain weight generating function for permutation tableaux of a fixed shape. (This result implies the previous combinatorial results.) However, our proof relied on the matrix ansatz of Derrida et al, and hence did not give an intuitive explanation of why one should expect the steady state distribution of the PASEP to involve such nice combinatorics. In this paper we define a Markov chain -- which we call the PT chain -- on the set of permutation tableaux which projects to the PASEP in a very strong sense. This gives a new proof of our previous result which bypasses the matrix ansatz altogether. Furthermore, via the bijection from permutation tableaux to permutations, the PT chain can also be viewed as a Markov chain on the symmetric group. Another nice feature of the PT chain is that it possesses a certain symmetry which extends the "particle-hole symmetry" of the PASEP. More specifically, this is a graph-automorphism on the state diagram of the PT chain which is an involution; this has a simple description in terms of permutations.


title: Orientation Waves in a Director Field With Rotational Inertia

abstract: We study the propagation of orientation waves in a director field with rotational inertia and potential energy given by the Oseen-Frank energy functional from the continuum theory of nematic liquid crystals. There are two types of waves, which we call splay and twist waves. Weakly nonlinear splay waves are described by the quadratically nonlinear Hunter-Saxton equation. Here, we show that weakly nonlinear twist waves are described by a new cubically nonlinear, completely integrable asymptotic equation. This equation provides a surprising representation of the Hunter-Saxton equation as an advection equation. There is an analogous representation of the Camassa-Holm equation. We use the asymptotic equation to analyze a one-dimensional initial value problem for the director-field equations with twist-wave initial data.


title: Recursion and the Axiom of Infinity

abstract: This paper examines the completion of an w-ordered sequence of recursive definitions which on the one hand defines an increasing sequence of nested set and on the other redefines successively a numeric variable as the cardinal of the successively defined nested sets. The consequence is a contradiction involving the consistency of w-order and then that of the Axiom of Infinity.


title: Soliton solutions for quasilinear Schr\"{o}dinger equations involving supercritical exponent in $R^N$

abstract: We study the existence of positive solutions to the quasilinear elliptic problem -\epsilon \Delta u+V(x)u-\epsilon k(\Del(|u|^{2}))u=g(u), \quad u>0, x \in R^N, where g has superlinear growth at infinity without any restriction from above on its growth. Mountain pass in a suitable Orlicz space is employed to establish this result. These equations contain strongly singular nonlinearities which include derivatives of the second order which make the situation more complicated. Such equations arise when one seeks for standing wave solutions for the corresponding quasilinear Schr\"{o}dinger equations. Schr\"{o}dinger equations of this type have been studied as models of several physical phenomena. The nonlinearity here corresponds to the superfluid film equation in plasma physics.


title: Echanges d'intervalles non topologiquement faiblement m\'{e}langeants

abstract: In this paper, we prove a criterion for existence of continuous non constant eigenfunctions for interval exchange transformations, that is for non topologically weak mixing. We first construct, for any m>3, uniquely ergodic interval exchange transformations of rank 2 with irrational eigenvalues associated to continuous eigenfunctions, so that are not topologically weak mixing, this answers to a question of Ferenczi and Zamboni. Then, we construct, for any even number m>3, interval exchange transformations of rank 2 with both irrational eigenvalues (associated to continuous eigenfunctions) and non trivial rational eigenvalues (associated to piecewise continuous eigenfunctions). Moreover these examples can be chosen to be either uniquely ergodic or non minimal.


title: Vertex Degree of Random Geometric Graph on Exponentially Distributed Points

abstract: Let $X_1,X_2,...$ be an infinite sequence of i.i.d. random vectors distributed exponentially with parameter $\lam .$ For each $y$ and $n\geq 1,$ form a graph $G_n(y)$ with vertex set $V_n = \{X_1,...,X_n\},$ two vertices are connected if and only if edge distance between them is greater then $y$, i.e, $\|X_i-X_j\| \leq y.$ Almost-sure asymptotic rates of convergence/divergence are obtained for the minimum and maximum vertex degree of the random geometric graph, as the number of vertices becomes large $n,$ and the edge distance varies with the number of vertices.