New developments in the theory of Groebner bases and applications to formal verification

Abstract: We present foundational work on standard bases over rings and on Boolean Groebner bases in the framework of Boolean functions. The research was motivated by our collaboration with electrical engineers and computer scientists on problems arising from formal verification of digital circuits. In fact, algebraic modelling of formal verification problems is developed on the word-level as well as on the bit-level. The word-level model leads to Groebner basis in the polynomial ring over Z/2n while the bit-level model leads to Boolean Groebner bases. In addition to the theoretical foundations of both approaches, the algorithms have been implemented. Using these implementations we show that special data structures and the exploitation of symmetries make Groebner bases competitive to state-of-the-art tools from formal verification but having the advantage of being systematic and more flexible.


Rings over which the class of Gorenstein flat modules is closed under extensions

Abstract: A ring $R$ is called left GF-closed, if the class of all Gorenstein flat left $R$-modules is closed under extensions. The class of left GF-closed rings includes strictly the one of right coherent rings and the one of rings of finite weak dimension. In this paper, we investigate the Gorenstein flat dimension over left GF-closed rings. Namely, we generalize the fact that the class of all Gorenstein flat left modules is projectively resolving over right coherent rings to left GF-closed rings. Also, we generalize the characterization of Gorenstein flat left modules (then of Gorenstein flat dimension of left modules) over right coherent rings to left GF-closed rings. Finally, using direct products of rings, we show how to construct a left GF-closed ring that is neither right coherent nor of finite weak dimension.


Markov partitions reflecting the geometry of x2,x3

Abstract: We give an explicit geometric description of the $\times2,\times3$ system, and use his to study a uniform family of Markov partitions related to those of Wilson and Abramov. The behaviour of these partitions is stable across expansive cones and transitions in this behaviour detects the non-expansive lines.


Imprecise probability trees: Bridging two theories of imprecise probability

Abstract: We give an overview of two approaches to probability theory where lower and upper probabilities, rather than probabilities, are used: Walley's behavioural theory of imprecise probabilities, and Shafer and Vovk's game-theoretic account of probability. We show that the two theories are more closely related than would be suspected at first sight, and we establish a correspondence between them that (i) has an interesting interpretation, and (ii) allows us to freely import results from one theory into the other. Our approach leads to an account of probability trees and random processes in the framework of Walley's theory. We indicate how our results can be used to reduce the computational complexity of dealing with imprecision in probability trees, and we prove an interesting and quite general version of the weak law of large numbers.


Adjamagbo Determinant and Serre conjecture for linear groups over Weyl algebras

Abstract: Thanks to the theory of determinants over an Ore domain, also called Adjamagbo determinant by the Russian school of non commutative algebra, we extend to any Weyl algebra over a field of characteristic zero Suslin theorem solving what Suslin himself called the $K_1$-analogue of the well-known Serre Conjecture and asserting that for any integer $n$ greater than 2, any $n$ by $n$ matrix with coefficients in any algebra of polynomials over a field and with determinant one is the product of elementary matrices with coefficients in this algebra


Stochastic processes and their spectral representations over non-archimedean fields

Abstract: The article is devoted to stochastic processes with values in finite- and infinite-dimensional vector spaces over infinite fields $\bf K$ of zero characteristics with non-trivial non-archimedean norms. For different types of stochastic processes controlled by measures with values in $\bf K$ and in complete topological vector spaces over $\bf K$ stochastic integrals are investigated. Vector valued measures and integrals in spaces over $\bf K$ are studied. Theorems about spectral decompositions of non-archimedean stochastic processes are proved.


The typical countable algebra

Abstract: We argue that it makes sense to talk about ``typical'' properties of lattices, and then show that there is, up to isomorphism, a unique countable lattice L* (the Fraisse limit of the class of finite lattices) that has all ``typical'' properties. Among these properties are: L* is simple and locally finite, every order preserving function can be interpolated by a lattice polynomial, and every finite lattice or countable locally finite lattice embeds into L*. The same arguments apply to other classes of algebras assuming they have a Fraisse limit and satisfy the finite embeddability property.


Sur le Th\'eor\`eme Principal de Zariski en G\'eom\'etrie Alg\'ebrique et G\'eom\'etrie Analytique

Abstract: On Zariski Main Theorem in Algebraic Geometry and Analytic Geometry. We fill a surprising gap of Complex Analytic Geometry by proving the analogue of Zariski Main Theorem in this geometry, i.e. proving that an holomorphic map from an irreducible analytic space to a normal irreducible one is an open embedding if and only if all its fibers are discrete and it induces a bimeromorphic map on its image. We prove more generally the "Generalized Zariski Main Theorem for analytic spaces", which claims that an holomorphic map from an irreducible analytic space to a irreducible locally irreducible one is an open embedding if and only if it is flat and induces a bimeromorphic map on its image. Thanks to the "analytic criterion of regularity" of Serre-Samuel in GAGA [12] and to "Lefschetz Principle", we finally deduce the "Generalized Zariski Main Theorem for algebraic varieties of characteristical zero", which claims that a morphism from such an irreducible variety to an irreducible unibranch one is an open immersion if and only if it is birational and flat. ----- Nous comblons une lacune \'etonnante de la G\'eom\'etrie Analytique Complexe en prouvant l'analogue du Th\'eor\`eme Principal de Zariski dans cette g\'eom\'etrie, c'est-\`a-dire en prouvant que toute application holomorphe d'un espace analytique irreductible dans un espace analytique normal et irreductible est un plongement ouvert si et seulement si toutes ses fibres sont discr\`etes et si elle induit une application bim\'eromorphe sur son image. Nous prouvons plus g\'en\'eralement le ``Th\'eor\`eme Principal de Zariski G\'en\'eralis\'e pour les espaces analytiques'', qui affirme qu'une application holomorphe d'un espace analytique irreductible dans un espace analytique irreductible et localement irreductible est un plongement ouvert si et seulement si elle est plate et induit une application bim\'eromorphe sur son image. Gr\^ace au ``crit\^ere analytique de r\'egularit\'e'' de Serre-Samuel dans GAGA \cite{serre} et au ``Principe de Lefschetz'', nous en d\'eduisons enfin le ``Th\'eor\`eme Principal de Zariski G\'en\'eralis\'e pour les vari\'et\'es alg\'ebriques de caract\'eristique nulle'', qui affirme qu'un morphisme d'une telle vari\'et\'e irreductible dans une autre unibranche est une immersion ouverte si et seulement s'il est birationnel et plat.


Optimal co-adapted coupling for the symmetric random walk on the hypercube

Abstract: Let X and Y be two simple symmetric continuous-time random walks on the vertices of the n-dimensional hypercube. We consider the class of co-adapted couplings of these processes, and describe an intuitive coupling which is shown to be the fastest in this class.


On the singularity of random matrices with independent entries

Abstract: We consider n by n real matrices whose entries are non-degenerate random variables that are independent but non necessarily identically distributed, and show that the probability that such a matrix is singular is O(1/sqrt{n}). The purpose of this note is to provide a short and elementary proof of this fact using a Bernoulli decomposition of arbitrary non degenerate random variables.


Arakelov theory of noncommutative arithmetic surfaces

Abstract: The purpose of this paper is to initiate Arakelov theory in a noncommutative setting. More precisely, we are concerned with noncommutative arithmetic surfaces. We introduce a version of arithmetic intersection theory on noncommutative arithmetic surfaces and we prove an arithmetic Riemann-Roch theorem in this setup.


Classification of two dimensional split trianguline representations of $p$-adic fields

Abstract: The aim of this paper is to classify two dimensional split trianguline representations of $p$-adic fields. This is a generalization of a result of Colmez who classified two dimensional split trianguline representations of $\mathrm{Gal}(\bar{\mathbb{Q}}_p/\mathbb{Q}_p)$ by using $(\phi,\Gamma)$-modules over Robba ring. In this paper, we classify two dimensional split trianguline representations of $\mathrm{Gal}(\bar{K}/K)$ for general $p$-adic field $K$ by using $B$-pairs defined by Berger.


A Galois correspondence for compact quantum group actions

Abstract: We establish a Galois correspondence for a minimal action of a compact quantum group ${\mathbb G}$ on a von Neumann factor $M$. This extends the result of Izumi, Longo and Popa who treated the case of a Kac algebra. Namely, there exists a one-to-one correspondence between the lattice of left coideals of ${\mathbb G}$ and that of intermediate subfactors of $M^{\mathbb G}\subset M$.


Packing 3-vertex paths in cubic 3-connected graphs

Abstract: Let v(G) and p(G) be the number of vertices and the maximum number of disjoint 3-vertex paths in G, respectively. We discuss the following old Problem: Is the following claim (P) true ? (P) if G is a 3-connected and cubic graph, then p(G) = [v(G)/3], where [v(G)/3] is the floor of v(G)/3. We show, in particular, that claim (P) is equivalent to some seemingly stronger claims. It follows that if claim (P) is true, then Reed's dominating graph conjecture (see [14]) is true for cubic 3-connected graphs.


Homogeneous geodesics of non-unimodular Lorentzian Lie groups and naturally reductive Lorentzian spaces in dimension three

Abstract: We determine, for all three-dimensional non-unimodular Lie groups equipped with a Lorentzian metric, the set of homogeneous geodesics through a point. Together with the results of [C] and [CM2], this leads to the full classification of three-dimensional Lorentzian g.o. spaces and naturally reductive spaces.


Balanced routing of random calls

Abstract: We consider an online network routing problem in continuous time, where calls have Poisson arrivals and exponential durations. The first-fit dynamic alternative routing algorithm sequentially selects up to $d$ random two-link routes between the two endpoints of a call, via an intermediate node, and assigns the call to the first route with spare capacity on each link, if there is such a route. The balanced dynamic alternative routing algorithm simultaneously selects $d$ random two-link routes, and the call is accepted on a route minimising the maximum of the loads on its two links, provided neither of these two links is saturated. We determine the capacities needed for these algorithms to route calls successfully and find that the balanced algorithm requires a much smaller capacity. In order to handle such interacting random processes on networks, we develop appropriate tools such as lemmas on biased random walks.


Finitely Additive Supermartingales

Abstract: The concept of finitely additive supermartingales, originally due to Bochner, is revived and developed. We exploit it to study measure decompositions over filtered probability spaces and the properties of the associated Dol\'{e}ans-Dade measure. We obtain versions of the Doob Meyer decomposition and, as an application, we establish a version of the Bichteler and Dellacherie theorem with no exogenous probability measure.


Exchangeable lower previsions

Abstract: We extend de Finetti's (1937) notion of exchangeability to finite and countable sequences of variables, when a subject's beliefs about them are modelled using coherent lower previsions rather than (linear) previsions. We prove representation theorems in both the finite and the countable case, in terms of sampling without and with replacement, respectively. We also establish a convergence result for sample means of exchangeable sequences. Finally, we study and solve the problem of exchangeable natural extension: how to find the most conservative (point-wise smallest) coherent and exchangeable lower prevision that dominates a given lower prevision.


On the remainder in the Taylor theorem

Abstract: We give a short straightforward proof for the bound of the reminder term in the Taylor theorem. The proof uses only induction and the fact that $f'\geq 0$ implies the monotonicity of $f$, so it might be an attractive proof to give to undergraduate students.


On asymptotic stability in energy space of ground states of NLS in 2D

Abstract: We transpose work by K.Yajima and by T.Mizumachi to prove dispersive and smoothing estimates for dispersive solutions of the linearization at a ground state of a Nonlinear Schr\"odinger equation (NLS) in 2D. As an application we extend to dimension 2D a result on asymptotic stability of ground states of NLS proved in the literature for all dimensions different from 2.


LR-algebras

Abstract: In the study of NIL-affine actions on nilpotent Lie groups we introduced so called LR-structures on Lie algebras. The aim of this paper is to consider the existence question of LR-structures, and to start a structure theory of LR-algebras. We show that any Lie algebra admitting an LR-structure is 2-step solvable. Conversely we find several classes of 2-step solvable Lie algebras admitting an LR-structure, but also classes not admitting such a structure. We study also ideals in LR-algebras, and classify low-dimensional real LR-algebras.


GIT stability of weighted pointed curves

Abstract: Here I give a direct proof that smooth curves with distinct marked points are asymptotically Hilbert stable with respect to a wide range of parameter spaces and linearizations. This result can be used to construct the coarse moduli space of Deligne-Mumford stable pointed curves \bar M_g,n and Hassett's moduli spaces of weighted pointed curves \bar M_g,A (though the full construction of the moduli spaces is not contained in this paper, only the stability proof). My proof follows Gieseker's approach to reduce to the GIT problem to a combinatorial problem, though the solution is very different. The action of any 1-PS lambda on a curve C in P^N gives rise to weighted filtrations of H^0 (C, O(1)) and H^0 (C, O(m)), and I give a recipe in terms of the combinatorics of the base loci of the stages of these filtrations for showing that C is stable with respect to lambda.


Radial components, prehomogeneous vector spaces, and rational Cherednik algebras

Abstract: Let V be a finite dimensional representation of the connected complex reductive group H. Denote by G the derived subgroup of H and assume that the categorical quotient of V by G is one dimensional. In this situation there exists a homomorphism, denoted by rad, from the algebra A of G-invariant differential operators on V to the first Weyl algebra. We show that the image of rad is isomorphic to the spherical subalgebra of a Cherednik algebra, whose parameters are determined by the b-function of the relative invariant associated to the prehomogeneous vector space (H : V). If (H : V) is furthemore assumed to be multiplicity free we obtain a Howe duality between a set of representations of G and modules over a subalgebra of the associative Lie algebra A. Some applications to holonomic modules and H-equivariant D-modules on V are also given.


Game-theoretic Brownian motion

Abstract: This paper suggests a perfect-information game, along the lines of Levy's characterization of Brownian motion, that formalizes the process of Brownian motion in game-theoretic probability. This is perhaps the simplest situation where probability emerges in a non-stochastic environment.


Longest increasing subsequences, Plancherel-type measure and the Hecke insertion algorithm

Abstract: We define and study the Plancherel-Hecke probability measure on Young diagrams; the Hecke algorithm of [Buch-Kresch-Shimozono-Tamvakis-Yong '06] is interpreted as a polynomial-time exact sampling algorithm for this measure. Using the results of [Thomas-Yong '07] on jeu de taquin for increasing tableaux, a symmetry property of the Hecke algorithm is proved, in terms of longest strictly increasing/decreasing subsequences of words. This parallels classical theorems of [Schensted '61] and of [Knuth '70], respectively, on the Schensted and Robinson-Schensted-Knuth algorithms. We investigate, and conjecture about, the limit typical shape of the measure, in analogy with work of [Vershik-Kerov '77], [Logan-Shepp '77] and others on the ``longest increasing subsequence problem'' for permutations. We also include a related extension of [Aldous-Diaconis '99] on patience sorting. Together, these results provide a new rationale for the study of increasing tableau combinatorics, distinct from the original algebraic-geometric ones concerning K-theoretic Schubert calculus.


Monodromy in Hamiltonian Floer theory

Abstract: Schwarz showed that when a closed symplectic manifold (M,\om) is symplectically aspherical (i.e. the symplectic form and the first Chern class vanish on \pi_2(M)) then the spectral invariants, which are initially defined on the universal cover of the Hamiltonian group, descend to the Hamiltonian group Ham (M,\om). In this note we describe less stringent conditions on the Chern class and quantum homology of M under which the (asymptotic) spectral invariants descend to Ham (M,\om). For example, they descend if the quantum multiplication of M is undeformed and H_2(M) has rank >1, or if the minimal Chern number is at least n+1 (where \dim M=2n) and the even cohomology of M is generated by divisors. The proofs are based on certain calculations of genus zero Gromov--Witten invariants. As an application, we show that the Hamiltonian group of the one point blow up of T^4 admits a Calabi quasimorphism. Moreover, whenever the (asymptotic) spectral invariants descend it is easy to see that Ham (M,\om) has infinite diameter in the Hofer norm. Hence our results establish the infinite diameter of Ham in many new cases. We also show that the area pseudonorm -- a geometric version of the Hofer norm -- is nontrivial on the (compactly supported) Hamiltonian group for all noncompact manifolds as well as for a large class of closed manifolds.


SL(n,Z[t]) is not FP_{n-1}

Abstract: We prove the result from the title using the geometry of Euclidean buildings.


Highest weight theory for finite W-algebras

Abstract: We define analogues of Verma modules for finite W-algebras. By the usual ideas of highest weight theory, this is a first step towards the classification of finite dimensional irreducible modules. Motivated by known results in type A, we then formulate some precise conjectures in the case of nilpotent orbits of standard Levi type.


A Beurling-Helson type theorem for modulation spaces

Abstract: We prove a Beurling-Helson type theorem on modulation spaces. More precisely, we show that the only $\mathcal{C}^{1}$ changes of variables that leave invariant the modulation spaces $\M{p,q}(\rd)$ are affine functions on $\rd$. A special case of our result involving the Sj\"ostrand algebra was considered earlier by A. Boulkhemair.


Homological algebra in bivariant K-theory and other triangulated categories. II

Abstract: We use homological ideals in triangulated categories to get a sufficient criterion for a pair of subcategories in a triangulated category to be complementary. We apply this criterion to construct the Baum-Connes assembly map for locally compact groups and torsion-free discrete quantum groups. Our methods are related to the abstract version of the Adams spectral sequence by Brinkmann and Christensen.


Cup products and L-values of cusp forms

Abstract: In this note, we describe a conjecture, that, for an odd prime p, relates special values of a cup product pairing on cyclotomic p-units in the pth cyclotomic field to the L-values of newforms satisfying modulo p congruences with Eisenstein series.


On maxima of periodograms of stationary processes

Abstract: We consider the limit distribution of maxima of periodograms for stationary processes. Our method is based on $m$-dependent approximation for stationary processes and a moderate deviation result.


On Galois groups of unramified pro-p extensions

Abstract: Let p be an odd prime satisfying Vandiver's conjecture. We consider two objects, the Galois group X of the maximal unramified abelian pro-p extension of the compositum of all Z_p-extensions of the pth cyclotomic field and the Galois group G of the unramified pro-p extension of the cyclotomic field of all p-power roots of unity. We give a lower bound for the height of the annihilator of X as an Iwasawa module. Under some mild assumptions on Bernoulli numbers, we provide a necessary and sufficient condition for G to be abelian. The bound and the condition in the two results are given in terms of the special values of a cup product pairing on cyclotomic p-units. We obtain, in particular, that for p less than 1000, Greenberg's conjecture on the pseudo-nullity of X holds and G is in fact abelian.


Computation of 2-groups of positive classes of exceptional number fields

Abstract: We present an algorithm for computing the 2-group of the positive divisor classes of a number field F in case F has exceptional dyadic places. As an application, we compute the 2-rank of the wild kernel WK2(F) in K2(F) for such number fields.


Central and $L^p$-concentration of 1-Lipschitz maps into $\mathbb{R}$-trees

Abstract: In this paper, we study the L\'{e}vy-Milman concentration phenomenon of 1-Lipschitz maps from mm-spaces to $\mathbb{R}$-trees. Our main theorems assert that the concentration to $\mathbb{R}$-trees is equivalent to the concentration to the real line.


Multifractal analysis of non-uniformly hyperbolic systems

Abstract: We prove a multifractal formalism for Birkhoff averages of continuous functions in the case of some non-uniformly hyperbolic maps, which includes interval examples such as the Manneville--Pomeau map.


The Eulerian distribution on self evacuated involutions

Abstract: We present an extensive study of the Eulerian distribution on the set of self evacuated involutions, namely, involutions corresponding to standard Young tableaux that are fixed under the Sch$\ddot{\textrm{u}}$tzenberger map. We find some combinatorial properties for the generating polynomial of such distribution, together with an explicit formula for its coefficients. Afterwards, we carry out an analogous study for the subset of self evacuated involutions without fixed points.


Rationally connected $3$-folds and symplectic geometry

Abstract: We study the following question, asked to us By Pandharipande and Starr: Let $X$ be a rationally connected $3$-fold, and $Y$ be a compact Kaehler $3$-fold symplectically equivalent to it. Is $Y$ rationally connected? We show that the answer is positive if $X$ is Fano or $b_2(X)\leq2$.


On multilinearity and skew-symmetry of certain symbols in motivic cohomology of fields

Abstract: The purpose of the present article is to show the multilinearity for symbols in Goodwillie-Lichtenbaum complex in two cases. The first case shown is where the degree is equal to the weight. In this case, the motivic cohomology groups of a field are isomorphic to the Milnor's K-groups as shown by Nesterenko-Suslin, Totaro and Suslin-Voevodsky for various motivic complexes, but we give an explicit isomorphism for Goodwillie-Lichtenbaum complex in a form which visibly carries multilinearity of Milnor's symbols to our multilinearity of motivic symbols. Next, we establish multilinearity and skew-symmetry for irreducible Goodwillie-Lichtenbaum symbols in H^{l-1} (Spec k, Z(l)). These properties have been expected to hold from the author's construction of a bilinear form of dilogarithm in case k is a subfield of the field of complex numbers and l=2. Next, we establish multilinearity and skew-symmetry for Goodwillie-Lichtenbaum symbols in H^{l-1} (Spec k, Z(l)). These properties have been expected to hold from the author's construction of a bilinear form of dilogarithm in case k is a subfield of the field of complex numbers and l=2. The multilinearity of symbols may be viewed as a generalization of the well-known formula det(AB) = det(A) det(B) for tuples of commuting matrices.


Integral points on generic fibers

Abstract: Let P(x,y) be a rational polynomial and k in Q be a generic value. If the curve (P(x,y)=k) is irreducible and admits an infinite number of points whose coordinates are integers then there exist algebraic automorphisms that send P(x,y) to the polynomial x or to x^2-dy^2. Moreover for such curves (and others) we give a sharp bound for the number of integral points (x,y) with x and y bounded.


Geometric approach towards stable homotopy groups of spheres. The Steenrod-Hopf invariant I

Abstract: In this paper a geometric approach toward stable homotopy groups of spheres, based on the Pontrjagin-Thom construction is proposed. From this approach a new proof of Hopf Invariant One Theorem by J.F.Adams for all dimensions except $15,31,63,127$ is obtained. It is proved that for $n>127$ in the stable homotopy group of spheres $\Pi_n$ there is no elements with Hopf invariant one. The new proof is based on geometric topology methods. The Pontrjagin-Thom Theorem (in the form proposed by R.Wells) about the representation of stable homotopy groups of the real projective infinite-dimensional space (this groups is mapped onto 2-components of stable homotopy groups of spheres by the Khan-Priddy Theorem) by cobordism classes of immersions of codimension 1 of closed manifolds (generally speaking, non-orientable) is considered. The Hopf Invariant is expressed as a characteristic number of the dihedral group for the self-intersection manifold of an immersed codimension 1 manifold that represents the given element in the stable homotopy group. In the new proof the Geometric Control Principle (by M.Gromov) for immersions in a given regular homotopy classes based on Smale-Hirsch Immersion Theorem is required.


Geometric approach towards stable homotopy groups of spheres. The Kervaire invariant II

Abstract: The notion of the geometrical $\Z/2 \oplus \Z/2$--control of self-intersection of a skew-framed immersion and the notion of the $\Z/2 \oplus \Z/4$-structure (the cyclic structure) on the self-intersection manifold of a $\D_4$-framed immersion are introduced. It is shown that a skew-framed immersion $f:M^{\frac{3n+q}{4}} \looparrowright \R^n$, $0 < q <<n$ (in the $\frac{3n}{4}+\epsilon$-range) admits a geometrical $\Z/2 \oplus \Z/2$--control if the characteristic class of the skew-framing of this immersion admits a retraction of the order $q$, i.e. there exists a mapping $\kappa_0: M^{\frac{3n+q}{4}} \to \RP^{\frac{3(n-q)}{4}}$, such that this composition $I \circ \kappa_0: M^{\frac{3n+q}{4}} \to \RP^{\frac{3(n-q)}{4}} \to \RP^{\infty}$ is the characteristic class of the skew-framing of $f$. Using the notion of $\Z/2 \oplus \Z/2$-control we prove that for a sufficiently great $n$, $n=2^l-2$, an arbitrary immersed $\D_4$-framed manifold admits in the regular cobordism class (modulo odd torsion) an immersion with a $\Z/2 \oplus \Z/4$-structure. In the last section we present an approach toward the Kervaire Invariant One Problem.


Deformation data, Belyi maps, and the local lifting problem

Abstract: We prove existence and nonexistence results for certain differential forms in positive characteristic, called {\em good deformation data}. Some of these results are obtained by reduction modulo $p$ of Belyi maps. As an application, we solve the local lifting problem for groups with Sylow $p$-subgroup of order $p$.


Discretisation of heterogeneous and anisotropic diffusion problems on general non-conforming meshes. SUSHI: a scheme using stabilisation and hybrid interfaces

Abstract: A discretisation scheme for heterogeneous anisotropic diffusion problems on general meshes is developed and studied. The unknowns of this scheme are the values at the centre of the control volumes and at some internal interfaces which may for instance be chosen at the diffusion tensor discontinuities. The scheme is therefore completely cell centred if no edge unknown is kept. It is shown to be accurate on several numerical examples. Mathematical convergence of the approximate solution to the continuous solution is obtained for general (possibly discontinuous) tensors, general (possibly non-conforming) meshes, and with no regularity assumption on the solution. An error estimate is then drawn under sufficient regularity assumptions on the solution.


Parameterizations and fitting of bi-directed graph models to categorical data

Abstract: We discuss two parameterizations of models for marginal independencies for discrete distributions which are representable by bi-directed graph models, under the global Markov property. Such models are useful data analytic tools especially if used in combination with other graphical models. The first parameterization, in the saturated case, is also known as the multivariate logistic transformation, the second is a variant that allows, in some (but not all) cases, variation independent parameters. An algorithm for maximum likelihood fitting is proposed, based on an extension of the Aitchison and Silvey method.


The distribution of prime numbers on the square root spiral

Abstract: Prime Numbers clearly accumulate on defined spiral graphs,which run through the Square Root Spiral. These spiral graphs can be assigned to different spiral-systems, in which all spiral-graphs have the same direction of rotation and the same -- second difference -- between the numbers, which lie on these spiral-graphs. A mathematical analysis shows, that these spiral graphs are caused exclusively by quadratic polynomials. For example the well known Euler Polynomial x2+x+41 appears on the Square Root Spiral in the form of three spiral-graphs, which are defined by three different quadratic polynomials. All natural numbers,divisible by a certain prime factor, also lie on defined spiral graphs on the Square Root Spiral (or Spiral of Theodorus, or Wurzelspirale). And the Square Numbers 4, 9, 16, 25, 36 even form a highly three-symmetrical system of three spiral graphs, which divides the square root spiral into three equal areas. Fibonacci number sequences also play a part in the structure of the Square Root Spiral. With the help of the Number-Spiral, described by Mr. Robert Sachs, a comparison can be drawn between the Square Root Spiral and the Ulam Spiral. The shown sections of his study of the number spiral contain diagrams, which are related to my analysis results, especially in regards to the distribution of prime numbers.


Large Deviations for Stochastic Evolution Equations with Small Multiplicative Noise

Abstract: The Freidlin-Wentzell large deviation principle is established for the distributions of stochastic evolution equations with general monotone drift and small multiplicative noise. As examples, the main results are applied to derive the large deviation principle for different types of SPDE such as stochastic reaction-diffusion equations, stochastic porous media equations and fast diffusion equations, and the stochastic p-Laplace equation in Hilbert space. The weak convergence approach is employed in the proof to establish the Laplace principle, which is equivalent to the large deviation principle in our framework.


Boundedness of Fourier Integral Operators on $\mathcal{F} L^p$ spaces

Abstract: We study the action of Fourier Integral Operators (FIOs) of H{\"o}rmander's type on ${\mathcal{F}} L^p({\mathbb {R}}^d_{comp}$, $1\leq p\leq\infty$. We see, from the Beurling-Helson theorem, that generally FIOs of order zero fail to be bounded on these spaces when $p\not=2$, the counterexample being given by any smooth non-linear change of variable. Here we show that FIOs of order $m=-d|1/2-1/p|$ are instead bounded. Moreover, this loss of derivatives is proved to be sharp in every dimension $d\geq1$, even for phases which are linear in the dual variables. The proofs make use of tools from time-frequency analysis such as the theory of modulation spaces.


Counting RSA-integers

Abstract: In the RSA cryptosystem integers of the form n=p.q with p and q primes of comparable size (`RSA-integers') play an important role. It is a folklore result of cryptographers that C_r(x), the number of integers n<=x that are of the form n=pq with p and q primes such that p<q<rp, is for fixed r>1 asymptotically equal to c_r*x*log^{-2}x for some constant c_r>0. Here we prove this and show that c_r=2log r.


A prime-to-p version of the Grothendieck anabelian conjecture for hyperbolic curves over finite fields of characteristic p>0

Abstract: In this paper, we prove a prime-to-p version of Grothendieck's anabelian conjecture for hyperbolic curves over finite fields of characteristic p>0, whose original (full profinite) version was proved by Tamagawa in the affine case and by Mochizuki in the proper case.


The Quiver of Projectives in Hereditary Categories with Serre Duality

Abstract: Let k be an algebraically closed field and A a k-linear hereditary category satisfying Serre duality with no infinite radicals between the preprojective objects. If A is generated by the preprojective objects, then we show that A is derived equivalent to rep_k Q for a so called strongly locally finite quiver Q. To this end, we introduce light cone distances and round trip distances on quivers which will be used to investigate sections in stable translation quivers of the form \mathbb{Z} Q.


On classes defining a homological dimension

Abstract: A class $\mathcal F$ of objects of an abelian category $\mathcal A$ is said to define a \emph{homological dimension} if for any object in $\mathcal A$ the length of any $\mathcal F$-resolution is uniquely determined. In the present paper we investigate classes satisfying this property.


Algebraic and combinatorial properties of ideals and algebras of uniform clutters of TDI systems

Abstract: Let C be a uniform clutter, i.e., all the edges of C have the same size, and let A be the incidence matrix of C. We denote the column vectors of A by v1,...,vq. The vertex covering number of C, denoted by g, is the smallest number of vertices in any minimal vertex cover of C. Under certain conditions we prove that C is vertex critical. If C satisfies the max-flow min-cut property, we prove that A diagonalizes over the integers to an identity matrix and that v1,...,vq is a Hilbert basis. It is shown that if C has a perfect matching such that C has the packing property and g=2, then A diagonalizes over the integers to an identity matrix. If A is a balanced matrix we prove that any regular triangulation of the cone generated by v1,...,vq is unimodular. Some examples are presented to show that our results only hold for uniform clutters. These results are closely related to certain algebraic properties, such as the normality or torsion freeness, of blowup algebras of edge ideals and to finitely generated abelian groups. They are also related to the theory of Gr\"obner bases of toric ideals and to Ehrhart rings.


On k-resonant fullerene graphs

Abstract: A fullerene graph $F$ is a 3-connected plane cubic graph with exactly 12 pentagons and the remaining hexagons. Let $M$ be a perfect matching of $F$. A cycle $C$ of $F$ is $M$-alternating if the edges of $C$ appear alternately in and off $M$. A set $\mathcal H$ of disjoint hexagons of $F$ is called a resonant pattern (or sextet pattern) if $F$ has a perfect matching $M$ such that all hexagons in $\mathcal H$ are $M$-alternating. A fullerene graph $F$ is $k$-resonant if any $i$ ($0\leq i \leq k$) disjoint hexagons of $F$ form a resonant pattern. In this paper, we prove that every hexagon of a fullerene graph is resonant and all leapfrog fullerene graphs are 2-resonant. Further, we show that a 3-resonant fullerene graph has at most 60 vertices and construct all nine 3-resonant fullerene graphs, which are also $k$-resonant for every integer $k>3$. Finally, sextet polynomials of the 3-resonant fullerene graphs are computed.


Differential Galois Theory of Linear Difference Equations

Abstract: We present a Galois theory of difference equations designed to measure the differential dependencies among solutions of linear difference equations. With this we are able to reprove Hoelder's Theorem that the Gamma function satisfies no polynomial differential equation and are able to give general results that imply, for example, that no differential relationship holds among solutions of certain classes of q-hypergeometric functions.


Theory of Bergman spaces (I)

Abstract: These notes are part of the research seminar with title "Theory of Bergman spaces and related function spaces" that took place in the University of Crete, Department of Mathematics (September 2006- December 2007), in the framework of the research program PYTHAGORAS II(75% European funds--25% Greek national funds).


Symplectic 4-manifolds with a free circle action

Abstract: The content of this unpublished paper is subsumed in successive work of the authors, in particular arXiv:1102.0820, arXiv:1102.0821 and arXiv:1205.2434.


A new bound on the number of special fibers in a pencil of curves

Abstract: In the previous paper by Pereira and the author, it was proved that any pencil of plane curves of degree greater than one with irreducible generic fiber can have at most five completely reducible fibers although no examples with five such fibers were ever found. Recently Janis Stipins has proved that if any two fibers of a pencil intersect transversally then it cannot have five completely reducible fibers. In this paper we generalize the Stipins result to arbitrary pencils. We also include into consideration more general special fibers that are the unions of lines and non-reduced curves. These fibers are important for characteristic varieties of line complements.


Approximate stabilization of a quantum particle in a 1D infinite square potential well

Abstract: We consider a non relativistic charged particle in a 1-dimensional infinite square potential well. This quantum system is subjected to a control, which is a uniform (in space) time depending electric field. It is represented by a complex probability amplitude solution of a Schrodinger equation on a 1-dimensional bounded domain, with Dirichlet boundary conditions. We prove the almost global approximate stabilization of the eigenstates by explicit feedback laws.


Sparse Fourier Transform via Butterfly Algorithm

Abstract: We introduce a fast algorithm for computing sparse Fourier transforms supported on smooth curves or surfaces. This problem appear naturally in several important problems in wave scattering and reflection seismology. The main observation is that the interaction between a frequency region and a spatial region is approximately low rank if the product of their radii are bounded by the maximum frequency. Based on this property, equivalent sources located at Cartesian grids are used to speed up the computation of the interaction between these two regions. The overall structure of our algorithm follows the recently-introduced butterfly algorithm. The computation is further accelerated by exploiting the tensor-product property of the Fourier kernel in two and three dimensions. The proposed algorithm is accurate and has an $O(N \log N)$ complexity. Finally, we present numerical results in both two and three dimensions.


Multiplicity matrices for the affine graded Hecke algebra

Abstract: In this paper, we look at the problem of determining the composition factors for the affine graded Hecke algebra via the computation of Kazhdan-Lusztig type polynomials. We review the algorithms of \cite{L1,L2}, and use them in particular to compute, at every real central character which admits tempered modules, the geometric parameterization, the Kazhdan-Lusztig polynomials, the composition series, and the Iwahori-Matsumoto involution for the representations with Iwahori fixed vectors of the split $p$-adic groups of type $G_2$ and $F_4$.


A Lie-theoretic construction of representations of the degenerate affine and double affine Hecke algebras of type $BC_n$

Abstract: Let G=GL(N), K=GL(p)xGL(q), where p+q=N, and n be a positive integer. We construct a functor from the category of Harish-Chandra modules for the pair (G,K) to the category of representations of the degenerate affine Hecke algebra of type B_n, and a functor from the category of K-monodromic twisted D-modules on G/K to the category of representations of the degenerate double affine Hecke algebra of type BC_n; the second functor is an extension of the first one. These functors are generalizations of the type A functors from q-alg/9710037 and math/0702670, respectively.


Left inverses of matrices with polynomial decay

Abstract: The algebra of Schur operators on l^2 is known not to be inverse-closed. When l^2=l^2(X) where X is a metric space, we can consider elements of the Schur algebra with certain decay at infinity. For instance if X has the doubling property, then Q. Sun has proved that the weighted Schur algebra for a strictly polynomial weight is inverse-closed. Here, we prove a result dealing with left-invertibility. Namely, if such an operator is bounded below in l^p for some p, then it is bounded below for all q, and it admits a left-inverse in the weighted Schur algebra.


The Higher Transvectants are Redundant

Abstract: Let A, B denote generic binary forms, and let u_r = (A,B)_r denote their r-th transvectant in the sense of classical invariant theory. In this paper we classify all the quadratic syzygies between the u_r. As a consequence, we show that each of the higher transvectants u_r, r>1, is redundant in the sense that it can be completely recovered from u_0 and u_1. This result can be geometrically interpreted in terms of the incomplete Segre imbedding. The calculations rely upon the Cauchy exact sequence of SL_2-representations, and the notion of a 9-j symbol from the quantum theory of angular momentum. We give explicit computational examples for SL_3, g_2 and S_5 to show that this result has possible analogues for other categories of representations.


Comments on "Reverse auction: the lowest positive integer game"

Abstract: In Zeng et al. [Fluct. Noise Lett. 7 (2007) L439--L447] the analysis of the lowest unique positive integer game is simplified by some reasonable assumptions that make the problem tractable for arbitrary numbers of players. However, here we show that the solution obtained for rational players is not a Nash equilibrium and that a rational utility maximizer with full computational capability would arrive at a solution with a superior expected payoff. An exact solution is presented for the three- and four-player cases and an approximate solution for an arbitrary number of players.


Razborov flag algebras as algebras of measurable functions

Abstract: These are some brief notes on the translation from Razborov's recently-developed notion of flag algebra into the lexicon of functions and measures on certain abstract Cantor spaces (totally disconnected compact metric spaces).


The canonical sheaf of Du Bois singularities

Abstract: We prove that a Cohen-Macaulay normal variety $X$ has Du Bois singularities if and only if $\pi_*\omega_{X'}(G) \simeq \omega_X$ for a log resolution $\pi: X' \to X$, where $G$ is the reduced exceptional divisor of $\pi$. Many basic theorems about Du Bois singularities become transparent using this characterization (including the fact that Cohen-Macaulay log canonical singularities are Du Bois). We also give a straightforward and self-contained proof that (generalizations of) semi-log-canonical singularities are Du Bois, in the Cohen-Macaulay case. It also follows that the Kodaira vanishing theorem holds for semi-log-canonical varieties and that Cohen-Macaulay semi-log-canonical singularities are cohomologically insignificant in the sense of Dolgachev.


Compactification des vari\'et\'es de Deligne-Lusztig

Abstract: We construct explicitly the normalisation of the Bott-Samelson-Demazure-Hansen compactification of Deligne-Lusztig varieties $X(w)$ in their covering $Y(w)$: we retrieve a result by Deligne-Lusztig about the local monodromy around the divisors of the compactification.


Basic differential geometry as a sequence of interesting problems

Abstract: This book is expository and is in Russian (sample English translation of two pages is given). It is shown how in the course of solution of interesting geometric problems (close to applications) naturally appear different notions of curvature, which distinguish given geometry from the 'ordinary' one. Direct elementary definitions of these notions are presented. The book is accessible for students familiar with analysis of several variables, and could be an interesting easy reading for professional mathematicians. The material is presented as a sequence of problems, which is peculiar not only to Zen monasteries but also to serious mathematical education.


Bounds and asymptotic minimal growth for Gorenstein Hilbert functions

Abstract: We determine new bounds on the entries of Gorenstein Hilbert functions, both in any fixed codimension and asymptotically. Our first main theorem is a lower bound for the degree $i+1$ entry of a Gorenstein $h$-vector, in terms of its entry in degree $i$. This result carries interesting applications concerning unimodality: indeed, an important consequence is that, given $r$ and $i$, all Gorenstein $h$-vectors of codimension $r$ and socle degree $e\geq e_0=e_0(r,i)$ (this function being explicitly computed) are unimodal up to degree $i+1$. This immediately gives a new proof of a theorem of Stanley that all Gorenstein $h$-vectors in codimension three are unimodal. Our second main theorem is an asymptotic formula for the least value that the $i$-th entry of a Gorenstein $h$-vector may assume, in terms of codimension, $r$, and socle degree, $e$. This theorem broadly generalizes a recent result of ours, where we proved a conjecture of Stanley predicting that asymptotic value in the specific case $e=4$ and $i=2$, as well as a result of Kleinschmidt which concerned the logarithmic asymptotic behavior in degree $i= \lfloor \frac{e}{2} \rfloor $.


Homological properties of cochain Differential Graded algebras

Abstract: Consider a local chain Differential Graded algebra, such as the singular chain complex of a pathwise connected topological group. In two previous papers, a number of homological results were proved for such an algebra: An Amplitude Inequality, an Auslander-Buchsbaum Equality, and a Gap Theorem. These were inspired by homological ring theory. By the so-called looking glass principle, one would expect that analogous results exist for simply connected cochain Differential Graded algebras, such as the singular cochain complex of a simply connected topological space. Indeed, this paper establishes such analogous results.


Note on a Conjecture of Wegner

Abstract: The optimal packings of n unit discs in the plane are known for those natural numbers n, which satisfy certain number theoretic conditions. Their geometric realizations are the extremal Groemer packings (or Wegner packings). But an extremal Groemer packing of n unit discs does not exist for all natural numbers n and in this case, the number n is called exceptional. We are interested in number theoretic characterizations of the exceptional numbers. A counterexample is given to a conjecture of Wegner concerning such a characterization. We further give a characterization of the exceptional numbers, whose shape is closely related to that of Wegner's conjecture.


Reduction theory for mapping class groups and applications to moduli spaces

Abstract: Let $S=S_{g,p}$ be a compact, orientable surface of genus $g$ with $p$ punctures and such that $d(S):=3g-3+p>0$. The mapping class group $\textup{Mod}_S$ acts properly discontinuously on the Teichm\"uller space $\mathcal T(S)$ of marked hyperbolic structures on $S$. The resulting quotient $\mathcal M(S)$ is the moduli space of isometry classes of hyperbolic surfaces. We provide a version of precise reduction theory for finite index subgroups of $\textup{Mod}_S$, i.e., a description of exact fundamental domains. As an application we show that the asymptotic cone of the moduli space $\mathcal M(S)$ endowed with the Teichm\"uller metric is bi-Lipschitz equivalent to the Euclidean cone over the finite simplicial (orbi-) complex $ \textup{Mod}_S\backslash\mathcal C(S)$, where $\mathcal C(S)$ of $S$ is the complex of curves of $S$. We also show that if $d(S)\geq 2$, then $\mathcal M(S)$ does \emph{not} admit a finite volume Riemannian metric of (uniformly bounded) positive scalar curvature in the bi-Lipschitz class of the Teichm\"uller metric. These two applications confirm conjectures of Farb.


Generating function identities for $\zeta(2n+2), \zeta(2n+3)$ via the WZ method

Abstract: Using the WZ method we present simpler proofs of Koecher's, Leshchiner's and Bailey-Borwein-Bradley's identities for generating functions of the sequences $\{\zeta(2n+2)\}_{n\ge 0}, \{\zeta(2n+3)\}_{n\ge 0}.$ By the same method we give several new representations for these generating functions yielding faster convergent series for values of the Riemann zeta function.


Estimation of ordinal pattern probabilities in fractional Brownian motion

Abstract: For equidistant discretizations of fractional Brownian motion (fBm), the probabilities of ordinal patterns of order d=2 are monotonically related to the Hurst parameter H. By plugging the sample relative frequency of those patterns indicating changes between up and down into the monotonic relation to H, one obtains the Zero Crossing (ZC) estimator of the Hurst parameter which has found considerable attention in mathematical and applied research. In this paper, we generally discuss the estimation of ordinal pattern probabilities in fBm. As it turns out, according to the sufficiency principle, for ordinal patterns of order d=2 any reasonable estimator is an affine functional of the sample relative frequency of changes. We establish strong consistency of the estimators and show them to be asymptotically normal for H<3/4. Further, we derive confidence intervals for the Hurst parameter. Simulation studies show that the ZC estimator has larger variance but less bias than the HEAF estimator of the Hurst parameter.


Isomorphisms of unitary forms of Kac-Moody groups over finite fields

Abstract: We use methods developed by Caprace and M\"uhlherr to solve the isomorphism problem of unitary forms of infinite split Kac-Moody groups over finite fields of square order.


A Hadwiger-type theorem for the special unitary group

Abstract: The dimension of the space of SU(n) and translation invariant continuous valuations on $\mathbb{C}^n, n \geq 2$ is computed. For even $n$, this dimension equals $(n^2+3n+10)/2$; for odd $n$ it equals $(n^2+3n+6)/2$. An explicit geometric basis of this space is constructed. The kinematic formulas for SU(n) are obtained as corollaries.


Random subgraphs of the 2D Hamming graph: the supercritical phase

Abstract: We study random subgraphs of the 2-dimensional Hamming graph H(2,n), which is the Cartesian product of two complete graphs on $n$ vertices. Let $p$ be the edge probability, and write $p=\frac{1+\vep}{2(n-1)}$ for some $\vep\in \R$. In Borgs et al., Random subgraphs of finite graphs: I. The scaling window under the triangle condition, Rand. Struct. Alg. (2005), and in Borgs et al., Random subgraphs of finite graphs: II. The lace expansion and the triangle condition, Ann. Probab. (2005), the size of the largest connected component was estimated precisely for a large class of graphs including H(2,n) for $\vep\leq \Lambda V^{-1/3}$, where $\Lambda > 0$ is a constant and $V=n^2$ denotes the number of vertices in H(2,n). Until now, no matching lower bound on the size in the supercritical regime has been obtained. In this paper we prove that, when $\vep\gg (\log{V})^{1/3} V^{-1/3}$, then the largest connected component has size close to $2\vep V$ with high probability. We thus obtain a law of large numbers for the largest connected component size, and show that the corresponding values of $p$ are supercritical. Barring the factor $(\log{\chs{V}})^{1/3}$, this identifies the size of the largest connected component all the way down to the critical $p$ window.


The second largest component in the supercritical 2D Hamming graph

Abstract: The 2-dimensional Hamming graph H(2,n) consists of the $n^2$ vertices $(i,j)$, $1\leq i,j\leq n$, two vertices being adjacent when they share a common coordinate. We examine random subgraphs of H(2,n) in percolation with edge probability $p$, so that the average degree $2(n-1)p=1+\epsilon$. Previous work by van der Hofstad and Luczak had shown that in the barely supercritical region $n^{-2/3}\ln^{1/3}n\ll \epsilon \ll 1$ the largest component has size $\sim 2\epsilon n$. Here we show that the second largest component has size close to $\epsilon^{-2}$, so that the dominant component has emerged. This result also suggests that a {\it discrete duality principle} might hold, whereby, after removing the largest connected component in the supercritical regime, the remaining random subgraphs behave as in the subcritical regime.


A geometric preferential attachment model with fitness

Abstract: We study a random graph $G_n$, which combines aspects of geometric random graphs and preferential attachment. The resulting random graphs have power-law degree sequences with finite mean and possibly infinite variance. In particular, the power-law exponent can be any value larger than 2. The vertices of $G_n$ are $n$ sequentially generated vertices chosen at random in the unit sphere in $\mathbb R^3$. A newly added vertex has $m$ edges attached to it and the endpoints of these edges are connected to old vertices or to the added vertex itself. The vertices are chosen with probability proportional to their current degree plus some initial attractiveness and multiplied by a function, depending on the geometry.


Fourier transform, null variety, and Laplacian's eigenvalues

Abstract: We consider a quantity $\kappa(\Omega)$ -- the distance to the origin from the null variety of the Fourier transform of the characteristic function of $\Omega$. We conjecture, firstly, that $\kappa(\Omega)$ is maximized, among all convex balanced domains $\Omega\subset\Rbb^d$ of a fixed volume, by a ball, and also that $\kappa(\Omega)$ is bounded above by the square root of the second Dirichlet eigenvalue of $\Omega$. We prove some weaker versions of these conjectures in dimension two, as well as their validity for domains asymptotically close to a disk, and also discuss further links between $\kappa(\Omega)$ and the eigenvalues of the Laplacians.


On colored Turaev-Viro invariants for links in arbitrary 3-manifolds

Abstract: We consider certain invariants of links in 3-manifolds, obtained by a specialization of the Turaev-Viro invariants of 3-manifolds, that we call colored Turaev-Viro invariants. Their construction is based on a presentation of a pair (M,L), where M is a closed oriented 3-manifold and L is an oriented link in M, by a triangulation of M such that each component of L is an edge. We analyze some basic properties of these invariants, including the behavior under connected sums of pairs away and along links. These properties allow us to provide examples of links in the three-sphere having the same HOMFLY polynomial and the same Kauffman polynomial but distinct Turaev-Viro invariants, and similar examples for the Alexander polynomial. We also investigate the relations between the Turaev-Viro invariants of (M,L) and those of the complement of L in M, showing that they are sometimes but not always determined by each other.


On the structure of the necklace Lie algebra

Abstract: In this note, we initiate the systematic study of the Lie algebra structure of the necklace Lie algebra n of a free algebra in 2d variables. We begin by giving a description of n as an sp(2d)-module. Specializing to d = 1, we decompose n into a direct sum of highest weight modules for sl_2, the coefficients of which are given by a closed formula. Next, we observe that n has a nontrivial center, which we link through the center C of the trace ring of couples of generic 2x2 matrices to the Poisson center of S(sl_2). The Lie algebra structure of n induces a Poisson structure on C, the symplectic leaves of which we are able to describe as coadjoint orbits for the Lie group of the semidirect product sl_2\rtimes h of sl_2 with the Heisenberg Lie algebra h. Finally, we provide a link between double Poisson algebras on one hand and Poisson orders on the other hand, showing that all trace rings of a double Poisson algebra are Poisson orders over their center.


The Calogero-Moser partition and Rouquier families for complex reflection groups

Abstract: Let $W$ be a complex reflection group. We formulate a conjecture relating blocks of the corresponding restricted rational Cherednik algebras and Rouquier families for cyclotomic Hecke algebras. We verify the conjecture in the case that $W$ is a wreath product of a symmetric group with a cyclic group of order $l$.


Uppers to zero in polynomial rings and Pr\"ufer-like domains

Abstract: Let $D$ be an integral domain and $X$ an indeterminate over $D$. It is well known that (a) $D$ is quasi-Pr\"ufer (i.e, its integral closure is a Pr\"ufer domain) if and only if each upper to zero $Q$ in $D[X] $ contains a polynomial $g \in D[X]$ with content $\co_D(g) = D$; (b) an upper to zero $Q$ in $D[X]$ is a maximal $t$-ideal if and only if $Q$ contains a nonzero polynomial $g \in D[X]$ with $\co_D(g)^v = D$. Using these facts, the notions of UM$t$-domain (i.e., an integral domain such that each upper to zero is a maximal $t$-ideal) and quasi-Pr\"ufer domain can be naturally extended to the semistar operation setting and studied in a unified frame. In this paper, given a semistar operation $\star$ in the sense of Okabe-Matsuda, we introduce the $\star$-quasi-Pr\"ufer domains. We give several characterizations of these domains and we investigate their relations with the UM$t$-domains and the Pr\"ufer $v$-multiplication domains.


Cohomological invariants of odd degree Jordan algebras

Abstract: In this paper we determine all possible cohomological invariants of Aut(J)-torsors in Galois cohomology with mod 2 coefficients (characteristic of the base field not 2), for J a split central simple Jordan algebra of odd degree n>=3. This has already been done for J of orthogonal and exceptional type, and we extend these results to unitary and symplectic type. We will use our results to compute the essential dimensions of some groups, for example we show that ed(PSp(2n))=n+1 for n odd.


Chain recurrence rates and topological entropy

Abstract: We investigate the properties of chain recurrent, chain transitive, and chain mixing maps (generalizations of the well-known notions of non-wandering, topologically transitive, and topologically mixing maps). We describe the structure of chain transitive maps. These notions of recurrence are defined using $\ep$-chains, and the minimal lengths of these $\ep$-chains give a way to measure recurrence time (chain recurrence and chain mixing times). We give upper and lower bounds for these recurrence times and relate the chain mixing time to topological entropy.


Itineraries of rigid rotations and diffeomorphisms of the circle

Abstract: We examine the itinerary of $0\in S^{1}=\R/\Z$ under the rotation by $\alpha\in\R\bs\Q$. The motivating question is: if we are given only the itinerary of 0 relative to $I\subset S^{1}$, a finite union of closed intervals, can we recover $\alpha$ and $I$? We prove that the itineraries do determine $\alpha$ and $I$ up to certain equivalences. Then we present elementary methods for finding $\alpha$ and $I$. Moreover, if $g:S^{1}\to S^{1}$ is a $C^{2}$, orientation preserving diffeomorphism with an irrational rotation number, then we can use the orbit itinerary to recover the rotation number up to certain equivalences.


Leading coefficients of Kazhdan--Lusztig polynomials and fully commutative elements

Abstract: Let $W$ be a Coxeter group of type $\widetilde{A}_{n-1}$. We show that the leading coefficient, $\mu(x, w)$, of the Kazhdan--Lusztig polynomial $P_{x, w}$ is always equal to 0 or 1 if $x$ is fully commutative (and $w$ is arbitrary).


A note on the relationship between the Graphical Traveling Salesman Polyhedron, the Symmetric Traveling Salesman Polytope, and the Metric Cone

Abstract: In this short communication, we observe that the Graphical Traveling Salesman Polyhedron is the intersection of the positive orthant with the Minkowski sum of the Symmetric Traveling Salesman Polytope and the polar of the metric cone. This follows almost trivially from known facts. There are two reasons why we find this observation worth communicating none-the-less: It is very surprising; it helps to understand the relationship between these two important families of polyhedra.


Courant morphisms and moment maps

Abstract: We study Hamiltonian spaces associated with pairs (E,A), where E is a Courant algebroid and A\subset E is a Dirac structure. These spaces are defined in terms of morphisms of Courant algebroids with suitable compatibility conditions. Several of their properties are discussed, including a reduction procedure. This set-up encompasses familiar moment map theories, such as group-valued moment maps, and it provides an intrinsic approach from which different geometrical descriptions of moment maps can be naturally derived. As an application, we discuss the relationship between quasi-Poisson and presymplectic groupoids.


The basic geometry of Witt vectors, I: The affine case

Abstract: We give a concrete description of the category of etale algebras over the ring of Witt vectors of a given finite length with entries in an arbitrary ring. We do this not only for the classical p-typical and big Witt vector functors but also for variants of these functors which are in a certain sense their analogues over arbitrary local and global fields. The basic theory of these generalized Witt vectors is developed from the point of view of commuting Frobenius lifts and their universal properties, which is a new approach even for the classical Witt vectors. The larger purpose of this paper is to provide the affine foundations for the algebraic geometry of generalized Witt schemes and arithmetic jet spaces. So the basics here are developed somewhat fully, with an eye toward future applications.


On exchangeable random variables and the statistics of large graphs and hypergraphs

Abstract: De Finetti's classical result of [18] identifying the law of an exchangeable family of random variables as a mixture of i.i.d. laws was extended to structure theorems for more complex notions of exchangeability by Aldous [1,2,3], Hoover [41,42], Kallenberg [44] and Kingman [47]. On the other hand, such exchangeable laws were first related to questions from combinatorics in an independent analysis by Fremlin and Talagrand [29], and again more recently in Tao [62], where they appear as a natural proxy for the `leading order statistics' of colourings of large graphs or hypergraphs. Moreover, this relation appears implicitly in the study of various more bespoke formalisms for handling `limit objects' of sequences of dense graphs or hypergraphs in a number of recent works, including Lov\'{a}sz and Szegedy [52], Borgs, Chayes, Lov\'{a}sz, S\'{o}s, Szegedy and Vesztergombi [17], Elek and Szegedy [24] and Razborov [54,55]. However, the connection between these works and the earlier probabilistic structural results seems to have gone largely unappreciated. In this survey we recall the basic results of the theory of exchangeable laws, and then explain the probabilistic versions of various interesting questions from graph and hypergraph theory that their connection motivates (particularly extremal questions on the testability of properties for graphs and hypergraphs). We also locate the notions of exchangeability of interest to us in the context of other classes of probability measures subject to various symmetries, in particular contrasting the methods employed to analyze exchangeable laws with related structural results in ergodic theory, particular the Furstenberg-Zimmer structure theorem for probability-preserving $\mathbb {Z}$-systems, which underpins Furstenberg's ergodic-theoretic proof of Szemer\'{e}di's Theorem. The forthcoming paper [10]--hereditarytest will make a much more elaborate appeal to the link between exchangeable laws and dense (directed) hypergraphs to establish various results in property testing.


Discrete Littlewood-Paley-Stein theory and multi-parameter Hardy spaces associated with flag singular integrals

Abstract: The main purpose of this paper is to develop a unified approach of multi-parameter Hardy space theory using the discrete Littlewood-Paley-Stein analysis in the setting of implicit multi-parameter structure. It is motivated by the goal to establish and develop the Hardy space theory for the flag singular integral operators studied by Muller-Ricci-Stein and Nagel-Ricci-Stein. This approach enables us to avoid the use of transference method of Coifman-Weiss as often used in the $L^p$ theory for $p>1$ and establish the Hardy spaces $H^p_F$ and its dual spaces associated with the flag singular integral operators for all $0<p\leq 1$. We also prove the boundedness of flag singular integral operators on $BMO_F$ and $H^p_F$, and from $H^p_F$ to $L^p$ for all $0<p\le 1$ without using the deep atomic decomposition. As a result, it bypasses the use of Journe's type covering lemma in this implicit multi-parameter structure. The method used here provides alternate approaches of those developed by Chang, R. Fefferman, Journe and Pipher in the pure product setting. A Calderon-Zygmund decomposition and interpolation theorem are also proved for the implicit multi-parameter Hardy spaces.


A non-separable Christensen's theorem and set tri-quotient maps

Abstract: For every space $X$ let $\mathcal K(X)$ be the set of all compact subsets of $X$. Christensen \cite{c:74} proved that if $X, Y$ are separable metrizable spaces and $F\colon\mathcal{K}(X)\to\mathcal{K}(Y)$ is a monotone map such that any $L\in\mathcal{K}(Y)$ is covered by $F(K)$ for some $K\in\mathcal{K}(X)$, then $Y$ is complete provided $X$ is complete. It is well known \cite{bgp} that this result is not true for non-separable spaces. In this paper we discuss some additional properties of $F$ which guarantee the validity of Christensen's result for more general spaces.


Extension of Matrices with Entries in H^{\infty} on Coverings of Riemann Surfaces of Finite Type

Abstract: In the present paper continuing our previous work we prove an extension theorem for matrices with entries in the algebra of bounded holomorphic functions defined on an unbranched covering of a Caratheodory hyperbolic Riemann surface of finite type.


Probability measures and Milyutin maps between metric spaces

Abstract: We prove that the functor $\Hat{P}$ of Radon probability measures transforms any open map between completely metrizable spaces into a soft map. This result is applied to establish some properties of Milyutin maps between completely metrizable spaces.


Bilinear Mixed Effects Models For Relations Between Universities

Abstract: this article illustrates the use of linear and bilinear random effects models to represent statistical dependencies that often characterize dyadic data such as international relations. In particular, we show how to estimate models for dyadic data that simultaneously take into account: regressor variables and third-order dependencies, such as transitivity, clustering, and balance. We apply this new approach to the relations among ph.d. of university in Iran over the period from 1991-2005, illustrating the presence and strength of second and third-order statistical dependencies in these data.


Proof mining in ${\mathbb R}$-trees and hyperbolic spaces

Abstract: This paper is part of the general project of proof mining, developed by Kohlenbach. By "proof mining" we mean the logical analysis of mathematical proofs with the aim of extracting new numerically relevant information hidden in the proofs. We present logical metatheorems for classes of spaces from functional analysis and hyperbolic geometry, like Gromov hyperbolic spaces, ${\mathbb R}$-trees and uniformly convex hyperbolic spaces. Our theorems are adaptations to these structures of previous metatheorems of Gerhardy and Kohlenbach, and they guarantee a-priori, under very general logical conditions, the existence of uniform bounds. We give also an application in nonlinear functional analysis, more specifically in metric fixed-point theory. Thus, we show that the uniform bound on the rate of asymptotic regularity for the Krasnoselski-Mann iterations of nonexpansive mappings in uniformly convex hyperbolic spaces obtained in a previous paper is an instance of one of our metatheorems.


An explicit integral polynomial whose splitting field has Galois group W(E_8)

Abstract: Using the principle that characteristic polynomials of matrices obtained from elements of a reductive group over a number field typically have splitting field with Galois group isomorphic to its Weyl group, we construct an explicit monic integral polynomial of degree 240 whose splitting field has Galois group the Weyl group of the exceptional group of type E_8.


On 4n-dimensional Lie groups as quasi-Kaehler manifolds with Killing Norden metric

Abstract: A 4n-parametric family of 4n-dimensional quasi-Kaehler manifolds with Killing Norden metric is constructed on a Lie group. This family is characterized geometrically.


Acyclic Edge Coloring of Graphs with Maximum Degree 4

Abstract: An $acyclic$ edge coloring of a graph is a proper edge coloring such that there are no bichromatic cycle s. The \emph{acyclic chromatic index} of a graph is the minimum number k such that there is an acyclic e dge coloring using k colors and is denoted by $a'(G)$. It was conjectured by Alon, Sudakov and Zaks that for any simple and finite graph $G$, $a'(G)\le \Delta+2$, where $\Delta =\Delta(G)$ denotes the maximum degree of $G$. We prove the conjecture for connected graphs with $\Delta(G) \le 4$, with the additional restriction that $m \le 2n-1$, where $n$ is the number of vertices and $m$ is the number of edges in $G $. Note that for any graph $G$, $m \le 2n$, when $\Delta(G) \le 4$. It follows that for any graph $G$ if $\Delta(G) \le 4$, then $a'(G) \le 7$.


On the H^1-L^1 boundedness of operators

Abstract: We prove that if q is in (1,\infty), Y is a Banach space and T is a linear operator defined on the space of finite linear combinations of (1,q)-atoms in R^n which is uniformly bounded on (1,q)-atoms, then T admits a unique continuous extension to a bounded linear operator from H^1(R^n) to Y. We show that the same is true if we replace (1,q)-atoms with continuous (1,\infty)-atoms. This is known to be false for (1,\infty)-atoms.


Preserving positive polynomials and beyond

Abstract: Following the classical approach of P\'olya-Schur theory we initiate in this paper the study of linear operators acting on $\mathbb{R}[x]$ and preserving either the set of positive univariate polynomials or similar sets of non-negative and elliptic polynomials.


A new transform for solving the noisy complex exponentials approximation problem

Abstract: The problem of estimating a complex measure made up by a linear combination of Dirac distributions centered on points of the complex plane from a finite number of its complex moments affected by additive i.i.d. Gaussian noise is considered. A random measure is defined whose expectation approximates the unknown measure under suitable conditions. An estimator of the approximating measure is then proposed as well as a new discrete transform of the noisy moments that allows to compute an estimate of the unknown measure. A small simulation study is also performed to experimentally check the goodness of the approximations.


Scorza quartics of trigonal spin curves and their varieties of power sums

Abstract: Our fundamental result is the construction of new subvarieties in the varieties of power sums for the Scorza quartic of any general pairs of trigonal curves and non-effective theta characteristics. This is a generalization of Mukai's description of smooth prime Fano threefolds of genus twelve as the varieties of power sums for plane quartics. Among other applications, we give an affirmative answer to the conjecture of Dolgachev and Kanev on the existence of the Scorza quartic for any general pairs of curves and non-effective theta characteristics.


Convergence rates and source conditions for Tikhonov regularization with sparsity constraints

Abstract: This paper addresses the regularization by sparsity constraints by means of weighted $\ell^p$ penalties for $0\leq p\leq 2$. For $1\leq p\leq 2$ special attention is payed to convergence rates in norm and to source conditions. As main result it is proven that one gets a convergence rate in norm of $\sqrt{\delta}$ for $1\leq p\leq 2$ as soon as the unknown solution is sparse. The case $p=1$ needs a special technique where not only Bregman distances but also a so-called Bregman-Taylor distance has to be employed. For $p<1$ only preliminary results are shown. These results indicate that, different from $p\geq 1$, the regularizing properties depend on the interplay of the operator and the basis of sparsity. A counterexample for $p=0$ shows that regularization need not to happen.


Proximal alternating minimization and projection methods for nonconvex problems. An approach based on the Kurdyka-Lojasiewicz inequality

Abstract: We study the convergence properties of an alternating proximal minimization algorithm for nonconvex structured functions of the type: $L(x,y)=f(x)+Q(x,y)+g(y)$, where $f:\R^n\rightarrow\R\cup{+\infty}$ and $g:\R^m\rightarrow\R\cup{+\infty}$ are proper lower semicontinuous functions, and $Q:\R^n\times\R^m\rightarrow \R$ is a smooth $C^1$ function which couples the variables $x$ and $y$. The algorithm can be viewed as a proximal regularization of the usual Gauss-Seidel method to minimize $L$. We work in a nonconvex setting, just assuming that the function $L$ satisfies the Kurdyka-\L ojasiewicz inequality. An entire section illustrates the relevancy of such an assumption by giving examples ranging from semialgebraic geometry to "metrically regular" problems. Our main result can be stated as follows: If L has the Kurdyka-\L ojasiewicz property, then each bounded sequence generated by the algorithm converges to a critical point of $L$. This result is completed by the study of the convergence rate of the algorithm, which depends on the geometrical properties of the function $L$ around its critical points. When specialized to $Q(x,y)=|x-y|^2$ and to $f$, $g$ indicator functions, the algorithm is an alternating projection mehod (a variant of Von Neumann's) that converges for a wide class of sets including semialgebraic and tame sets, transverse smooth manifolds or sets with "regular" intersection. In order to illustrate our results with concrete problems, we provide a convergent proximal reweighted $\ell^1$ algorithm for compressive sensing and an application to rank reduction problems.


Extremal fullerene graphs with the maximum Clar number

Abstract: A fullerene graph is a cubic 3-connected plane graph with (exactly 12) pentagonal faces and hexagonal faces. Let $F_n$ be a fullerene graph with $n$ vertices. A set $\mathcal H$ of mutually disjoint hexagons of $F_n$ is a sextet pattern if $F_n$ has a perfect matching which alternates on and off each hexagon in $\mathcal H$. The maximum cardinality of sextet patterns of $F_n$ is the Clar number of $F_n$. It was shown that the Clar number is no more than $\lfloor\frac {n-12} 6\rfloor$. Many fullerenes with experimental evidence attain the upper bound, for instance, $\text{C}_{60}$ and $\text{C}_{70}$. In this paper, we characterize extremal fullerene graphs whose Clar numbers equal $\frac{n-12} 6$. By the characterization, we show that there are precisely 18 fullerene graphs with 60 vertices, including $\text{C}_{60}$, achieving the maximum Clar number 8 and we construct all these extremal fullerene graphs.


Harmonic measure and SLE

Abstract: In this paper we rigorously compute the average multifractal spectrum of harmonic measure on the boundary of SLE clusters.


On the Spezialschar of Maass

Abstract: Let $M_k^{(n)}$ be the space of Siegel modular forms of degree $n$ and even weight $k$. In this paper firstly a certain subspace $\mathsf{Spez}(M_k^{(2n)})$ the Spezialschar of $M_k^{(2n)}$ is introduced. In the setting of the Siegel three-fold it is proven that this Spezialschar is the Maass Spezialschar. Secondly an embedding of $M_k^{(2)}$ into a direct sum $\oplus_{\nu = 0}^{\lfloor \frac{k}{10} \rfloor} \text{Sym}^2 M_{k + 2 \nu}$ is given. This leads to a basic characterization of the Spezialschar property. The results of this paper are directly related to the non-vanishing of certain special values of L-functions related to the Gross-Prasad conjecture. This is illustrated by a significant example in the paper.


"Voici ce que j'ai trouve": Sophie Germain's grand plan to prove Fermat's Last Theorem

Abstract: A study of Sophie Germain's extensive manuscripts on Fermat's Last Theorem calls for a reassessment of her work in number theory. There is much in these manuscripts beyond the single theorem for Case 1 for which she is known from a published footnote by Legendre. Germain had a fully-fledged, highly developed, sophisticated plan of attack on Fermat's Last Theorem. The supporting algorithms she invented for this plan are based on ideas and results discovered independently only much later by others, and her methods are quite different from any of Legendre's. In addition to her program for proving Fermat's Last Theorem in its entirety, Germain also made major efforts at proofs for particular families of exponents. The isolation Germain worked in, due in substantial part to her difficult position as a woman, was perhaps sufficient that much of this extensive and impressive work may never have been studied and understood by anyone.


A Strong Symmetry Property Of Eisenstein Series

Abstract: In this paper we present a new method to study Fourier coefficients of holomorphic and non-holomorphic Eisenstein series simultaneously.


Lineability of summing sets of homogeneous polynomials

Abstract: Given a continuous $n$-homogeneous polynomial $P\colon E\longrightarrow F$ between Banach spaces and $1\leq q\leq p<\infty$, in this paper we investigate some properties concerning lineability and spaceability of the $(p;q)$-summing set of $P$, defined by $S_{p;q}(P)=\{a\in E:P\mathrm{is}% (p;q)\mathrm{summing at}a\}$.


The geometry of 3-quasi-Sasakian manifolds

Abstract: 3-quasi-Sasakian manifolds were studied systematically by the authors in a recent paper as a suitable setting unifying 3-Sasakian and 3-cosymplectic geometries. This paper throws new light on their geometric structure which reveals to be generally richer compared to the 3-Sasakian subclass. In fact, it turns out that they are multiply foliated by four distinct fundamental foliations. The study of the transversal geometries with respect to these foliations allows us to link the 3-quasi-Sasakian manifolds to the more famous hyper-Kaehler and quaternionic-Kaehler geometries. Furthermore, we strongly improve the splitting results previously found; we prove that any 3-quasi-Sasakian manifold of rank 4l+1 is 3-cosymplectic and any 3-quasi-Sasakian manifold of maximal rank is 3-alpha-Sasakian.


Freidlin-Wentzell's Large Deviations for Stochastic Evolution Equations

Abstract: We prove a Freidlin-Wentzell large deviation principle for general stochastic evolution equations with small perturbation multiplicative noises. In particular, our general result can be used to deal with a large class of quasi linear stochastic partial differential equations, such as stochastic porous medium equations and stochastic reaction diffusion equations with polynomial growth zero order term and $p$-Laplacian second order term.


Mapping class groups have finite asymptotic dimension

Abstract: By recognizing them as fundamental groups of developable complexes of groups we prove that mapping class groups of compact orientable surfaces have finite asymptotic dimension.


Adjoints of rationally induced composition operators

Abstract: We give an elementary proof of a formula recently obtained by Hammond, Moorhouse, and Robbins for the adjoint of a rationally induced composition operator on the Hardy space H^2. We discuss some variants and implications of this formula, and use it to provide a sufficient condition for a rationally induced composition operator adjoint to be a compact perturbation of a weighted composition operator.


Vector-valued Riesz potentials: Cartan type estimates and related capacities

Abstract: There are many interesting problems about the electrostatic potential of finitely many charges. We consider one of them concerning the intensity of the field, in other words, about the magnitude of the gradient of this potential. We want to give a sharp estimate of the size of the set of points where this gradient is large. Of course we want the estimate to be sharp in number $N$ of charges. The size will be measured by the Hausdorff content with various gauge functions. Such a setting allows us to consider a wide class of measures (not necessarily with finitely many charges). The main technique will be Calder\'on-Zygmund capacities and nonhomogeneous Calder\'on-Zygmund operators. Here we establish a relationship between various types of capacities with singular kernels (e. g. analytic capacity, lipschitz harmonic capacity, etc) and non-linear capacity from the theory of potential \'a la Adams, Hedberg, Havin, Maz'ya, Wolff. "Capacitary" part of the paper extends the theorem of Mateu, Prat and Verdera [J. reine und angew. Math., 578 (2005), 201--223]. "Size estimates" part of the paper extends the theorem of M. Anderson and V. Eiderman [Annals of Math., 163 (2005), 1057--1076]. The difficulty lies in the fact that we cannot use Menger's curvature anymore because we are working in spaces of dimension bigger than two.


Convexity properties of Thompson's group F

Abstract: We prove that Thompson's group F is not minimally almost convex with respect to any generating set which is a subset of the standard infinite generating set for F and which contains x_1. We use this to show that F is not almost convex with respect to any generating set which is a subset of the standard infinite generating set.


Adaptive Independent Metropolis-Hastings by Fast Estimation of Mixtures of Normals

Abstract: We construct an adaptive independent Metropolis-Hastings sampler that uses a mixture of normals as a proposal distribution. To take full advantage of the potential of adaptive sampling our algorithm updates the mixture of normals frequently, starting early in the chain. The algorithm is built for speed and reliability and its sampling performance is evaluated with real and simulated examples. Our article outlines conditions for adaptive sampling to hold and gives a readily accessible proof that under these conditions the sampling scheme generates iterates that converge to the target distribution.


Combined dynamic Gruss inequalities on time scales

Abstract: We prove a more general version of the Gruss inequality by using the recent theory of combined dynamic derivatives on time scales and the more general notions of diamond-alpha derivative and integral. For the particular case when alpha = 1, one gets a delta-integral Gruss inequality on time scales; for alpha = 0 a nabla-integral Gruss inequality. If we further restrict ourselves by fixing the time scale to the real (or integer) numbers, then the standard continuous (discrete) inequalities are obtained.


Identification of Boundary Conditions Using Natural Frequencies in Case of a Ring Membrane

Abstract: The problem of finding boundary conditions for fastening of a ring membrane, which are inaccessible for direct observation from the natural frequencies of its flexural oscillations, is considered. Two theorems on the uniqueness of this problem are proved, and a method for establishing the unknown conditions for fastening of the membrane to the walls is indicated. An approximate formula for determining the unknown conditions is obtained, using first three natural frequencies. The method of approximate calculation of unknown boundary conditions, is explained with the help of an example. Keywords: Boundary conditions, inverse spectral problem, membrane, natural frequencies, Plucker coordinates, Plucker relation.


Can One Hear Fastening of a Rod?

Abstract: Rods are parts of various devices. If it is impossible to observe the rod directly, the only source of information about possible defects of its fastening can be the natural frequencies of its flexural vibrations. The question arises whether one would be able to detect damage in rod fastening by the natural frequencies of its flexural vibrations. This paper gives and substantiates a positive answer to this question.


Noncommutative Riesz transforms -- a probabilistic approach

Abstract: For $2\le p<\infty$ we show the lower estimates \[ \|A^{\frac 12}x\|_p \kl c(p)\max\{\pl \|\Gamma(x,x)^{{1/2}}\|_p,\pl \|\Gamma(x^*,x^*)^{{1/2}}\|_p\} \] for the Riesz transform associated to a semigroup $(T_t)$ of completely positive maps on a von Neumann algebra with negative generator $T_t=e^{-tA}$, and gradient form \[ 2\Gamma(x,y)\lel Ax^*y+x^*Ay-A(x^*y)\pl .\] As additional hypothesis we assume that $\Gamma^2\gl 0$ and the existence of a Markov dilation for $(T_t)$. We give applications to quantum metric spaces and show the equivalence of semigroup Hardy norms and martingale Hardy norms derived from the Markov dilation. In the limiting case we obtain a viable definition of BMO spaces for general semigroups of completely positive maps which can be used as an endpoint for interpolation. For torsion free ordered groups we construct a connection between Riesz transforms and the Hilbert transform induced by the order.


The Lexicographic First Occurrence of a I-II-III pattern

Abstract: Consider a random permutation $\pi\in{\cal S}_n$. In this paper, perhaps best classified as a contribution to discrete probability distribution theory, we study the {\it first} occurrence $X=X_n$ of a I-II-III-pattern, where "first" is interpreted in the lexicographic order induced by the 3-subsets of $[n]=\{1,2,...,n\}$. Of course if the permutation is I-II-III-avoiding then the first I-II-III-pattern never occurs, and thus $\e(X)=\infty$ for each $n$; to avoid this case, we also study the first occurrence of a I-II-III-pattern given a bijection $f:{\bf Z}^+\to{\bf Z}^+$.


Far field asymptotics of solutions to convection equation with anomalous diffusion

Abstract: The initial value problem for the conservation law $\partial_t u+(-\Delta)^{\alpha/2}u+\nabla \cdot f(u)=0$ is studied for $\alpha\in (1,2)$ and under natural polynomial growth conditions imposed on the nonlinearity. We find the asymptotic expansion as $|x|\to \infty$ of solutions to this equation corresponding to initial conditions, decaying sufficiently fast at infinity.


Cut-disks for level spheres in link and tangle complements

Abstract: Wu has shown that if a link or a knot $L$ in $S^3$ in thin position has thin spheres, then the thin sphere of lowest width is an essential surface in the link complement. In this paper we show that if we further assume that $L \subset S^3$ is prime, then the thin sphere of lowest width also does not have any vertical cut-disks. We also prove the result for a specific kind of tangles in $S^2 \times [-1,1]$.


Positive forms on hyperkahler manifolds

Abstract: Let $(M,I,J,K)$ be a hyperkaehler manifold, $\dim_\R M =4n$. We study positive, Dolbeault-closed $(2p,0)$-forms on $(M,I)$. These forms are quaternionic analogues of the positive $(p,p)$-forms. We construct an injective homomorphism mapping Dolbeault-closed $(2p,0)$-forms to closed $(n+p,n+p)$-forms, and positive $(2p,0)$-forms to positive $(n+p,n+p)$-forms. This construction is used to prove a hyperkaehler version of the classical Skoda-El Mir theorem, which says that a trivial extension of a closed, positive current over a pluripolar set is again closed. We also prove the hyperkaehler version of the Sibony's lemma, showing that a closed, positive $(2p,0)$-form defined outside of a compact complex subvariety $Z\subset (M,I)$, $\codim Z > 2p$ is locally integrable in a neighbourhood of $Z$. These results are used to prove polystability of derived direct images of certain coherent sheaves.


Open maps having the Bula property

Abstract: Every open continuous map f from a space X onto a paracompact C-space Y admits two disjoint closed subsets of X so that their image by f is Y provided all fibers of f are infinite and C*-embedded in X. Applications are demonstrated for the existence of "disjoint" usco multiselections of set-valued l.s.c. mappings defined on paracompact C-spaces, and for special type of factorizations of open continuous maps from metrizable spaces onto paracompact C-spaces. This settles several open questions.


Twisting and Rieffel's deformation of locally compact quantum groups. Deformation of the Haar measure

Abstract: We develop the twisting construction for locally compact quantum groups. A new feature, in contrast to the previous work of M. Enock and the second author, is a non-trivial deformation of the Haar measure. Then we construct Rieffel's deformation of locally compact quantum groups and show that it is dual to the twisting. This allows to give new interesting concrete examples of locally compact quantum groups, in particular, deformations of the classical $az+b$ group and of the Woronowicz' quantum $az+b$ group.


A locally compact quantum group of triangular matrices

Abstract: We construct a one parameter deformation of the group of $2\times 2$ upper triangular matrices with determinant 1 using the twisting construction. An interesting feature of this new example of a locally compact quantum group is that the Haar measure is deformed in a non-trivial way. Also, we give a complete description of the dual $\cs$-algebra and the dual comultiplication.


Effective resistance of random trees

Abstract: We investigate the effective resistance $R_n$ and conductance $C_n$ between the root and leaves of a binary tree of height $n$. In this electrical network, the resistance of each edge $e$ at distance $d$ from the root is defined by $r_e=2^dX_e$ where the $X_e$ are i.i.d. positive random variables bounded away from zero and infinity. It is shown that $\mathbf{E}R_n=n\mathbf{E}X_e-(\operatorname {\mathbf{Var}}(X_e)/\mathbf{E}X_e)\ln n+O(1)$ and $\operatorname {\mathbf{Var}}(R_n)=O(1)$. Moreover, we establish sub-Gaussian tail bounds for $R_n$. We also discuss some possible extensions to supercritical Galton--Watson trees.


The origin of infinitely divisible distributions: from de Finetti's problem to Levy-Khintchine formula

Abstract: The article provides an historical survey of the early contributions on infinitely divisible distributions starting from the pioneering works of de Finetti in 1929 up to the canonical forms developed in the thirties by Kolmogorov, Levy and Khintchine. Particular attention is paid to single out the personal contributions of the above authors that were published in Italian, French or Russian during the period 1929-1938. In Appendix we report the translation from the Russian into English of a fundamental paper by Khintchine published in Moscow in 1937.


Large cardinals and gap-1 morasses

Abstract: We present a new partial order for directly forcing morasses to exist that enjoys a significant homogeneity property. We then use this forcing in a reverse Easton iteration to obtain an extension universe with morasses at every regular uncountable cardinal, while preserving all n-superstrong (0<n<omega+1), hyperstrong and 1-extendible cardinals. In the latter case, a preliminary forcing to make the GCH hold is required. Our forcing yields morasses that satisfy an extra property related to the homogeneity of the partial order; we refer to them as mangroves and prove that their existence is equivalent to the existence of morasses. Finally, we exhibit a partial order that forces universal morasses to exist at every regular uncountable cardinal, and use this to show that universal morasses are consistent with n-superstrong, hyperstrong, and 1-extendible cardinals. This all contributes to the second author's outer model programme, the aim of which is to show that L-like principles can hold in outer models which nevertheless contain large cardinals.


Solutions to open problems in Neeb's recent survey on infinite-dimensional Lie groups

Abstract: We solve three open problems concerning infinite-dimensional Lie groups posed in a recent survey article by K.-H. Neeb: (1) There exists a subgroup of some infinite-dimensional Lie group G which does not admit an initial Lie subgroup structure; (2) The pathology cannot occur if G is a direct limit of an ascending sequence of finite-dimensional Lie groups; (3) Every such direct limit group is a ``topological group with Lie algebra'' in the sense of Hofmann and Morris. Moreover, we prove a version of Borel's Theorem announced in the survey, ensuring the existence of compactly supported smooth diffeomorphisms with given Taylor series around a fixed point p (provided the tangent map at p has positive determinant).


Bi-Hermitian gray surfaces II

Abstract: The aim of this paper is to classify bi-Hermitian compact surfaces $(M,g)$ whose Ricci tensor $\rho$ satisfies the relation $\nabla_X\rho(X,X) =\frac13X\tau g(X,X)$.


Positively and negatively excited random walks on integers, with branching processes

Abstract: We consider excited random walks on the integers with a bounded number of i.i.d. cookies per site which may induce drifts both to the left and to the right. We extend the criteria for recurrence and transience by M. Zerner and for positivity of speed by A.-L. Basdevant and A. Singh to this case and also prove an annealed central limit theorem. The proofs are based on results from the literature concerning branching processes with migration and make use of a certain renewal structure.


The DNA Inequality in Non-Convex Regions

Abstract: A simple plane closed curve $\Gamma$ satisfies the DNA Inequality if the average curvature of any closed curve contained inside $\Gamma$ exceeds the average curvature of $\Gamma$. In 1997 Lagarias and Richardson proved that all convex curves satisfy the DNA Inequality and asked whether this is true for any non-convex curve. They conjectured that the DNA Inequality holds for certain L-shaped curves. In this paper, we disprove this conjecture for all L-Shapes and construct a large class of non-convex curves for which the DNA Inequality holds. We also give a polynomial-time procedure for determining whether any specific curve in a much larger class satisfies the DNA Inequality.


Artin formalism for Selberg zeta functions of co-finite Kleinian groups

Abstract: Let $\Gamma\backslash\mathbb H^3$ be a finite-volume quotient of the upper-half space, where $\Gamma\subset {\rm SL}(2,\mathbb C)$ is a discrete subgroup. To a finite dimensional unitary representation $\chi$ of $\Gamma$ one associates the Selberg zeta function $Z(s;\Gamma;\chi)$. In this paper we prove the Artin formalism for the Selberg zeta function. Namely, if $\tilde\Gamma$ is a finite index group extension of $\Gamma$ in ${\rm SL}(2,\mathbb C)$, and $\pi={\rm Ind}_{\Gamma}^{\tilde\Gamma}\chi$ is the induced representation, then $Z(s;\Gamma;\chi)=Z(s;\tilde\Gamma;\pi)$. In the second part of the paper we prove by a direct method the analogous identity for the scattering function, namely $\phi(s;\Gamma;\chi)=\phi(s;\tilde\Gamma;\pi)$, for an appropriate normalization of the Eisenstein series.


On smooth curves endowed with a large automorphism $p$-group in characteristic $p>0$

Abstract: Let $k$ be an algebraically closed field of characteristic $p>0$ and $C$ a connected nonsingular projective curve over $k$ with genus $g \geq 2$. This paper continues the work begun by Lehr and Matignon, namely the study of "big actions", i.e. the pairs $(C,G)$ where $G$ is a $p$-subgroup of the $k$-automorphism group of $C$ such that$\frac{|G|}{g} >\frac{2 p}{p-1}$. If $G_2$ denotes the second ramification group of $G$ at the unique ramification point of the cover $C \to C/G$, we display necessary conditions on $G_2$ for $(C,G)$ to be a big action, which allows us to pursue the classification of big actions. Our main source of examples comes from the construction of curves with many rational points using ray class field theory for global function fields, as initiated by J-P. Serre and followed by Lauter and Auer. In particular, we obtain explicit examples of big actions with $G_2$ abelian of large exponent.


On standard forms of 1--dominations between knots with same Gromov volumes

Abstract: Let $k$ and $k'$ be two knots in 3-sphere. Say $k$ 1--dominates $k'$, if there is a proper degree 1 map $f\co E(k)\to E(k')$, between knot exterior of $k_i$. Theorem: Suppose that any companion of $k$ is prime. If $k$ 1--dominates $k'$ with the same Gromov volume, then $k'$ can be obtained from $k$ by finitely many de-satellizations. The condition of "same Gromov volume" clearly can not be removed. We also give a new construction of 1-domination between knots with same Gromov volume to show that the condition "any companion of $k$ is prime" can not be removed.


Finiteness of mapping degrees and ${\rm PSL}(2,{\R})$-volume on graph manifolds

Abstract: For given closed orientable 3-manifolds $M$ and $N$ let $\c{D}(M,N)$ be the set of mapping degrees from $M$ to $N$. We address the problem: For which $N$, $\c{D}(M,N)$ is finite for all $M$? The answer is known in Thurston's picture of closed orientable irreducible 3-manifolds unless the target is a non-trivial graph manifold. We prove that for each closed non-trivial graph manifold $N$, $\c{D}(M,N)$ is finite for all graph manifold $M$. The proof uses a recently developed standard forms of maps between graph manifolds and the estimation of the $\widetilde{\rm PSL}(2,{\R})$-volume for certain class of graph manifolds.