Harnack inequality for some classes of Markov processes

In this paper we establish a Harnack inequality for nonnegative harmonic functions of some classes of Markov processes with jumps. Mathematics Subject Classification (2000): Primary 60J45, 60J75, Secondary 60J25.This work was completed while the authors were in the Research in Pairs program at the Mathematisches Forschungsinstitut Oberwolfach. We thank the Institute for the hospitality.The research of this author is supported in part by NSF Grant DMS-9803240.The research of this author is supported in part by MZT grant 0037107 of the Republic of Croatia.     

The Alexander polynomial and finite type 3-manifold invariants

Using elementary counting methods, we calculate a universal perturbative invariant (also known as the LMO invariant) of a 3-manifold M, satisfying , in terms of the Alexander polynomial of M. We show that +1 surgery on a knot in the 3-sphere induces an injective map from finite type invariants of integral homology 3-spheres to finite type invariants of knots. We also show that weight systems of degree 2m on knots, obtained by applying finite type 3m invariants of integral homology 3-spheres, lie in the algebra of Alexander-Conway weight systems, thus answering the questions raised in [Ga]. Received: 27 April 1998 / in final form: 8 August 1999     

Power bounded operators and supercyclic vectors

By the well-known result of Brown, Chevreau and Pearcy, every Hilbert space contraction with spectrum containing the unit circle has a nontrivial closed invariant subspace. Equivalently, there is a nonzero vector which is not cyclic.

We show that each power bounded operator on a Hilbert space with spectral radius equal to one has a nonzero vector which is not supercyclic. Equivalently, the operator has a nontrivial closed invariant homogeneous subset. Moreover, the operator has a nontrivial closed invariant positive cone.

     

Phase separation in one-dimensional stochastic particle systems?

A class of interacting particle systems modelling driven diffusive systems with short range interactions has been suggested to exhibit macroscopic phase separation in d = 1 dimensions. Unlike all previously studied models exhibiting similar phenomena, there the phase separated state is fluctuating in the bulk of the macroscopic domains. We discuss a recently introduced sufficient criterion for the existence of such phase separation and point out some assumptions which require rigorous proof. We also introduce a new model for strong phase separation into essentially nonfluctuation states. We informally describe its exact invariant measure.     

Power bounded operators and supercyclic vectors II

We show that each power bounded operator with spectral radius equal to one on a reflexive Banach space has a nonzero vector which is not supercyclic. Equivalently, the operator has a nontrivial closed invariant homogeneous subset. Moreover, the operator has a nontrivial closed invariant cone if belongs to its spectrum. This generalizes the corresponding results for Hilbert space operators.

For non-reflexive Banach spaces these results remain true; however, the non-supercyclic vector (invariant cone, respectively) relates to the adjoint of the operator.

     

Second class particles as microscopic characteristics in totally asymmetric nearest-neighbor -exclusion processes

We prove laws of large numbers for a second class particle in one-dimensional totally asymmetric -exclusion processes, under hydrodynamic Euler scaling. The assumption required is that initially the ambient particle configuration converges to a limiting profile. The macroscopic trajectories of second class particles are characteristics and shocks of the conservation law of the particle density. The proof uses a variational representation of a second class particle, to overcome the problem of lack of information about invariant distributions. But we cannot rule out the possibility that the flux function of the conservation law may be neither differentiable nor strictly concave. To give a complete picture we discuss the construction, uniqueness, and other properties of the weak solution that the particle density obeys.

     

The central limit theorem for Markov chains started at a point

 The aim of this paper is to prove a central limit theorem and an invariance principle for an additive functional of an ergodic Markov chain on a general state space, with respect to the law of the chain started at a point. No irreducibility assumption nor mixing conditions are imposed; the only assumption bears on the growth of the L ² -norms of the ergodic sums for the function generating the additive functional, which must be with . The result holds almost surely with respect to the invariant probability of the chain. Received: 17 October 2001 / Revised version: 5 April 2002 / Published Online: 24 October 2002 Mathematics Subject Classification (2000): 60F05, 60J05     

Feasibility testing for systems of real quadratic equations

We consider the problem of deciding whether a given system of quadratic homogeneous equations over the reals has nontrivial solution. We design an algorithm which, for a fixed number of equations, uses a number of arithmetic operations bounded by a polynomial in the number of variables only. A preliminary version of this paper with a weaker result appeared in theProceedings of STOC '92. This research was supported by the Mittag-Leffler Institute and KTH, Stockholm.     

Constructions for rotational Steiner quadruple systems

A direct construction for rotational Steiner quadruple systems of order p+ 1 having a nontrivial multiplier automorphism is presented, where p≡13 (mod24) is a prime. We also give two improved product constructions. By these constructions, the known existence results of rotational Steiner quadruple systems are extended. © 2009 Wiley Periodicals, Inc. J Combin Designs 17: 353–368, 2009     

On linear homogeneous almost periodic systems that satisfy the Favard condition

We prove the existence of a linear homogeneous almost periodic system of differential equations that has nontrivial bounded solutions and is such that all systems from a certain neighborhood of it have no nontrivial almost periodic solutions. Institute of Mathematics, Ukrainian Academy of Sciences, Kiev. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 50, No. 3. pp. 409–413, March, 1998.     

Positively curved homogeneous metrics on spheres

We classify all homogeneous metrics on spheres with positive sectional curvature. This work was completed while W. Ziller was visiting IMPA and he would like to thank the Institute for its hospitality. L. Verdiani was supported by GNSAGA. W. Ziller was supported in part by the Francis J. Carey Term Chair, the Clay Institute and a grant from the National Science Foundation.     

d‐homogeneous and d‐ultrahomogeneous linear spaces

A linear space S is d‐homogeneous if, whenever the linear structures induced on two subsets S₁ and S₂ of cardinality at most d are isomorphic, there is at least one automorphism of S mapping S₁ onto S₂. S is called d‐ultrahomogeneous if each isomorphism between the linear structures induced on two subsets of cardinality at most d can be extended into an automorphism of S. We have proved in [11;] (without any finiteness assumption) that every 6‐homogeneous linear space is homogeneous (that is d‐homogeneous for every positive integer d). Here we classify completely the finite nontrivial linear spaces that are d‐homogeneous for d ≥ 4 or d‐ultrahomogeneous for d ≥ 3. We also prove an existence theorem for infinite nontrivial 4‐ultrahomogeneous linear spaces. © 2000 John Wiley & Sons, Inc. J Combin Designs 8: 321–329, 2000     

Quasiaffinity and invariant subspaces

Special classes of intertwining transformations between Hilbert spaces are introduced and investigated, whose purposes are to provide partial answers to some classical questions on the existence of nontrivial invariant subspaces for operators acting on separable Hilbert spaces. The main result ensures that if an operator is \({{\mathcal D}}\)-intertwined to a normal operator, then it has a nontrivial invariant subspace.     

Homomorphism–homogeneous graphs

We answer two open questions posed by Cameron and Nesetril concerning homomorphism–homogeneous graphs. In particular we show, by giving a characterization of these graphs, that extendability to monomorphism or to homomorphism leads to the same class of graphs when defining homomorphism–homogeneity. Further, we show that there are homomorphism–homogeneous graphs that do not contain the Rado graph as a spanning subgraph answering the second open question. We also treat the case of homomorphism–homogeneous graphs with loops allowed, showing that the corresponding decision problem is co–NP complete. Finally, we extend the list of considered morphism–types and show that the graphs for which monomorphisms can be extended to epimor‐phisms are complements of homomorphism–homogeneous graphs. © 2010 Wiley Periodicals, Inc. J Graph Theory 65: 253–261, 2010     

Invariant affinor and sub-Kähler structures on homogeneous spaces

We consider G-invariant affinor metric structures and their particular cases, sub-Kähler structures, on a homogeneous space G/H. The affinor metric structures generalize almost Kähler and almost contact metric structures to manifolds of arbitrary dimension. We consider invariant sub-Riemannian and sub-Kähler structures related to a fixed 1-form with a nontrivial radical. In addition to giving some results for homogeneous spaces of arbitrary dimension, we study these structures separately on the homogeneous spaces of dimension 4 and 5.     

Q-admissibility of certain nonsolvable groups

A finite groupG is calledQ-admissible if there exists a finite dimensional central division algebra overQ, containing a maximal subfield which is a Galois extension ofQ with Galois group isomorphic toG. It is proved thatS ₅ ⁻ , one of the two nontrivial central extensions ofS ₅ byZ/2Z, isQ-admissible. As a consequence of that result and previous results of Sonn and Stern, every finite Sylow-metacyclic group, havingA ₅ as a composition factor, isQ-admissible. This paper is part of a M.Sc. thesis written at the Technion — Israel Institute of Technology, under the supervision of Professor J. Sonn, whom the author wishes to thank for his valuable guidance.     

Potential theory of subordinate killed Brownian motion in a domain

 Subordination of a killed Brownian motion in a bounded domain D⊂ℝ ^d via an α/2-stable subordinator gives a process Z _t whose infinitesimal generator is −(−Δ| _D )^α/2, the fractional power of the negative Dirichlet Laplacian. In this paper we study the properties of the process Z _t in a Lipschitz domain D by comparing the process with the rotationally invariant α-stable process killed upon exiting D. We show that these processes have comparable killing measures, prove the intrinsic ultracontractivity of the generator of Z _t , prove the intrinsic ultracontractivity of the semigroup of Z _t , and, in the case when D is a bounded C ^1,1 domain, obtain bounds on the Green function and the jumping kernel of Z _t . Received: 4 April 2002 / Revised version: 1 July 2002 / Published online: 19 December 2002 This work was completed while the authors were in the Research in Pairs program at the Mathematisches Forschungsinstitut Oberwolfach. We thank the Institute for the hospitality. The research of the first author is supported in part by NSF Grant DMS-9803240. The research of the second author is supported in part by MZT grant 037008 of the Republic of Croatia. Mathematics Subject Classification (2000): Primary 60J45; Secondary 60J75, 31C25 Key words or phrases: Killed Brownian motions – Stable processes – Subordination – Fractional Laplacian     

Pseudocharacters on free groups, invariant with respect to some types of endomorphisms

We investigate methods for constructing nontrivial pseudocharacters on a free group F _n invariant with respect to certain types of endomorphisms. We find some conditions for endomorphisms of the free group under which there is a nontrivial pseudocharacter that is invariant with respect to these endomorphisms. We consider free products $ R = \tilde{R}*\prod\limits_{{i = k}}^n {\left\langle {{r_i}} \right\rangle } $ , where one factor is F _n , and the other factor is a group on which there is a pseudocharacter. For such products we obtain a similar result about the conditions of existence of nontrivial pseudocharacters invariant with respect to certain endomorphisms.     

Hopf coactions on commutative algebras generated by a quadratically independent comodule

Let 𝒜 be a commutative unital algebra over an algebraically closed field k of characteristic ≠2, whose generators form a finite-dimensional subspace V, with no nontrivial homogeneous quadratic relations. Let 𝒬 be a Hopf algebra that coacts on 𝒜 inner-faithfully, while leaving V invariant. We prove that 𝒬 must be commutative when either: (i) the coaction preserves a non-degenerate bilinear form on V; or (ii) 𝒬 is co-semisimple, finite-dimensional, and char(k) = 0.     

The space of solvsolitons in low dimensions

Up to now, the only known examples of homogeneous nontrivial Ricci soliton metrics are the so-called solvsolitons, i.e., certain left-invariant metrics on simple connected solvable Lie groups. In this article, we describe the moduli space of solvsolitons of dimension ≤ 6 up to isomorphism and scaling. We start with the already known classification of nilsolitons and, following the characterization given by Lauret in (J. Reine Angew. Math. 650:1–21, 2011), we describe the subspace of solvsolitons associated to a given nilsoliton, as the quotient of a Grassmanian by a finite group.