Limit theorems for bivariate Appell polynomials. Part II: Non-central limit theorems

Summary. Let (X _t ,t∈Z) be a linear sequence with non-Gaussian innovations and a spectral density which varies regularly at low frequencies. This includes situations, known as strong (or long-range) dependence, where the spectral density diverges at the origin. We study quadratic forms of bivariate Appell polynomials of the sequence (X _t ) and provide general conditions for these quadratic forms, adequately normalized, to converge to a non-Gaussian distribution. We consider, in particular, circumstances where strong and weak dependence interact. The limit is expressed in terms of multiple Wiener-It? integrals involving correlated Gaussian measures. Received: 22 August 1996 / In revised form: 30 August 1997     

Non-linearizable algebraic k*-actions on affine spaces

Non-linearizable faithful algebraic (R ^*) ^r -actions of torus on the real affine n-space R ⁿ are given for each r=1,...,n-3 when n>4. Oblatum 16-X-1996 & 1-IV-1999 / Published online: 5 August 1999     

Results on the equivalence problem for finite groups

The equivalence problem for a finite nilpotent group has polynomial time complexity, even when the terms have parameters from the group. The same result holds for the dihedral groups D_n.Received August 24, 2002; accepted in final form August 5, 2004.     

Smooth 4-folds which contain a P1-bundle¶as an ample divisor

We show that if a smooth projective 4-fold M contains an ample divisor A which is P ¹-bundle π :A→S over a smooth projective surface S, π is extended to a P ²-bundle π :S→S, unless $A$ is isomorphic to P ²×P ¹. Received: 28 September 1998 / Revised version: 16 August 1999     

VORONOI POLYHEDRA OF UNIT BALL PACKINGS WITH SMALL SURFACE AREA

In this note, first, we give a very short new proof of the theorem which yields a lower bound for the surface area of Voronoi cells of unit ball packings in E ^d and implies Rogers' upper bound for the density of unit ball packings in E ^d for all d ≥ 2. Second we sharpen locally a classical result of Gauss by finding the locally smallest surface area Voronoi cells of lattice unit ball packings in E ³. This revised version was published online in August 2006 with corrections to the Cover Date.     

On the mixing time of a simple random walk on the super critical percolation cluster

 We study the robustness under perturbations of mixing times, by studying mixing times of random walks in percolation clusters inside boxes in Z ^d . We show that for d≥2 and p>p _c (Z ^d ), the mixing time of simple random walk on the largest cluster inside is Θ(n ² ) – thus the mixing time is robust up to a constant factor. The mixing time bound utilizes the Lovàsz-Kannan average conductance method. This is the first non-trivial application of this method which yields a tight result. Received: 16 December 2001 / Revised version: 13 August 2002 / Published online: 19 December 2002     

Approximating Minimum-Weight Triangulations in Three Dimensions

Let S be a set of noncrossing triangular obstacles in R ³ with convex hull H . A triangulation T of H is compatible with S if every triangle of S is the union of a subset of the faces of T. The weight of T is the sum of the areas of the triangles of T. We give a polynomial-time algorithm that computes a triangulation compatible with S whose weight is at most a constant times the weight of any compatible triangulation. One motivation for studying minimum-weight triangulations is a connection with ray shooting. A particularly simple way to answer a ray-shooting query (``Report the first obstacle hit by a query ray') is to walk through a triangulation along the ray, stopping at the first obstacle. Under a reasonably natural distribution of query rays, the average cost of a ray-shooting query is proportional to triangulation weight. A similar connection exists for line-stabbing queries (``Report all obstacles hit by a query line'). Received February 3, 1997, and in revised form August 21, 1998.     

Quantum solitons with cylindrical symmetry

Soliton solutions with cylindrical symmetry are investigated within the nonlinear -model disregarding the Skyrme stabilization term. The solitons are stabilized by quantization of the collective breathing mode and collapse in the 0 limit. It is shown that for such a stabilization mechanism the model, apart from solitons with integer topological numberB, admits solitons with half-oddB. The solitons with integerB have standard spin-isospin classification, but theB=1/2 solitons are shown to be characterized by spin, isospin, and some additional momentum.Published in Teoreticheskaya i Matematicheskaya Fizika, Vol. 104, No. 2, pp. 248–259, August, 1995.     

Perron Conditions for Uniform Exponential Expansiveness of Linear Skew-Product Flows

 We present necessary and sufficient conditions for uniform exponential expansiveness of discrete skew-product flows, in terms of uniform complete admissibility of the pair (c ₀(N, X), c ₀(N, X)). We give discrete and continuous characterizations for uniform exponential expansiveness of linear skew-product flows, using the uniform complete admissibility of the pairs (c ₀(N, X), c ₀(N, X)) and (C ₀(R ₊, X), C ₀(R ₊, X)), respectively. We generalize an expansiveness theorem due to Van Minh, R?biger and Schnaubelt, for the case of linear skew-product flows. Received August 10, 2001; in revised form June 25, 2002     

Stability and Boundary Behavior of the Kobayashi Metrics

Uniform stability and localization results for the higher order and singular Kobayashi metrics are established. As an application we obtain the non-tangential weighted limits of these metrics in an h-extendible boundary point of a bounded domain in C ⁿ. This revised version was published online in August 2006 with corrections to the Cover Date.     

On Existence and Weak Stability of Matrix Refinable Functions

We consider the existence of distributional (or L ₂ ) solutions of the matrix refinement equation where P is an r×r matrix with trigonometric polynomial entries. One of the main results of this paper is that the above matrix refinement equation has a compactly supported distributional solution if and only if the matrix P (0) has an eigenvalue of the form 2 ⁿ , . A characterization of the existence of L ₂ -solutions of the above matrix refinement equation in terms of the mask is also given. A concept of L ₂ -weak stability of a (finite) sequence of function vectors is introduced. In the case when the function vectors are solutions of a matrix refinement equation, we characterize this weak stability in terms of the mask. August 1, 1996. Date revised: July 28, 1997. Date accepted: August 12, 1997.     

Relations compatible with near unanimity operations

Given a system of k-ary relations on a finite set A which are compatible with a (k + 1)-ary near unanimity operation on A, we provide a characterization of when is the system of all k-ary subuniverses of an algebra A on A.In Celebration of the Sixtieth Birthday of Ralph N. McKenzieReceived August 26, 2003; accepted in final form July 10, 2004.     

Prewavelet analysis of the heat equation

Summary. We consider the heat equation in a smooth domain of R with Dirichlet and Neumann boundary conditions. It is solved by using its integral formulation with double-layer potentials, where the unknown , the jump of the solution through the boundary, belongs to an anisotropic Sobolev space. We approximate by the Galerkin method and use a prewavelet basis on , which characterizes the anisotropic space. The use of prewavelets allows to compress the stiffness matrix from to when N is the size of the matrix, and the condition number of the compressed matrix is uniformly bounded as the initial one in the prewavelet basis. Finally we show that the compressed scheme converges as fast as the Galerkin one, even for the Dirichlet problem which does not admit a coercive variational formulation. Received April 16, 1999 / Published online August 2, 2000     

On the construction of stable curvilinear pp version elements for mixed formulations of elasticity and Stokes flow

Summary. The use of mixed finite element methods is well-established in the numerical approximation of the problem of nearly incompressible elasticity, and its limit, Stokes flow. The question of stability over curved elements for such methods is of particular significance in the p version, where, since the element size remains fixed, exact representation of the curved boundary by (large) elements is often used. We identify a mixed element which we show to be optimally stable in both p and h refinement over curvilinear meshes. We prove optimal p version (up to ) and h version (p = 2, 3) convergence for our element, and illustrate its optimality through numerical experiments. Received August 25, 1998 / Revised version received February 16, 1999 / Published online April 20, 2000 –? Springer-Verlag 2000     

The parameterized local deduction theorem for quasivarieties of algebras and its application

Let be an algebraic type. To each classK of -algebras a consequence relation _K defined on the set of -equations is assigned. Some weak forms of the deduction theorem for _K and their algebraic counterparts are investigated. The (relative) congruence extension property (CEP) and its variants are discussed.CEP is shown to be equivalent to a parameter-free form of the deduction theorem for the consequence _K .CEP has a strong impact on the structure ofK: for many quasivarietiesK,CEP implies thatK is actually a variety. This phenomenon is thoroughly discussed in Section 5. We also discuss first-order definability of relative principal congruences. This property is equivalent to the fact that the deduction theorem for _K is determined by a finite family of finite sets of equations. The following quasivarietal generalization of McKenzie's [26] finite basis theorem is proved:LetK be quasivariety of algebras of finite type in which the principalK-congruences are definable. ThenK is finitely axiomatizable iff either the classK _FSI (of all relatively finitely subdirectly irreducible members ofK) or the class K_SI (of all relatively subdirectly irreducible members ofK) is strictly elementary.Applications of the theory to Heyting, interior, Sugihara, and ukasiewicz algebras are provided.Presented by R. McKenzie.The paper was presented in a talk given to the Conference on Algebraic Logic, Budapest, August 1988.     

Intersecting Curves in the Plane

 We prove that for every family of n pairwise intersecting simple closed planar curves in general position, at least (4/5)n ²−O(n) points lie on more than one curve. This improves the previous lower bound of (3/4)n ²−O(n) due to Richter and Thomassen. Received: March 29, 2000 Final version received: August 30, 2001 RID="*" ID="*" Research supported in part by NSF grant DMS-9970325 Acknowledgments. I thank Bruce Richter for informing me about this problem, Gelasio Salazar for reading a preliminary version of the paper, and a Referee for useful comments. Current Address: Microsoft Research, One Microsoft Way, Redmond, WA 98052-6399, USA. e-mail: mubayi@microsoft.com 1991 Mathematics Subject Classification. 05C35, 52C10     

On the Hopfield model at the critical temperature

We study the Hopfield model at temperature 1, when thenumber M(N) of patterns grows a bit slower than N. We reach a goodunderstanding of the model whenever M(N)≤N/(log N)¹¹. For example, we show that if M(N)→∞, for two typical configurations σ ¹, σ ², (∑ _{i ≤ N} σ¹ _i σ² _i )² is close to NM(N). Received: 15 December 1999 / Revised version: 8 December 2000 / Published online: 23 August 2001     

On the existence of closed timelike geodesics in compact spacetimes. II

 The purpose of this paper is on the one hand to extend and generalize, in terms of Clifford translations, some results in a previous paper (Math. Z. 239 (2002), 277–291) concerning the existence of closed timelike geodesics in compact spacetimes, and on the other hand to prove that a compact flat spacetime (M, g) contains a closed timelike geodesic if and only if the fundamental group π₁(M) contains a non-trivial timelike translation. Received: 22 January 2002; in final form: 12 August 2002 / Published online: 16 May 2003 Mathematics Subject Classification (2000): 53C50, 53C22.     

Some subgroups of semilinearly ordered groups

Let G be a semilinearly ordered group with a positive cone P. Denote byn(G) the greatest convex directed normal subgroup of G, byo(G) the greatest convex right-ordered subgroup of G, and byr(G) a set of all elements x of G such that x and x⁻¹ are comparable with any element of P^± (the collection of all group elements comparable with an identity element). Previously. it was proved thatr(G) is a convex right-ordered subgroup of G. andn(G) ⊆r(G) ⊆o(G). Here, we establish a new property ofr(G). and show that the inequalities in the given system of inclusions are, generally, strict. Supported by RFFR grant No. 99-01-00156. Translated fromAlgebra i Logika, Vol. 39, No. 4, pp. 465–479, July–August, 2000.     

Multigrid methods with web-splines

Summary. We describe and analyze a multigrid algorithm for finite element approximations of second order elliptic boundary value problems with weightedextended b-splines (web-splines). This new technique provides high accuracy with relatively low-dimensional subspaces, does not require any grid generation, and is ideally suited for hierarchical solution techniques. In particular, we show that the standard W-cycle yields uniform convergence, i.e., the required number of iterations is bounded independent of the grid width. Received August 17, 2000 / Published online August 17, 2001