Efficient loop-check for KD 45 logic

We introduce a new sequent calculus for KD 45 logic. A loop-check technique is used to determine whether a sequent derivable or not. We concentrate ourselves on the efficiency of the loop-check technique used. The efficiency is obtained by making the loop-check to act locally (then we need to check only one or two current sequents), instead of a global loop-check used in known works as [3]. Moreover, the sequent calculus introduced uses a marked operator □ to integrate loop-check into an inference rule. Besides the efficient loop-check used, the sequent calculus introduced produces smaller derivation trees that reduce the derivation time. We also prove a lemma which determines the maximal number of modality rule applications in one branch of a tree. Published in Lietuvos Matematikos Rinkinys, Vol. 46, No. 1, pp. 55–66, January–March, 2006.     

Localization of <Emphasis Type="Italic">LM</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>-algebras

The aim of this paper is to define the localization LM _n -algebra of an LM _n —algebra L with respect to a topology F on L; in Section 5 we prove that the maximal LM _n -algebra of fractions (defined in [3]) and the LM _n -algebra of fractions relative to an Λ—closed system (defined in Section 2) are LM _n -algebras of localization.     

Cut elimination for S4n and K4n with the central agent axiom

We analyze the multimodal logic S4 _n with the central agent axiom. We present a Hilbert-type calculus, then derive a Gentzen-type calculus with cut, and prove a cut-elimination theorem. The work shows that it is possible to construct a cut-free Gentzen-type calculus for this logic. Moreover, it also provides analogous results for the multimodal logic K4 _n with the central agent axiom.     

On hamiltonicity of <Emphasis Type="Italic">P</Emphasis><Subscript>3</Subscript>-dominated graphs

We introduce a new class of graphs which we call P ₃-dominated graphs. This class properly contains all quasi-claw-free graphs, and hence all claw-free graphs. Let G be a 2-connected P ₃-dominated graph. We prove that G is hamiltonian if α(G ²) ≤ κ(G), with two exceptions: K _2,3 and K _1,1,3. We also prove that G is hamiltonian, if G is 3-connected and |V(G)| ≤ 5δ(G) − 5. These results extend known results on (quasi-)claw-free graphs. This paper was completed when both authors visited the Center for Combinatorics, Nankai University, Tianjin. They gratefully acknowledge the hospitality and support of the Center for Combinatorics and Nankai University. The work of E.Vumar is sponsored by SRF for ROCS, REM.     

<Emphasis Type="Italic">K</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>-nearest neighbor estimators of entropy

For estimating the entropy of an absolutely continuous multivariate distribution, we propose nonparametric estimators based on the Euclidean distances between the n sample points and their k _n -nearest neighbors, where {k _n : n = 1, 2, …} is a sequence of positive integers varying with n. The proposed estimators are shown to be asymptotically unbiased and consistent.      

On the negative cyclic homology of <Emphasis Type="Italic">shc</Emphasis>-algebras

Let be a field of characteristic and S ¹ the unit circle. We prove that the shc-structure on a cochain algebra (A,d _A ) induces an associative product on the negative cyclic homology HC _*⁻ A. When the cochain algebra (A,d _A ) is the algebra of normalized cochains of the simply connected topological space X with coefficients in , then HC _*⁻ A is isomorphic as a graded algebra to the S ¹-equivariant cohomology algebra of LX, the free loop space of X. We use the notion of shc-formality introduced in Topology 41, 85–106 (2002) to compute the S ¹-equivariant cohomology algebras of the free loop space of the complex projective space when n + 1 = 0 [p] and of the even spheres S ²ⁿ when p = 2.      

Inversion of degree <Emphasis Type="Italic">n</Emphasis> + 2

By the method of synthetic geometry, we define a seemingly new transformation of a three-dimensional projective space where the corresponding points lie on the rays of the first order, nth class congruence C _n ¹ and are conjugate with respect to a proper quadric Ψ. We prove that this transformation maps a straight line onto an n + 2 order space curve and a plane onto an n + 2 order surface which contains an n-ple (i.e. n-multiple) straight line. It is shown that in the Euclidean space the pedal surfaces of the congruences C _n ¹ can be obtained by this transformation. The analytical approach enables new visualizations of the resulting curves and surfaces with the program Mathematica. They are shown in four examples.      

A Lower Bound of <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript> Norms in the CLT for Strongly Mixing Random Variables

We derive a lower bound of L _p norms, 1 ⩽ p ⩽ ∞, in the central limit theorem for strongly mixing random variables X ₁,..., X _n with under the boundedness condition ℙ{|X _i | ⩽ M} = 1 with a nonrandom constantM > 0 and condition ∑ _r⩾1 r ²α(r) < ∞, where α(r) are the Rosenblatt strong mixing coefficients. __________ Translated from Lietuvos Matematikos Rinkinys, Vol. 45, No. 4, pp. 587–602, October–December, 2005.     

Commensurations of Out(F<Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>)

Let Out(F _n ) denote the outer automorphism group of the free group F _n with n>3. We prove that for any finite index subgroup Γ<Out(F _n ), the group Aut(Γ) is isomorphic to the normalizer of Γ in Out(F _n ). We prove that Γ is co-Hopfian: every injective homomorphism Γ→Γ is surjective. Finally, we prove that the abstract commensurator Comm(Out(F _n )) is isomorphic to Out(F _n ).     

On the cubic <Emphasis Type="Italic">L</Emphasis><Subscript>1</Subscript> spline interpolant to the Heaviside function

We prove that the univariate interpolating cubic L ₁ spline to the Heaviside function at three sites to the left of the jump and three sites to the right of the jump entirely agrees with the Heaviside function except in the middle interval where it is the interpolating cubic with zero slopes at the end point. This shows that there is no oscillation near the discontinuous point i.e. no Gibbs’ phenomenon.     

<Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript> discrepancy of generalized two-dimensional Hammersley point sets

We determine the L _p discrepancy of the two-dimensional Hammersley point set in base b. These formulas show that the L _p discrepancy of the Hammersley point set is not of best possible order with respect to the general (best possible) lower bound on L _p discrepancies due to Roth and Schmidt. To overcome this disadvantage we introduce permutations in the construction of the Hammersley point set and show that there always exist permutations such that the L _p discrepancy of the generalized Hammersley point set is of best possible order. For the L ₂ discrepancy such permutations are given explicitly. F.P. is supported by the Austrian Science Foundation (FWF), Project S9609, that is part of the Austrian National Research Network “Analytic Combinatorics and Probabilistic Number Theory”.     

The (<Emphasis Type="Italic">S</Emphasis>)<Subscript>+</Subscript> condition on generalized variational inequalities

In this paper, we derive some existence results for generalized variational inequalities associated with mappings satisfying the (S)₊ condition. The relation between the (S)₊ and (S)₊¹ conditions is discussed. As an application, we also consider multivalued complementarity problems associated with mappings satisfying the (S)₊ condition, and prove a theorem to characterize the solvability of such problems in terms of exceptional families of elements.     

<Emphasis Type="Italic">∂</Emphasis>-operations and <Emphasis Type="Italic">H</Emphasis><Subscript><Emphasis Type="Italic">V</Emphasis></Subscript>-fields

The hyperoperations, called theta-operations （δ）, are motivated from the usual property, which the derivative has on the derivation of a product of functions. Using any map on a set, one can define δ-operations. In this paper, we continue our study on the δ-operations on groupoids, rings, fields and vector spaces or on the corresponding hyperstructures. Using δ-operations one obtains, mainly, Hwstructures, which form the largest class of the hyperstructures. For representation theory of hyperstructures, by hypermatrices, one needs special Hv-rings or Hy-fields, so these hyperstructures can be used. Moreover, we study the relation of these δ-structures with other classes of hyperstructures, especially with the Hv-structures.     

Lifting elementary embeddings <Emphasis Type="Italic">j</Emphasis>: <Emphasis Type="Italic">V</Emphasis><Subscript>λ</Subscript> → <Emphasis Type="Italic">V</Emphasis><Subscript>λ</Subscript>

We describe a fairly general procedure for preserving I₃ embeddings j: V _λ → V _λ via λ-stage reverse Easton iterated forcings. We use this method to prove that, assuming the consistency of an I₃ embedding, V = HOD is consistent with the theory ZFC + WA where WA is an axiom schema in the language {∈, j} asserting a strong but not inconsistent form of “there is an elementary embedding V → V”. This improves upon an earlier result in which consistency was established assuming an I₁ embedding.      

Fundamental groups of manifolds with <Emphasis Type="Italic">S</Emphasis><Superscript>1</Superscript>-category 2

A closed topological n-manifold M ⁿ is of S ¹-category 2 if it can be covered by two open subsets W ₁,W ₂ such that the inclusions W _i → M ⁿ factor homotopically through maps W _i → S ¹ → M ⁿ . We show that the fundamental group of such an n-manifold is a cyclic group or a free product of two cyclic groups with nontrivial amalgamation. In particular, if n = 3, the fundamental group is cyclic.      

Congruences Concerning Values of the Modular Functions <Emphasis Type="Italic">j</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

The j-function j(z) = q⁻¹+ 744 + 196884q + ⋅s plays an important role in many problems. In [7], Zagier, presented an interesting series of functions obtained from the j-function: j_m(ζ) = (j(ζ) – 744)∨T₀(m), where T₀(m) is the usual m′th normalized weight 0 Hecke operator. In [3], Bruinier et al. show how this series of functions can be used to describe all meromorphic modular forms on SL₂(ℤ). In this note we use these functions and basic notions about modular forms to determine previously unidentified congruence relations between the coefficients of Eisenstein series and the j-function. 2000 Mathematics Subject Classification: Primary–11B50, 11F03, 11F30 The author thanks the National Science Foundation for their generous support.     

On Stability of Cones in <Emphasis Type="Italic">R</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis>+1</Superscript> with Zero Scalar Curvature

In this work we generalize the case of scalar curvature zero the results of Simmons (Ann. Math. 88 (1968), 62–105) for minimal cones in Rⁿ⁺¹. If Mⁿ⁻¹ is a compact hypersurface of the sphere Sⁿ(1) we represent by C(M)ε the truncated cone based on M with center at the origin. It is easy to see that M has zero scalar curvature if and only if the cone base on M also has zero scalar curvature. Hounie and Leite (J. Differential Geom. 41 (1995), 247–258) recently gave the conditions for the ellipticity of the partial differential equation of the scalar curvature. To show that, we have to assume n ⩾ 4 and the three-curvature of M to be different from zero. For such cones, we prove that, for n ≤slant 7 there is an ε for which the truncate cone C(M)_ε is not stable. We also show that for n ⩾ 8 there exist compact, orientable hypersurfaces Mⁿ⁻¹ of the sphere with zero scalar curvature and S₃ different from zero, for which all truncated cones based on M are stable. Mathematics Subject Classifications (2000): 53C42, 53C40, 49F10, 57R70.     

Paired-Domination in <Emphasis Type="Italic">P</Emphasis><Subscript>5</Subscript>-Free Graphs

A set S of vertices in a graph G is a paired-dominating set of G if every vertex of G is adjacent to some vertex in S and if the subgraph induced by S contains a perfect matching. The paired-domination number of G, denoted by , is the minimum cardinality of a paired-dominating set of G. In [1], the authors gave tight bounds for paired-dominating sets of generalized claw-free graphs. Yet, the critical cases are not claws but subdivided stars. We here give a bound for graphs containing no induced P ₅, which seems to be the critical case.     

A characterization of totally <Emphasis Type="Italic">η</Emphasis>-umbilical real hypersurfaces and ruled real hypersurfaces of a complex space form

We give a characterization of totally η-umbilical real hypersurfaces and ruled real hypersurfaces of a complex space form in terms of totally umbilical condition for the holomorphic distribution on real hypersurfaces. We prove that if the shape operator A of a real hypersurface M of a complex space form M ⁿ (c), c ≠ 0, n ⩾ 3, satisfies g(AX, Y) = ag(X, Y) for any X, Y ∈ T ₀(x), a being a function, where T ₀ is the holomorphic distribution on M, then M is a totally η-umbilical real hypersurface or locally congruent to a ruled real hypersurface. This condition for the shape operator is a generalization of the notion of η-umbilical real hypersurfaces.     

Complemented copies of ℓ<Subscript>p</Subscript> spaces in tensor products

We give sufficient conditions on Banach spaces X and Y so that their projective tensor product X ⊗_π Y, their injective tensor product X ⊗_ɛ Y, or the dual (X ⊗_π Y)^* contain complemented copies of ℓ_p.