Large and moderate deviations for intersection local times

We study the large and moderate deviations for intersection local times generated by, respectively, independent Brownian local times and independent local times of symmetric random walks. Our result in the Brownian case generalizes the large deviation principle achieved in Mansmann (1991) for the L ₂-norm of Brownian local times, and coincides with the large deviation obtained by Csörgö, Shi and Yor (1991) for self intersection local times of Brownian bridges. Our approach relies on a Feynman-Kac type large deviation for Brownian occupation time, certain localization techniques from Donsker-Varadhan (1975) and Mansmann (1991), and some general methods developed along the line of probability in Banach space. Our treatment in the case of random walks also involves rescaling, spectral representation and invariance principle. The law of the iterated logarithm for intersection local times is given as an application of our deviation results.Supported in part by NSF Grant DMS-0102238Supported in part by NSF Grant DMS-0204513 Mathematics Subject Classification (2000):Primary: 60J55; Secondary: 60B12, 60F05, 60F10, 60F15, 60F25, 60G17, 60J65     

Strongly Regular Graphs and Designs with Three Intersection Numbers

We investigate BIBDs with three intersection numbers,x, y, and z, such that the relation on the block set given byA B iff the cardinality of the intersectionof A and B is not equal to x is an equivalence relation. Withsuch a design, we associate a family of strongly regular graphswith the same parameters. Two constructions producing infinitefamilies of such designs are given.     

Demuškin Groups with Group Actions and Applications to Deformations of Galois Representations

We determine the universal deformation ring, in the sense of Mazur, of a residual representation , where k is a finite field of characteristic p and K is a local field of residue characteristic p. As one might hope for, but is not proven in the global case, the deformation ring is a complete intersection, flat over W(k), with the exact number of equations given by the dimension of . We then go on to determine the ordinary locus inside the deformation space and, using ideas of Mazur, apply this to compare the universal and the universal ordinary deformation spaces. Provided that the universal ring for ordinary deformations with fixed determinant is finite flat over W(k), as was shown in many cases by Diamond, Fujiwara, Taylor–Wiles and Wiles, we show that the corresponding universal deformation ring – with no restriction of ordinariness or fixed determinant – is a complete intersection, finite flat over W(k) of the dimension conjectured by Mazur, provided that the restriction of to the inertia subgroup is different from the inverse cyclotomic character.     

A closed formula for the čebyšev barycentric weights of optimal approximation in H2

The barycentric formula has several advantages over other means of evaluating the polynomial interpolating a function betweenn points in an interval. In particular, it is much more stable for sets of points clustered at the extremities of the interval, as are all the sets guaranteeing a good approximation forn sufficiently large. Also, it requires onlyO(n) operations for every function to be interpolated, once some weights, which depend only on the points, have been computed. Computing those weights usually requiresO(n²) operations; for ebyev points, however,O(n) operations suffice. We show here that all the above is also true for the optimal evaluation of functionals in H² by giving a closed formula for the corresponding weights.     

A Functional LIL for Stochastic Integrals and the Lévy Area Process

A functional law of the iterated logarithm is obtained for processes given by certain stochastic integrals. This extends earlier results by Shi⁽¹²⁾ and Rémillard⁽¹⁰⁾ who established analogues of the classical limit results of Chung⁽⁴⁾ for a variety of processes, including Lévys stochastic area process. The functional aspects of our results are motivated by a paper of Wichura⁽¹³⁾ on Brownian motion. Proofs depend on small ball probability estimates, and yield the small ball probabilities of the weighted sup-norm for the processes given by these stochastic integrals.     

Algorithms for finding clique-transversals of graphs

A clique-transversal of a graph G is a subset of vertices intersecting all the cliques of G. It is NP-hard to determine the minimum cardinality τ _c of a clique-transversal of G. In this work, first we propose an algorithm for determining this parameter for a general graph, which runs in polynomial time, for fixed τ _c . This algorithm is employed for finding the minimum cardinality clique-transversal of [`(3K₂)]\overline{3K_{2}} -free circular-arc graphs in O(n ⁴) time. Further we describe an algorithm for determining τ _c of a Helly circular-arc graph in O(n) time. This represents an improvement over an existing algorithm by Guruswami and Pandu Rangan which requires O(n ²) time. Finally, the last proposed algorithm is modified, so as to solve the weighted version of the corresponding problem, in O(n ²) time.     

Controllability and extremality in nonconvex differential inclusions

LetF:[0, T]×R ⁿ 2 ^{R n} be a set-valued map with compact values; let :R ⁿ R ^m be a locally Lipschitzian map,z(t) a given trajectory, andR the reachable set atT of the differential inclusion . We prove sufficient conditions for (z(T))intR and establish necessary conditions in maximum principle form for (z(T))(R). As a consequence of these results, we show that every boundary trajectory is simultaneously a Pontryagin extremal, Lagrangian extremal, and relaxed Lagrangian extremal.The author is grateful to an anonymous referee for his valuable remarks and comments which have helped to improve the paper.The paper was written while the author was visiting the laboratory of Prof. S. Suzuki, Department of Mechanical Engineering, Sophia University, Tokyo, Japan.     

Tanaka Formulae for (α, d, β)-Superprocesses

We establish Tanaka like formulae for the local time of (, d, )-superprocess in the dimensions where the local time exists. The result generalizes the result of Adler, Lewin who proved existence of Tanaka formulae for a class of super-processes with finite variance. The fact that we abandon the finite variance assumption, requires using an L ¹⁺ convergence argument (with 0<<1) rather than L ² convergence, for the derivation of the Tanaka formulae.     

The complexity of maximum matroid-greedoid intersection and weighted greedoid maximization

The maximum intersection problem for a matroid and a greedoid, given by polynomial-time oracles, is shown NP-hard by expressing the satisfiability of boolean formulas in 3-conjunctive normal form as such an intersection. The corresponding approximation problems are shown NP-hard for certain approximation performance bounds. Moreover, some natural parameterized variants of the problem are shown W[P]-hard. The results are in contrast with the maximum matroid-matroid intersection which is solvable in polynomial time by an old result of Edmonds. We also prove that it is NP-hard to approximate the weighted greedoid maximization within 2^nO(1) where n is the size of the domain of the greedoid.     

Nevanlinna inequality for intersection of divisors

A Nevanlinna-type inequality is proved for holomorphic mapf:C ^m →M and for intersection of sections of a line bundle overM, in which the intersection may not be pure dimensional and the map may be degenerate. Partial financial support was provided by the NSF under grant number DMS-8922760.     

Bundles with multivalued automorphism groups

A category whose objects are principal bundles with fixed base (smooth manifold) B, structure group T ^k , and finite group of multivalued automorphisms is constructed; the morphisms are required to be equivariant with respect to . Invariants are found and used to calculate the group of equivalence classes of the category objects. Examples are given and applications to dynamical systems with gyroscopic forces are suggested.Translated from Matematicheskie Zametki, vol. 77, no. 4, 2005, pp. 600–616.Original Russian Text Copyright © 2005 by A. V. Ryzhkova, E. I. Yakovlev.This revised version was published online in April 2005 with a corrected issue number.     

Baer subplanes generated by collineations between pencils of lines

In this paper we define a degenerateC _F-set in PG (2,q ²) as the set of points of intersection of corresponding lines under a suitable collineation between two pencils of lines with vertices two distinct pointsA andB mapping the lineA ∨B onto itself. We prove that every such a set is the union of the lineA ∨B and a Baer subplane and vice versa every Baer subplane can be seen as a subset of a degenerateC _F-set.     

On the Central Limit Theorem for Nonuniform φ-Mixing Random Fields

The partial-sum processes, indexed by sets, of a stationary nonuniform -mixing random field on the d-dimensional integer lattice are considered. A moment inequality is given from which the convergence of the finite-dimensional distributions to a Brownian motion on the Borel subsets of [0, 1] ^d is obtained. A Uniform CLT is proved for classes of sets with a metric entropy restriction and applied to certain Gibbs fields. This extends some results of Chen⁽⁵⁾ for rectangles. In this case and when the variables are bounded a simpler proof of the uniform CLT is given.     

Convergence of Discrete Dirichlet Forms to Continuous Dirichlet Forms on Fractals

It is well known that a Dirichlet form on a fractal structure can be defined as the limit of an increasing sequence of discrete Dirichlet forms, defined on finite subsets which fill the fractal. The initial form is defined on V ⁽⁰⁾, which is a sort of boundary of the fractal, and we have to require that it is an eigenform, i.e., an eigenvector of a particular nonlinear renormalization map for Dirichlet forms on V ⁽⁰⁾. In this paper, I prove that, provided an eigenform exists, even if the form on V ⁽⁰⁾ is not an eigenform, the corresponding sequence of discrete forms converges to a Dirichlet form on all of the fractal, both pointwise and in the sense of -convergence (but these two limits can be different). The problem of -convergence was first studied by S. Kozlov on the Gasket.     

Iterative solution of the secular equation

The secular equation with real symmetric positive definite n × n matrix is transformed into a system of n ² quadratic equations for which it is possible to construct a convergent procedure realizing an iterative solution. An example of the numerical realization of the method for solving the problem of determining the electronic energy spectrum is given.Translated from Matematicheskie Zametki, vol. 77, no. 2, 2005, pp. 303–310.Original Russian Text Copyright © 2005 by L. S. Chkhartishvili.This revised version was published online in April 2005 with a corrected issue number.     

Mosco approximation of integrands and integral functionals

It is shown that, given a lower semicontinuous convex integrandf satisfying a suitable integrability condition, there exists a sequence of Lipschitz simple integrands which Mosco converges tof and such that the sequence of conjugate integrands Mosco converges tof ^*. Moreover, this sequence can be chosen so that the sequence of associated integral functionals, respectively defined onL ¹(X) andL (X ^*), Mosco converges as well.We wish to thank Professor Erik J. Balder for interesting remarks on the first version of this work.     

Geometric Dynamics

A kinematic differential system on a Riemann (or semi-Riemann) manifold induces a Lorentz-Udrite world-force law, i.e., any local group with one parameter (any local flow) on a Riemann (or semi-Riemann) manifold induces the dynamics of the given vector field or of an associated particle, which will be called geometric dynamics.The cases of Riemann-Jacobi or Riemann-Jacobi-Lagrange structures are imposed by the behavior of an external tensor field of type (1,1). The case of the Finsler-Jacobi structure appears if the initial metric is chosen such that the energy of the given vector field is constant (Sec. 1). At the end of Sec. 1 are formulated open problems regarding some extensions of geometric dynamics.Adequate structures on the tangent bundle describe the geometric dynamics in the Hamilton language (Sec. 2).Section 3 proves the existence of a Finsler-Jacobi structure induced by an almost contact metric structure.The theory is applied to electromagnetic dynamical systems (the starting point of our theory), offering new principles of unification of the gravitation and the electromagnetism. Also, here, one enounces open problems regarding the geometric dynamics induced by the electric intensity and magnetizing force (Sec. 4).From the geometrical point of view, we create a wider class of Riemann-Jacobi, Riemann-Jacobi-Lagrange, or Finsler-Jacobi manifolds ensuring that all trajectories of a given vector field are geodesics. Having T₁M²ⁿ⁺¹ in mind, the problem of creating a wider class of Riemannian manifolds, in which there exists a vector field such that (1) all trajectories of the vector field are geodesics; (2) the flow defined by is incompressible; (3) the condition which corresponds to the property that is the associate vector field of the contact structure is satisfied;was studied intensively by S. Sasaki. The results were not satisfactory, but Sasaki discovered (, , )-structures [10].AMS Subject Classification (1991): 70H35, 53C22, 58F25, 83C22     

On Crown-Free Graphs with Regular μ-Subgraphs,II

The crown is the complete multipartite graph K _1,1,3. Terwilliger graphs without crowns and graphs without 3-cocliques with regular -subgraphs of given positive degree are studied. As a corollary, the local structure of graphs in which the neighborhoods of vertices are regular Terwilliger graphs of diameter 2 and some of these neighborhoods contain no 7-paws is determined. Connected crown-free graphs in which -subgraphs are edge regular graphs of diameter not exceeding 2 with given parameters are described.     

The Teichmüller distance between finite index subgroups of $${PSL_2(\mathbb{Z})}$$

For a given , we show that there exist two finite index subgroups of which are -quasisymmetrically conjugated and the conjugation homeomorphism is not conformal. This implies that for any there are two finite regular covers of the Modular once punctured torus T ₀ (or just the Modular torus) and a -quasiconformal map between them that is not homotopic to a conformal map. As an application of the above results, we show that the orbit of the basepoint in the Teichmüller space T(S ^p ) of the punctured solenoid S ^p under the action of the corresponding Modular group (which is the mapping class group of S ^p [6], [7]) has the closure in T(S ^p ) strictly larger than the orbit and that the closure is necessarily uncountable.