Modified frames with block size 3

A modified (k, λ)‐frame of type g^u is a modified (k, λ)‐GDD whose blocks can be partitioned into holey parallel classes, each of which is with respect to some group. Modified frames can be used to construct some other resolvable designs such as resolvable group divisible designs and semiframes. In this article, we shall investigate the existence of modified frames with block size 3. © 2007 Wiley Periodicals, Inc. J Combin Designs 16: 351–363, 2008     

On the existence of cycle frames and almost resolvable cycle systems

Suppose H is a complete m-partite graph K_m(n₁,n₂,…,n_m) with vertex set V and m independent sets G₁,G₂,…,G_m of n₁,n₂,…,n_m vertices respectively. Let G={G₁,G₂,…,G_m}. If the edges of λH can be partitioned into a set C of k-cycles, then (V,G,C) is called a k-cycle group divisible design with index λ, denoted by (k,λ)-CGDD. A (k,λ)-cycle frame is a (k,λ)-CGDD (V,G,C) in which C can be partitioned into holey 2-factors, each holey 2-factor being a partition of V?G_i for some G_i∈G. Stinson et al. have resolved the existence of (3,λ)-cycle frames of type g^u. In this paper, we show that there exists a (k,λ)-cycle frame of type g^u for k∈{4,5,6} if and only if , , u≥3 when k∈{4,6}, u≥4 when k=5, and (k,λ,g,u)≠(6,1,6,3). A k-cycle system of order n whose cycle set can be partitioned into (n−1)/2 almost parallel classes and a half-parallel class is called an almost resolvable k-cycle system, denoted by k-ARCS(n). Lindner et al. have considered the general existence problem of k-ARCS(n) from the commutative quasigroup for . In this paper, we give a recursive construction by using cycle frames which can also be applied to construct k-ARCS(n)s when . We also update the known results and prove that for k∈{3,4,5,6,7,8,9,10,14} there exists a k-ARCS(2kt+1) for each positive integer t with three known exceptions and four additional possible exceptions.     

Kirkman packing and covering designs with spanned holes of size 2

A Kirkman holey packing (resp. covering) design, denoted by KHPD(g^u) (resp. KHCD(g^u)), is a resolvable (gu, 3, 1) packing (resp. covering) design of pairs with u disjoint holes of size g, which has the maximum (resp. minimum) possible number of parallel classes. Each parallel class contains one block of size δ, while other blocks have size 3. Here δ is equal to 2, 3, and 4 when gu ≡ 2, 3, and 4 (mod 3) in turn. In this paper, the existence problem of a KHPD(2^u) and a KHCD(2^u) is solved with one possible exception of a KHPD(2⁸). © 2004 Wiley Periodicals, Inc.     

Stability of semilinear ill-posed problems with a prescribed energy bound

In the present paper we discuss the stability of semilinear problems of the form A^αu + G^α(u) = ? under assumption of an a priori bound for an energy functional E^α(u) ? E, where α is a parameter in a metric space M. Following [11] the problem A^αu + G^α(u) = ?, E^α(u) ? E is called stable in a Hilbert space H at a point α ? M if for any ??H, E, ? > 0 there exists δ > 0 such that for any functions u^α1, u^α2 satisfying A^αju^αj + G^αj(u^αj) = ?^αj, E^αj(u^αj) ? E, j = 1,2 we have ‖u^α1 ? u^α2_H ? ? provided ρ_M(α_j, α) ? δ, ‖?^αj ? ?‖_H ? δ, j = 1,2. In the present paper we obtain stability conditions for the problem A^αu + G^α(u) = ?, E^α(u) ? E.     

Sufficient conditions for λ′‐optimality in graphs with girth g

For a connected graph the restricted edge‐connectivity λ′(G) is defined as the minimum cardinality of an edge‐cut over all edge‐cuts S such that there are no isolated vertices in G–S. A graph G is said to be λ′‐optimal if λ′(G) = ξ(G), where ξ(G) is the minimum edge‐degree in G defined as ξ(G) = min{d(u) + d(v) ? 2:uv ∈ E(G)}, d(u) denoting the degree of a vertex u. A. Hellwig and L. Volkmann [Sufficient conditions for λ′‐optimality in graphs of diameter 2, Discrete Math 283 (2004), 113–120] gave a sufficient condition for λ′‐optimality in graphs of diameter 2. In this paper, we generalize this condition in graphs of diameter g ? 1, g being the girth of the graph, and show that a graph G with diameter at most g ? 2 is λ′‐optimal. © 2006 Wiley Periodicals, Inc. J Graph Theory 52: 73–86, 2006     

Kirkman covering designs with even-sized holes

A Kirkman holey covering design, denoted by KHCD(g^u), is a resolvable group-divisible covering design of type g^u. Each of its parallel class contains one block of size δ, while other blocks have size 3. Here δ is equal to 2, 3 and 4 when gu≡2, 3 and 4 (mod 3) in turn. In this paper, we study the existence problem of a KHCD(g^u) which has minimum possible number of parallel classes, and give a solution for most values of even g and u.     

Some 3‐connected 4‐edge‐critical non‐Hamiltonian graphs

Let γ(G) be the domination number of graph G, thus a graph G is k‐edge‐critical if γ (G) = k, and for every nonadjacent pair of vertices u and υ, γ(G + uυ) = k?1. In Chapter 16 of the book “Domination in Graphs—Advanced Topics,” D. Sumner cites a conjecture of E. Wojcicka under the form “3‐connected 4‐critical graphs are Hamiltonian and perhaps, in general (i.e., for any k ≥ 4), (k?1)‐connected, k‐edge‐critical graphs are Hamiltonian.” In this paper, we prove that the conjecture is not true for k = 4 by constructing a class of 3‐connected 4‐edge‐critical non‐Hamiltonian graphs. © 2005 Wiley Periodicals, Inc.     

The wi‐club filter on 𝒫κ λ

We develop the theory of C_{κ, λ}ⁱ, a strongly normal filter over ??_κ λ for Mahlo κ. We prove a minimality result, showing that any strongly normal filter containing {x ∈ ??_κ λ: |x | = |x ∩ κ | and |x | is inaccessible} also contains C_{κ, λ}ⁱ. We also show that functions can be used to obtain a basis for C_{κ, λ}ⁱ (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

The existence of large set of symmetric partitioned incomplete latin squares

In this paper, we investigate the existence of large sets of symmetric partitioned incomplete latin squares of type g^u (LSSPILSs) which can be viewed as a generalization of the well‐known golf designs. Constructions for LSSPILSs are presented from some other large sets, such as golf designs, large sets of group divisible designs, and large sets of Room frames. We prove that there exists an LSSPILS(g^u) if and only if u ≥ 3, g(u ? 1) ≡ 0 (mod 2), and (g, u) ≠ (1, 5).     

Mutually orthogonal graph squares

A decomposition ??={G₁, G₂,…,G_s} of a graph G is a partition of the edge set of G into edge‐disjoint subgraphs G₁, G₂,…,G_s. If G_i?H for all i∈{1, 2, …, s}, then ?? is a decomposition of G by H. Two decompositions ??={G₁, G₂, …, G_n} and ?={F₁, F₂,…,F_n} of the complete bipartite graph K_n,n are orthogonal if |E(G_i)∩E(F_j)|=1 for all i,j∈{1, 2, …, n}. A set of decompositions {??₁, ??₂, …, ??_k} of K_{n, n} is a set of k mutually orthogonal graph squares (MOGS) if ??_i and ??_j are orthogonal for all i, j∈{1, 2, …, k} and i≠j. For any bipartite graph G with n edges, N(n, G) denotes the maximum number k in a largest possible set {??₁, ??₂, …, ??_k} of MOGS of K_{n, n} by G. El‐Shanawany conjectured that if p is a prime number, then N(p, P_{p+ 1})=p, where P_{p+ 1} is the path on p+ 1 vertices. In this article, we prove this conjecture. © 2009 Wiley Periodicals, Inc. J Combin Designs 17: 369–373, 2009     

Large set of P3‐decompositions

Let G=(V(G),E(G)) be a graph. A (n,G, λ)‐GD is a partition of the edges of λK_n into subgraphs (G‐blocks), each of which is isomorphic to G. The (n,G,λ)‐GD is named as graph design for G or G‐decomposition. The large set of (n,G,λ)‐GD is denoted by (n,G,λ)‐LGD. In this work, we obtain the existence spectrum of (n,P₃,λ)‐LGD. © 2002 Wiley Periodicals, Inc. J Combin Designs 10: 151–159, 2002; Published online in Wiley InterScience ( www.interscience.wiley.com ). DOI 10.1002/jcd.10008     

Optimal grid holey packings with block size 3 and 4

The notion of a grid holey packing (GHP) was first proposed for the construction of constant composite codes. For a GHP (k, 1; n ×  g) of type [w ₁, . . . , w _g ], where , the fundamental problem is to determine the packing number N([w ₁, . . . , w _g ], 1; n ×  g), that is, the maximum number of blocks in such a GHP. In this paper we determine completely the values of N([w ₁, . . . , w _g ], 1; n ×  g) in the case of block size .      

On edge star sets in trees

Let A be a Hermitian matrix whose graph is G (i.e. there is an edge between the vertices i and j in G if and only if the (i,j) entry of A is non-zero). Let λ be an eigenvalue of A with multiplicity m_A(λ). An edge e=ij is said to be Parter (resp., neutral, downer) for λ,A if m_A(λ)−m_A−e(λ) is negative (resp., 0, positive ), where A−e is the matrix resulting from making the (i,j) and (j,i) entries of A zero. For a tree T with adjacency matrix A a subset S of the edge set of G is called an edge star set for an eigenvalue λ of A, if |S|=m_A(λ) and A−S has no eigenvalue λ. In this paper the existence of downer edges and edge star sets for non-zero eigenvalues of the adjacency matrix of a tree is proved. We prove that neutral edges always exist for eigenvalues of multiplicity more than 1. It is also proved that an edge e=uv is a downer edge for λ,A if and only if u and v are both downer vertices for λ,A; and e=uv is a neutral edge if u and v are neutral vertices. Among other results, it is shown that any edge star set for each eigenvalue of a tree is a matching.     

Sharp bounds for the number of 3‐independent partitions and the chromaticity of bipartite graphs

Given a graph G and an integer k ≥ 1, let α(G, k) denote the number of k‐independent partitions of G. Let ??^?s(p,q) (resp., ??₂^?s(p,q)) denote the family of connected (resp., 2‐connected) graphs which are obtained from the complete bipartite graph K_p,q by deleting a set of s edges, where p ≥ q ≥ 2. This paper first gives a sharp upper bound for α(G,3), where G ∈ ?? ^?s(p,q) and 0 ≤ s ≤ (p ? 1)(q ? 1) (resp., G ∈ ?? ₂^?s(p,q) and 0 ≤ s ≤ p + q ? 4). These bounds are then used to show that if G ∈ ?? ^?s(p,q) (resp., G ∈ ?? ₂^?s (p,q)), then the chromatic equivalence class of G is a subset of the union of the sets ??^?s_i(p+i,q?i) where max and s_i = s ? i(p?q+i) (resp., a subset of ??₂^?s(p,q), where either 0 ≤ s ≤ q ? 1, or s ≤ 2q ? 3 and p ≥ q + 4). By applying these results, we show finally that any 2‐connected graph obtained from K_p,q by deleting a set of edges that forms a matching of size at most q ? 1 or that induces a star is chromatically unique. © 2001 John Wiley & Sons, Inc. J Graph Theory 37: 48–77, 2001     

Fourier Analysis of Semistable Distributions

We consider the generalized convolution powers G _α ^*u (x) of an arbitrary semistable distribution function G _α (x) of exponent α∈(0,2), and prove that for all j, k∈{0,1,2,…} and u>0 the derivatives G _α ^(k,j)(x;u)=∂ ^k+j G _α ^*u (x)/∂ x ^k ∂ u ^j , x∈ℝ, are of bounded variation on the whole real line ℝ. The proof, along with an integral recursion in j, is new even in the special case of stable laws, and the result provides a framework for possible asymptotic expansions in merge theorems from the domain of geometric partial attraction of semistable laws. An erratum to this article can be found at     

RHPMDs and FHPMDs with k = 4 and Type 4 u

A (v, k, 1)-HPMD is called a frame (briefly, k-FHPMD), if the blocks of the HPMD can be partitioned into v partial parallel classes such that the complement of each partial parallel class is a group of the HPMD. A (v, k, 1)-HPMD is called resolvable (briefly, k-RHPMD), if the blocks of the HPMD can be partitioned into parallel classes. In this article, (i) we shall construct 3-FHPMDs of type 3⁶ and 21⁶ to completely settle the existence of 3-FHPMD of type h^u; (ii) we shall show that the necessary conditions for the existence of 4-FHPMD of type h^u are sufficient for the case h = 4; (iii) we shall show that the necessary conditions for the existence of 4-RHPMD of type h^u are sufficient for the case h = 4.     

On the Heat Flow for Harmonic Maps with Potential

Let (M, g) and (N, h) be twoconnected Riemannian manifolds without boundary (M compact,N complete). Let G C (N): ifu: M N is a smooth map, we consider the functional E _G (u) = (1/2) _M [|du|²– 2G(u)]dV _M and we study its associated heat equation. Inthe compact case, we recover a version of the Eells–Sampson theorem,while for noncompact target manifold N, we establishsuitable hypotheses and ensure global existence and convergence atinfinity. In the second part of the paper, we study phenomena of blowingup solutions.     

Generalized Hadamard Matrices

The paper studies a generalized Hadamard matrix H = (g _{i j}) of order n with entries gi j from a group G of order n. We assume that H satisfies: (i) For m k, G = {g _{m i} g k i ^-1 i = 1,...., n} (ii) g _1i = g _i1 = 1 for each i; (iii) g _ij ^-1 = g _ji for all i, j. Conditions (i) and (ii) occur whenever G is a(P, L) -transitivity for a projective plane of order n. Condition (iii) holds in the case that H affords a symmetric incidence matrix for the plane. The paper proves that G must be a 2-group and extends previous work to the case that n is a square.     

The Hodge structure of the coloring complex of a hypergraph

Let G be a simple graph with n vertices. The coloring complex Δ(G) was defined by Steingrímsson, and the homology of Δ(G) was shown to be nonzero only in dimension n−3 by Jonsson. Hanlon recently showed that the Eulerian idempotents provide a decomposition of the homology group H_n−3(Δ(G)) where the dimension of the jth component in the decomposition, , equals the absolute value of the coefficient of λ^j in the chromatic polynomial of G, χ_G(λ).Let H be a hypergraph with n vertices. In this paper, we define the coloring complex of a hypergraph, Δ(H), and show that the coefficient of λ^j in χ_H(λ) gives the Euler Characteristic of the jth Hodge subcomplex of the Hodge decomposition of Δ(H). We also examine conditions on a hypergraph, H, for which its Hodge subcomplexes are Cohen–Macaulay, and thus where the absolute value of the coefficient of λ^j in χ_H(λ) equals the dimension of the jth Hodge piece of the Hodge decomposition of Δ(H). We also note that the Euler Characteristic of the jth Hodge subcomplex of the Hodge decomposition of the intersection of coloring complexes is given by the coefficient of jth term in the associated chromatic polynomial.