Some bounds on the p-domination number in trees

Let p be a positive integer and G=(V,E) a graph. A subset S of V is a p-dominating set if every vertex of V-S is dominated at least p times, and S is a p-dependent set of G if the subgraph induced by the vertices of S has maximum degree at most p-1. The minimum cardinality of a p-dominating set a of G is the p-domination number γ_p(G) and the maximum cardinality of a p-dependent set of G is the p-dependence number β_p(G). For every positive integer p?2, we show that for a bipartite graph G, γ_p(G) is bounded above by (|V|+|Y_p|)/2, where Y_p is the set of vertices of G of degree at most p-1, and for every tree T, γ_p(T) is bounded below by β_p-1(T). Moreover, we characterize the trees achieving equality in each bound.     

On p-covalenced association schemes

Let (X,S) denote an association scheme where X is a finite set. For a prime p we say that (X,S) is p-covalenced (p-valenced) if every multiplicity (valency, respectively) of (X,S) is a power of p. In the character theory of finite groups Ito's theorem states that a finite group G has a normal abelian p-complement if and only if every character degree of G is a power of p. In this article we generalize Ito's theorem to p-valenced association schemes, i.e., a p-valenced association scheme (X,S) has a normal p-covalenced p-complement if and only if (X,S) is p-covalenced.     

The cardinal characteristic for relative γ-sets

For X a separable metric space define p(X) to be the smallest cardinality of a subset Z of X which is not a relative γ-set in X, i.e., there exists an ω-cover of X with no γ-subcover of Z. We give a characterization of p(ω²) and p(ωω) in terms of definable free filters on ω which is related to the pseudo-intersection number p. We show that for every uncountable standard analytic space X that either p(X)=p(ω²) or p(X)=p(ωω). We show that the following statements are each relatively consistent with ZFC: (a) p=p(ωω)<p(ω²) and (b) p<p(ωω)=p(ω²)     

Representing the GCD as linear combination in non-PID rings

We prove the following fact: If finitely many elements p ₁,p ₂,…,p _n of a unique factorization domain are given such that the greatest common divisor of each pair (p _i ,p _j ) can be expressed as a linear combination of p _i and p _j , then the greatest common divisor of all the p _i ’s can also be expressed as a linear combination of p ₁,…,p _n . We prove an analogous statement in general commutative rings.     

Maximum graphs with a unique k-factor

For suitable integers p and k, let f(p, k) denote the maximum number of edges in a graph of order p which has a unique k-factor. The values of f(p, k) are determined for k = 2, p ? 3, and p ? 2 and the extremal graphs are determined.     

Line graph eigenvalues and line energy of caterpillars

The energy of a graph G is the sum of the absolute values of the eigenvalues of the adjacency matrix of G. A caterpillar is a tree in which the removal of all pendant vertices makes it a path. Let d?3 and n?2(d-1). Let p=[p₁,p₂,…,p_d-1] with p₁?1,p₂?1,…,p_d-1?1 such that

p₁+p₂+?+p_d-1=n-d+1.     

The converse of the Solid Torus Theorem

Given positive integers p and q, a (p,q)-solid torus is a manifold diffeomorphic to Dp+1×Sq while a (p,q)-torus in a closed manifold M is the image of a differentiably embedding Sp×Sq→M. We prove that if n=p+q+1 with p=q=1 or p≠q, then M is homeomorphic to Sn whenever every (p,q)-torus bounds a (p,q)-solid torus. We also prove for p=q that every closed n-manifold for which every (p,p)-torus bounds an irreducible manifold is irreducible. Consequently, every closed 3-manifold for which every torus bounds an irreducible manifold is irreducible.     

Some generalizations of the concept of a p-space

In this article, some generalizations of the concept of a p-space are introduced and studied. The notion of a source of a space in a larger space and the concepts of partial plumage, s-embedding, p-embedding, p^?-embedding, s-space, and p^?-space are defined and studied in depth (see Theorems 2.6, 2.7, 3.2, 4.3, 4.4, 4.10 and their corollaries). An example of a hereditarily p^?-space which is not a p-space and is a perfect image of a hereditarily p-space is indicated (Example 2.9). Among the main results, we establish that if a paracompact space X is p-embedded in a pseudocompact space as a dense subspace, then X is a p-space (Corollary 4.8), and that if X has a countable network and is p^?-embedded in a pseudocompact space, then X is metrizable (Corollary 4.11). The following problem is posed: is every paracompact Gδ-subspace of a pseudocompact space ?ech-complete?     

Greedy bases in L p spaces

We consider a weighted L ^p space L ^p (w) with a weight function w. It is known that the Haar system H _p normalized in L ^p is a greedy basis of L ^p , 1 < p < ∞. We study a question of when the Haar system H _p ^w normalized in L ^p (w) is a greedy basis of L ^p (w), 1 < p < ∞. We prove that if w is such that H _p ^w is a Schauder basis of L ^p (w), then H _p ^w is also a greedy basis of L ^p (w), 1 < p < ∞. Moreover, we prove that a subsystem of the Haar system obtained by discarding finitely many elements from it is a Schauder basis in a weighted norm space L ^p (w); then it is a greedy basis.     

Group cohomology and control of p-fusion

We show that if an inclusion of finite groups H≤G of index prime to p induces a homeomorphism of mod p cohomology varieties, or equivalently an F-isomorphism in mod p cohomology, then H controls p-fusion in G, if p is odd. This generalizes classical results of Quillen who proved this when H is a Sylow p-subgroup, and furthermore implies a hitherto difficult result of Mislin about cohomology isomorphisms. For p=2 we give analogous results, at the cost of replacing mod p cohomology with higher chromatic cohomology theories. The results are consequences of a general algebraic theorem we prove, that says that isomorphisms between p-fusion systems over the same finite p-group are detected on elementary abelian p-groups if p odd and abelian 2-groups of exponent at most 4 if p=2.     

On some special codes over Fp + uFp + uFp

We define a new map between codes over F_p + uF_p + u²F_p and F_p which is different to that defined in [2]. It is proved that the image of the linear cyclic code over the commutative ring F_p + uF_p + u²F_p with length n under this map is a distance-invariant quasi-cyclic code of index p² with length p²n over F_p. Moreover, it is proved that, if (n, p) = 1, then every code with length p²n over F_p which is the image of a linear (1 − u²)-cyclic code with length n over F_p + uF_p + u²F_p under this map is permutation equivalent to a quasi-cyclic code of index p².     

p-Adic dynamical systems of Chebyshev polynomials

We study the behaviour of the iterates of the Chebyshev polynomials of the first kind in p-adic fields. In particular, we determine in the field of complex p-adic numbers for p > 2, the periodic points of the p-th Chebyshev polynomial of the first kind. These periodic points are attractive points. We describe their basin of attraction. The classification of finite field extensions of the field of p-adic numbers ? _p , enables one to locate precisely, for any integer ν ≥ 1, the ν-periodic points of T _p : they are simple and the nonzero ones lie in the unit circle of the unramified extension of ? _p , (p > 2) of degree ν. This generalizes a result, stated by M. Zuber in his PhD thesis, giving the fixed points of T _p in the field ? _p , (p > 2). As often happens, we consider separately the case p = 2. Also, if the integer n ≥ 2 is not divisible by p, then any fixed point w of T _n is indifferent in the field of p-adic complex numbers and we give for p ≥ 3, the p-adic Siegel disc around w.     

Relative (pa,pb, pa,pa−b-Difference Sets: A Unified Exponent Bound and a Local Ring Construction

We show that for an odd prime p the exponent of an abelian group of order p^a+b containing a relative (p^a, p^b, p^a, p^a−b)-difference set cannot exceed p^⌊a/2⌋+1. Furthermore, we give a new local ring construction of relative (q^2u, q, q^2u, q^2u−1)-difference sets for prime powers q. Finally, we discuss an important open case concerning the existence of abelian relative (p^a, p, p^a, p^a−1)-difference sets.     

The maximal solution of a restricted subadditive inequality in numerical analysis

For a fixed non-negative integerp, letU _2p = {U _2p (n)},n ≥ 0, denote the sequence that is defined by the initial conditionsU _2p (0) =U _2p (1) =U _2p (2) = =U _2p (2p) = 1 and the restricted subadditive recursion $$U_{2p} (n + 2p + 1) = \mathop {\min }\limits_{0 \leqslant l \leqslant p} (U_{2p} (n + l) + U_{2p} (n + 2p - l)),n \geqslant 0$$ U _2p is of importance in the theory of sequential search for simple real zeros of real valued continuous 2p-th derivatives In this paper, several closed form expressions forU _2p (n), n > 2p, are determined, thereby providing insight into the structure ofU _2p Two of the properties thus illuminated are (a) the existence of exactlyp + 1 limit points (1 + 1/(p + 1 +i), 0 ≤i ≤p) of the associated sequence {U _2p (n + 1)/U _2p (n)},n ≥ 0, and (b) the relevance toU _2p of the classic number theoretic function ord     

Modulability and duality of certain cones in pluripotential theory

Let p>0, and let Ep denote the cone of negative plurisubharmonic functions with finite pluricomplex p-energy. We prove that the vector space δEp=Ep−Ep, with the vector ordering induced by the cone Ep is σ-Dedekind complete, and equipped with a suitable quasi-norm it is a non-separable quasi-Banach space with a decomposition property with control of the quasi-norm. Furthermore, we explicitly characterize its topological dual. The cone Ep in the quasi-normed space δEp is closed, generating, and has empty interior.     

Density of finite rank operators in the Banach space of p-compact operators

A Banach space X is said to have the kp-approximation property (kp-AP) if for every Banach space Y, the space F(Y,X) of finite rank operators is dense in the space Kp(Y,X) of p-compact operators endowed with its natural ideal norm kp. In this paper we study this notion that has been previously treated by Sinha and Karn (2002) in [15]. As application, the kp-AP of dual Banach spaces is characterized via density of finite rank operators in the space of quasi p-nuclear operators for the p-summing norm. This allows to obtain a relation between the kp-AP and Saphar's approximation property. As another application, the kp-AP is characterized in terms of a trace condition. Finally, we relate the kp-AP to the (p,p)-approximation property introduced in Sinha and Karn (2002) [15] for subspaces of Lp(μ)-spaces.     

Bounded point evaluations and capacity

Let E be a compact set in the complex plane with positive Lebesgue measure, and denote by R^p(E), p ? 1, the closure in the L^p(E) norm of the rational functions with poles off E. A point z?E is said to be a bounded point evaluation for R^p(E) if the map z   ?(z), defined for the rational functions, can be extended to a bounded linear functional on R^p(E). For p < 2 there are no other bounded point evaluations for R^p(E) than the interior points of E, but for p ? 2 there may be bounded point evaluations on the boundary, ∂E. We give a condition, in terms of capacity, which is necessary and sufficient for a point on ∂E to be a bounded point evaluation for R^p(E), 2 < p < ∞, and close to necessary and sufficient when p = 2. We also treat bounded point derivations, and the corresponding problems for L_p-spaces of analytic functions on open sets.     

On density of interpolation points,a Kadec-type theorem,and Saff's principle of contamination inL p-approximation

Letf ∈L _p (I) and denote byB _n,p (f) the polynomial of bestL _p-approximation tof of degreen (1<p<∞,I=[?1,1], the norm is weightedL _p-norm with an arbitrary positive weight). Extending a result proved by Saff and Shekhtman forp=2 we show that for every 1<p<∞ andf ∈L _p (I) (not a polynomial) points of sign change of the error functionf-B _n,p (f) are dense inI asn→∞.     

Stably average shadowable homoclinic classes

Let p be a hyperbolic periodic saddle of a diffeomorphism of f on a closed smooth manifold M, and let H_f(p) be the homoclinic class of f containing p. In this paper, we show that if H_f(p) is locally maximal and every hyperbolic periodic point in H_f(p) is uniformly far away from being nonhyperbolic, and H_f(p) has the average shadowing property, then H_f(p) is hyperbolic.