title: Fermi Markov states

abstract: We investigate the structure of the Markov states on general Fermion algebras. The situation treated in the present paper covers, beyond the d--Markov states on the CAR algebra on Z (i.e. when there are d--annihilators and creators on each site), also the non homogeneous case (i.e. when the numbers of generators depends on the localization). The present analysis provides the first necessary step for the study of the general properties, and the construction of nontrivial examples of Fermi Markov states on the d--standard lattice, that is the Fermi Markov fields. Natural connections with the KMS boundary condition and entropy of Fermi Markov states are studied in detail. Apart from a class of Markov states quite similar to those arising in the tensor product algebras (called "strongly even" in the sequel), other interesting examples of Fermi Markov states naturally appear. Contrarily to the strongly even examples, the latter are highly entangled and it is expected that they describe interactions which are not "commuting nearest neighbor". Therefore, the non strongly even Markov states, in addition to the natural applications to quantum statistical mechanics, might be of interest for the information theory as well.


title: Non-persistently recurrent points, qc-surgery and instability of rational maps with totally disconnected Julia sets

abstract: Let $ R $ be a rational map with totally disconnected Julia set $ J(R). $ If the postcritical set on $ J(R) $ contains a non-persistently recurrent (or conical) point, then we show that the map $ R $ can not be a structurally stable map.


title: Cohomology of Feynman graphs and perturbative quantum field theory

abstract: An analog of Kreimer's coproduct from renormalization of Feynman integrals in quantum field theory, endows an analog of Kontsevich's graph complex with a dg-coalgebra structure. The graph complex is generated by orientation classes of labeled directed graphs. A graded commutative product is also defined, compatible with the coproduct. Moreover, a dg-Hopf algebra is identified. Graph cohomology is defined applying the cobar construction to the dg-coalgebra structure. As an application, L-infinity morphisms represented as series over Feynman graphs correspond to graph cocycles. Notably the total differential of the cobar construction corresponds to the L-infinity morphism condition. The main example considered is Kontsevich's formality morphism. The relation with perturbative quantum field theory is considered by interpreting L-infinity morphisms as partition functions, and the coefficients of the graph expansions as Feynman integrals.


title: Poincare Series and instability of exponential maps

abstract: We relate the properties of the postsingular set for the exponential family to the questions of stability. We calculate the action of the Ruelle operator for the exponential family. We prove that if the asymptotic value is a summable point and its orbit satisfies certain topological conditions, the map is unstable hence there are no Beltrami differentials in the Julia set. Also we show that if the postsingular set is a compact set, then the singular value is summable.


title: Exploring noncommutative algebras via deformation theory

abstract: This is the text of the lecture given by the author in Naples at "Giornata IndAM", June 7, 2005. The lecture is addressed at the general mathematical audience and reviews several topics in deformation theory of associative algebras.


title: Continuous and Tractable models for the Variation of Evolutionary Rates

abstract: We propose a continuous model for evolutionary rate variation across sites and over the tree and derive exact transition probabilities under this model. Changes in rate are modelled using the CIR process, a diffusion widely used in financial applications. The model directly extends the standard gamma distributed rates across site model, with one additional parameter governing changes in rate down the tree. The parameters of the model can be estimated directly from two well-known statistics: the index of dispersion and the gamma shape parameter of the rates across sites model. The CIR model can be readily incorporated into probabilistic models for sequence evolution. We provide here an exact formula for the likelihood of a three taxa tree. Larger trees can be evaluated using Monte-Carlo methods.


title: Line-Bundle-Valued Ternary Quadratic Bundles Over Schemes

abstract: We describe a satisfactory theory of degeneration of quadratic forms in three variables in the most general setting possible: the quadratic forms are defined on rank 3 vector bundles over an arbitrary scheme and could have values in nontrivial line bundles. Our results extend what is known for good forms; for example we show that the Witt-invariant suffices for classification. We determine explicitly the general, special and usual orthogonal groups and present applications. We indicate examples of rank 4 vector bundles that do not admit any Azumaya structures and of rank 3 vector bundles that do not admit any good quadratic forms with values in specified line bundles. These examples occur naturally on the Seshadri-desingularisations of moduli spaces of rank two degree zero vector bundles over a curve relative to an integral normal locally-Nagata (universally Japanese) base scheme.


title: Nakajima monomials and crystals for special linear Lie algebras

abstract: We present explicit descriptions of the crystals $\mathcal{B}(\infty)$ and $\mathcal{B}(\lambda)$ over special linear Lie algebras in the language of \emph{extended Nakajima monomials}. There is a natural correspondence between the monomial description and Young tableau realization, which is another realization of crystals $\mathcal{B}(\infty)$ and $\mathcal{B}(\lambda)$.


title: Bi-conformal vector fields and the local geometric characterization of conformally separable pseudo-Riemannian manifolds II

abstract: In this paper we continue the study of bi-conformal vector fields started in {\em Class. Quantum Grav.} {\bf 21} 2153-2177. These are vector fields defined on a pseudo-Riemannian manifold by the differential conditions $\lie P_{ab}=\phi P_{ab}$, $\lie\Pi_{ab}=\chi\Pi_{ab}$ where $P_{ab}$, $\Pi_{ab}$ are orthogonal and complementary projectors with respect to the metric tensor $\rmg_{ab}$ and $\lie$ is the Lie derivative. In a previous paper we explained how the analysis of these differential conditions enabled us to derive local geometric characterizations of the most relevant cases of {\em conformally separable} (also called double twisted) pseudo Riemannian manifolds. In this paper we carry on this analysis further and provide local invariant characterizations of conformally separable pseudo-Riemannian manifolds with {\em conformally flat} leaf metrics. These characterizations are rather similar to that existing for conformally flat pseudo-Riemannian manifolds but instead of the Weyl tensor, we must demand the vanishing of certain four rank tensors constructed from the curvature of an affine, non-metric, connection (bi-conformal connection). We also speculate with possible applications to finding results for the existence of foliations by conformally flat hypersurfaces in any pseudo-Riemannian manifold.


title: A consequence of a lower bound of the K-energy

abstract: We prove that over a Fano manifold having the K-energy of a the canonical class bounded from below, the Chen-Tian energy functional E_1 of the class is allso bounded from below.


title: Sets of rigged paths with Virasoro characters

abstract: Let \{M_{r,s}\}_{0< r < p, 0< s < p'} be the irreducible Virasoro modules in the $(p,p')$-minimal series. In our previous paper, we have constructed a monomial basis of \oplus_{r=1}^{p-1}M_{r,s} in the case of $1<p'/p<2$. By `monomials' we mean vectors of the form \phi^{(r_L,r_{L-1})}_{-n_L}...\phi^{(r_1,r_{0})}_{-n_1} |r_0,s >, where \phi_{-n}^{(r',r)} are the Fourier components of the (2,1)-primary field mapping M_{r,s} to M_{r',s}, and |r_0,s > is the highest weight vector of M_{r_0,s}. In this article, for all p<p' with p>2 and s=1, we describe a subset of such monomials which conjecturally forms a basis of \oplus_{r=1}^{p-1}M_{r,1}. We prove that the character of the combinatorial set labeling these monomials coincides with the character of the corresponding Virasoro module. We also verify the conjecture in the case of p=3.


title: Tensor algebras of C*-correspondences and their C*-envelopes

abstract: We show that the $\ca$-envelope of the tensor algebra of an arbitrary $\ca$-correspondence $\X$ coincides with the Cuntz-Pimsner algebra $\O_{\X}$, as defined by Katsura \cite{Ka}. This improves earlier results of Muhly and Solel and Fowler, Muhly and Raeburn, who came to the same conclusion under the additional hypothesis that $\X$ is strict and faithful.


title: Twisted Graded Hecke Algebras

abstract: We generalize graded Hecke algebras to include a twisting two-cocycle for the associated finite group. We give examples where the parameter spaces of the resulting twisted graded Hecke algebras are larger than that of the graded Hecke algebras. We prove that twisted graded Hecke algebras are particular types of deformations of a crossed product.


title: The planar algebra of a semisimple and cosemisimple Hopf algebra

abstract: To a semisimple and cosemisimple Hopf algebra over an algebraically closed field, we associate a planar algebra defined by generators and relations and show that it is a connected, irreducible, spherical, non-degenerate planar algebra with non-zero modulus and of depth two. This association is shown to yield a bijection between (the isomorphism classes, on both sides, of) such objects.


title: Skew Derivations and Deformations of a Family of Group Crossed Products

abstract: We obtain deformations of a crossed product of a polynomial algebra with a group, under some conditions, from universal deformation formulas. We show that the resulting deformations are nontrivial by a comparison with Hochschild cohomology. The universal deformation formulas arise from actions of Hopf algebras generated by automorphisms and skew derivations, and are universal in the sense that they apply to deform all algebras with such Hopf algebra actions.


title: Perfect Skolem sets

abstract: A Skolem sequence is a sequence a_1,a_2,...,a_2n (where a_i \in A = {1,...,n }), each a_i occurs exactly twice in the sequence and the two occurrences are exactly a_i positions apart. A set A that can be used to construct Skolem sequences is called a Skolem set. The problem of deciding which sets of the form A = {1,...,n} are Skolem sets was solved by Thoralf Skolem in the late 1950's. We study the natural generalization where A is allowed to be any set of n positive integers. We give necessary conditions for the existence of Skolem sets of this generalized form. We conjecture these necessary conditions to be sufficient, and give computational evidence in favor of our conjecture. We investigate special cases of the conjecture and prove that the conjecture hold for some of them. We also study enumerative questions and show that this problem has strong connections with problems related to permutation displacements.


title: Schur-Weyl reciprocity between the quantum superalgebra and the Iwahori-Hecke algebra

abstract: In this paper, we introduce the sign q-permutation representation of the Iwahori-Hecke algebra on the tensor space of the graded vector space. We establish Schur-Weyl reciprocity between the quantum general super Lie algebra and the Iwahori-Hecke algebra. Our result includes Schur-Weyl reciprocity of both the super case and the quantum case, and unifies those two important cases.


abstract: We give a formula for Alexander polynomials of doubly primitive knots.


title: Quantitative recurrence and large deviations for Teichmuller geodesic flow

abstract: We prove quantitative recurrence and large deviations results for the Teichmuller geodesci flow on a connected component of a stratum of the moduli space $Q_g$ of holomorphic unit-area quadratic differentials on a compact genus $g \geq 2$ surface.


title: Vector partition function and representation theory

abstract: We apply some recent developments of Baldoni-Beck-Cochet-Vergne on vector partition function, to Kostant's and Steinberg's formulae, for classical Lie algebras $A\_r$, $B\_r$, $C\_r$, $D\_r$. We therefore get efficient {\tt Maple} programs that compute for these Lie algebras: the multiplicity of a weight in an irreducible finite-dimensional representation; the decomposition coefficients of the tensor product of two irreducible finite-dimensional representations. These programs can also calculate associated Ehrhart quasipolynomials.


title: Curve Selection Lemma for semianalytic sets and conjugacy classes of finite order in Lie groups

abstract: Using a strong version of the Curve Selection Lemma for real semianalytic sets, we prove that for an arbitrary connected Lie group $G$, each connected component of the set $E_n(G)$ of all elements of order $n$ in $G$ is a conjugacy class in $G$. In particular, all conjugacy classes of finite order in $G$ are closed. Some properties of connected components of $E_n(G)$ are also given.


title: An elementary, explicit, proof of the existence of Hilbert schemes of points

abstract: We give a short, elementary and explicit proof of the existence of Hilbert schemes of points on affine schemes. As a direct consequence we obtain the existence of the Hilbert scheme of points on any projective scheme, not necessarily of finite type, over any base scheme.


title: Filters and subgroups associated with Hartman measurable functions

abstract: A bounded function $\phi: G\to \C$ on an LCA group $G$ is called Hartman measurable if it can be extended to a Riemann integrable function $\phi^*: X\to \C$ on some group compactification $(\iota_X,X)$, i.e. on a compact group $X$ such that $\iota_X: G\to X$ is a continuous homomorphism with image $\iota_X(G)$ dense in $X$ and $\phi=\phi^*\circ\iota_X$. The concept of Hartman measurability of functions is a generalization of Hartman measurability of sets, which was introduced - with different nomenclature - by S. Hartman to treat number theoretic problems arising in diophantine approximation and equidistribution. We transfer certain results concerning Hartman sets to this more general setting. In particular we assign to each Hartman measurable function $\phi$ a filter $\F(\phi)$ on $G$ and a subgroup $\Gamma(\phi)$ of the dual $\hat{G}$ and show how these objects encode information about the involved group compactification. We present methods how this information can be recovered.


title: Monotone invariants and embeddings of statistical manifolds

abstract: In this note we prove certain necessary and sufficient conditions for the existence of an embedding of statistical manifolds. In particular, we prove that any compact smooth ($C^1$ resp.) statistical manifold can be embedded into the space of probability measures on a finite set. As a result, we get an answer to the Lauritzen question on a realization of smooth ($C^1$ resp.) statistical manifolds as statistical models


title: Integrable Systems and Harmonic Maps into Lie Groups

abstract: A study of harmonic maps into Lie groups as a generalisation of the study of other well-known integrable systems, particularly the Toda and self-dual Chern Simons theories.


title: A Central Limit Theorem for non-overlapping return times

abstract: Define the non-overlapping return time of a random process to be the number of blocks that we wait before a particular block reappears. We prove a Central Limit Theorem based on these return times. This result has applications to entropy estimation, and to the problem of determining if digits have come from an independent equidistribted sequence. In the case of an equidistributed sequence, we use an argument based on negative association to prove convergence under weaker conditions.


title: Mirror symmetry for Del Pezzo surfaces: Vanishing cycles and coherent sheaves

abstract: We study homological mirror symmetry for Del Pezzo surfaces and their mirror Landau-Ginzburg models. In particular, we show that the derived category of coherent sheaves on a Del Pezzo surface X_k obtained by blowing up CP^2 at k points is equivalent to the derived category of vanishing cycles of a certain elliptic fibration W_k:M_k\to\C with k+3 singular fibers, equipped with a suitable symplectic form. Moreover, we also show that this mirror correspondence between derived categories can be extended to noncommutative deformations of X_k, and give an explicit correspondence between the deformation parameters for X_k and the cohomology class [B+i\omega]\in H^2(M_k,C).


title: Bounds for the $b$-chromatic number of some families of graphs

abstract: In this paper we obtain some upper bounds for $b$-chromatic number of $K_{1,t}$ -free graphs, graphs with given minimum clique partition and bipartite graphs. These bounds are in terms of either clique number or chromatic number of graphs or biclique number for bipartite graphs. We show that all the bounds are tight.


title: Generalized Brown representability in homotopy categories

abstract: We show that the homotopy category of a combinatorial stable model category $\ck$ is well generated. It means that each object $K$ of $\Ho(\ck)$ is an iterated weak colimit of $\lambda$-compact objects for some cardinal $\lambda$. A natural question is whether each $K$ is a weak colimit of $\lambda$-compact objects. We show that this is related to (generalized) Brown representability of $\Ho(\mathcal K)$.


title: A note on multiple Dirichlet's q-L--function

abstract: Recently, the two variable $q$-$L$-functions which interpolate the generalized $q$-Bernoulli polynomials associated with $\chi$ are introduced and studied, cf. [2]. In this paper, we construct multiple Dirichlet's $q$-$L$-function which interpolates the generalized multiple $q$-Bernoulli numbers attached to $\chi $ at negative integer and study its properties.


title: Cohomology operations and the Deligne conjecture

abstract: The aim of this note, which raises more questions than it answers, is to study natural operations acting on the cohomology of various types of algebras. It contains a lot of very surprising partial results and examples.


title: Invariant functions on symplectic representations

abstract: Let G be a connected reductive group. In this paper we are studying the invariant theory of symplectic G-modules. Our main result is that the invariant moment map is equidimensional. We deduce that the categorical quotient is a fibration over an affine space with rational generic fibers. Of particular interest are those modules for which the generic orbit is coisotropic. We prove that they are cofree. This result has been used in another paper (math.SG/0505268) to classify all these modules. Our main tool is a symplectic version of the local structure theorem.


title: Quasi-Deformations of sl_2(\F) using twisted derivations

abstract: In this paper we apply a method devised in \cite{HartLarsSilv1D,LarsSilv1D} to the three-dimensional simple Lie algebra $\sll$. One of the main points of this deformation method is that the deformed algebra comes endowed with a canonical twisted Jacobi identity. We show in the present paper that when our deformation scheme is applied to $\sll$ we can, by choosing parameters suitably, deform $\sll$ into the Heisenberg Lie algebra and some other three-dimensional Lie algebras in addition to more exotic types of algebras, this being in stark contrast to the classical deformation schemes where $\sll$ is rigid. The resulting algebras are quadratic and we point out possible connections to ``geometric quadratic algebras'' such as the Artin--Schelter regular algebras, studied extensively since the beginning of the 90's in connection with non-commutative projective geometry.


title: Embeddings With Multiple Regularity

abstract: We introduce $(k,l)$-regular maps, which generalize two previously studied classes of maps: affinely $k$-regular maps and totally skew embeddings. We exhibit some explicit examples and obtain bounds on the least dimension of a Euclidean space into which a manifold can be embedded by a $(k,l)$-regular map. The problem can be regarded as an extension of embedding theory to embeddings with certain non-degeneracy conditions imposed, and is related to approximation theory.


title: A Characteristic Number of Hamiltonian Bundles over $S^2$

abstract: Each loop $\psi$ in the group $\text{Ham}(M)$ of Hamiltonian diffeomorphisms of a symplectic manifold $M$ determines a fibration $E$ on $S^2$, whose coupling class \cite{G-L-S} is denoted by $c$. If $VTE$ is the vertical tangent bundle of $E$, we relate the characteristic number $\int_E c_1(VTE)c^n$ with the Maslov index of the linearized flow $\psi_{t*}$ and the Chern class $c_1(TM)$. We give the value of this characteristic number for loops of Hamiltonian symplectomorphisms of Hirzebruch surfaces.


title: The moduli space of flat G-bundles on a compact hyper-Kahler manifold

abstract: We prove that if G is a compact connected Lie group and X is a compact connected hyper-Kahler manifold, then the L^2 metric on (the smooth locus of) the moduli space of flat G-bundles on X is a hyper-Kahler metric.


title: Hamiltonian diffeomorphisms of toric manifolds

abstract: We prove that $\pi_1(\text{Ham}(M))$ contains an infinite cyclic subgroup, where $\text{Ham}(M)$ is the Hamiltonian group of the one point blow up of ${\Bbb C}P^3$. We give a sufficient condition for the group $\pi_1(\text{Ham}(M))$ to contain an infinite cyclic subgroup, when $M$ is a general toric manifold.


title: Max-plus definite matrix closures and their eigenspaces

abstract: In this paper we introduce the definite closure operation for max-plus matrices with finite permanent, reveal inner structures of definite eigenspaces, and establish some facts about Hilbert distances between these inner structures and the boundary of the definite eigenspace


title: Remarks on quasi-isometric non-embeddability into uniformly convex Banach spaces

abstract: We construct a locally finite graph and a bounded geometry metric space which do not admit a quasi-isometric embedding into any uniformly convex Banach space. Connections with the geometry of $c_0$ and superreflexivity are discussed.


title: Ideals in non-associative universal enveloping algebras of Lie triple systems

abstract: The notion of a non-associative universal enveloping algebra for a Lie triple system arises when Lie triple systems are considered as Bol algebras (more generally, Sabinin algebras). In this paper a new construction for these universal enveloping algebras is given, and their properties are studied. It is shown that universal enveloping algebras of Lie triple systems have surprisingly few ideals. It is conjectured, and the conjecture is verified on several examples, that the only proper ideal of the universal enveloping algebra of a simple Lie triple system is the augmentation ideal.


title: Constructions in public-key cryptography over matrix groups

abstract: The purpose of the paper is to give new key agreement protocols (a multi-party extension of the protocol due to Anshel-Anshel-Goldfeld and a generalization of the Diffie-Hellman protocol from abelian to solvable groups) and a new homomorphic public-key cryptosystem. They rely on difficulty of the conjugacy and membership problems for subgroups of a given group. To support these and other known cryptographic schemes we present a general technique to produce a family of instances being matrix groups (over finite commutative rings) which play a role for these schemes similar to the groups $Z\_n^*$ in the existing cryptographic constructions like RSA or discrete logarithm.


title: Can one see the fundamental frequency of a drum?

abstract: We establish two-sided estimates for the fundamental frequency (the lowest eigenvalue) of the Laplacian in an open subset G of R^n with the Dirichlet boundary condition. This is done in terms of the interior capacitary radius of G which is defined as the maximal possible radius of a ball B which has a negligible intersection with the complement of G. Here negligibility of a subset F in B means that the Wiener capacity of F does not exceed gamma times the capacity of B, where gamma is an arbitrarily fixed constant between 0 and 1. We provide explicit values of constants in the two-sided estimates.


title: A combinatorial Yamabe flow in three dimensions

abstract: A combinatorial version of Yamabe flow is presented based on Euclidean triangulations coming from sphere packings. The evolution of curvature is then derived and shown to satisfy a heat equation. The Laplacian in the heat equation is shown to be a geometric analogue of the Laplacian of Riemannian geometry, although the maximum principle need not hold. It is then shown that if the flow is nonsingular, the flow converges to a constant curvature metric.


title: The triangle of operators, topologies, bornologies

abstract: This paper discusses two common techniques in functional analysis: the topological method and the bornological method. In terms of Pietsch's operator ideals, we establish the equivalence of the notions of operators, topologies and bornologies. The approaches in the study of locally convex spaces of Grothendieck (via Banach space operators), Randtke (via continuous seminorms) and Hogbe-Nlend (via convex bounded sets) are compared.


title: Triple homomorphisms of C*-algebras

abstract: In this note, we will discuss what kind of operators between C*-algebras preserves Jordan triple products {a,b,c}= (ab*c + cb*a)/2. These include especially isometries and disjointness preserving operators.


title: Notes on Lebesgue integration

abstract: Alternative approaches to Lebesgue integration are considered.


title: Non-colliding system of Brownian particles as Pfaffian process

abstract: In the paper [7] we studied the temporally inhomogeneous system of non-colliding Brownian motions and proved that multi-time correlation functions are generally given by the quaternion determinants in the sense of Dyson and Mehta. In this report we give another proof of the equivalent statement using Fredholm determinant and Fredholm pfaffian, and claim that the present system is a typical example of pfaffian processes.


title: Infinite systems of non-colliding generalized meanders and Riemann-Liouville differintegrals

abstract: Yor's generalized meander is a temporally inhomogeneous modification of the $2(\nu+1)$-dimensional Bessel process with $\nu > -1$, in which the inhomogeneity is indexed by $\kappa \in [0, 2(\nu+1))$. We introduce the non-colliding particle systems of the generalized meanders and prove that they are the Pfaffian processes, in the sense that any multitime correlation function is given by a Pfaffian. In the infinite particle limit, we show that the elements of matrix kernels of the obtained infinite Pfaffian processes are generally expressed by the Riemann-Liouville differintegrals of functions comprising the Bessel functions $J_{\nu}$ used in the fractional calculus, where orders of differintegration are determined by $\nu-\kappa$. As special cases of the two parameters $(\nu, \kappa)$, the present infinite systems include the quaternion determinantal processes studied by Forrester, Nagao and Honner and by Nagao, which exhibit the temporal transitions between the universality classes of random matrix theory.

categories: math.PR cond-mat.stat-mech hep-th math-ph math.MP nlin.SI


title: A Garside-theoretic approach to the reducibility problem in braid groups

abstract: Let $D_n$ denote the $n$-punctured disk in the complex plane, where the punctures are on the real axis. An $n$-braid $\alpha$ is said to be \emph{reducible} if there exists an essential curve system $\C$ in $D_n$, called a \emph{reduction system} of $\alpha$, such that $\alpha*\C=\C$ where $\alpha*\C$ denotes the action of the braid $\alpha$ on the curve system $\C$. A curve system $\C$ in $D_n$ is said to be \emph{standard} if each of its components is isotopic to a round circle centered at the real axis. In this paper, we study the characteristics of the braids sending a curve system to a standard curve system, and then the characteristics of the conjugacy classes of reducible braids. For an essential curve system $\C$ in $D_n$, we define the \emph{standardizer} of $\C$ as $\St(\C)=\{P\in B_n^+:P*\C{is standard}\}$ and show that $\St(\C)$ is a sublattice of $B_n^+$. In particular, there exists a unique minimal element in $\St(\C)$. Exploiting the minimal elements of standardizers together with canonical reduction systems of reducible braids, we define the outermost component of reducible braids, and then show that, for the reducible braids whose outermost component is simpler than the whole braid (including split braids), each element of its ultra summit set has a standard reduction system. This implies that, for such braids, finding a reduction system is as easy as finding a single element of the ultra summit set.


title: A Variational Principle in the Dual Pair of Reproducing Kernel Hilbert Spaces and an Application

abstract: Given a positive definite, bounded linear operator $A$ on the Hilbert space $\mathcal{H}_0:=l^2(E)$, we consider a reproducing kernel Hilbert space $\mathcal{H}_+$ with a reproducing kernel $A(x,y)$. Here $E$ is any countable set and $A(x,y)$, $x,y\in E$, is the representation of $A$ w.r.t. the usual basis of $\mathcal{H}_0$. Imposing further conditions on the operator $A$, we also consider another reproducing kernel Hilbert space $\mathcal{H}_-$ with a kernel function $B(x,y)$, which is the representation of the inverse of $A$ in a sense, so that $\mathcal{H}_-\supset\mathcal{H}_0\supset\mathcal{H}_+$ becomes a rigged Hilbert space. We investigate a relationship between the ratios of determinants of some partial matrices related to $A$ and $B$ and the suitable projections in $\mathcal{H}_-$ and $\mathcal{H}_+$. We also get a variational principle on the limit ratios of these values. We apply this relation to show the Gibbsianness of the determinantal point process (or fermion point process) defined by the operator $A(I+A)^{-1}$ on the set $E$. It turns out that the class of determinantal point processes that can be recognized as Gibbs measures for suitable interactions is much bigger than that obtained by Shirai and Takahashi.


title: Biquaternion (complexified quaternion) roots of -1

abstract: The roots of -1 in the set of biquaternions (quaternions with complex components, or complex numbers with quaternion real and imaginary parts) are studied and it is shown that there is an infinite number of non-trivial complexified quaternion roots (and two degenerate solutions which are the complex imaginary operator and the set of unit pure real quaternions). The non-trivial roots are shown to consist of complex numbers with perpendicular pure quaternion real and imaginary parts. The moduli of the two perpendicular pure quaternions are expressible by a single parameter via a hyperbolic trigonometric identity.


title: Quantitative symplectic geometry

abstract: While symplectic manifolds have no local invariants, they do admit many global numerical invariants. Prominent among them are the so-called symplectic capacities. Different capacities are defined in different ways, and so relations between capacities often lead to surprising relations between different aspects of symplectic geometry and Hamiltonian dynamics. In this paper we present an attempt to better understand the space of all symplectic capacities, and discuss some further general properties of symplectic capacities. We also describe several new relations between certain symplectic capacities on ellipsoids and polydiscs. Throughout the discussion we mention many open problems.


title: Une base sym\'etrique de l'alg\`ebre des coinvariants quasi-sym\'etriques

abstract: We describe a new basis of the ring of quasi-symmetric coinvariants, which is stable by the natural reversal of the set of variables. The indexing set is the set of triangulations of a regular polygon, instead of the set of Dyck paths used for the known basis. On d\'{e}crit une nouvelle base de l'alg\`{e}bre des coinvariants quasi-sym\'{e}triques, qui est stable par l'involution naturelle et index\'{e}e par les triangulations d'un polygone r\'{e}gulier.


title: Braid action on derived category of Nakayama algebras

abstract: We construct an action of a braid group associated to a complete graph on the derived category of a certain symmetric Nakayama algebra which is also a Brauer star algebra with no exceptional vertex. We connect this action with the affine braid group action on Brauer star algebras defined by Schaps and Zakay-Illouz. We show that for Brauer star algebras with no exceptional vertex, the action is faithful.


title: A solution of the Schottky-Type problem for curves with automorphisms

abstract: In this paper, an explicit hierarchy of differential equations for the $\tau$-functions defining the moduli space of curves with automorphisms as a subscheme of the Sato Grassmannian is obtained. The Schottky problem for Riemann surfaces with automorphisms consists of characterizing those p.p.a.v. that are Jacobian varieties of a curve with a non-trivial automorphism. A characterization in terms of hierarchies of p.d.e. for theta functions is also given.


title: Critical potentials of the eigenvalues and eigenvalue gaps of Schr\"{o}dinger operators

abstract: Let $M$ be a compact Riemannian manifold with or without boundary, and let $-\Delta $ be its Laplace-Beltrami operator. For any bounded scalar potential $q$, we denote by $\lambda\_i(q)$ the $i$-th eigenvalue of the Schr\"{o}dinger type operator $-\Delta + q$ acting on functions with Dirichlet or Neumann boundary conditions in case $\partial M \neq \emptyset$. We investigate critical potentials of the eigenvalues $\lambda\_i$ and the eigenvalue gaps $G\_{ij}=\lambda\_j -\lambda\_i$ considered as functionals on the set of bounded potentials having a given mean value on $M$. We give necessary and sufficient conditions for a potential $q$ to be critical or to be a local minimizer or a local maximizer of these functionals. For instance, we prove that a potential $q \in L^\infty (M)$ is critical for the functional $\lambda\_2$ if and only if, $q$ is smooth, $\lambda\_2(q)=\lambda\_3(q)$ and there exist second eigenfunctions $f\_1 ,...,f\_k$ of $-\Delta + q$ such that $\Sigma\_j f\_j^2 = 1$. In particular, $\lambda\_2$ (as well as any $\lambda\_i$) admits no critical potentials under Dirichlet Boundary conditions. Moreover, the functional $\lambda\_2$ never admits locally minimizing potentials.


title: On the Gaps between Two Consecutive Prime Numbers

abstract: In this article, a relation between a gap $d_{k}$ and divisors of composite numbers between $p_{k}$ and $p_{k+1}$ is established.


title: Geometry of optimal control problems and Hamiltonian systems

abstract: These notes are based on the mini-course given in June 2004 in Cetraro, Italy, in the frame of a C.I.M.E. school. Of course, they contain much more material that I could present in the 6 hours course. The main goal is to give an idea of the general variational and dynamical nature of nice and powerful concepts and results mainly known in the narrow framework of Riemannian Geometry. This concerns Jacobi fields, Morse's index formula, Levi Civita connection, Riemannian curvature and related topics. I tried to make the presentation as light as possible: gave more details in smooth regular situations and referred to the literature in more complicated cases.


title: More on Reverse Triangle Inequality in Inner Product Spaces

abstract: Refining some results of S. S. Dragomir, several new reverses of the generalized triangle inequality in inner product spaces are given. Among several results, we establish some reverses for the Schwarz inequality. In particular, it is proved that if $a$ is a unit vector in a real or complex inner product space $(H;< .,.>)$, $r, s>0, p\in(0,s], D=\{x\in H,\|rx-sa\|\leq p\}, x_1, x_2\in D-\{0\}$ and $ \alpha_{r,s}=\min\{\frac{r^2\|x_k\|^2-p^2+s^2}{2rs\|x_k\|}: 1\leq k\leq 2 \}$, then $$\frac{\|x_1\|\|x_2\|-Re< x_1,x_2>}{(\|x_1\|+\|x_2\|)^2}\leq \alpha_{r,s}.$$


title: Gaussian Quadrature without Orthogonal Polynomials

abstract: A novel development is given of the theory of Gaussian quadrature, not relying on the theory of orthogonal polynomials. A method is given for computing the nodes and weights that is manifestly independent of choice of basis in the space of polynomials. This method can be extended to compute nodes and weights for Gaussian quadrature on the unit circle and Gauss type quadrature rules with some fixed nodes.


title: On packing spheres into containers (about Kepler's finite sphere packing problem)

abstract: In an Euclidean $d$-space, the container problem asks to pack $n$ equally sized spheres into a minimal dilate of a fixed container. If the container is a smooth convex body and $d\geq 2$ we show that solutions to the container problem can not have a ``simple structure'' for large $n$. By this we in particular find that there exist arbitrary small $r>0$, such that packings in a smooth, 3-dimensional convex body, with a maximum number of spheres of radius $r$, are necessarily not hexagonal close packings. This contradicts Kepler's famous statement that the cubic or hexagonal close packing ``will be the tightest possible, so that in no other arrangement more spheres could be packed into the same container''.


title: Metric Cotype

abstract: We introduce the notion of cotype of a metric space, and prove that for Banach spaces it coincides with the classical notion of Rademacher cotype. This yields a concrete version of Ribe's theorem, settling a long standing open problem in the nonlinear theory of Banach spaces. We apply our results to several problems in metric geometry. Namely, we use metric cotype in the study of uniform and coarse embeddings, settling in particular the problem of classifying when L_p coarsely or uniformly embeds into L_q. We also prove a nonlinear analog of the Maurey-Pisier theorem, and use it to answer a question posed by Arora, Lovasz, Newman, Rabani, Rabinovich and Vempala, and to obtain quantitative bounds in a metric Ramsey theorem due to Matousek.


title: A simplification of the proof of the existence of the extremal function for the Moser-Trudinger inequality

abstract: In a previous paper, the author proved the existence of extremal function for the Moser-Trudinger inequality on a compact manifold. In the this paper, we will give a new proof of one of the key proposition.


title: A Mealy machine with polynomial growth of irrational degree

abstract: We consider a very simple Mealy machine (three states over a two-symbol alphabet), and derive some properties of the semigroup it generates. In particular, this is an infinite, finitely generated semigroup; we show that the growth function of its balls behaves asymptotically like n^2.4401..., where this constant is 1 + log(2)/log((1+sqrt(5))/2); that the semigroup satisfies the identity g^6=g^4; and that its lattice of two-sided ideals is a chain.


title: Random conformal dynamical systems

abstract: We consider random dynamical systems such as groups of conformal transformations with a probability measure, or transversaly conformal foliations with a Laplace operator along the leaves, in which case we consider the holonomy pseudo-group. We prove that either there exists a measure invariant under all the elements of the group (or the pseudo-group), or almost surely a long composition of maps contracts exponentially a ball. We deduce some results about the unique ergodicity.


title: Some inequalities for Kurepa's function

abstract: In this paper we consider Kurepa's function $K(z)$ \cite{Kurepa_71}. We give some recurrent relations for Kurepa's function via appropriate sequences of rational functions and gamma function. Also, we give some inequalities for Kurepa's function $K(x)$ for positive values of $x$.


title: Indice et decomposition de Cartan d'une algebre de Lie semi-simple reelle

abstract: The Iwasawa decomposition $\mathfrak{g}=\mathfrak{k}_0 \oplus \hat{\mathfrak{a}}_0 \oplus \mathfrak{n}_0$ of the real semisimple Lie algebra $\mathfrak{g}_0$ comes from its Cartan decomposition $\mathfrak{g}_0=\mathfrak{k}_0 \oplus \mathfrak{p}_0$. Then we get $\mathfrak{g}_0=\mathfrak{k}_0 \oplus \mathfrak{b}_0$ where $\mathfrak{b}_0=\hat{\mathfrak{a}}_0 \oplus \mathfrak{n}_0$. The question of knowing if the index were additive in the decomposition $\mathfrak{g}_0=\mathfrak{k}_0 \oplus \mathfrak{b}_0$ goes back M. Ra\"{i}s \cite{Rais}. In \cite{Moreau3}, I wrote that the index always is additive for this decomposition. Precisly, I claim that the index of $\mathfrak{b}$ is given by the following formula : ${\rm ind} \mathfrak{b} = {\rm rk \} \mathfrak{g} - {\rm rk \} \mathfrak{k}$, where $\mathfrak{b}$ is the complexification of $\mathfrak{b}_0$. This result is false in general. We actually have an inequality : ${\rm ind} \mathfrak{b} \geq {\rm rg \} \mathfrak{g} - {\rm rg \} \mathfrak{k}$. The goal of this paper is to correct this mistake. We resume the approach of \cite{Moreau3} to obtain this time the previous inequality. Then we give in more a characterization of the semisimple real Lie algebra $\mathfrak{g}_0$ for which the index is additive in the decomposition $\mathfrak{g}_0=\mathfrak{k}_0 \oplus \mathfrak{b}_0$. Moreover, we study in this paper the quasi-reductive character of some subalgebras of $\mathfrak{g}$. This is a new part in comparison with \cite{Moreau3}.


title: Some inequalities for alternating Kurepa's function

abstract: In this paper we consider alternating Kurepa's function $A(z)$ \cite{Petojevic_02}. We give some recurrent relations for alternating Kurepa's function via appropriate sequences of rational functions and gamma function. Also we give some inequalities for the real part of alternating Kurepa's function $A(x)$ for values of argument $x>-2$. The obtained results are analogous to results from \cite{Malesevc_04}.


title: A note on knot Floer homology of links

abstract: Ozsvath and Szabo proved that knot Floer homology determines the genera of knots in S^3. We will generalize this deep result to links in homology 3-spheres, by adapting their method. Our proof relies on a result of Gabai and some constructions related to foliations. We also interpret a theorem of Kauffman in the world of knot Floer homology, hence we can compute the top filtration term of the knot Floer homology for alternative links.


title: Resolution of Singularities of Vector Fields in Dimension Three

abstract: Let X be an analytic vector field defined in a real analytic manifold of dimension three. We prove that all the singularities of X can be made elementary by a finite number of blowing-ups in the ambient space. New version: Some misprints have been corrected and the text have been slightly reorganized. The final version appears in Acta Mathematica -Volume 197, Number 2, 167-289.


title: Coniveau and the Grothendieck group of varieties

abstract: It is shown that if the generalized Hodge conjecture, or some weaker form of it, holds for a Calabi-Yau variety then it holds for any Calabi-Yau variety birationally equivalent to it. The key idea is to construct suitable homomorphisms between the Grothendieck group of varieties and the Grothendieck group of the exact category of filtered Hodge structures. This along with motivic integration yields the first statement.


title: A Laurent expansion for regularised integrals of holomorphic symbols

abstract: For a holomorphic family of classical pseudodifferential operators on a closed manifold we give exact formulae for all coefficients in the Laurent expansion of its Kontsevich-Vishik canonical trace. This generalizes a known result identifying the Wodzicki residue with the pole at zero to all higher order terms.


title: Energy of Twisted Harmonic Maps of Riemann Surfaces

abstract: The energy of harmonic sections of flat bundles of nonpositively curved (NPC) length spaces over a Riemann surface $S$ is a function $E_\rho$ on Teichm\"uller space $\Teich$ which is a qualitative invariant of the holonomy representation $\rho$ of $\pi_1(S)$. Adapting ideas of Sacks-Uhlenbeck, Schoen-Yau and Tromba, we show that the energy function $E_\rho$ is proper for any convex cocompact representation of the fundamental group. More generally, if $\rho$ is a discrete embedding onto a normal subgroup of a convex cocompact group $\Gamma$, then $E_\rho$ defines a proper function on the quotient $\Teich/Q$ where $Q$ is the subgroup of the mapping class group defined by $\Gamma/\rho(\pi_1(S))$. When the image of $\rho$ contains parabolic elements, then $E_\rho$ is not proper. Using the recent solution of Marden's Tameness Conjecture, we show that if $\rho$ is a discrete embedding into $\SLtC$, then $E_\rho$ is proper if and only if $\rho$ is quasi-Fuchsian. These results are used to prove that the mapping class group acts properly on the subset of convex cocompact representations.


title: Evaluation of Sylvester type determinants using block-triangularization

abstract: It is shown that the values of Sylvester type determinants for various orthogonal polynomials considered by Askey in [R.Askey, Evaluation of some determinants, Proceedings of the 4th ISAAC Congress, 200x, xxx-xxx] can be ascertained inductively using simple block-triangularization schemes.


title: Some identities for the Riemann zeta-function II

abstract: Some identities for the Riemann zeta-function are proved, using properties of the Mellin transform and M\"untz's identity.


title: Scaled Enflo type is equivalent to Rademacher type

abstract: We introduce the notion of scaled Enflo type of a metric space, and show that for Banach spaces, scaled Enflo type p is equivalent to Rademacher type p.


title: Minimal volume entropy on graphs

abstract: Among the normalized metrics on a graph, we show the existence and the uniqueness of an entropy-minimizing metric, and give explicit formulas for the minimal volume entropy and the metric realizing it.


title: Counting overlattices in automorphism groups of trees

abstract: We give an upper bound for the number of ``overlattices'' in the automorphism group of a tree, containing a fixed lattice with index n. For an example of a lattice in the automorphism group of a 2p-regular tree whose quotient is a loop, we obtain a lower bound of the asymptotic behavior as well.


title: The maximum size of $L$-functions

abstract: We conjecture the true rate of growth of the maximum size of the Riemann zeta function and other $L$-functions. We support our conjecture using arguments from random matrix theory, conjectures for moments of $L$-functions, and also by assuming a random model for the primes.


title: Balanced Leonard Pairs

abstract: Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. By a Leonard pair on $V$ we mean an ordered pair of linear transformations $A:V \to V$ and $A^*:V \to V$ that satisfy the following two conditions: (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A^*$ is irreducible tridiagonal and the matrix representing $A$ is diagonal. Let $v^*_0, ..., v^*_d$ (resp. $v_0, ..., v_d$) denote a basis for $V$ that satisfies (i) (resp. (ii)). For $0 \leq i \leq d$ let $a_i$ denote the coefficient of $v^*_i$, when we write $A v^*_i$ as a linear combination of $v^*_0, ..., v^*_d$, and let $a^*_i$ denote the coefficient of $v_i$, when we write $A^* v_i$ as a linear combination of $v_0..., v_d$. In this paper we show $a_0=a_d$ if and only if $a^*_0=a^*_d$. Moreover we show that for $d \geq 1$ the following are equivalent: (i) $a_0=a_d$ and $a_1=a_{d-1}$; (ii) $a^*_0=a^*_d$ and $a^*_1=a^*_{d-1}$; (iii) $a_i=a_{d-i}$ and $a^*_i=a^*_{d-i}$ for $0 \leq i \leq d$. We say $A$, $A^*$ is balanced whenever (i)--(iii) hold. We say $A$, $A^*$ is essentially bipartite (resp. essentially dual bipartite}) whenever $a_i$ (resp. $a^*_i$) is independent of $i$ for $0 \leq i \leq d$. Observe that if $A$, $A^*$ is essentially bipartite or dual bipartite, then $A$, $A^*$ is balanced. For $d \neq 2$ we show that if $A$, $A^*$ is balanced then $A$, $A^*$ is essentially bipartite or dual bipartite.


title: Harris Family of Discrete Distributions

abstract: In this paper we discuss the basic properties of a discrete distribution introduced by Harris in 1948 and obtain a characterization of it. The divisibility properties of the distribution are also studied. We derive the moment and maximum likelihood estimators for both the parameters and verify them by simulated observations.


title: On seminormal monoid rings

abstract: Given a seminormal affine monoid M we consider several monoid properties of M and their connections to ring properties of the associated affine monoid ring K[M] over a field K. We characterize when K[M] satisfies Serre's condition (S_2) and analyze the local cohomology of K[M]. As an application we present criteria which imply that K[M] is Cohen--Macaulay and we give lower bounds for the depth of K[M]. Finally, the seminormality of an arbitrary affine monoid M is studied with characteristic p methods.


title: Decay of Correlations for the Rauzy-Veech-Zorich Induction Map on the Space of Interval Exchange Transformations and the Central Limit Theorem for the Teichmueller Flow on the Moduli Space of Abelian Differentials

abstract: A stretched-exponential bound is obtained for the decay of correlations of the Rauzy-Veech-Zorich induction map on the space of interval exchange transformations. A Corollary is the Central Limit Theorem for the Teichmueller flow on the moduli space of abelian differentials. The proof involves an approximation of the induction map by a Markov chain satisfying the Doeblin condition, the method of Sinai and Bunimovich--Sinai. The main estimate is Lemma 4. As a corollary of such "loss of memory" estimates, integrability of a small power of the Kontsevich-Zorich cocycle is obtained, thus yielding a variant of J.Athreya's exponential bound on the probability of returns of the Teichmueller flow into compact sets. An earlier version of this preprint is available from the preprint archive of the Erwin Schroedinger Institute, Vienna, www.esi.ac.at, preprint no.1593 (Jan. 2005).


title: Combinatorial secant varieties

abstract: The construction of joins and secant varieties is studied in the combinatorial context of monomial ideals. For ideals generated by quadratic monomials, the generators of the secant ideals are obstructions to graph colorings, and this leads to a commutative algebra version of the Strong Perfect Graph Theorem. Given any projective variety and any term order, we explore whether the initial ideal of the secant ideal coincides with the secant ideal of the initial ideal. For toric varieties, this leads to the notion of delightful triangulations of convex polytopes.


title: Sparse equidistribution problems, period bounds, and subconvexity

abstract: We introduce a ``geometric'' method to bound periods of automorphic forms. The key features of this method are the use of equidistribution results in place of mean value theorems, and the systematic use of mixing and the spectral gap. Applications are given to equidistribution of sparse subsets of horocycles and to equidistribution of CM points; to subconvexity of the triple product period in the level aspect over number fields, which implies subconvexity for certain standard and Rankin-Selberg $L$-functions; and to bounding Fourier coefficients of automorphic forms.


title: Critical regularity for elliptic equations from Littlewood-Paley theory

abstract: Using simple facts from harmonic analysis, namely Bernstein inequality and Plansherel isometry, we prove that the pseudodifferential equation $\Delta^\alpha u+Vu=0$ improves the Sobolev regularity of solutions provided the potential $V$ is integrable with the critical power $n/2\alpha>1$.


title: Thinness for Scalar-Negative Singular Yamabe Metrics

abstract: This paper deals with the conformal deformation of the standard metric in a domain on the sphere to a complete metric with the constant scalar curvature. The problem of description of domains allowing such deformation originates in the works of Loewner and Nirenberg, and Schoen and Yau concerned with the locally conformally flat manifolds. The goal of this work is to apply ideas from the nonlinear potential theory to the problem. They allow, in particular, to solve the problem in the case of the constant negative scalar curvature.


title: Continuity theorems for the $M/M/1/n$ queueing system

abstract: In this paper continuity theorems are established for the number of losses during a busy period of the $M/M/1/n$ queue. We consider an $M/GI/1/n$ queueing system where the service time probability distribution, slightly different in a certain sense from the exponential distribution, is approximated by that exponential distribution. Continuity theorems are obtained in the form of one or two-sided stochastic inequalities. The paper shows how the bounds of these inequalities are changed if further assumptions, associated with specific properties of the service time distribution (precisely described in the paper), are made. Specifically, some parametric families of service time distributions are discussed, and the paper establishes uniform estimates (given for all possible values of the parameter) and local estimates (where the parameter is fixed and takes only the given value). The analysis of the paper is based on the level crossing approach and some characterization properties of the exponential distribution.


title: Diabatic Limit, Eta Invariants and Cauchy-Riemann Manifolds of Dimension 3

abstract: We relate a recently introduced non-local geometric invariant of compact strictly pseudoconvex Cauchy-Riemann (CR) manifolds of dimension 3 to various eta-invariants in CR geometry: on the one hand a renormalized eta-invariant appearing when considering a sequence of metrics converging to the CR structure by expanding the size of the Reeb field; on the other hand the eta-invariant of the middle degree operator of the contact complex. We then provide explicit computations for a class of examples: transverse circle invariant CR structures on Seifert manifolds. Applications are given to the problem of filling a CR manifold by a complex hyperbolic manifold, and more generally by a Kahler-Einstein or an Einstein metric.


title: Unoriented topological quantum field theory and link homology

abstract: We investigate link homology theories for stable equivalence classes of link diagrams on orientable surfaces. We apply (1+1)-dimensional unoriented topological quantum field theories to Bar-Natan's geometric formalism to define new theories for stable equivalence classes.


title: Special Lagrangian Curvature

abstract: We define the notion of special Lagrangian curvature, showing how it may be interpreted as an alternative higher dimensional generalisation of two dimensional Gaussian curvature. We obtain first a local rigidity result for this curvature when the ambiant manifold has negative sectional curvature. We then show how this curvature relates to the canonical special Legendrian structure of spherical subbundles of the tangent bundle of the ambiant manifold. This allows us to establish a strong compactness result. In the case where the special Lagrangian angle equals $(n-1)\pi/2$, we obtain compactness modulo a unique mode of degeneration, where a sequence of hypersurfaces wraps ever tighter round a geodesic.


title: Hyperbolic Plateau problems

abstract: We consider surfaces of constant Gaussian curvature immersed in 3-dimensional manifolds, and we strengthen the compactness result of Labourie in the case where the ambient manifold is 3-dimensional hyperbolic space. This allows us to prove results of existence of solutions to the asymptotic Plateau problem, as defined by Labourie, and the continuous dependence of these solutions on the data.


title: A new view of combinatorial maps by Smarandache's notion

abstract: On a geometrical view, the conception of map geometries are introduced, which is a nice model of the Smarandache geometries, also new kind of and more general intrinsic geometry of surface. Results convinced one that map geometries are Smarandache geometries and their enumertion are obtained. Open problems related combinatorial maps with the Riemann geometry and Smarandache geometries are also presented in this paper.


title: Pointed k-surfaces

abstract: Following on from ``Hyperbolic Plateau problems'' (by the same author), we provide a complete geometric description of solutions to the Plateau problem $(S,\phi)$ when $S$ is a compact Riemann surface with a finite number of points removed.


title: Sur le spectre du laplacien des fibr\'es en tores qui s'effondrent

abstract: We study the small eigenvalues of the Hodge Laplacian on collaping torus bundles with bounded curvature. In the first part of this dissertation, we consider examples of bundles on S^1 and T^2 with homogeneous structure. In the second part, we give a lower bound of the first non-zero eigenvalue of the 1-form Laplacian on principal torus bundles.


title: On a result of Miyanishi-Masuda

abstract: Let $X$ be an affine surface admitting a unique affine ruling and a $\mathbb C^*$-action. Assume that the ruling has a unique degenerate fibre and that this fibre is irreducible. In this paper we give a short proof of the following result of Miyanishi and Masuda: the universal covering of $X$ is a hypersurface in the affine 3-space given by the equation $x^my=z^d-1$, where $m>1$.


title: Convergence of quantum cohomology by quantum Lefschetz

abstract: Quantum Lefschetz theorem by Coates and Givental gives a relationship between the genus 0 Gromov-Witten theory of X and the twisted theory by a line bundle L on X. We prove the convergence of the twisted theory under the assumption that the genus 0 theory for original X converges. As a byproduct, we prove the semi-simplicity and the Virasoro conjecture for the Gromov-Witten theories of (not necessarily Fano) projective toric manifolds.


title: The existence of finitely generated modules of finite Gorenstein injective dimension

abstract: In this note, we study commutative Noetherian local rings having finitely generated modules of finite Gorenstein injective dimension. In particular, we consider whether such rings are Cohen-Macaulay.


title: A characterization of Prym varieties

abstract: We prove that Prym varieties of algebraic curves with two smooth fixed points of involution are exactly the indecomposable principally polarized abelian varieties whose theta-functions provide explicit formulae for integrable 2D Schr\"odinger equation.


title: Reconstruction and subgaussian operators

abstract: We present a randomized method to approximate any vector $v$ from some set $T \subset \R^n$. The data one is given is the set $T$, and $k$ scalar products $(\inr{X_i,v})_{i=1}^k$, where $(X_i)_{i=1}^k$ are i.i.d. isotropic subgaussian random vectors in $\R^n$, and $k \ll n$. We show that with high probability, any $y \in T$ for which $(\inr{X_i,y})_{i=1}^k$ is close to the data vector $(\inr{X_i,v})_{i=1}^k$ will be a good approximation of $v$, and that the degree of approximation is determined by a natural geometric parameter associated with the set $T$. We also investigate a random method to identify exactly any vector which has a relatively short support using linear subgaussian measurements as above. It turns out that our analysis, when applied to $\{-1,1\}$-valued vectors with i.i.d, symmetric entries, yields new information on the geometry of faces of random $\{-1,1\}$-polytope; we show that a $k$-dimensional random $\{-1,1\}$-polytope with $n$ vertices is $m$-neighborly for very large $m\le {ck/\log (c' n/k)}$. The proofs are based on new estimates on the behavior of the empirical process $\sup_{f \in F} |k^{-1}\sum_{i=1}^k f^2(X_i) -\E f^2 |$ when $F$ is a subset of the $L_2$ sphere. The estimates are given in terms of the $\gamma_2$ functional with respect to the $\psi_2$ metric on $F$, and hold both in exponential probability and in expectation.


title: Three-dimensional antipodal and norm-equilateral sets

abstract: We characterize the three-dimensional spaces admitting at least six or at least seven equidistant points. In particular, we show the existence of $C^\infty$ norms on $\R^3$ admitting six equidistant points, which refutes a conjecture of Lawlor and Morgan (1994, Pacific J. Math \textbf{166}, 55--83), and gives the existence of energy-minimizing cones with six regions for certain uniformly convex norms on $\R^3$. On the other hand, no differentiable norm on $\R^3$ admits seven equidistant points. A crucial ingredient in the proof is a classification of all three-dimensional antipodal sets. We also apply the results to the touching numbers of several three-dimensional convex bodies.


title: Singularity points for first passage percolation

abstract: Let $0<a<b<\infty$ be fixed scalars. Assign independently to each edge in the lattice $\mathbb{Z}^2$ the value $a$ with probability $p$ or the value $b$ with probability $1-p$. For all $u,v\in\mathbb{Z}^2$, let $T(u,v)$ denote the first passage time between $u$ and $v$. We show that there are points $x\in\mathbb{R}^2$ such that the ``time constant'' in the direction of $x$, namely, $\lim_{n\to\infty}n^{-1}\mathbf{E}_p[T(\mathbf{0},nx)],$ is not a three times differentiable function of $p$.


title: Reduced Decompositions and Permutation Patterns

abstract: Billey, Jockusch, and Stanley characterized 321-avoiding permutations by a property of their reduced decompositions. This paper generalizes that result with a detailed study of permutations via their reduced decompositions and the notion of pattern containment. These techniques are used to prove a new characterization of vexillary permutations in terms of their principal dual order ideals in a particular poset. Additionally, the combined frameworks yield several new results about the commutation classes of a permutation. In particular, these describe structural aspects of the corresponding graph of the classes and the zonotopal tilings of a polygon defined by Elnitsky that is associated with the permutation.


title: The first eigenvalue of the Laplacian, isoperimetric constants, and the Max Flow Min Cut Theorem

abstract: We show how 'test' vector fields may be used to give lower bounds for the Cheeger constant of a Euclidean domain (or Riemannian manifold with boundary), and hence for the lowest eigenvalue of the Dirichlet Laplacian on the domain. Also, we show that a continuous version of the classical Max Flow Min Cut Theorem for networks implies that Cheeger's constant may be obtained precisely from such vector fields. Finally, we apply these ideas to reprove a known lower bound for Cheeger's constant in terms of the inradius of a plane domain.


title: Non-selfadjoint perturbations of selfadjoint operators in 2 dimensions IIIa. One branching point

abstract: This is the third in a series of works devoted to spectral asymptotics for non-selfadjoint perturbations of selfadjoint $h$-pseudodifferential operators in dimension 2. We assume that the unperturbed operator has a periodic Hamilton flow, and study the remaining generic case; when the flow average of the perturbation has a saddle point


title: A class of reconstructible graphs

abstract: In this paper, we give a class of reconstructible graphs.


title: A new class of reconstructible graphs

abstract: In this paper, we give a new class of reconstructible graphs, which is an extension of my paper `A class of reconstructible graphs'.


title: Critical regularity for elliptic equations from Littlewood-Paley theory II

abstract: We establish a general theorem improving regularity of solutions of elliptic pseudodifferential equations. It allows to resolve in a unified way the regularity issue for a broad class of nonlinear elliptic equations and systems appearing in different areas of geometry and analysis.


title: Enumeration of ramified coverings of the sphere and 2-dimensional gravity

abstract: Let A be the algebra generated by the power series \sum n^{n-1} q^n/n! and \sum n^n q^n /n! . We prove that many natural generating functions lie in this algebra: those appearing in graph enumeration problems, in the intersection theory of moduli spaces M_{g,n} and in the enumeration of ramified coverings of the sphere. We argue that ramified coverings of the sphere with a large number of sheets provide a model of 2-dimensional gravity. Our results allow us to compute the asymptotic of the number of coverings as the number of sheets goes to infinity. The leading terms of such asymptotics are the values of certain observables in 2-dimensional gravity. We prove that they coincide with the values provided by other models. In particular, we recover a solution of the Painleve I equation and the string solution of the KdV hierarchy.


title: Separation of noncommutative differential calculus on quantum Minkowski space

abstract: Noncommutative differential calculus on quantum Minkowski space is not separated with respect to the standard generators, in the sense that partial derivatives of functions of a single generator can depend on all other generators. It is shown that this problem can be overcome by a separation of variables. We study the action of the universal L-matrix, appearing in the coproduct of partial derivatives, on generators. Powers of he resulting quantum Minkowski algebra valued matrices are calculated. This leads to a nonlinear coordinate transformation which essentially separates the calculus. A compact formula for general derivatives is obtained in form of a chain rule with partial Jackson derivatives. It is applied to the massive quantum Klein-Gordon equation by reducing it to an ordinary q-difference equation. The rest state solution can be expressed in terms of a product of q-exponential functions in the separated variables.


title: A short proof of affability for certain Cantor minimal $\Z^2$-systems

abstract: We will show that any extension of a product of two Cantor minimal $\Z$-systems is affable in the sense of Giordano, Putnam and Skau.


title: Affability of equivalence relations arising from two-dimensional substitution tilings

abstract: We will show that an equivalence relation on a Cantor set arising from a two-dimensional substitution tiling by polygons is affable in the sense of Giordano, Putnam and Skau.


title: Large time behavior of heat kernels on forms

abstract: We derive large time upper bounds for heat kernels on vector bundles of differential forms on a class of non-compact Riemannian manifolds under certain curvature conditions.


title: Embedding right-angled Artin groups into graph braid groups

abstract: We construct an embedding of any right-angled Artin group $G(\Delta)$ defined by a graph $\Delta$ into a graph braid group. The number of strands required for the braid group is equal to the chromatic number of $\Delta$. This construction yields an example of a hyperbolic surface subgroup embedded in a two strand planar graph braid group.


title: Filtered ends, proper holomorphic mappings of Kahler manifolds to Riemann surfaces, and Kahler groups

abstract: The main goal of this paper is to prove that a connected bounded geometry complete Kahler manifold which has at least 3 filtered ends admits a proper holomorphic mapping onto a Riemann surface. This also provides a different proof of the theorem of Gromov and Schoen that, for a connected compact Kahler manifold whose fundamental group admits a proper amalgamated product decomposition, some finite unramified cover admits a surjective holomorphic mapping onto a curve of genus at least 2. The main results are also used to show that any properly ascending HNN extension with finitely generated base group, as well as Thompson's groups V, T, and F, are not Kahler. This version contains details which will not appear in a version submitted for publication.


title: Large-deviations/thermodynamic approach to percolation on the complete graph

abstract: We present a large-deviations/thermodynamic approach to the classic problem of percolation on the complete graph. Specifically, we determine the large-deviation rate function for the probability that the giant component occupies a fixed fraction of the graph while all other components are ``small.'' One consequence is an immediate derivation of the ``cavity'' formula for the fraction of vertices in the giant component. As a by-product of our analysis we compute the large-deviation rate functions for the probability of the event that the random graph is connected, the event that it contains no cycles and the event that it contains only ``small'' components.


title: Bounds on Non-Symmetric Divergence Measures in Terms of Symmetric Divergence Measures

abstract: There are many information and divergence measures exist in the literature on information theory and statistics. The most famous among them are Kullback-Leibler (1951) relative information and Jeffreys (1951) J-divergence. Sibson (1969) Jensen-Shannon divergence has also found its applications in the literature. The author (1995) studied a new divergence measures based on arithmetic and geometric means. The measures like harmonic mean divergence and triangular discrimination are also known in the literature. Recently, Dragomir et al. (2001) also studies a new measure similar to J-divergence, we call here the relative J-divergence. Another measures arising due to Jensen-Shannon divergence is also studied by Lin (1991). Here we call it relative Jensen-Shannon divergence. Relative arithmetic-geometric divergence (ref. Taneja, 2004) is also studied here. All these measures can be written as particular cases of Csiszar's f-divergence. By putting some conditions on the probability distribution, the aim here is to obtain bounds among the measures.


title: Eigenvalues and degree deviation in graphs

abstract: Given a graph G of order n and size m, let s(G)= sum|d(u)-2m/n|, where the sum is taken over all vertices u of G. We investigate upper and lower bounds on eigenvalues of G in terms of s(G).


title: Additivity for parametrized topological Euler characteristic and Reidemeister torsion

abstract: Dwyer, Weiss, and Williams have recently defined the notions of parametrized topological Euler characteristic and parametrized topological Reidemeister torsion which are invariants of bundles of compact topological manifolds. We show that these invariants satisfy additivity formulas paralleling the additive properties of the classical Euler characteristic and Reidemeister torsion of finite CW-complexes.


title: Walks and the spectral radius of graphs

abstract: We give upper and lower bounds on the spectral radius of a graph in terms of the number of walks. We generalize a number of known results.


title: Eigenvalue problems of Nordhaus-Gaddum type

abstract: In 1970 Nosal gave upper and lower bounds on the sum of the spectral radii of a graph and its complement. We generalize this problem to other eigenvalues and give a number of bounds. We essentially solve the corresponding problem for the second eigenvalues.


title: Harmonic coordinates on fractals with finitely ramified cell structure

abstract: We define sets with finitely ramified cell structure, which are generalizations of p.c.f. self-similar sets introduced by Kigami and of fractafolds introduced by Strichartz. In general, we do not assume even local self-similarity, and allow countably many cells connected at each junction point. We prove that if Kigami's resistance form satisfies certain assumptions, then there exists a weak Riemannian metric such that the energy can be expressed as the integral of the norm squared of a weak gradient with respect to an energy measure. Furthermore, we prove that if such a set can be homeomorphically represented in harmonic coordinates, then for smooth functions the weak gradient can be replaced by the usual gradient. We also prove a simple formula for the energy measure Laplacian in harmonic coordinates.


title: Homological properties of color Lie superalgebras

abstract: Let $\mathcal{L}=\mathcal{L}_{+}\oplus \mathcal{L}_{-}$ be a finite dimensional color Lie superalgebra over a field of characteristic 0 with universal enveloping algebra $U(\mathcal{L})$. We show that $\limfunc{gldim}(U(\mathcal{L}_{+}))= \limfunc{lFPD}(U(\mathcal{L}))= \limfunc{rFPD}(U(\mathcal{L}))= \limfunc{injdim}_{U(\mathcal{L})}(U(\mathcal{L}))= \dim (\mathcal{L}_{+})$. We also prove that $U(\mathcal{L})$ is Auslander-Gorenstein and Cohen-Macaulay and thus that it has a QF classical quotient ring.


title: On Tannaka duality for vector bundles on p-adic curves

abstract: We prove that a category of degree zero vector bundles with "potentially strongly semistable reduction" on a p-adic curve is a neutral Tannakian category. We also make a first study of the corresponding affine group scheme. In particular, we determine its group of connected components using a theorem of Weil.


title: Transitive and Self-dual Codes Attaining the Tsfasman-Vladut-Zink Bound

abstract: We introduce - as a generalization of cyclic codes - the notion of transitive codes, and we show that the class of transitive codes is asymptotically good. Even more, transitive codes attain the Tsfasman-Vladut-Zink bound over F_q, for all aquares q=l^2. We also show that self-orthogonal and self-dual codes attain the Tsfasman-Vladut-Zink bound, thus improving previous results about self-dual codes attaining the Gilbert-Varshamov bound. The main tool is a new asymptotically optimal tower (E_n) of function fields over F_q where all extensions E_n/E_0 are Galois.


title: Acyclicity versus total acyclicity for complexes over noetherian rings

abstract: It is proved that for a commutative noetherian ring with dualizing complex the homotopy category of projective modules is equivalent, as a triangulated category, to the homotopy category of injective modules. Restricted to compact objects, this statement is a reinterpretation of Grothendieck's duality theorem. Using this equivalence it is proved that the (Verdier) quotient of the category of acyclic complexes of projectives by its subcategory of totally acyclic complexes and the corresponding category consisting of injective modules are equivalent. A new characterization is provided for complexes in Auslander categories and in Bass categories of such rings.


title: Sequential Multidimensional Spectral Estimation

abstract: By considering an empirical approximation, and a new class of operators that we will call walking operators, we construct, for any positive ND-toeplitz matrix, an infinite in all dimensions matrix, for which the inverse approximates the original matrix in its finite part. A recursive hierarchical algorithm is presented for sequential dimension spectral representation. A positive comparison in calculus cost, and numerical simulation, for 2D and 3D signals, is also presented.


title: On the asymptotic distribution of zeros of modular forms

abstract: We study the distribution of zeros of holomorphic modular forms. Assuming the Generalized Riemann Hypothesis we show that the zeros of Hecke eigenforms for the modular group become equidistributed with respect to the hyperbolic measure on the modular domain as the weight grows.


title: A note on noncommutative Poisson structures

abstract: We introduce a new type of noncommutative Poisson structure on associative algebras. It induces Poisson structures on the moduli spaces classifying semisimple modules. Path algebras of doubled quivers and preprojective algebras have noncommutative Poisson structures given by the necklace Lie algebra.


title: Percolation, boundary, noise: an experiment

abstract: The scaling limit of the critical percolation, is it a black noise? The answer depends on stability to perturbations concentrated along a line. This text, containing no proofs, reports experimental results that suggest the affirmative answer.


title: The Algebraic Theory of the Fundamental Germ

abstract: This paper introduces a notion of fundamental group appropriate for laminations.


title: Non-Emptiness of the Height Strata of the Moduli Stack of Polarized K3 Surfaces

abstract: In this paper we consider the following problem: For a given natural number $d$ and a prime $p$ determine all Newton polygons of polarized K3 surfaces of degree 2d over fields of characteristic $p$. This is an analogue of the Manin problem for Newton polygons of abelian varieties. This question is equivalent to determining the non-empty height strata of the moduli stack $\M_{2d}\otimes \F_p$ of K3 surfaces with a polarization of degree 2d over $\F_p$. We prove here that if $d$ is large enough and prime to $p$, then the height strata of $\M_{2d}\otimes \F_p$ are non-empty.


title: A structure theorem for quasi-Hopf comodule algebras

abstract: If H is a quasi-Hopf algebra and B is a right H-comodule algebra such that there exists v:H\to B a morphism of right H-comodule algebras, we prove that there exists a left H-module algebra A such that B\simeq A# H. The main difference comparing to the Hopf case is that, from the multiplication of B, which is associative, we have to obtain the multiplication of A, which in general is not; for this we use a canonical projection E arising from the fact that B becomes a quasi-Hopf H-bimodule.


title: Nilpotency, almost nonnegative curvature and the gradient flow

abstract: We show that almost nonnegatively curved m-dimensional manifolds are, up to finite cover, nilpotent spaces in the sense of homotopy theory and have C(m)-nilpotent fundamental groups. We also show that up to a finite cover almost nonnegatively curved manifolds are fiber bundles with simply connected fibers over nilmanifolds.


title: Combinatorial Interpretations of the q-Faulhaber and q-Salie Coefficients

abstract: Recently, Guo and Zeng discovered two families of polynomials featuring in a q-analogue of Faulhaber's formula for the sums of powers and a q-analogue of Gessel-Viennot's formula involving Salie's coefficients for the alternating sums of powers. In this paper, we show that these are polynomials with symmetric, nonnegative integral coefficients by refining Gessel-Viennot's combinatorial interpretations.


title: The Geometric Theory of the Fundamental Germ

abstract: The fundamental germ is a generalization of $\pi_{1}$, first defined for laminations which arise through group actions in math.DG/0506270. In this paper, the fundamental germ is extended to any lamination having a dense leaf admitting a smooth structure. In addition, an amplification of the fundamental germ called the mother germ is constructed, which is, unlike the fundamental germ, a topological invariant. The fundamental germs of the antenna lamination and the $PSL(2,\Z)$ lamination are calculated, laminations for which the definition in math.DG/0506270 was not available. The mother germ is used to give a proof of a Nielsen theorem for the algebraic universal cover of a closed surface of hyperbolic type.


title: Hilbert-Schmidt groups as infinite-dimensional Lie groups and their Riemannian geometry

abstract: We describe the exponential map from an infinite-dimensional Lie algebra to an infinite-dimensional group of operators on a Hilbert space. Notions of differential geometry are introduced for these groups. In particular, the Ricci curvature, which is understood as the limit of the Ricci curvature of finite-dimensional groups, is calculated. We show that for some of these groups the Ricci curvature is $-\infty$.


title: Arithmetic properties of projective varieties of almost minimal degree

abstract: We study the arithmetic properties of projective varieties of almost minimal degree, that is of non-degenerate irreducible projective varieties whose degree exceeds the codimension by precisely 2. We notably show, that such a variety $X \subset {\mathbb P}^r$ is either arithmetically normal (and arithmetically Gorenstein) or a projection of a variety of minimal degree $\tilde {X} \subset {\mathbb P}^{r + 1}$ from an appropriate point $p \in {\mathbb P}^{r + 1} \setminus \tilde {X}$. We focus on the latter situation and study $X$ by means of the projection $\tilde {X} \to X$. If $X$ is not arithmetically Cohen-Macaulay, the homogeneous coordinate ring $B$ of the projecting variety $\tilde {X}$ is the endomorphism ring of the canonical module $K(A)$ of the homogeneous coordinate ring $A$ of $X.$ If $X$ is non-normal and is maximally Del Pezzo, that is arithmetically Cohen-Macaulay but not arithmetically normal $B$ is just the graded integral closure of $A.$ It turns out, that the geometry of the projection $\tilde {X} \to X$ is governed by the arithmetic depth of $X$ in any case. We study in particular the case in which the projecting variety $\tilde {X} \subset {\mathbb P}^{r + 1}$ is a cone (over a) rational normal scroll. In this case $X$ is contained in a variety of minimal degree $Y \subset {\mathbb P}^r$ such that $\codim_Y(X) = 1$. We use this to approximate the Betti numbers of $X$. In addition we present several examples to illustrate our results and we draw some of the links to Fujita's classification of polarized varieties of $\Delta $-genus 1.


title: q-Euler and Genocchi numbers

abstract: Carlitz has introduced an interesting $q$-analogue of Frobenius-Euler numbers in [4]. He has indicated a corresponding Stadudt-Clausen theorem and also some interesting congruence properties of the $q$-Euler numbers. In this paper we give another construction of $q$-Euler numbers, which are different than his $q$-Euler numbers. By using our $q$-Euler numbers, we define the $q$-analogue of Genocchi numbers and investigate the relations between $q$-Euler numbers and $q$-analogs of Genocchi numbers.


title: On varieties of almost minimal degree in small codimension

abstract: The aim of the present exposition is to investigate varieties of almost minimal degree and of low codimension, in particular their Betti diagrams. Here minimal degree is defined as $\deg X = \codim X + 2.$ We describe the structure of the minimal free resolution of a variety $X$ of almost minimal degree of $\codim X \leq 4$ by listing the possible Betti diagrams. The most surprising fact is, that the non-arithmetically Cohen-Macaulay case of varieties of almost minimal degree can occur only in small dimensions (cf. Section 2 for the precise statements). Our main technical tool is a result shown by the authors (cf. \cite{BS}), which says that besides of an exceptional case, (that is the generic projection of the Veronese surface in $\mathbb P^5_K$) any non-arithmetically normal (and in particular non-arithmetically Cohen-Macaulay) variety of almost minimal degree $X \subset \mathbb P^r_K$ (which is not a cone) is contained in a variety of minimal degree $Y \subset \mathbb P^r_K$ such that $\codim(X,Y) = 1.


title: Stability of relative equilibria with singular momentum values in simple mechanical systems

abstract: A method for testing $G_\mu$-stability of relative equilibria in Hamiltonian systems of the form "kinetic + potential energy" is presented. This method extends the Reduced Energy-Momentum Method of Simo et al. to the case of non-free group actions and singular momentum values. A normal form for the symplectic matrix at a relative equilibrium is also obtained.


title: Explicit representations by halfspaces of the edge cone of a graph

abstract: Let G be an arbitrary simple graph. The main results are explicit representations of the edge cone of G as a finite intersection of closed halfspaces. If G is bipartite and connected we determine the facets of the edge cone and present a canonical irreducible representation.


title: Analyticity on translates of a Jordan curve

abstract: Let C be real-analytic simple closed curve in the complex plane which is symmetric with respect to the real axis. Let r>0 be such that C+ir misses C-ir. We prove that if a continuous function f extends holomorphically from C+it for each t in [-r,r] then f is holomorphic.


title: The diagonal distribution for the invariant measure of a unitary type symmetric space

abstract: Let U denote a simply connected compact Lie group, let K denote the fixed point set for an involutive automorphism of U, and let m denote the U-invariant probability measure on the symmetric space U/K. Consider the geodesic embedding U/K into U of Cartan. In this paper we compute the diagonal distribution for m, relative to a compatible triangular decomposition of G, the complexification of U. This boils down to a Duistermaat-Heckman exact stationary phase calculation, involving a Poisson structure on the dual symmetric space G_0/K discovered by Evens and Lu.


title: A new method for constructing invariant subspaces

abstract: The method of compatible sequences is introduced in order to produce non-trivial (closed) invariant subspaces of (bounded linear) operators. Also a topological tool is used which is new in the search of invariant subspaces: the extraction of continuous selections of lower semicontinuous set valued functions. The advantage of this method over previously known methods is that if an operator acts on a reflexive Banach space then it has a non-trivial invariant subspace if and only if there exist compatible sequences (their definition refers to a fixed operator). Using compatible sequences a result of Aronszajn-Smith is proved for reflexive Banach spaces. Also it is shown that if $X$ be a reflexive Banach space, $T \in {\mathcal L} (X)$, and $A$ is any closed ball of $X$, then either there exists $v \in A$ such that $Tv=0$, or there exists $v \in A$ such that $\bar{\text{Span}} \text{Orb}_T (Tv)$ is a non-trivial invariant subspace of $T$, or $A \subseteq \bar{\text{Span}} \{T^k x_{\ell} : \ell \in {\mathbb N}, 1 \leq k \leq \ell \} $ for every $(x_n)_n \in A^{\mathbb N}$.


title: An invariant of finite group actions on shifts of finite type

abstract: We describe a pair of invariants for actions of finite groups on shifts of finite type, the left-reduced and right-reduced shifts. The left-reduced shift was first constructed by U. Fiebig, who showed that its zeta function is an invariant, and in fact equal to the zeta function of the quotient dynamical system. We also give conditions for expansivity of the quotient, and applications to combinatorial group theory, knot theory and topological quantum field theory.


title: Statistics of Extreme Spacings in Determinantal Random Point Processes

abstract: We study translation-invariant determinantal random point fields on the real line. We prove, under quite general conditions, that the smallest nearest spacings between the particles in a large interval have Poisson statistics as the length of the interval goes to infinity.


title: Galleries, Hall-Littlewood polynomials and structure constants of the spherical Hecke algebra

abstract: We provide a combinatorial description of the coefficients appearing in the expansion of Hall-Littlewood polynomials in terms of monomial symmetric functions. We also give a Littlewood-Richardson rule for Hall-Littlewood polynomials. For proving this we use galleries to calculate Satake coefficients and structure constants of spherical Hecke algebras with arbitrary parameters.


title: First Order Definability of Trees and Sparse Random Graphs

abstract: Let D(G) be the smallest quantifier depth of a first order formula which is true for a graph G but false for any other non-isomorphic graph. This can be viewed as a measure for the first order descriptive complexity of G. We will show that almost surely D(G)=\Theta(\ln n/\ln\ln n), where G is a random tree of order n or the giant component of a random graph G(n,c/n) with constant c>1. These results rely on computing the maximum of D(T) for a tree T of order n and maximum degree l, so we study this problem as well.


title: Stability of FD-TD schemes for Maxwell-Debye and Maxwell-Lorentz equations

abstract: The stability of five finite difference-time domain (FD-TD) schemes coupling Maxwell equations to Debye or Lorentz models have been analyzed in [1] (P.G. Petropoulos, "Stability and phase error analysis of FD-TD in dispersive dielectrics", IEEE Transactions on Antennas and Propagation, vol. 42, no. 1, pp. 62--69, 1994), where numerical evidence for specific media have been used. We use von Neumann analysis to give necessary and sufficient stability conditions for these schemes for any medium, in accordance with the partial results of [1].


title: Hurst exponent estimation of locally self-similar Gaussian processes using sample quantiles

abstract: This paper is devoted to the introduction of a new class of consistent estimators of the fractal dimension of locally self-similar Gaussian processes. These estimators are based on convex combinations of sample quantiles of discrete variations of a sample path over a discrete grid of the interval $[0,1]$. We derive the almost sure convergence and the asymptotic normality for these estimators. The key-ingredient is a Bahadur representation for sample quantiles of non-linear functions of Gaussians sequences with correlation function decreasing as $k^{-\alpha}L(k)$ for some $\alpha>0$ and some slowly varying function $L(\cdot)$.


title: Galois Corings and a Jacobson-Bourbaki type Correspondence

abstract: The Jacobson-Bourbaki Theorem for division rings was formulated in terms of corings by Sweedler in 1975. Finiteness conditions hypotheses are not required in this new approach. In this paper we extend Sweedler's result to simple artinian rings using a particular class of corings, comatrix corings. A Jacobson-Bourbaki like correspondence for simple artinian rings is then obtained by duality.


title: On the global stable manifold

abstract: We give an alternative proof of the stable manifold theorem as an application of the (right and left) inverse mapping theorem on a space of sequences. We investigate the diffeomorphism class of the global stable manifold, a problem which in the general Banach setting gives rise to subtle questions about the possibility of extending germs of diffeomorphisms.


title: Note on the rational points of a pfaff curve

abstract: Let X be the graph in the plane of a pfaffian function f (in the sense of Khovanskii). Suppose X is not algebraic. This note gives an upper bound for the number of rational points on X of height up to X. The bound is uniform in the order and degre of f.


title: An adjacency criterion for the prime graph of a finite simple group

abstract: In the paper we give an exhaustive arithmetic criterion of adjacency in prime graph $GK(G)$ for every finite nonabelian simple group $G$. By using this criterion for all finite simple groups an independence set with the maximal number of vertices, an independence set containing 2 with the maximal number of vertices, and the orders of these independence sets are given. We assemble this information in the tables at the end of the paper. Several applications of obtained results for various problems of finite group theory are considered.


abstract: The minimum dilatation of pseudo-Anosov 5-braids is shown to be the largest zero $\lambda_5 \approx 1.72208$ of $x^4 - x^3 - x^2 - x + 1$ which is attained by $\sigma_1\sigma_2\sigma_3\sigma_4\sigma_1\sigma_2$.


title: Invariant Bayesian estimation on manifolds

abstract: A frequent and well-founded criticism of the maximum a posteriori (MAP) and minimum mean squared error (MMSE) estimates of a continuous parameter \gamma taking values in a differentiable manifold \Gamma is that they are not invariant to arbitrary ``reparameterizations'' of \Gamma. This paper clarifies the issues surrounding this problem, by pointing out the difference between coordinate invariance, which is a sine qua non for a mathematically well-defined problem, and diffeomorphism invariance, which is a substantial issue, and then provides a solution. We first show that the presence of a metric structure on \Gamma can be used to define coordinate-invariant MAP and MMSE estimates, and we argue that this is the natural way to proceed. We then discuss the choice of a metric structure on \Gamma. By imposing an invariance criterion natural within a Bayesian framework, we show that this choice is essentially unique. It does not necessarily correspond to a choice of coordinates. In cases of complete prior ignorance, when Jeffreys' prior is used, the invariant MAP estimate reduces to the maximum likelihood estimate. The invariant MAP estimate coincides with the minimum message length (MML) estimate, but no discretization or approximation is used in its derivation.


title: Sampling and interpolation in radial weighted spaces of analytic functions

abstract: We obtain sampling and interpolation theorems in radial weighted spaces of analytic functions for weights of arbitrary (more rapid than polynomial) growth. We give an application to invariant subspaces of arbitrary index in large weighted Bergman spaces.


title: Generic initial ideals and exterior algebraic shifting of the join of simplicial complexes

abstract: In this paper, the relation between algebraic shifting and join which was conjectured by Eran Nevo will be proved. Let $\sigma$ and $\tau$ be simplicial complexes and $\sigma * \tau$ their join. Let $J_\sigma$ be the exterior face ideal of $\sigma$ and $\Delta(\sigma)$ the exterior algebraic shifted complex of $\sigma$. Assume that $\sigma * \tau$ is a simplicial complex on $[n]=\{1,2,...,n\}$. For any $d$-subset $S \subset [n]$, let $m_{\preceq_{rev} S}(\sigma)$ denote the number of $d$-subsets $R \in \sigma$ which is equal to or smaller than $S$ w.r.t. the reverse lexicographic order. We will prove that $m_{\preceq_{rev} S}(\Delta({\sigma * \tau}))\geq m_{\preceq_{rev} S}(\Delta ({\Delta(\sigma)} * {\Delta (\tau)}))$ for all $S \subset [n]$. To prove this fact, we also prove that $m_{\preceq_{rev} S}(\Delta(\sigma))\geq m_{\preceq_{rev} S}(\Delta({\Delta_{\phi}(\sigma)}))$ for all $S\subset [n]$ and for all non-singular matrices $\phi$, where $\Delta_{\phi}(\sigma)$ is the simplicial complex defined by $J_{\Delta_{\phi}(\sigma)}=\init(\phi(J_\sigma))$.


title: Discrete Lagrangian and Hamiltonian Mechanics on Lie groupoids

abstract: The purpose of this paper is to describe geometrically discrete Lagrangian and Hamiltonian Mechanics on Lie groupoids. From a variational principle we derive the discrete Euler-Lagrange equations and we introduce a symplectic 2-section, which is preserved by the Lagrange evolution operator. In terms of the discrete Legendre transformations we define the Hamiltonian evolution operator which is a symplectic map with respect to the canonical symplectic 2-section on the prolongation of the dual of the Lie algebroid of the given groupoid. The equations we get include as particular cases the classical discrete Euler-Lagrange equations, the discrete Euler-Poincar\'e and discrete Lagrange-Poincar\'e equations. Our results can be important for the construction of geometric integrators for continuous Lagrangian systems.


title: Local central limit theorems, the high-order correlations of rejective sampling and logistic likelihood asymptotics

abstract: Let I_1,...,I_n be independent but not necessarily identically distributed Bernoulli random variables, and let X_n=\sum_{j=1}^nI_j. For \nu in a bounded region, a local central limit theorem expansion of P(X_n=EX_n+\nu) is developed to any given degree. By conditioning, this expansion provides information on the high-order correlation structure of dependent, weighted sampling schemes of a population E (a special case of which is simple random sampling), where a set d\subset E is sampled with probability proportional to \prod_{A\in d}x_A, where x_A are positive weights associated with individuals A\in E. These results are used to determine the asymptotic information, and demonstrate the consistency and asymptotic normality of the conditional and unconditional logistic likelihood estimator for unmatched case-control study designs in which sets of controls of the same size are sampled with equal probability.


title: Sheaves on fibered threefolds and quiver sheaves

abstract: This paper classifies a class of holomorphic D-branes, closely related to framed torsion-free sheaves, on threefolds fibered in resolved ADE surfaces over a general curve C, in terms of representations with relations of a twisted Kronheimer--Nakajima-type quiver in the category Coh(C) of coherent sheaves on C. For the local Calabi--Yau case C\cong\A^1 and special choice of framing, one recovers the N=1 ADE quiver studied by Cachazo--Katz--Vafa.


title: Negation and Involutive Adjunction

abstract: This note analyzes in terms of categorial proof theory some standard assumptions about negation in the absence of any other connective. It is shown that the assumptions for an involutive negation, like classical negation, make a kind of adjoint situation, which is named involutive adjunction. The notion of involutive adjunction amounts in a precise sense to adjunction where an endofunctor is adjoint to itself.


title: On composite and non-monotonic growth functions of Mealy automata

abstract: We introduce the notion of composite growth function and provide examples that illustrate the primary properties of these growth functions. There are provided examples of Mealy automata that have composite non-monotonic growth functions of the polynomial growth order. There are described examples of Mealy automata that have composite monotonic growth functions of intermediate and exponential growth. The questions concerning the interrelation between the notions ``composite'' and ``non-monotonic'' of a Mealy automaton growth function are formulated.


title: Skew-product for group-valued edge labellings of Bratteli diagrams

abstract: Group valued edge labellings $\lambda$ of a Bratteli diagram $B$ give rise to a skew-product Bratteli diagram $B(\lambda)$ on which the group acts. The quotient by the group action of the associated dynamics can be a nontrivial extension of the dynamics of $B$. We exhibit a Bratteli diagram for this quotient and construct a morphism to $B$ with unique path lifting property. This is shown to be an isomorphism for the dynamics if a property `loops lifting to loops' is satisfied by $B(\lambda)\to B$.


title: The K-group of substitutional systems

abstract: In another article we associated a dynamical system to a non-properly ordered Bratteli diagram. In this article we describe how to compute the $K-$group $K_0$ of the dynamical system in terms of the Bratteli diagram. In the case of properly ordered Bratteli diagrams this description coincides with what is already known, namely the so-called dimension group of the Bratteli diagram. The new ordered group defined here is more relevant for non-properly ordered Bratteli diagrams. We use our main result to describe $K_0$ of a substitutional system.