A remark on the structure of the Busemann representative of a polyconvex function

Abstract: Let W be a polyconvex function defined on the 2 x 2 real matrices. The Busemann representative f, say, of W is the largest possible convex representative of W. Writing L for the set of affine functions on R^{5} such that a(A, det A) is less than or equal to W(A) for all 2 x 2 real matrices A, f can then be expressed as f(X) = sup {a(X): a lies in L}. This short note proves the surprising result that f is in general strictly larger than the `natural' convex representative g(X) = sup {a(X): a lies in L and a(A, det A)=W(A) for some A}.


A lower bound for the error term in Weyl's law for certain Heisenberg manifolds

Abstract: This article provides an Omega-result for the remainder term in Weyl's law for the spectral counting function of certain (2l+1)-dimensional Heisenberg manifolds.


On one-homogeneous solutions to elliptic systems with spatial variable dependence in two dimensions

Abstract: We extend the result of D. Phillips (On one-homogeneous solutions to elliptic systems in two dimensions. C. R. Math. Acad. Sci. Paris 335 (2002), no. 1, 39-42) by showing that one-homogeneous solutions of certain elliptic systems in divergence form either do not exist or must be affine. The result is novel in two ways. Firstly, the system is allowed to depend (in a sufficiently smooth way) on the spatial variable x. Secondly, Phillips's original result is shown to apply to one-homogeneous solutions belonging to the Sobolev space H^{1}, from which his treatment of Lipschitz solutions follows as a special case. A singular one-homogeneous solution to an elliptic system violating the hypotheses of the main theorem is constructed using a variational method which has links to nonlinear elasticity.


Spin(7) instantons and the Hodge Conjecture for certain abelian four-folds: a modest proposal

Abstract: The Hodge Conjecture is equivalent to a statement about conditions under which a complex vector bundle on a smooth complex projective variety admits a holomorphic structure. I advertise a class of abelian four-folds due to Mumford where this approach could be tested. I construct explicit smooth vector bundles - which can in fact be constructed in terms of of smooth line bundles - whose Chern characters are given Hodge classes. An instanton connection on these vector bundles would endow them with a holomorphic structure and thus prove that these classes are algebraic. I use complex multiplication to exhibit Cayley cycles representing the given Hodge classes. I find alternate complex structures with respect to which the given bundles are holomorphic, and close with a suggestion (due to G. Tian) as to how this may possibly be put to use.


Dominance, Intimidation, and `Choking' on the PGA Tour

Abstract: Extending the work of Connolly and Rendleman (2008), we document the dominance of Tiger Woods during the 1998-2001 PGA Tour seasons. We show that by playing "average," Woods could have won some tournaments and placed no worse than fourth in the tournaments in which he participated in year 2000, his best on the PGA Tour. No other PGA Tour player in our sample could have come close to such a feat. We also are able to quantify the intimidation factor associated with playing with Woods. On average, players who were paired with Woods during the 1998-2001 period scored 0.462 strokes per round worse than normal. Although we find that Woods' presence in a tournament may have had a small, but statistically significant adverse impact on the entire field, this effect was swamped by the apparent intimidation factor associated with having to play with Tiger side-by-side. We also demonstrate that Phil Mickelson's performance in major golf championships over the 1998-2001 period was not nearly as bad as was frequently mentioned in the golf press. Although Mickelson won no majors during this period, he played sufficiently well to have won one or two majors under normal circumstances. Moreover, his overall performance in majors, relative to his estimated skill level, was comparable to that of Tiger Woods, who won five of 16 major golf championships during our four-year sample period. Thus, the general characterization of Woods as golf's dominant player over the 1998-2001 period was accurate, but the frequent characterization of Phil Mickelson choking in majors was not.


Semistable principal Higgs bundles

Abstract: We give a Miyaoka-type semistability criterion for principal Higgs G-bundles E on complex projective manifolds of any dimension, i.e., we prove that E is semistable and the second Chern class of its adjoint bundle vanishes if and only if certain line bundles, obtained from the characters of the parabolic subgroups of G, are numerically effective. We also give alternative characterizations in terms of a notion of numerical effectiveness of Higgs vector bundles we have recently introduced.


Inhomogeneous Diophantine approximation on curves and Hausdorff dimension

Abstract: The goal of this paper is to develop a coherent theory for inhomogeneous Diophantine approximation on curves in $R^n$ akin to the well established homogeneous theory. More specifically, the measure theoretic results obtained generalize the fundamental homogeneous theorems of R.C. Baker (1978), Dodson, Dickinson (2000) and Beresnevich, Bernik, Kleinbock, Margulis (2002). In the case of planar curves, the complete Hausdorff dimension theory is developed


A variational principle for topological pressure for certain non-compact sets

Abstract: Let $(X,d)$ be a compact metric space, $f:X \mapsto X$ be a continuous map with the specification property, and $\varphi: X \mapsto \IR$ be a continuous function. We prove a variational principle for topological pressure (in the sense of Pesin and Pitskel) for non-compact sets of the form \[ \{x \in X : \lim_{n \ra \infty} \frac{1}{n} \sum_{i = 0}^{n-1} \varphi (f^i (x)) = \alpha \}. \] Analogous results were previously known for topological entropy. As an application, we prove multifractal analysis results for the entropy spectrum of a suspension flow over a continuous map with specification and the dimension spectrum of certain non-uniformly expanding interval maps.


Bockstein theorem for nilpotent groups

Abstract: We extend the definition of Bockstein basis $\sigma(G)$ to nilpotent groups $G$. A metrizable space $X$ is called a {\it Bockstein space} if $\dim_G(X) = \sup\{\dim_H(X) | H\in \sigma(G)\}$ for all Abelian groups $G$. Bockstein First Theorem says that all compact spaces are Bockstein spaces. Here are the main results of the paper: Let $X$ be a Bockstein space. If $G$ is nilpotent, then $\dim_G(X) \leq 1$ if and only if $\sup\{\dim_H(X) | H\in\sigma(G)\}\leq 1$. $X$ is a Bockstein space if and only if $\dim_{\Z_{(l)}} (X) = \dim_{\hat{Z}_{(l)}}(X)$ for all subsets $l$ of prime numbers.


Remarks on Kahler Ricci Flow

Abstract: We study some estimates along the Kahler Ricci flow on Fano manifolds. Using these estimates, we show the convergence of Kahler Ricci flow directly if the $\alpha$-invariant of the canonical class is greater than $\frac{n}{n+1}$. Applying these convergence theorems, we can give a flow proof of Calabi conjecture on such Fano manifolds. In particular, the existence of Kahler Einstein metrics on a lot of Fano surfaces can be proved by flow method. Note that this geometric conclusion (based on the same assumption) was established earlier via elliptic method by G. Tian. However, a new proof based on Kahler Ricci flow should be still interesting in its own right.


On the Christoffel-Darboux kernel for random Hermitian matrices with external source

Abstract: Bleher and Kuijlaars, and Daems and Kuijlaars showed that the correlation functions of the eigenvalues of a random matrix from unitary ensemble with external source can be expressed in terms of the Christoffel-Darboux kernel for multiple orthogonal polynomials. We obtain a representation of this Christoffel-Darboux kernel in terms of the usual orthogonal polynomials.


Geometric idealizers

Abstract: Let X be a projective variety, $\sigma$ an automorphism of X, L a $\sigma$-ample invertible sheaf on X, and Z a closed subscheme of X. Inside the twisted homogeneous coordinate ring $B = B(X, L, \sigma)$, let I be the right ideal of sections vanishing at Z. We study the subring R = k + I of B. Under mild conditions on Z and $\sigma$, R is the idealizer of I in B: the maximal subring of B in which I is a two-sided ideal. We give geometric conditions on Z and $\sigma$ that determine the algebraic properties of R, and show that if Z and $\sigma$ are sufficiently general, in a sense we make precise, then R is left and right noetherian, has finite left and right cohomological dimension, is strongly right noetherian but not strongly left noetherian, and satisfies right $\chi_d$ (where d = \codim Z) but fails left $\chi_1$. We also give an example of a right noetherian ring with infinite right cohomological dimension, partially answering a question of Stafford and Van den Bergh. This generalizes results of Rogalski in the case that Z is a point in $\mathbb{P}^d$.


Symmetric homogeneous diophantine equations of odd degree

Abstract: We find a parametric solution of an arbitrary symmetric homogeneous diophantine equation of 5th degree in 6 variables using two primitive solutions. We then generalize this approach to symmetric forms of any odd degree by proving the following results. (1) Every symmetric form of odd degree $n\ge 5$ in $6 \cdot 2^{n-5}$ variables has a rational parametric solution depending on $2n-8$ parameters. (2) Let $F(x_1, ..., x_N)$ be a symmetric form of odd degree $n\ge 5$ in $N=6 \cdot 2^{n-4}$ variables, and let $q$ be any rational number. Then the equation $F(x_i)=q$ has a rational parametric solution depending on $2n-6$ parameters. The latter result can be viewed as a solution of a problem of Waring type for this class of forms.


Gromov-Witten/Donaldson-Thomas correspondence for toric 3-folds

Abstract: We prove the equivariant Gromov-Witten theory of a nonsingular toric 3-fold X with primary insertions is equivalent to the equivariant Donaldson-Thomas theory of X. As a corollary, the topological vertex calculations by Agangic, Klemm, Marino, and Vafa of the Gromov-Witten theory of local Calabi-Yau toric 3-folds are proven to be correct in the full 3-leg setting.


Sur la conjecture de Zagier pour n=4

Abstract: We express a general 4-hyperlogarithm as a linear combination of 4-hyperlogarithms in two variables. We reduce the Zagier's conjecture for $n=4$ to a combinatorial statement. We give a short survey of the strategy of Goncharov and Zagier for reducing the Zagier's conjecture for general $n$ to combinatorial relations between hyperlogarithms. Such a survey is missing in the literature.


Mean position of a particle submitted to a potential barrier

Abstract: A one-dimensional Klein-Gordon problem, which is a physical model for a quantum particle submitted to a potential barrier, is studied numerically : using a variational formulation and a Newmark numerical method, we compute the mean position and standard deviation of the particle as well as their time evolution.


Vertex operators and the geometry of moduli spaces of framed torsion-free sheaves

Abstract: We define complexes of vector bundles on products of moduli spaces of framed rank r torsion-free sheaves on the complex projective plane. The top non-vanishing Chern classes of the cohomology of these complexes yield actions of the r-colored Heisenberg and Clifford algebras on the equivariant cohomology of the moduli spaces. In this way we obtain a geometric realization of the boson-fermion correspondence and related vertex operators.


Inverse theorems in the theory of approximation of vectors in a Banach space with exponential type entire vectors

Abstract: Arbitrary operator A on a Banach space X which is the generator of C_0-group with certain growth condition at infinity is considered. The relationship between its exponential type entire vectors and its spectral subspaces is found. Inverse theorems on connection between the degree of smoothness of vector $x\in X$ with respect to operator A, the rate of convergence to zero of the best approximation of x by exponential type entire vectors for operator A, and the k-module of continuity are established. Also, a generalization of the Bernstein-type inequality is obtained. The results allow to obtain Bernstein-type inequalities in weighted L_p spaces.


A Lefschetz hyperplane theorem for Mori dream spaces

Abstract: Let X be a smooth Mori dream space of dimension at least 4. We show that, if X satisfies a suitable GIT condition which we call "small unstable locus", then every smooth ample divisor Y of X is also a Mori dream space. Moreover, the restriction map identifies the Neron-Severi spaces of X and Y, and under this identification every Mori chamber of Y is a union of some Mori chambers of X, and the nef cone of Y is the same as the nef cone of X. This Lefschetz-type theorem enables one to construct many examples of Mori dream spaces by taking "Mori dream hypersurfaces" of an ambient Mori dream space, provided that it satisfies the GIT condition. To facilitate this, we then show that the GIT condition is stable under taking products and taking the projective bundle of the direct sum of at least three line bundles, and in the case when X is toric, we show that the condition is equivalent to the fan of X being 2-neighborly.


Differential Calculus and Integration of Generalized Functions over Membranes

Abstract: In this paper we continue the development of the differential calculus started by Aragona-Ferandez-Juriaans. Guided by the topology introduced recently by those authors we introduce the notion of membranes and extend the definition of integrals given in [2] to integrals defined on membranes. We use this to prove a generalized version of teh Cauchy formula and to obtain the Goursat Theorem for generalized holomorphic functions. We also show that the generalized transport equation can be solved giving an explicit solution


Completion of the Proof of the Geometrization Conjecture

Abstract: This article is a sequel to the book `Ricci Flow and the Poincare Conjecture' by the same authors. Using the main results of that book we establish the Geometrization Conjecture for all compact, orientable three-manifolds following the approach indicated by Perelman in his preprints on the subject. This approach is to study the collapsed part of the manifold as time goes to infinity in a Ricci flow with surgery. The main technique for this study is the theory of Alexandrov spaces. This theory gives local models for the collapsed part of the manifold. These local models can be glued together to prove that the collapsed part of the manifold is a graph manifold with incompressible boundary. From this and previous results, geometrization follows easily.


On the regularity of maximal operators

Abstract: We study the regularity of the bilinear maximal operator when applied to Sobolev functions, proving that it maps $W^{1,p}(\mathbb{R}) \times W^{1,q}(\mathbb{R}) \to W^{1,r}(\mathbb{R})$ with $1 <p,q < \infty$ and $r\geq 1$, boundedly and continuously. The same result holds on $\mathbb{R}^n$ when $r>1$. We also investigate the almost everywhere and weak convergence under the action of the classical Hardy-Littlewood maximal operator, both in its global and local versions.


Improved Sequential Stopping Rule for Monte Carlo Simulation

Abstract: This paper presents an improved result on the negative-binomial Monte Carlo technique analyzed in a previous paper for the estimation of an unknown probability p. Specifically, the confidence level associated to a relative interval [p/\mu_2, p\mu_1], with \mu_1, \mu_2 > 1, is proved to exceed its asymptotic value for a broader range of intervals than that given in the referred paper, and for any value of p. This extends the applicability of the estimator, relaxing the conditions that guarantee a given confidence level.


Sharp approximations to the Bernoulli periodic functions by trigonometric polynomials

Abstract: We obtain optimal trigonometric polynomials of a given degree $N$ that majorize, minorize and approximate in $L^1(\mathbb{R}/\mathbb{Z})$ the Bernoulli periodic functions. These are the periodic analogues of two works of F. Littmann that generalize a paper of J. Vaaler. As applications we provide the corresponding Erd\"{o}s-Tur\'{a}n-type inequalities, approximations to other periodic functions and bounds for certain Hermitian forms.


Some extremal functions in Fourier analysis, II

Abstract: We obtain extremal majorants and minorants of exponential type for a class of even functions on $\R$ which includes $\log |x|$ and $|x|^\alpha$, where $-1 < \alpha < 1$. We also give periodic versions of these results in which the majorants and minorants are trigonometric polynomials of bounded degree. As applications we obtain optimal estimates for certain Hermitian forms, which include discrete analogues of the one dimensional Hardy-Littlewood-Sobolev inequalities. A further application provides an Erd\"{o}s-Tur\'{a}n-type inequality that estimates the sup norm of algebraic polynomials on the unit disc in terms of power sums in the roots of the polynomials.


Some extremal functions in Fourier analysis, III

Abstract: We obtain the best approximation in $L^1(\R)$, by entire functions of exponential type, for a class of even functions that includes $e^{-\lambda|x|}$, where $\lambda >0$, $\log |x|$ and $|x|^{\alpha}$, where $-1 < \alpha < 1$. We also give periodic versions of these results where the approximating functions are trigonometric polynomials of bounded degree.


A sharp inequality for the Strichartz norm

Abstract: Let $u:\R \times \R^n \to \C$ be the solution of the linear Schr\"odinger equation $iu_t + \Delta u =0$ with initial data $u(0,x) = f(x)$. In the first part of this paper we obtain a sharp inequality for the Strichartz norm $\|u(t,x)\|_{L^{2k}_tL^{2k}_x(\R \times\R^n)}$, where $k\in \Z$, $k \geq 2$ and $(n,k) \neq (1,2)$, that admits only Gaussian maximizers. As corollaries we obtain sharp forms of the classical Strichartz inequalities in low dimensions (works of Foschi and Hundertmark - Zharnitsky) and also sharp forms of some Sobolev-Strichartz inequalities. In the second part of the paper we express Foschi's sharp inequalities for the Schr\"odinger and wave equations in the broader setting of sharp restriction/extension estimates for the paraboloid and the cone.


Deformations of glued G_2-manifolds

Abstract: We study how a gluing construction, which produces compact manifolds with holonomy G_2 from matching pairs of asymptotically cylindrical G_2-manifolds, behaves under deformations. We show that the gluing construction defines a smooth map from a moduli space of gluing data to the moduli space of torsion-free G_2-structures on the glued manifold, and that this is a local diffeomorphism. We use this to partially compactify the moduli space of torsion-free G_2-structures, including it as the interior of a topological manifold with boundary. The boundary points are equivalence classes of matching pairs of torsion-free asymptotically cylindrical G_2-structures.


Foliations for Quasi-Fuchsian 3-Manifolds

Abstract: In this paper, we prove that if a quasi-Fuchsian 3-manifold contains a minimal surface whose principle curvature is less than 1, then it admits a foliation such that each leaf is a surface of constant mean curvature. The key method that we use here is volume preserving mean curvature flow.


Torsion points of abelian varieties with values in infinite extensions over a p-adic field

Abstract: Let $A$ be an abelian variety over a $p$-adic field $K$ and $L$ an algebraic infinite extension over $K$. We consider the finiteness of the torsion part of the group of rational points $A(L)$ under some assumptions. In 1975, Hideo Imai proved that such a group is finite if $A$ has good reduction and $L$ is the cyclotomic $\mathbb{Z}_p$-extension of $K$. In this talk, first we show a generalization of Imai's result in the case where $A$ has ordinary good reduction. Next we give some finiteness results when $A$ is an elliptic curve and $L$ is the field generated by the $p$-power torsion of an elliptic curve.


On a Cuntz-Krieger functor

Abstract: We construct a covariant functor from the topological torus bundles to the so-called Cuntz-Krieger algebras; the functor maps homeomorphic bundles into the stably isomorphic Cuntz-Krieger algebras. It is shown, that the K-theory of the Cuntz-Krieger algebra encodes torsion of the first homology group of the bundle. We illustrate the result by examples.


Space of K\"ahler metrics (IV)--On the lower bound of the K-energy

Abstract: We partially confirm an old conjecture of Donaldson that if there exists a cscK metrics in a given K\"ahler class, then there is no degenerated geodesic ray which is tamed by a bounded ambient geometry unless it parallels to a holomorphic line consists of cscK metrics only. We also prove that for simple test configuration where the central fibre has a cscK metric, the K energy functionals in the nearby fibre must also have a uniform lower bound in its underlying K\"ahler class.


Asymptotic Behavior of Multidimensional Scalar Relaxation Shocks

Abstract: We establish pointwise bounds for the Green function and consequent linearized stability for multidimensional planar relaxation shocks of general relaxation systems whose equilibrium model is scalar, under the necessary assumption of spectral stability. Moreover, we obtain nonlinear $L^{2}$ asymptotic behavior/sharp decay rate of perturbed weak shocks of general simultaneously symmetrizable relaxation systems, under small $L^{1}\cap H^{[d/2]+3}$ perturbations with first moment in the normal direction to the front.


On base station localization for state estimation over lossy networks

Abstract: We consider a state estimation problem where observations are made by multiple sensors. These observations are communicated over a lossy wireless network to a central base station that computes estimates via a Kalman filter. The goal is to determine the optimal location of the base station under a certain class of packet loss probability models. It is shown in the two sensor case that the base station is optimally located at one of the sensor locations. Empirical evidence suggests that the result holds in some generality.


On the rank of elliptic curves

Abstract: The paper proves that the Birch and Swinnerton-Dyer conjecture is false.


Property $(T)$ for noncommutative universal lattices

Abstract: We establish a new spectral criterion for Kazhdan's property $(T)$ which is applicable to a large class of discrete groups defined by generators and relations. As the main application, we prove property $(T)$ for the groups $EL_n(R)$, where $n\geq 3$ and $R$ is an arbitrary finitely generated associative ring. We also strengthen some of the results on property $(T)$ for Kac-Moody groups from a paper of Dymara and Januszkiewicz (Invent. Math 150 (2002)).


Group actions on median spaces

Abstract: We investigate the geometry of median metric spaces. The group-theoretic applications are towards Kazhdan's property (T) and Haagerup's property.


From Pet to Split

Abstract: Various forms of the polynomial ergodic theorem (PET) which attracted substantial attention in ergodic theory study the limits of expressions having the form $1/N\sum_{n=1}^NT^{q_1(n)}f_1... T^{q_\ell (n)}f_\ell$ where $T$ is a weakly mixing measure preserving transformation, $f_i$'s are bounded measurable functions and $q_i$'s are polynomials taking on integer values on the integers. Motivated partially by these results we obtain a central limit theorem for expressions of the form $1/\sqrt{N}\sum_{n=1}^N (X_1(q_1(n))X_2(q_2(n))... X_\ell(q_\ell(n))-a_1a_2... a_\ell)$ (sum-product limit theorem--SPLIT) where $X_i$'s are fast $\alpha$-mixing bounded stationary processes, $a_j=EX_j(0)$ and $q_i$'s are positive functions taking on integer values on integers with some growth conditions which are satisfied, for instance, when $q_i$'s are polynomials of growing degrees. This result can be applied to the case when $X_i(n)=T^nf_i$ where $T$ is a mixing subshift of finite type, a hyperbolic diffeomorphism or an expanding transformation taken with a Gibbs invariant measure, as well, as to the case when $X_i(n)=f_i(\xi_n)$ where $\xi_n$ is a Markov chain satisfying the Doeblin condition considered as a stationary process with respect to its invariant measure.


Use of abstract Hardy spaces, Real interpolation and Applications to bilinear operators

Abstract: This paper can be considered as the sequel of [6], where the authors have proposed an abstract construction of Hardy spaces H^1. They shew an interpolation result for these Hardy spaces with the Lebesgue spaces. Here we describe a more precise result using the real interpolation theory and we clarify the use of Hardy spaces. Then with the help of the bilinear interpolation theory, we then give applications to study bilinear operators on Lebesgue spaces. These ideas permit us to study singular operators with singularities similar to those of bilinear Calderon-Zygmund operators in a far more abstract framework as in the euclidean case.


The cellular structure of the classifying spaces of finite groups

Abstract: In this paper we complete the description of the $B\mathbb{Z} /p$-cellularization of the classifying spaces of all finite groups, for all primes $p$. The techniques are based in a careful analysis of the $p$-fusion structure of the groups involved -with special attention to their strongly closed subgroups- and Chach\'olski's description of the $A$-cellular approximation.


A Generalized Composition of Quadratic Forms based on Quadratic Pairs

Abstract: For quadratic spaces which represent 1 there is a characterization of hermitian compositions in the language of algebras-with-involutions using the even Clifford algebra. We extend this notion to define a generalized composition based on quadratic pairs and determine the degrees of minimal compositions for any given quadratic pair.


Hilbert transforms and the Cauchy integral in euclidean space

Abstract: We generalize the notion of harmonic conjugate functions and Hilbert transforms to higher dimensional euclidean spaces, in the setting of differential forms and the Hodge-Dirac system. These conjugate functions are in general far from being unique, but under suitable boundary conditions we prove existence and uniqueness of conjugates. The proof also yields invertibility results for a new class of generalized double layer potential operators on Lipschitz surfaces and boundedness of related Hilbert transforms.


Duality for a Cohen-Macaulay local ring

Abstract: Let $(R,\fm)$ be a Cohen-Macaulay local ring. If $R$ has a canonical module, then there are some interesting results about duality for this situation. In this paper, we show that one can indeed obtain similar these results in the case $R$ has not a canonical module. Also, we give some characterizations of complete big Cohen-Macaulay modules of finite injective dimension and by using it some characterizations of Gorenstein modules over the $\fm$-adic completion of $R$ are obtained.


Unknotting genus one knots

Abstract: For any knot with genus one and unknotting number one, other than the figure-eight knot, we prove that there is exactly one way to unknot it by means of a crossing change. In the case of the figure-eight knot, we prove that there are precisely two unknotting crossing changes. The proof uses sutured manifold theory and an analysis of the arc complex of the once-punctured torus.


The Continuum is Countable: Infinity is Unique

Abstract: Since the theory developed by Georg Cantor, mathematicians have taken a sharp interest in the sizes of infinite sets. We know that the set of integers is infinitely countable and that its cardinality is Aleph0. Cantor proved in 1891 with the diagonal argument that the set of real numbers is uncountable and that there cannot be any bijection between integers and real numbers. Cantor states in particular the Continuum Hypothesis. In this paper, I show that the cardinality of the set of real numbers is the same as the set of integers. I show also that there is only one dimension for infinite sets, Aleph.


Inverse moments of univariate discrete distributions via the Poisson expansion

Abstract: In this note we present a series expansion of inverse moments of a non-negative discrete random variate in terms of its factorial cumulants, based on the Poisson-Charlier expansion of a discrete distribution. We apply the general method to the positive binomial distribution and obtain a convergent series for its inverse moments with an error residual that is uniformly bounded on the entire interval 0<=p<=1.


Hamiltonian submanifolds of regular polytopes

Abstract: We investigate polyhedral $2k$-manifolds as subcomplexes of the boundary complex of a regular polytope. We call such a subcomplex {\it $k$-Hamiltonian} if it contains the full $k$-skeleton of the polytope. Since the case of the cube is well known and since the case of a simplex was also previously studied (these are so-called {\it super-neighborly triangulations}) we focus on the case of the cross polytope and the sporadic regular 4-polytopes. By our results the existence of 1-Hamiltonian surfaces is now decided for all regular polytopes. Furthermore we investigate 2-Hamiltonian 4-manifolds in the $d$-dimensional cross polytope. These are the "regular cases" satisfying equality in Sparla's inequality. In particular, we present a new example with 16 vertices which is highly symmetric with an automorphism group of order 128. Topologically it is homeomorphic to a connected sum of 7 copies of $S^2 \times S^2$. By this example all regular cases of $n$ vertices with $n < 20$ or, equivalently, all cases of regular $d$-polytopes with $d\leq 9$ are now decided.


On strong n-perfect rings

Abstract: In this paper we introduce the notion of "strong $n$-perfect rings" which is in some way a generalization of the notion of "$n$-perfect rings". We are mainly concerned with those class of rings in the context of pullbacks. Also we exhibit a class of $n$-perfect rings that are not strong $n$-perfect rings. Finally, we establish the transfer of this notion to the direct product notions.


Coincidences for multiple summing mappings

Abstract: In this note we prove new coincidence results for multiple summing mappings, related to the cotypes of the Banach spaces involved.


Some irreducible representations of the braid group B_n of dimension greater than n

Abstract: For any n>3, we give a family of finite dimensional irreducible representations of the braid group B_n. Moreover, we give a subfamily parametrized by 0<m<n of dimension the combinatoric number (n,m). The representation obtained in the case m=1 is equivalent to the Standard representation.


On the homogeneity of global minimizers for the Mumford-Shah functional when K is a smooth cone

Abstract: We show that if $(u,K)$ is a global minimizer for the Mumford-Shah functional in $R^N$, and if K is a smooth enough cone, then (modulo constants) u is a homogenous function of degree 1/2. We deduce some applications in $R^3$ as for instance that an angular sector cannot be the singular set of a global minimizer, that if $K$ is a half-plane then $u$ is the corresponding cracktip function of two variables, or that if K is a cone that meets $S^2$ with an union of $C^1$ curvilinear convex polygones, then it is a $P$, $Y$ or $T$.


A problem in one-dimensional diffusion-limited aggregation (DLA) and positive recurrence of Markov chains

Abstract: We consider the following problem in one-dimensional diffusion-limited aggregation (DLA). At time $t$, we have an "aggregate" consisting of $\Bbb{Z}\cap[0,R(t)]$ [with $R(t)$ a positive integer]. We also have $N(i,t)$ particles at $i$, $i>R(t)$. All these particles perform independent continuous-time symmetric simple random walks until the first time $t'>t$ at which some particle tries to jump from $R(t)+1$ to $R(t)$. The aggregate is then increased to the integers in $[0,R(t')]=[0,R(t)+1]$ [so that $R(t')=R(t)+1$] and all particles which were at $R(t)+1$ at time $t'{-}$ are removed from the system. The problem is to determine how fast $R(t)$ grows as a function of $t$ if we start at time 0 with $R(0)=0$ and the $N(i,0)$ i.i.d. Poisson variables with mean $\mu>0$. It is shown that if $\mu<1$, then $R(t)$ is of order $\sqrt{t}$, in a sense which is made precise. It is conjectured that $R(t)$ will grow linearly in $t$ if $\mu$ is large enough.


On Prime Ideals of Noetherian Skew Power Series Rings

Abstract: We study prime ideals in skew power series rings $T:=R[[y;\tau,\delta]]$, for suitably conditioned right noetherian complete semilocal rings $R$, automorphisms $\tau$ of $R$, and $\tau$-derivations $\delta$ of $R$. These rings were introduced by Venjakob, motivated by issues in noncommutative Iwasawa theory. Our main results concern "Cutting Down" and "Lying Over." In particular, under the additional assumption that $\delta = \tau - id$ (a basic feature of the Iwasawa-theoretic context), we prove: If $I$ is an ideal of $R$, then there exists a prime ideal $P$ of $S$ contracting to $I$ if and only if $I$ is a $\delta$-stable $\tau$-prime ideal of $R$. Our approach essentially depends on two key ingredients: First, the algebras considered are zariskian (in the sense of Li and Van Oystaeyen), and so the ideals are all topologically closed. Second, topological arguments can be used to apply previous results of Goodearl and the author on skew polynomial rings.


Non-linear regression models for Approximate Bayesian Computation

Abstract: Approximate Bayesian inference on the basis of summary statistics is well-suited to complex problems for which the likelihood is either mathematically or computationally intractable. However the methods that use rejection suffer from the curse of dimensionality when the number of summary statistics is increased. Here we propose a machine-learning approach to the estimation of the posterior density by introducing two innovations. The new method fits a nonlinear conditional heteroscedastic regression of the parameter on the summary statistics, and then adaptively improves estimation using importance sampling. The new algorithm is compared to the state-of-the-art approximate Bayesian methods, and achieves considerable reduction of the computational burden in two examples of inference in statistical genetics and in a queueing model.


Sampling from Dirichlet populations: estimating the number of species

Abstract: Consider the random Dirichlet partition of the interval into $n$ fragments with parameter $\theta >0$. We recall the unordered Ewens sampling formulae from finite Dirichlet partitions. As this is a key variable for estimation purposes, focus is on the number of distinct visited species in the sampling process. These are illustrated in specific cases. We use these preliminary statistical results on frequencies distribution to address the following sampling problem: what is the estimated number of species when sampling is from Dirichlet populations? The obtained results are in accordance with the ones found in sampling theory from random proportions with Poisson-Dirichlet distribution. To conclude with, we apply the different estimators suggested to two different sets of real data.


Eigenvalue distribution for non-self-adjoint operators on compact manifolds with small multiplicative random perturbations

Abstract: In this work we extend a previous work about the Weyl asymptotics of the distribution of eigenvalues of non-self-adjoint differential operators with small multiplicative random perturbations, by treating the case of operators on compact manifolds


Approximate zero-one laws and sharpness of the percolation transition in a class of models including two-dimensional Ising percolation

Abstract: One of the most well-known classical results for site percolation on the square lattice is the equation $p_c+p_c^*=1$. In words, this equation means that for all values $\neq p_c$ of the parameter $p$, the following holds: either a.s. there is an infinite open cluster or a.s. there is an infinite closed "star" cluster. This result is closely related to the percolation transition being sharp: below $p_c$, the size of the open cluster of a given vertex is not only (a.s.) finite, but has a distribution with an exponential tail. The analog of this result has been proven by Higuchi in 1993 for two-dimensional Ising percolation (at fixed inverse temperature $\beta<\beta_c$) with external field $h$, the parameter of the model. Using sharp-threshold results (approximate zero-one laws) and a modification of an RSW-like result by Bollob\'{a}s and Riordan, we show that these results hold for a large class of percolation models where the vertex values can be "nicely" represented (in a sense which will be defined precisely) by i.i.d. random variables. We point out that the ordinary percolation model obviously belongs to this class and we also show that the Ising model mentioned above belongs to it.


Coinductive properties of Lipschitz functions on streams

Abstract: A simple hierarchical structure is imposed on the set of Lipschitz functions on streams (i.e. sequences over a fixed alphabet set) under the standard metric. We prove that sets of non-expanding and contractive functions are closed under a certain coiterative construction. The closure property is used to construct new final stream coalgebras over finite alphabets. For an example, we show that the 2-adic extension of the Collatz function and certain variants yield final bitstream coalgebras.


Algebraic colimit calculations in homotopy theory using fibred and cofibred categories

Abstract: Higher Homotopy van Kampen Theorems allow the computation as colimits of certain homotopical invariants of glued spaces. One corollary is to describe homotopical excision in critical dimensions in terms of induced modules and crossed modules over groupoids. This paper shows how fibred and cofibred categories give an overall context for discussing and computing such constructions, allowing one result to cover many cases. A useful general result is that the inclusion of a fibre of a fibred category preserves connected colimits. The main homotopical application are to pairs of spaces with several base points, but we also describe briefly the situation for triads.


Tests for zero-inflation and overdispersion

Abstract: We propose a new methodology to detect zero-inflation and overdispersion based on the comparison of the expected sample extremes among convexly ordered distributions. The method is very flexible and includes tests for the proportion of structural zeros in zero-inflated models, tests to distinguish between two ordered parametric families and a new general test to detect overdispersion. The performance of the proposed tests is evaluated via some simulation studies. For the well-known fetal lamb data, we conclude that the zero-inflated Poisson model should be rejected against other more disperse models, but we cannot reject the negative binomial model.


Existence and dynamic properties of a parabolic nonlocal MEMS equation

Abstract: Let $\Omega\subset\mathbb{R}^n$ be a $C^2$ bounded domain and $\chi>0$ be a constant. We will prove the existence of constants $\lambda_N\ge\lambda_N^{\ast}\ge\lambda^{\ast}(1+\chi\int_{\Omega}\frac{dx}{1-w_{\ast}})^2$ for the nonlocal MEMS equation $-\Delta v=\lam/(1-v)^2(1+\chi\int_{\Omega}1/(1-v)dx)^2$ in $\Omega$, $v=0$ on $\1\Omega$, such that a solution exists for any $0\le\lambda<\lambda_N^{\ast}$ and no solution exists for any $\lambda>\lambda_N$ where $\lambda^{\ast}$ is the pull-in voltage and $w_{\ast}$ is the limit of the minimal solution of $-\Delta v=\lam/(1-v)^2$ in $\Omega$ with $v=0$ on $\1\Omega$ as $\lambda\nearrow \lambda^{\ast}$. We will prove the existence, uniqueness and asymptotic behaviour of the global solution of the corresponding parabolic nonlocal MEMS equation under various boundedness conditions on $\lambda$. We also obtain the quenching behaviour of the solution of the parabolic nonlocal MEMS equation when $\lambda$ is large.


Semiclassical states for weakly coupled nonlinear Schr\"odinger systems

Abstract: We consider systems of weakly coupled Schr\"odinger equations with nonconstant potentials and we investigate the existence of nontrivial nonnegative solutions which concentrate around local minima of the potentials. We obtain sufficient and necessary conditions for a sequence of least energy solutions to concentrate.


The number of occurrences of a fixed spread among n directions in vector spaces over finite fields

Abstract: We study a finite analog of a problem of Erdos, Hickerson and Pach on the maximum number of occurrences of a fixed angle among n directions in three-dimensional spaces.


An elementary illustrated introduction to simplicial sets

Abstract: This is an expository introduction to simplicial sets and simplicial homotopy theory with particular focus on relating the combinatorial aspects of the theory to their geometric/topological origins. It is intended to be accessible to students familiar with just the fundamentals of algebraic topology.


Bounded harmonic functions for the Heckman--Opdam Laplacian

Abstract: We describe the set of bounded harmonic functions for the Heckman--Opdam Laplacian, when the multiplicity function is larger than 1/2. We prove that this set is a vector space of dimension the cardinality of the Weyl group. We give some consequences in terms of the associated hypergeometric functions.


Expected Coalescence Time for a Nonuniform Allocation Process

Abstract: We give an asymptotic expression for the expected coalescence time for a non-uniform balls-into-boxes allocation model. Connections to coalescent processes in population biology and computer science are discussed.


Set Theoretic Defining Equations of the Variety of Principal Minors of Symmetric Matrices

Abstract: The variety of principal minors of $n\times n$ symmetric matrices, denoted $Z_{n}$, is invariant under the action of a group $G\subset \GL(2^{n})$ isomorphic to $\G$. We describe an irreducible $G$-module of degree $4$ polynomials constructed from Cayley's $2 \times 2 \times 2$ hyperdeterminant and show that it cuts out $Z_{n}$ set-theoretically. This solves the set-theoretic version of a conjecture of Holtz and Sturmfels. Standard techniques from representation theory and geometry are explored and developed for the proof of the conjecture and may be of use for studying similar $G$-varieties.


Nonlinear Digital Post-Processing to Mitigate Jitter in Sampling

Abstract: This paper describes several new algorithms for estimating the parameters of a periodic bandlimited signal from samples corrupted by jitter (timing noise) and additive noise. Both classical (non-random) and Bayesian formulations are considered: an Expectation-Maximization (EM) algorithm is developed to compute the maximum likelihood (ML) estimator for the classical estimation framework, and two Gibbs samplers are proposed to approximate the Bayes least squares (BLS) estimate for parameters independently distributed according to a uniform prior. Simulations are performed to demonstrate the significant performance improvement achievable using these algorithms as compared to linear estimators. The ML estimator is also compared to the Cramer-Rao lower bound to determine the range of jitter for which the estimator is approximately efficient. These simulations provide evidence that the nonlinear algorithms derived here can tolerate 1.4-2 times more jitter than linear estimators, reducing on-chip ADC power consumption by 50-75 percent.


A geometric space without conjugate points

Abstract: From a spray space $S$ on a manifold $M$ we construct a new geometric space $P$ of larger dimension with the following properties: 1. Geodesics in $P$ are in one-to-one correspondence with parallel Jacobi fields of $M$. 2. $P$ is complete if and only if $S$ is complete. 3. If two geodesics in $P$ meet at one point, the geodesics coincide on their common domain, and $P$ has no conjugate points. 4. There exists a submersion $\pi\colon P \to M$ that maps geodesics in $P$ into geodesics on $M$. Space $P$ is constructed by first taking two complete lifts of spray $S$. This will give a spray $S^{cc}$ on the second iterated tangent bundle $TTM$. Then space $P$ is obtained by restricting tangent vectors of geodesics for $S^{cc}$ onto a suitable $(2\dim M+2)$-dimensional submanifold of $TTTM$. Due to the last restriction, space $P$ is not a spray space. However, the construction shows that conjugate points can be removed if we add dimensions and relax assumptions on the geometric structure.


When do two planted graphs have the same cotransversal matroid?

Abstract: Cotransversal matroids are a family of matroids that arise from planted graphs. We prove that two planted graphs give the same cotransversal matroid if and only if they can be obtained from each other by a series of local moves.


Heavy-traffic limits for waiting times in many-server queues with abandonment

Abstract: We establish heavy-traffic stochastic-process limits for waiting times in many-server queues with customer abandonment. If the system is asymptotically critically loaded, as in the quality-and-efficiency-driven (QED) regime, then a bounding argument shows that the abandonment does not affect waiting-time processes. If instead the system is overloaded, as in the efficiency-driven (ED) regime, following Mandelbaum et al. [Proceedings of the Thirty-Seventh Annual Allerton Conference on Communication, Control and Computing (1999) 1095--1104], we treat customer abandonment by studying the limiting behavior of the queueing models with arrivals turned off at some time $t$. Then, the waiting time of an infinitely patient customer arriving at time $t$ is the additional time it takes for the queue to empty. To prove stochastic-process limits for virtual waiting times, we establish a two-parameter version of Puhalskii's invariance principle for first passage times. That, in turn, involves proving that two-parameter versions of the composition and inverse mappings appropriately preserve convergence.


Finite surgeries on three-tangle pretzel knots

Abstract: We classify Dehn surgeries on (p,q,r) pretzel knots that result in a manifold of finite fundamental group. The only hyperbolic pretzel knots that admit non-trivial finite surgeries are (-2,3,7) and (-2,3,9). Agol and Lackenby's 6-theorem reduces the argument to knots with small indices p,q,r. We treat these using the Culler-Shalen norm of the SL(2,C)-character variety. In particular, we introduce new techniques for demonstrating that boundary slopes are detected by the character variety.


Testing composite hypotheses via convex duality

Abstract: We study the problem of testing composite hypotheses versus composite alternatives, using a convex duality approach. In contrast to classical results obtained by Krafft and Witting (Z. Wahrsch. Verw. Gebiete 7 (1967) 289--302), where sufficient optimality conditions are derived via Lagrange duality, we obtain necessary and sufficient optimality conditions via Fenchel duality under compactness assumptions. This approach also differs from the methodology developed in Cvitani\'{c} and Karatzas (Bernoulli 7 (2001) 79--97).


Deformation quantization modules II. Hochschild class

Abstract: This paper is the continuation of arXiv:0802.1245. We construct the Hochschild class for coherent modules over a deformation quantization algebroid on a complex Poisson manifold. We also define the convolution of Hochschild homologies, and prove that the Hochschild class of the convolution of two coherent modules is the convolution of their Hochschild classes. We study with some details the case of symplectic deformations.


Topology of the octonionic flag manifold

Abstract: The octonionic flag manifold $Fl(\mathbb{O})$ is the space of all pairs in $\mathbb{O}P^2\times \mathbb{O}P^2$ (where $\mathbb{O}P^2$ denotes the octonionic projective plane) which satisfy a certain "incidence" relation. It comes equipped with the projections $\pi_1,\pi_2 : Fl(\mathbb{O})\to \mathbb{O}P^2$, which are $\mathbb{O}P^1$ bundles, as well as with an action of the group $Spin(8)$. The first two results of this paper give Borel type descriptions of the usual, respectively $Spin(8)$-equivariant cohomology of $Fl(\mathbb{O})$ in terms of $\pi_1$ and $\pi_2$ (actually the Euler classes of the tangent spaces to the fibers of $\pi_1$, respectively $\pi_2$, which are rank 8 vector bundles on $Fl(\mathbb{O})$). Then we obtain a Goresky-Kottwitz-MacPherson type description of the ring $H^*_{Spin(8)}(Fl(\mathbb{O}))$. Finally, we consider the $Spin(8)$-equivariant $K$-theory ring of $Fl(\mathbb{O})$ and obtain a Goresky-Kottwitz-MacPherson type description of this ring.


Non-Standard Analysis, Multiplication of Schwartz Distributions and Delta-Like Solution of Hopf's Equation

Abstract: We construct an algebra of generalized functions $^*\mathcal{E}(\mathbb{R}^d)$. We also construct an embedding of the space of Schwartz distributions $\mathcal{D}^\prime(\mathbb{R}^d)$ into $^*\mathcal{E}(\mathbb{R}^d)$ and thus present a solution of the problem of multiplication of Schwartz distributions which improves J.F. Colombeau's solution. As an application we prove the existence of a weak delta-like solution in ${^*\mathcal{E}(\mathbb{R}^d)}$ of the Hopf equation. This solution does not have a counterpart in the classical theory of partial differential equations. Our result improves a similar result by M. Radyna obtained in the framework of perturbation theory.


Critical points between varieties generated by subspace lattices of vector spaces

Abstract: We denote by Conc(A) the semilattice of compact congruences of an algebra A. Given a variety V of algebras, we denote by Conc(V) the class of all semilattices isomorphic to Conc(A) for some A in V. Given varieties V1 and V2 varieties of algebras, the critical point of V1 under V2, denote by crit(V1;V2) is the smalest cardinality of a semilattice in Conc(V1) but not in Conc(V2). Given a finitely generated variety V of modular lattices, we obtain an integer l, depending of V, such that crit(V;Var(Sub F^n)) is at least aleph_2 for any n > 1 and any field F. In a second part, we prove that crit(Var(Mn);Var(Sub F^3))=aleph_2, for any finite field F and any integer n such that 1+card F< n. Similarly crit(Var(Sub F^3);Var(Sub K^3))=aleph_2, for all finite fields F and K such that card F>card K.


The Pythagorean Tree: A New Species

Abstract: In 1967 the Dutch mathemetician F.J.M. Barning described an infinite, planar, ternary tree*. Seven years later, A. Hall independently discovered the same tree. Both used the method of uni-modular matrices to transform one triple to another. A number of rediscoveries have occurred more recently. In this article we announce the discovery of an entirely different ternary tree, and show how it relates to the one found by Barning and Hall.


Coalgebraic Approach to the Loday Infinity Category, Stem Differential for $2n$-ary Graded and Homotopy Algebras

Abstract: We define a graded twisted-coassociative coproduct on the tensor algebra $TW$ of any $\Z^n$-graded vector space $W$. If $W$ is the desuspension space $\da V$ of a graded vector space $V$, the coderivations (resp. quadratic ``degree 1'' codifferentials, arbitrary odd codifferentials) of this coalgebra are 1-to-1 with sequences $\zp_s$, $s\ge 1$, of $s$-linear maps on $V$ (resp. $\Z^n$-graded Loday structures on $V$, sequences that we call Loday infinity structures on $V$). We prove a minimal model theorem for Loday infinity algebras, investigate Loday infinity morphisms, and observe that the $\op{Lod}_{\infty}$ category contains the $\op{L}_{\infty}$ category as a subcategory. Moreover, the graded Lie bracket of coderivations gives rise to a graded Lie ``stem'' bracket on the cochain spaces of graded Loday, Loday infinity, and $2n$-ary graded Loday algebras (the latter extend the corresponding Lie algebras in the sense of Michor and Vinogradov). These algebraic structures have square zero with respect to the stem bracket, so that we obtain natural cohomological theories that have good properties with respect to formal deformations. The stem bracket restricts to the graded Nijenhuis-Richardson and--up to isomorphism--to the Grabowski-Marmo brackets (the last bracket extends the Schouten-Nijenhuis bracket to the space of graded antisymmetric first order polydifferential operators), and it encodes, beyond the already mentioned cohomologies, those of graded Lie, graded Poisson, graded Jacobi, Lie infinity, as well as that of $2n$-ary graded Lie algebras.


Modules on involutive quantales: canonical Hilbert structure, applications to sheaf theory

Abstract: We explain the precise relationship between two module-theoretic descriptions of sheaves on an involutive quantale, namely the description via so-called Hilbert structures on modules and that via so-called principally generated modules. For a principally generated module satisfying a suitable symmetry condition we observe the existence of a canonical Hilbert structure. We prove that, when working over a modular quantal frame, a module bears a Hilbert structure if and only if it is principally generated and symmetric, in which case its Hilbert structure is necessarily the canonical one. We indicate applications to sheaves on locales, on quantal frames and even on sites.


Symmetric ladders and G-biliaison

Abstract: We study the family of ideals generated by minors of mixed size contained in a ladder of a symmetric matrix from the point of view of liaison theory. We prove that they can be obtained from ideals of linear forms by ascending G-biliaison. In particular, they are glicci.


Iterating the hessian: a dynamical system on the moduli space of elliptic curves and dessins d'enfants

Abstract: Each elliptic curve can be embedded uniquely in the projective plane, up to projective equivalence. The hessian curve of the embedding is generically a new elliptic curve, whose isomorphism type depends only on that of the initial elliptic curve. One gets like this a rational map from the moduli space of elliptic curves to itself. We call it the hessian dynamical system. We compute it in terms of the $j$-invariant of elliptic curves. We deduce that, seen as a map from a projective line to itself, it has 3 critical values, which correspond to the point at infinity of the moduli space and to the two elliptic curves with special symmetries. Moreover, it sends the set of critical values into itself, which shows that all its iterates have the same set of critical values. One gets like this a sequence of dessins d'enfants. We describe an algorithm allowing to construct this sequence.


Q-modules are Q-suplattices

Abstract: It is well known that the internal suplattices in the topos of sheaves on a locale are precisely the modules on that locale. Using enriched category theory and a lemma on KZ doctrines we prove (the generalization of) this fact in the case of ordered sheaves on a small quantaloid. Comparing module-equivalence with sheaf-equivalence for quantaloids and using the notion of centre of a quantaloid, we refine a result of F. Borceux and E. Vitale.


MAPLE subroutines for computing Milnor and Tyurina numbers of hypersurface singularities with application to Arnol'd adjacencies

Abstract: In the present paper MAPLE subroutines computing Milnor and Tyurina numbers of an isolated algebraic hypersurface singularity are presented and described in detail. They represents examples, and perhaps the first ones, of a MAPLE implementation of local monomial ordering. As an application, the last section is devoted to writing down equations of algebraic stratifications of Kuranishi spaces of simple Arnol'd singularities: they geometrically represents, by means of inclusions of algebraic subsets, the partial ordering on classes of simple singularities induced by the adjacency relation.


On isometric dilations of product systems of C*-correspondences and applications to families of contractions associated to higher-rank graphs

Abstract: Let E be a product system of C*-correspondences over N^r. Some sufficient conditions for the existence of a not necessarily regular isometric dilation of a completely contractive representation of E are established and difference between regular and *-regular dilations discussed. It is in particular shown that a minimal isometric dilation is *-regular if and only if it is doubly commuting. The case of product systems associated with higher-rank graphs is analysed in detail.


Convergence to stable laws for a class of multidimensional stochastic recursions

Abstract: We consider a Markov chain $\{X_n\}_{n=0}^\8$ on $\R^d$ defined by the stochastic recursion $X_{n}=M_n X_{n-1}+Q_n$, where $(Q_n,M_n)$ are i.i.d. random variables taking values in the affine group $H=\R^d\rtimes {\rm GL}(\R^d)$. Assume that $M_n$ takes values in the similarity group of $\R^d$, and the Markov chain has a unique stationary measure $\nu$, which has unbounded support. We denote by $|M_n|$ the expansion coefficient of $M_n$ and we assume $\E |M|^\a=1$ for some positive $\a$. We show that the partial sums $S_n=\sum_{k=0}^n X_k$, properly normalized, converge to a normal law ($\a\ge 2$) or to an infinitely divisible law, which is stable in a natural sense ($\a<2$). These laws are fully nondegenerate, if $\nu$ is not supported on an affine hyperplane. Under a natural hypothesis, we prove also a local limit theorem for the sums $S_n$. If $\a\le 2$, proofs are based on the homogeneity at infinity of $\nu$ and on a detailed spectral analysis of a family of Fourier operators $P_v$ considered as perturbations of the transition operator $P$ of the chain $\{X_n \}$. The characteristic function of the limit law has a simple expression in terms of moments of $\nu$ ($\a > 2$) or of the tails of $\nu$ and of stationary measure for an associated Markov operator ($\a\le 2$). We extend the results to the situation where $M_n$ is a random generalized similarity.


Artin t-Motifs

Abstract: We show that analytically trivial t-motifs satisfy a Tannakian duality, without restrictions on the base field, save for that it be of generic characteristic. We show that the group of components of the t-motivic Galois group coincides with the absolute Galois group of the base field.


Topology of moduli spaces of tropical curves with marked points

Abstract: In this paper we study topology of moduli spaces of tropical curves of genus $g$ with $n$ marked points. We view the moduli spaces as being imbedded in a larger space, which we call the {\it moduli space of metric graphs with $n$ marked points.} We describe the shrinking bridges strong deformation retraction, which leads to a substantial simplification of all these moduli spaces. In the rest of the paper, that reduction is used to analyze the case of genus 1. The corresponding moduli space is presented as a quotient space of a torus with respect to the conjugation ${\mathbb Z}_2$-action; and furthermore, as a homotopy colimit over a simple diagram. The latter allows us to compute all Betti numbers of that moduli space with coefficients in ${\mathbb Z}_2$.


Transparent connections over negatively curved surfaces

Abstract: Let $(M,g)$ be a closed oriented negatively curved surface. A unitary connection on a Hermitian vector bundle over $M$ is said to be transparent if its parallel transport along the closed geodesics of $g$ is the identity. We study the space of such connections modulo gauge and we prove a classification result in terms of the solutions of certain PDE that arises naturally in the problem. We also show a local uniqueness result for the trivial connection and that there is a transparent SU(2)-connection associated to each meromorphic function on $M$.


Moduli spaces of metric graphs of genus 1 with marks on vertices

Abstract: In this paper we study homotopy type of certain moduli spaces of metric graphs. More precisely, we show that the spaces $MG_{1,n}^v$, which parametrize the isometry classes of metric graphs of genus 1 with $n$ marks on vertices are homotopy equivalent to the spaces $TM_{1,n}$, which are the moduli spaces of tropical curves of genus 1 with $n$ marked points. Our proof proceeds by providing a sequence of explicit homotopies, with key role played by the so-called scanning homotopy. We conjecture that our result generalizes to the case of arbitrary genus.


Operator theoretic methods for the eigenvalue counting function in spectral gaps

Abstract: Using the notion of spectral flow, we suggest a simple approach to various asymptotic problems involving eigenvalues in the gaps of the essential spectrum of self-adjoint operators. Our approach uses some elements of the spectral shift function theory. Using this approach, we provide generalisations and streamlined proofs of two results in this area already existing in the literature. We also give a new proof of the generalised Birman-Schwinger principle.


Moduli spaces of tropical curves of higher genus with marked points and homotopy colimits

Abstract: The main characters of this paper are the moduli spaces $TM_{g,n}$ of rational tropical curves of genus $g$ with $n$ marked points, with $g\geq 2$. We reduce the study of the homotopy type of these spaces to the analysis of compact spaces $X_{g,n}$, which in turn possess natural representations as a homotopy colimits of diagrams of topological spaces over combinatorially defined generalized simplicial complexes $\Delta_g$, with the latter being interesting on their own right. We use these homotopy colimit representations to describe a CW complex decomposition for each $X_{g,n}$. Furthermore, we use these developments, coupled with some standard tools for working with homotopy colimits, to perform an in-depth analysis of special cases of genus 2 and 3, gaining a complete understanding of the moduli spaces $X_{2,0}$, $X_{2,1}$, $X_{2,2}$, and $X_{3,0}$, as well as a partial understanding of other cases, resulting in several open questions and in further conjectures.


Extensions of profinite duality groups

Abstract: We show that the class of profinite duality groups is closed under group extensions provided that the kernel satisfies some finiteness condition. This extends earlier results of Pletch and of Wingberg.


Law of the Iterated Logarithm for the random walk on the infinite percolation cluster

Abstract: We show that random walks on the infinite supercritical percolation clusters in Z^d satisfy the usual Law of the Iterated Logarithm. The proof combines Barlow's Gaussian heat kernel estimates and the ergodicity of the random walk on the environment viewed from the random walker as derived by Berger and Biskup.


Representing an element in F_q[t] as the sum of two irreducibles

Abstract: A monic polynomial in F_q[t] of degree n over a finite field F_q of odd characteristic can be written as the sum of two irreducible monic elements in F_q[t] of degrees n and n-1 if q is larger than a bound depending only on n. The main tool is a sufficient condition for simultaneous primality of two polynomials in one variable x with coefficients in F_q[t].


Automorphic orbits in free groups: words versus subgroups

Abstract: We show that the following problems are decidable in a rank 2 free group F_2: does a given finitely generated subgroup H contain primitive elements? and does H meet the orbit of a given word u under the action of G, the group of automorphisms of F_2? Moreover, decidability subsists if we allow H to be a rational subset of F_2, or alternatively if we restrict G to be a rational subset of the set of invertible substitutions (a.k.a. positive automorphisms). In higher rank, we show the decidability of the following weaker problem: given a finitely generated subgroup H, a word u and an integer k, does H contain the image of u by some k-almost bounded automorphism? An automorphism is k-almost bounded if at most one of the letters has an image of length greater than k.


Small counts in the infinite occupancy scheme

Abstract: The paper is concerned with the classical occupancy scheme with infinitely many boxes, in which $n$ balls are thrown independently into boxes $1,2,...$, with probability $p_j$ of hitting the box $j$, where $p_1\geq p_2\geq...>0$ and $\sum_{j=1}^\infty p_j=1$. We establish joint normal approximation as $n\to\infty$ for the numbers of boxes containing $r_1,r_2,...,r_m$ balls, standardized in the natural way, assuming only that the variances of these counts all tend to infinity. The proof of this approximation is based on a de-Poissonization lemma. We then review sufficient conditions for the variances to tend to infinity. Typically, the normal approximation does not mean convergence. We show that the convergence of the full vector of $r$-counts only holds under a condition of regular variation, thus giving a complete characterization of possible limit correlation structures.


Correction. SDEs with oblique reflections on nonsmooth domains

Abstract: Correction to The Annals of Probability 21 (1993) 554--580 [http://projecteuclid.org/euclid.aop/1176989415]


The edge-flipping group of a graph

Abstract: Let $X=(V,E)$ be a finite simple connected graph with $n$ vertices and $m$ edges. A configuration is an assignment of one of two colors, black or white, to each edge of $X.$ A move applied to a configuration is to select a black edge $\epsilon\in E$ and change the colors of all adjacent edges of $\epsilon.$ Given an initial configuration and a final configuration, try to find a sequence of moves that transforms the initial configuration into the final configuration. This is the edge-flipping puzzle on $X,$ and it corresponds to a group action. This group is called the edge-flipping group $\mathbf{W}_E(X)$ of $X.$ This paper shows that if $X$ has at least three vertices, $\mathbf{W}_E(X)$ is isomorphic to a semidirect product of $(\mathbb{Z}/2\mathbb{Z})^k$ and the symmetric group $S_n$ of degree $n,$ where $k=(n-1)(m-n+1)$ if $n$ is odd, $k=(n-2)(m-n+1)$ if $n$ is even, and $\mathbb{Z}$ is the additive group of integers.


The Modultional Instability for a Generalized KdV Equation

Abstract: We study the spectral stability of a family of periodic standing wave solutions to the generalized KdV (g-KdV) in a neighborhood of the origin in the spectral plane using what amounts to a rigorous Whitham modulation theory calculation. In particular we are interested in understanding the role played by the null directions of the linearized operator in the stability of the traveling wave to perturbations of long wavelength. A study of the normal form of the characteristic polynomial of the monodromy map (the periodic Evan's function) in a neighborhood of the origin in the spectral plane leads to two different instability indices. The first index counts modulo 2 the total number of periodic eigenvalues on the real axis. This index is a generalization of the one which governs the stability of the solitary wave. The second index provides a necessary and sufficient condition for the existence of a long-wavelength instability. This index is essentially the quantity calculated by Haragus and Kapitula in the small amplitude limit. Both of these quantities can be expressed in terms of the map between the constants of integration for the ordinary differential equation defining the traveling waves and the conserved quantities of the partial differential equation. These two indices together provide a good deal of information about the spectrum of the linearized operator. We sketch the connection of this calculation to a study of the linearized operator - in particular we perform a perturbation calculation in terms of the Floquet parameter. This suggests geometric interpretations attached to the vanishing of the modulational instability index previously mentioned.


On ergodic transformations that are both weakly mixing and uniformly rigid

Abstract: We examine some of the properties of uniformly rigid transformations, and analyze the compatibility of uniform rigidity and (measurable) weak mixing along with some of their asymptotic convergence properties. We show that on Cantor space, there does not exist a finite measure-preserving, totally ergodic, uniformly rigid transformation. We briefly discuss general group actions and show that (measurable) weak mixing and uniform rigidity can coexist in a more general setting.


Generator coalgebras are not necessarily quasi-coFrobenius

Abstract: We study the problem of whether a coalgebra that generates its category of left (right) comodules is left (right) quasi-coFrobenius or not. We prove it does not hold in general, by giving a method of constructing counterexamples. This gives a negative answer to a question stated in \cite{kn:coalgen}. We also prove it is true for monomial pointed coalgebras and we characterize the quivers $Q$ such that $\Bbbk Q$ admits a monomial subcoalgebra that is left (right) quasi-coFrobenius.


Real and strongly real classes in finite linear groups

Abstract: We classify the real and strongly real conjugacy classes in $GL_n(q)$, $SL_n(q)$, $PGL_n(q)$, $PSL_n(q)$, and all quasi-simple covers of $PSL_n(q)$. In each case we give a formula for the number of real, and the number of strongly real, conjugacy classes.


A Tannaka Theorem for Proper Lie Groupoids

Abstract: By replacing the category of smooth vector bundles over a manifold with the category of what we call smooth Euclidean fields, which is a proper enlargement of the former, and by considering smooth actions of Lie groupoids on smooth Euclidean fields, we are able to prove a Tannaka duality theorem for proper Lie groupoids. The notion of smooth Euclidean field we introduce here is the smooth, finite dimensional analogue of the usual notion of continuous Hilbert field.


Essential cohomology for elementary abelian p-groups

Abstract: For an odd prime p the cohomology ring of an elementary abelian p-group is polynomial tensor exterior. We show that the ideal of essential classes is the Steenrod closure of the class generating the top exterior power. As a module over the polynomial algebra, the essential ideal is free on the set of Mui invariants.


Conformality of a differential with respect to Cheeger-Gromoll type metrics

Abstract: We investigate conformality of the differential of a mapping between Riemannian manifolds if the tangent bundles are equipped with a generalized metric of Cheeger-Gromoll type.


Hyperinvariant subspace for weighted composition operator on $L^p([0,1]^d)$

Abstract: The main result of this paper is the existence of a hyperinvariant subspace of weighted composition operator $Tf=vf\circ\tau$ on $L^p([0,1]^d)$, ($1 \leq p \leq \infty$) when the weight $v$ is in the class of ``generalized polynomials'' and the composition map is a bijective ergodic transform satisfying a given discrepancy. The work is based on the construction of a functional calculus initiated by Wermer and generalized by Davie.


Boundary slopes and the numbers of positive/negative crossings for Montesinos knots

Abstract: We show that a finite numerical boundary slope of an essential surface in the exterior of a Montesinos knot is bounded above and below in terms of the numbers of positive/negative crossings of a specific minimal diagram of the knot.


Multifractal analysis for conformal graph directed Markov systems

Abstract: We derive the multifractal analysis of the conformal measure (or equivalently, the invariant measure) associated to a family of weights imposed upon a (multi-dimensional) graph directed Markov system (GDMS) using balls as the filtration. This analysis is done over a large subset of the limit set. In particular, it coincides with the limit set when the GDMS under scrutiny satisfies a boundary separation condition. It also applies to more general situations such as real or complex continued fractions.


Notes on automorphisms of ultrapowers of II_1 factors

Abstract: In functional analysis, approximative properties of an object become precise in its ultrapower. We discuss this idea and its consequences for automorphisms of II_1 factors. Here are some sample results: (1) an automorphism is approximately inner if and only if its ultrapower is aleph_0-locally inner; (2) the ultrapower of an outer automorphism is always outer; (3) for unital *-homomorphisms from a separable nuclear C*-algebra into an ultrapower of a II_1 factor, equality of the induced traces implies unitary equivalence. All statements are proved using operator algebraic techniques, but in the last section of the paper we indicate how the underlying principle is related to theorems of Henson's positive bounded logic.


Integer Cech Cohomology of Icosahedral Projection Tilings

Abstract: The integer Cech cohomology of canonical projection tilings of dimension three and codimension three is derived. These formulae are then evaluated for several icosahedral tilings known from the literature. Rather surprisingly, the cohomologies of all these tilings turn out to have torsion. This is the case even for the Danzer tiling, which is, in some sense, the simplest of all icosahedral tilings. This result is in contrast to the case of two-dimensional canonical projection tilings, where many examples without torsion are known.


Algebraic (2,2)-transformation groups

Abstract: This paper contains the more significant part of the article with the same title that will appear in the Volume 12 of Journal of Group Theory (2009). In this paper we determine all algebraic transformation groups $G$, defined over an algebraically closed field $\sf k$, which operate transitively, but not primitively, on a variety $\Omega$, provided the following conditions are fulfilled. We ask that the (non-effective) action of $G$ on the variety of blocks is sharply 2-transitive, as well as the action on a block $\Delta$ of the normalizer $G_\Delta$. Also we require sharp transitivity on pairs $(X,Y)$ of independent points of $\Omega$, i.e. points contained in different blocks.


Bounded Cohomology and $l_1$-Homology of Three-Manifolds

Abstract: In this paper we define, for each aspherical orientable 3-manifold $M$ endowed with a \emph{torus splitting} $\c{T}$, a 2-dimensional fundamental $l_1$-class $[M]^{\c{T}}$ whose $l_1$-norm has similar properties as the Gromov simplicial volume of $M$ (additivity under torus splittings and isometry under finite covering maps). Next, we use the Gromov simplicial volume of $M$ and the $l_1$-norm of $[M]^{\c{T}}$ to give a complete characterization of those nonzero degree maps $f\co M\to N$ which are homotopic to a ${\rm deg}(f)$-covering map. As an application we characterize those degree one maps $f\co M\to N$ which are homotopic to a homeomorphism in terms of bounded cohomology classes.


The Fitzpatrick function - a bridge between convex analysis and multivalued stochastic differential equations

Abstract: Using the Fitzpatrick function, we characterize the solutions for different classes of deterministic and stochastic differential equations driven by maximal monotone operators (or in particular subdifferential operators) as the minimum point of a suitably chosen convex lower semicontinuous function. Such technique provides a new approach for the existence of the solutions for the considered equations.


The arithmetic of trees

Abstract: The arithmetic of the natural numbers can be extended to arithmetic operations on planar binary trees. This gives rise to a non-commutative arithmetic theory. In this exposition, we describe this arithmetree, first defined by Loday, and investigate prime trees.


Pattern Rigidity in Hyperbolic Spaces: Duality and PD Subgroups

Abstract: For $i= 1,2$, let $G_i$ be cocompact groups of isometries of hyperbolic space $\Hyp^n$ of real dimension $n$, $n \geq 3$. Let $H_i \subset G_i$ be infinite index quasiconvex subgroups satisfying one of the following conditions: 1) limit set of $H_i$ is a codimension one topological sphere. 2) limit set of $H_i$ is an even dimensional topological sphere. 3) $H_i$ is a codimension one duality group. This generalizes (1). In particular, if $n = 3$, $H_i$ could be any freely indecomposable subgroup of $G_i$. 4) $H_i$ is an odd-dimensional Poincare Duality group $PD(2k+1)$. This generalizes (2). We prove pattern rigidity for such pairs extending work of Schwartz who proved pattern rigidity when $H_i$ is cyclic. All this generalizes to quasiconvex subgroups of uniform lattices in rank one symmetric spaces satisfying one of the conditions (1)-(4), as well as certain special subgroups with disconnected limit sets. In particular, pattern rigidity holds for all quasiconvex subgroups of hyperbolic 3-manifolds that are not virtually free. Combining this with a result of Mosher-Sageev-Whyte, we get quasi-isometric rigidity results for graphs of groups where the vertex groups are uniform lattices in rank one symmetric spaces and edge groups are of any of the above types.


Nonholonomic Lorentzian geometry on some $\mathbb H$-type groups

Abstract: We consider examples of the $\mathbb H$-type groups with the natural horizontal distribution generated by the commutation relations of the group. In the contrast with the previous studies we furnish the horizontal distribution with the Lorentzian metric, which is nondegenerate metric of index 1 instead of a positive definite quadratic form. The causal character is defined. We study the reachable set by timelike future directed curves. The parametric equations of geodesics are obtained.


Langlands duality for representations of quantum groups

Abstract: We establish a correspondence (or duality) between the characters and the crystal bases of finite-dimensional representations of quantum groups associated to Langlands dual semi-simple Lie algebras. This duality may also be stated purely in terms of semi-simple Lie algebras. To explain this duality, we introduce an "interpolating quantum group" depending on two parameters which interpolates between a quantum group and its Langlands dual. We construct examples of its representations, depending on two parameters, which interpolate between representations of two Langlands dual quantum groups.


Cartan Invariants of Symmetric Groups and Iwahori-Hecke Algebras

Abstract: K\"{u}lshammer, Olsson and Robinson conjectured that a certain set of numbers determined the invariant factors of the $\ell$-Cartan matrix for $S_n$ (equivalently, the invariant factors of the Cartan matrix for the Iwahori-Hecke algebra $\mathcal{H}_n(q)$, where $q$ is a primitive $\ell$th root of unity). We call these invariant factors Cartan invariants. In a previous paper, the second author calculated these Cartan invariants when $\ell=p^r$, $p$ prime, and $r\leq p$ and went on to conjecture that the formulae should hold for all $r$. Another result was obtained, which is surprising and counterintuitive from a block theoretic point of view. Namely, given the prime decomposition $\ell=p_1^{r_1}... p_k^{r_k}$, the Cartan matrix of an $\ell$-block of $S_n$ is a product of Cartan matrices associated to $p_i^{r_i}$-blocks of $S_n$. In particular, the invariant factors of the Cartan matrix associated to an $\ell$-block of $S_n$ can be recovered from the Cartan matrices associated to the $p_i^{r_i}$-blocks. In this paper, we formulate an explicit combinatorial determination of the Cartan invariants of $S_n$--not only for the full Cartan matrix, \emph{but for an individual block}. We collect evidence for this conjecture, by showing that the formulae predict the correct determinant of the $\ell$-Cartan matrix. We then go on to show that Hill's conjecture implies the conjecture of KOR.


Generation and syzygies of the first secant variety

Abstract: Under certain effective positivity conditions, we show that the secant variety to a smooth variety satisfies $N_{3,p}$. For smooth curves, we provide the best possible effective bound on the degree $d$ of the embedding, $d\geq 2g+3+p$.


The second rational homology group of the moduli space of curves with level structures

Abstract: Let $\Gamma$ be a finite-index subgroup of the mapping class group of a closed genus $g$ surface that contains the Torelli group. For instance, $\Gamma$ can be the level $L$ subgroup or the spin mapping class group. We show that $H_2(\Gamma;\Q) \cong \Q$ for $g \geq 5$. A corollary of this is that the rational Picard groups of the associated finite covers of the moduli space of curves are equal to $\Q$. We also prove analogous results for surface with punctures and boundary components.


Noncommutative Symmetric Functions VII: Free Quasi-Symmetric Functions Revisited

Abstract: We prove a Cauchy identity for free quasi-symmetric functions and apply it to the study of various bases. A free Weyl formula and a generalization of the splitting formula are also discussed.


Inversion of some series of free quasi-symmetric functions

Abstract: We give a combinatorial formula for the inverses of the alternating sums of free quasi-symmetric functions of the form F_{\omega(I)} where I runs over compositions with parts in a prescribed set C. This proves in particular three special cases (no restriction, even parts, and all parts equal to 2) which were conjectured by B. C. V. Ung in [Proc. FPSAC'98, Toronto].


Applications of patching to quadratic forms and central simple algebras

Abstract: This paper provides applications of patching to quadratic forms and central simple algebras over function fields of curves over henselian valued fields. In particular, we use a patching approach to reprove and generalize a recent result of Parimala and Suresh on the u-invariant of p-adic function fields, for p odd. The strategy relies on a local-global principle for homogeneous spaces for rational algebraic groups, combined with local computations.


Dominated polynomials on infinite dimensional spaces

Abstract: The aim of this paper is to prove a stronger version of a conjecture on the existence of non-dominated scalar-valued m-homogeneous polynomials (m>=3) on arbitrary infinite dimensional Banach spaces.


Characterization of the Oblique Projector $U(VU)^+V$ with Application to Constrained Least Squares

Abstract: We provide a full characterization of the oblique projector $U(VU)^+V$ in the general case where the range of $U$ and the null space of $V$ are not complementary subspaces. We discuss the new result in the context of constrained least squares minimization.


Two Essays on the Archimedean versus Non-Archimedean Debate

Abstract: Part 1 : For more than two millennia, ever since Euclid's geometry, the so called Archimedean Axiom has been accepted without sufficiently explicit awareness of that fact. The effect has been a severe restriction of our views of space-time, a restriction which above all affects Physics. Here it is argued that, ever since the invention of Calculus by Newton, we may actually have {\it empirical evidence} that time, and thus space as well, are not Archimedean. Part 2 : There is an insufficient awareness about the {\it rich and complex} structure of various totally ordered scalar fields obtained through the {\it ultrapower} construction. This rich and complex structure comes from the presence of {\it infinitesimals} in such fields, presence which leads to the fact that such fields are {\it non-Archimedean}. Here, with the concept of {\it walkable world}, which has highly intuitive and pragmatic geometric meaning, the mentioned rich and complex structure is illustrated. The issues presented have relevance for what are usually called the "infinities in physics".


Local smoothing effects for the water-wave problem with surface tension

Abstract: This paper has been merged to 0908.3255.


Global Dimension of Polynomial Rings in Partially Commuting Variables

Abstract: For any free partially commutative monoid $M(E,I)$, we compute the global dimension of the category of $M(E,I)$-objects in an Abelian category with exact coproducts. As a corollary, we generalize Hilbert's Syzygy Theorem to polynomial rings in partially commuting variables.


Equidistribution of Dilations of Polynomial Curves in Nilmanifolds

Abstract: In this paper we study the asymptotic behaviour under dilations of probability measures supported on polynomial curves in nilmanifolds. We prove, under some mild conditions, effective equidistribution of such measures to the Haar measure. We also formulate a mean ergodic theorem for $\R^n$-representations on Hilbert spaces, restricted to a moving phase of low dimension. Furthermore, we bound the necessary dilation of a given smooth curve in $ \R^n$ so that the canonical projection onto $ \T^n $ is $ \eps$-dense.


Rescaled Lotka-Volterra Models Converge to Super Stable Processes

Abstract: Recently, it has been shown that stochastic spatial Lotka-Volterra models when suitably rescaled can converge to a super Brownian motion. We show that the limit process could be a super stable process if the kernel of the underlying motion is in the domain of attraction of a stable law. The corresponding results in Brownian setting were proved by Cox and Perkins (2005, 2008). As applications of the convergence theorems, some new results on the asymptotics of the voter model started from single 1 at the origin are obtained which improve the results by Bramson and Griffeath (1980).


Calogero-Moser Spaces over Algebraic Curves

Abstract: In these notes, we give a survey of the main results of [BC] and [BW]. Our aim is to generalize the geometric classification of (one-sided) ideals of the first Weyl algebra $ A_1(C) $ (see [BW1, BW2]) to the ring $ D(X) $ of differential operators on an arbitrary complex smooth affine curve X. We approach this problem in two steps: first, we classify the ideals of D(X) up to stable isomorphism, in terms of the Picard group of X; then, we refine this classification by describing each stable isomorphism class as a disjoint union of (certain quotients of) generalized Calogero-Moser spaces C_n(X, I). The latter are defined as representation varieties of deformed preprojective algebras over a one-point extension of the ring of regular functions on X by the line bundle I. As in the classical case, C_n(X, I) turn out to be smooth irreducible varieties of dimension 2n.


Compositions of consistent systems of rank one discrete valuation rings

Abstract: Let V be a rank one discrete valuation ring (DVR) on a field F and let L/F be a finite separable algebraic field extension with [L:F] = m. The integral closure of V in L is a Dedekind domain that encodes the following invariants: (i) the number of extensions of V to a valuation ring W on L, (ii) the residue degree of each W over V, and (iii) the ramification degree of each W over V. Given a finite set of DVRs on F, an m-consistent system is a family of sets enumerating what is theoretically possible for the above invariants of each V in the set. The m-consistent system is realizable if there exists a finite separable extension field L/F that gives for each V the listed invariants. We investigate the realizability of m-consistent systems.


Fundamental Theorem of Calculus

Abstract: A simple but rigorous proof of the Fundamental Theorem of Calculus is given in geometric calculus, after the basis for this theory in geometric algebra has been explained. Various classical examples of this theorem, such as the Green's and Stokes' theorem are discussed, as well as the new theory of monogenic functions, which generalizes the concept of an analytic function of a complex variable to higher dimensions.


More non semigroup Lie gradings

Abstract: This note is devoted to the construction of two very easy examples, of respective dimensions 4 and 6, of graded Lie algebras whose grading is not given by a semigroup, the latter one being a semisimple algebra. It is shown that 4 is the minimal possible dimension.


Infinite rate mutually catalytic branching

Abstract: Consider the mutually catalytic branching process with finite branching rate $\gamma$. We show that as $\gamma\to\infty$, this process converges in finite-dimensional distributions (in time) to a certain discontinuous process. We give descriptions of this process in terms of its semigroup in terms of the infinitesimal generator and as the solution of a martingale problem. We also give a strong construction in terms of a planar Brownian motion from which we infer a path property of the process. This is the first paper in a series or three, wherein we also construct an interacting version of this process and study its long-time behavior.


The Natural Logarithm on Time Scales

Abstract: We define an appropriate logarithm function on time scales and present its main properties. This gives answer to a question posed by M. Bohner in [J. Difference Equ. Appl. {\bf 11} (2005), no. 15, 1305--1306].


On the Brown--Shields conjecture for cyclicity in the Dirichlet space

Abstract: Let $\cD$ be the Dirichlet space, namely the space of holomorphic functions on the unit disk whose derivative is square-integrable. We establish a new sufficient condition for a function $f\in\cD$ to be {\em cyclic}, i.e. for $\{pf: p\text{a polynomial}\}$ to be dense in $\cD$. This allows us to prove a special case of the conjecture of Brown and Shields that a function is cyclic in $\cD$ iff it is outer and its zero set (defined appropriately) is of capacity zero.


Topology of Manifolds with Asymptotically Nonnegative Ricci Curvature

Abstract: In this paper, we study the topology of complete noncompact Riemannian manifolds with asymptotically nonnegative Ricci curvature. We show that a complete noncompact manifold with asymptoticaly nonnegative Ricci curvature and sectional curvature decay at most quadratically is diffeomorphic to a Euclidean n-space R^n under some conditions on the density of rays starting from the base point p or on the volume growth of geodesic balls in M.


A note on smoothness and differential bases in positive characteristic

Abstract: Let $u:A\to B$ be a morphism of noetherian local rings. We obtain smoothness criteria for algebras with differential bases, in the case of rings containing a field of characteristic $p>0.$ We also give smoothness criteria for reduced morphisms.


Boundary non-crossings of Brownian pillow

Abstract: Let B_0(s,t) be a Brownian pillow with continuous sample paths, and let h,u:[0,1]^2\to R be two measurable functions. In this paper we derive upper and lower bounds for the boundary non-crossing probability \psi(u;h):=P{B_0(s,t)+h(s,t) \le u(s,t), \forall s,t\in [0,1]}. Further we investigate the asymptotic behaviour of $\psi(u;\gamma h)$ with $\gamma$ tending to infinity, and solve a related minimisation problem.


Stable string operations are trivial

Abstract: We show that in closed string topology and in open-closed string topology with one $D$-brane, higher genus stable string operations are trivial. This is a consequence of Harer's stability theorem and related stability results on the homology of mapping class groups of surfaces with boundaries. In fact, this vanishing result is a special case of a general result which applies to all homological conformal field theories with a property that in the associated topological quantum field theories, the string operations associated to genus one cobordisms with one or two boundaries vanish. In closed string topology, the base manifold can be either finite dimensional, or infinite dimensional with finite dimensional cohomology for its based loop space. The above vanishing result is based on the triviality of string operations associated to homology classes of mapping class groups which are in the image of stabilizing maps.


SubRiemannian geometry on the sphere $\mathbb{S}^3$

Abstract: The present paper starts with an introduction to quaternions and then defines the 3-dimmensional sphere as the set of quaternions of length one. The quaternion group induces on $\mathbb{S}^3$ a structure of noncommutative Lie group. This group is compact and the results obtained in this case are very different than those obtained in the case of the Heisenberg group, which is a noncompact Lie group. Like in the Heisenberg group case, we introduce a nonintegrable distribution on the sphere and a metric on it using two of the noncommutative left invariant vector fields. This way $\mathbb{S}^3$ becomes a subRiemannian manifold. It is known that the group $SU(2) $ is isomorphic with the sphere $\mathbb{S}^3$ and represents an example of subRiemannian manifold where the elements are matrices. The main issue here is to study the connectivity by horizontal curves and its geodesics on this manifold. In this paper, we are using Lagrangian method to study the connectivity theorem on ${\mathbb S}^3$ by horizontal curves with minimal arc-length. We show that for any two points in ${\mathbb S}^3$, there exists such a geodesic joining these two points.


Three examples of the relation between rigid-analytic and algebraic deformation parameters

Abstract: We consider three examples of families of curves over a non-archimedean valued field which admit a non-trivial group action. These equivariant deformation spaces can be described by algebraic parameters (in the equation of the curve), or by rigid-analytic parameters (in the Schottky group of the curve). We study the relation between these parameters as rigid-analytic self-maps of the disk.


The Minkowski problem for the torsional rigidity

Abstract: We prove the existence and uniqueness up to translations of the solution to a Minkowski type problem for the torsional rigidity in the class of open bounded convex subsets of the $n$-dimensional Euclidean space. For the existence part we apply the variational method introduced by Jerison for analogous problems concerning other variational functionals. Uniqueness follows from the Brunn--Minkowski inequality for the torsional rigidity and corresponding equality conditions.


English translation of chapter 9 of the book "Adams spectral sequence and stable homotopy groups of spheres" by Jijkun Lin (In Chinese)(Sciences Press, Beijing 2007)

Abstract: This paper is an English translation of chapter nine of the book "Adams spectral sequence and stable homotopy groups of spheres" by Jinkun Lin (in Chinese)(Sciences Press, Beijing 2007). In this paper, a sequence of new indecomposable families in the stable homotopy groups of spheres such as h_0h_n,h_nb_n,h_0h_nh_m,h_0(h_mb_{n-1}-b_{m-1}h_n) families was detected. The proof of all the detections was stated in this paper in based on several published papers by the author.


Random block matrices and matrix orthogonal polynomials

Abstract: In this paper we consider random block matrices, which generalize the general beta ensembles, which were recently investigated by Dumitriu and Edelmann (2002, 2005). We demonstrate that the eigenvalues of these random matrices can be uniformly approximated by roots of matrix orthogonal polynomials which were investigated independently from the random matrix literature. As a consequence we derive the asymptotic spectral distribution of these matrices. The limit distribution has a density, which can be represented as the trace of an integral of densities of matrix measures corresponding to the Chebyshev matrix polynomials of the first kind. Our results establish a new relation between the theory of random block matrices and the field of matrix orthogonal polynomials, which have not been explored so far in the literature.


Optimal length estimates for stable CMC surfaces in 3-space forms

Abstract: In this paper, we study stable constant mean curvature $H$ surfaces in $\R^3$. We prove that, in such a surface, the distance from a point to the boundary is less that $\pi/(2H)$. This upper-bound is optimal and is extended to stable constant mean curvature surfaces in space forms.


Explicit constructions of infinite families of MSTD sets

Abstract: We explicitly construct infinite families of MSTD (more sums than differences) sets. There are enough of these sets to prove that there exists a constant C such that at least C / r^4 of the 2^r subsets of {1,...,r} are MSTD sets; thus our family is significantly denser than previous constructions (whose densities are at most f(r)/2^{r/2} for some polynomial f(r)). We conclude by generalizing our method to compare linear forms epsilon_1 A + ... + epsilon_n A with epsilon_i in {-1,1}.


POCP: a package for polynomial optimal control problems

Abstract: POCP is a new Matlab package running jointly with GloptiPoly 3 and, optionally, YALMIP. It is aimed at nonlinear optimal control problems for which all the problem data are polynomial, and provides an approximation of the optimal value as well as some control policy. Thanks to a user-friendly interface, POCP reformulates such control problems as generalized problems of moments, in turn converted by GloptiPoly 3 into a hierarchy of semidefinite programming problems whose associated sequence of optimal values converges to the optimal value of the polynomial optimal control problem. In this paper we describe the basic features of POCP and illustrate them with some numerical examples.


Applications of Automata and Graphs: Labeling Operators in Hilbert Space II

Abstract: We introduced a family of infinite graphs directly associated with a class of von Neumann automaton model A_{G}. These are finite state models used in symbolic dynamics: stimuli models and in control theory. In the context of groupoid von Neumann algebras, and an associated fractal group, we prove a classification theorem for representations of automata.


Solving the 100 Swiss Francs Problem

Abstract: Sturmfels offered 100 Swiss Francs in 2005 to a conjecture, which deals with a special case of the maximum likelihood estimation for a latent class model. This paper confirms the conjecture positively.