Slow-fast hamiltonian dynamics near a ghost separatix loop

We study the behavior of a slow-fast (singularly perturbed) Hamiltonian system with two degrees of freedom, losing one degree of freedom at the singular limit = 0, near its ghost separatrix loop, i.e., a homoclinic orbit to a saddle equilibrium of the slow (one degree of freedom) system. We show that, for small > 0, the system has an equilibrium of the saddle-center type and prove, using the method of Delatte, that the Moser normal form exists in an O()-neighborhood of the equilibrium. Then we show that one-dimensional separatrices of the equilibria are generically split with exponentially small splitting. Also, we demonstrate that out of some exponentially thin neighborhood of the ghost separatrix loop in the level of a Hamiltonian containing a saddle-center, the major part of the phase space is foliated into Diophantine invariant tori.Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 8 , Suzdal Conference—2, 2003.This revised version was published online in April 2005 with a corrected cover date.     

Non removable edges in 3-connected cubic graphs

LetG be a cyclicallyk-edge-connected cubic graph withk 3. Lete be an edge ofG. LetG be the cubic graph obtained fromG by deletinge and its end vertices. The edgee is said to bek-removable ifG is also cyclicallyk-edge-connected. Let us denote by S _k (G) the graph induced by thek-removable edges and by N _k (G) the graph induced by the non 3-removable edges ofG. In a previous paper [7], we have proved that N ₃(G) is empty if and only ifG is cyclically 4-edge connected and that if N ₃(G) is not empty then it is a forest containing at least three trees. Andersen, Fleischner and Jackson [1] and, independently, McCuaig [11] studied N ₄(G). Here, we study the structure of N _k (G) fork 5 and we give some constructions of graphs such thatN _k (G) = E(G). We note that the main result of this paper (Theorem 5) has been announced independently by McCuaig [11].

---

Résumé SoitG un graphe cubique cyliquementk-arête-connexe, aveck 3. Soite une arête deG et soitG le graphe cubique obtenu à partir deG en supprimante et ses extrémités. L'arêtee est ditek-suppressible siG est aussi cycliquementk-arête-connexe. Désignons par S _k (G) le graphe induit par les arêtesk-suppressibles et par N _k (G) celui induit par les arêtes nonk-suppressibles. Dans un précédent article [7], nous avons montré que N ₃(G) est vide si et seulement siG est cycliquement 4-arête-connexe et que si N ₃(G) n'est pas vide alors c'est une forêt possédant au moins trois arbres. Andersen, Fleischner and Jackson [1] et, indépendemment, McCuaig [11] ont étudié N ₄(G). Ici, nous étudions la structure de N _k (G) pourk 5 et nous donnons des constructions de graphes pour lesquelsN _k (G) = E(G). Nous signalons que le résultat principal de cet article (Théorème 5) a été annoncé indépendamment par McCuaig [11].

     

Monotone subsequences in (0, 1)-matrices

A (0, 1)-matrix contains anS ₀(k) if it has 0-cells (i, j ₁), (i + 1,j ₂),..., (i + k – 1,j _k) for somei andj ₁ < ... < j_k, and it contains anS ₁(k) if it has 1-cells (i ₁,j), (i ₂,j + 1),...,(i _k ,j + k – 1) for somej andi ₁ < ... <i _k . We prove that ifM is anm × n rectangular (0, 1)-matrix with 1 m n whose largestk for anS ₀(k) isk ₀ m, thenM must have anS ₁(k) withk m/(k ₀ + 1). Similarly, ifM is anm × m lower-triangular matrix whose largestk for anS ₀(k) (in the cells on or below the main diagonal) isk ₀ m, thenM has anS ₁(k) withk m/(k ₀ + 1). Moreover, these results are best-possible.     

Some inequalities about the covering radius of Reed-Muller codes

Let R(r, m) be the rth order Reed-Muller code of length 2 ^m , and let (r, m) be its covering radius. We prove that if 2 k m - r - 1, then (r + k, m + k) (r, m + 2(k - 1). We also prove that if m - r 4, 2 k m - r - 1, and R(r, m) has a coset with minimal weight (r, m) which does not contain any vector of weight (r, m) + 2, then (r + k, m + k) (r, m) + 2k(. These inequalities improve repeated use of the known result (r + 1, m + 1) (r, m).This work was supported by a grant from the Research Council of Wright State University.     

Convex independent sets and 7-holes in restricted planar point sets

For a finite setA of points in the plane, letq(A) denote the ratio of the maximum distance of any pair of points ofA to the minimum distance of any pair of points ofA. Fork>0 letc (k) denote the largest integerc such that any setA ofk points in general position in the plane, satisfying for fixed , contains at leastc convex independent points. We determine the exact asymptotic behavior ofc (k), proving that there are two positive constants=(), such thatk ^1/3c (k)k ^1/3. To establish the upper bound ofc (k) we construct a set, which also solves (affirmatively) the problem of Alonet al. [1] about the existence of a setA ofk points in general position without a 7-hole (i.e., vertices of a convex 7-gon containing no other points fromA), satisfying . The construction uses Horton sets, which generalize sets without 7-holes constructed by Horton and which have some interesting properties.     

The Domination Parameters of Cubic Graphs

Let ir(G), (G), i(G), ₀(G), (G) and IR(G) be the irredundance number, the domination number, the independent domination number, the independence number, the upper domination number and the upper irredundance number of a graph G, respectively. In this paper we show that for any nonnegative integers k₁, k₂, k₃, k₄, k₅ there exists a cubic graph G satisfying the following conditions: (G) – ir(G) k₁, i(G) – (G) k₂, ₀(G) – i(G) > k₃, (G) – ₀(G) – k₄, and IR(G) – (G) – k₅. This result settles a problem posed in [9].Supported by the INTAS and the Belarus Government (Project INTAS-BELARUS 97-0093).Supported by RUTCOR.     

High levelm-harmonic cardinal B-splines

We generalize the notion ofm-harmonic cardinal B-spline defined in [Rabut, [6c]] to obtain B-splines on an infinite regular grid, which are halfway between elementary B-splines and the Lagrangean cardinal spline function. We give the main properties of these functions: Fourier transform, decay when x , integration,P _k -reproduction (fork<-2m–1) of the associated B-spline approximation, etc. We show that, in some sense, high levelm-harmonic B-splines may be considered as a finer regular approximation of the Dirac distribution than the elementarym-harmonic B-splines are.     

On the distribution of square-full and cube-full numbers

There are many results on the distribution of square-full and cube-full numbers. In this article the distribution of these numbers are studied in more detail. Suchk-full numbers (k=2,3) are considered which are at the same time 1-free (1k+2). At first an asymptotic result is given for the numberN _k,1(x) ofk-full and 1-free numbers not exceedingx. Then the distribution of these numbers in short intervals is investigated. We obtain different estimations of the differenceN _k,1(x+h)–N_k,1(x) in the casesk=2, 1=4,5,6,7,18 andk=3, 1=5,6,7, 18.     

Factorization intok-dimensional linear bijections

LetV be a vector space,k withkdimV andS _k{GL(V)|dimV(–1)=k}. ThenS _k generates GL _f (V){GL(V)|V(-1) is finite-dimensional} (with the exception that dimV=2=k and the field is GF2). We study the length problem in GL _f (V) withS _k as set of generators.     

Toughness and the existence ofk-factors. II

In a paper with the same title [3], we proved Chvátal's conjecture thatk-tough graphs havek-factors if they satisfy trivial necessary conditions. In this paper, we prove the following stronger result: Suppose|V(G)| k + 1,k |V(G)| even, and|S| k w(G – S) – 7/8k ifw(G – S) 2, wherew(G – S) is the number of connected components ofG – S. ThenG has ak-factor.     

Lax-type isospectral deformations on nilmanifolds

A one-parameter familyg(t) (0 t T) of Riemannian metric on a compact manifold is called an isospectral deformation of a metricg(0) if the Laplace-Beltrami operators associated to the metricsg(t) have the same spectra. Examples of non-trivial isospectral deformations were constructed on solvmanifolds for the first time by C.S. Gordon and E. Wilson on the basis of Kirillov theory. This paper considers the isospectral deformations on nilmanifolds from the dynamical point of view. First, we see for certain isospectral deformations that the associated Hamiltonian systems of geodesic flows are decomposed into a collection of reduced systems which are left invariant as Hamiltonian systems under the deformations. This fact is formulated by the classical Lax equations. Next, by using a quantization procedure, we attempt to obtain Lax equations for the reduced Laplacians from the classical Lax equations. As a result, we show that certain isospectral deformations by Gordon-Wilson are represented by the Lax equations.     

Note on weakly mixing transformations

Summary LetT be a weakly mixing transformation with respect to a probability measureP on a metric space (X, d). Suppose further that every open ball of (X, d) has positive measure. Then we show that, for anyP-measurable setA withP(A) > 0, lim supD _k (T ⁿ A) =D _k (X) fork = 2, 3,, whereD _k (B) is the geometric diameter of orderk of a subsetB ofX. It is shown further that D _k can be replaced by essD _k , in the case whenTB is measurable wheneverB is measurable. These results complement a previous one due to R. E. Rice for strongly mixing transformations and improve a result of C. Sempi on weakly mixing transformations.     

Infinitesimally homogeneous submanifolds of euclidean spaces

For a class of submanifolds of ^N, the infinitesimally homogeneous ones, the second fundamental form and itss-times iterated derivativessk+1 at any fixed point determine the immersion uniquely. The integerk>0 will be called the extrinsic Singer invariant. Any infinitesimally homogeneous submanifoldM (which is not necessarily complete) is an open part of a globally homogeneous (complete) submanifold. Indeed, the infinitesimal data at any pointp, determine, canonically, a Lie subgroupG of the isometry group of ^N , whose orbit atp is a complete submanifold that extendsM. Work partially supported by the GNSAGA of CNR and by the MURST of Italy     

Fractal properties of the singular function s(u)

The function s(u) arising in the study of long primitive BCH codes over GF(q) is reviewed. The set of points 0 < u 1 such that q ^ku has a modulo 1 representation in the interval [a, 1] for every integer k 0 is shown to have Hausdorff dimension s(a) for every 0 a 1. Berlekamp's conjecture on the dimension of a set of points at which s fails to be differentiable is also proved.     

Higher-Dimensional Representations of the Reflection Equation Algebra

We consider a new method for constructing finite-dimensional irreducible representations of the reflection equation algebra. We construct a series of irreducible representations parameterized by Young diagrams. We calculate the spectra of central elements s _k=Tr_q L ^k of the reflection equation algebra on q-symmetric and q-antisymmetric representations. We propose a rule for decomposing the tensor product of representations into irreducible representations.     

Divisibility of Certain Partition Functions by Powers of Primes

Let be the prime factorization of a positive integer k and let b _k (n) denote the number of partitions of a non-negative integer n into parts none of which are multiples of k. If M is a positive integer, let S _k (N; M) be the number of positive integers N for which b _k(n ) 0(mod M). If we prove that, for every positive integer j In other words for every positive integer j, b _k(n) is a multiple of for almost every non-negative integer n. In the special case when k=p is prime, then in representation-theoretic terms this means that the number ofp -modular irreducible representations of almost every symmetric groupS _n is a multiple of p ^j. We also examine the behavior of b _k(n) (mod ) where the non-negative integers n belong to an arithmetic progression. Although almost every non-negative integer n (mod t) satisfies b _k(n) 0 (mod ), we show that there are infinitely many non-negative integers n r (mod t) for which b _k(n) 0 (mod ) provided that there is at least one such n. Moreover the smallest such n (if there are any) is less than 2 .     

Tauberian Theorems for Weighted Means of Double Sequences

Let p := {p _j } _j=0 and q := {q _k } _k–0 be complex (or real) sequences with the property that P _m := _j–0 ^m p _j 0 for all m 0, Q _n := _k–0 ⁿ q _k 0 for all n 0, and both of {P _m } _m=0 and {Q _n } _n=0 are varying away from 1. Assume that {s _mn } is a double sequence in C(or one of R, a Banach space, and an ordered linear space), which is (N¯,p,q; ,) summable to a finite limit, where (,) =(1,1), (1,0), or (0,1). We give necessary and sufficient conditions under which {s _mn } converges in Pringsheim's sense. These conditions are weaker than the two-dimensional analogues of Landau's condition and Schmidt's slow decrease condition. Our results generalize and extend [1 4, 12 15]. We also solve the problems posed in [3, 13, 14].     

On the stationary measures of critical branching processes

Let Z _n (n=0, l, ...) be an aperiodic critical Galton-Watson process and let ² be the (possibly infinite) variance of Z ₁. Let _k (k=1, 2, ...) denote the stationary measure of the process. Kesten, Ney and Spritzer proved in 1966 that _k 2/ ² as k (*) under the additional assumption that EZ ₁ ² log Z ₁< (**) In the present paper, (*) is proved without the assumption (**). The proof uses complex function theory.     

Mapping Properties of the Laplacian in Sobolev Spaces of Forms on Complete Hyperbolic Manifolds

For a complete manifold M with constant negative curvature, weprove that the rough Laplacian _R defines topological isomorphisms in the scale of Sobolev spaces H _p ^s (M) ofp-forms for all p, 0 < p< n. For the de Rham Laplacian and M= ⁿ , the Poincaréhyperbolic space, this is shown too for 0 pn,pn/2, p (n± 1)/2.     

Distinguishing Between Symmetric Spaces and L ∞ by a Differential Basis

One of the fundamental problems in the theory of differentiation of integrals is the following. Let X and Y be two spaces which are different in some sense. Does there exist a differential basis that differentiates the space X, i.e., all integrals of functions from X, but not integrals of functions from Y, i.e., there exists a function from Y whose integral cannot be differentiated by this basis. In this paper we construct a basis which differentiates the space L but does not differentiate any other symmetric space X L.