Resolvable candelabra quadruple systems with three groups

Candelabra quadruple systems play an important role in the construction of Steiner 3‐designs. In this article, we consider resolvable candelabra quadruple systems with three groups and show that the necessary conditions on the existence of RCQS(g³: s) when g is even are also sufficient. © 2011 Wiley Periodicals, Inc. J Combin Designs 19:247‐267, 2011     

A new existence proof for Steiner quadruple systems

A Steiner quadruple system of order v is an ordered pair ${(X, \mathcal{B})}$ , where X is a set of cardinality v, and ${\mathcal{B}}$ is a set of 4-subsets of X, called blocks, with the property that every 3-subset of X is contained in a unique block. Such designs exist if and only if ${v \equiv 2,4\, (\bmod\, 6)}$ . The first and second proofs of this result were given by Hanani in 1960 and in 1963, respectively. All the existing proofs are rather cumbersome, even though simplified proofs have been given by Lenz in 1985 and by Hartman in 1994. To study Steiner quadruple systems, Hanani introduced the concept of H-designs in 1963. The purpose of this paper is to provide an alternative existence proof for Steiner quadruple systems via H-designs of type 2 ⁿ . In 1990, Mills showed that for n > 3, n ≠ 5, an H-design of type g ⁿ exists if and only if ng is even and g(n ? 1)(n ? 2) is divisible by 3, where the main context is the complicated existence proof for H-designs of type 2 ⁿ . However, Mill’s proof was based on the existence result of Steiner quadruple systems. In this paper, by using the theory of candelabra systems and H-frames, we give a new existence proof for H-designs of type 2 ⁿ independent of the existence result of Steiner quadruple systems. As a consequence, we also provide a new existence proof for Steiner quadruple systems.     

Transverse quadruple systems with five holes

Transverse Steiner quadruple systems with five holes are either of type g⁵ or g⁴u¹. We concentrate on the systems of type g⁴u¹ and settle existence except when g ≡ u ≡ 2 (mod 4) and all except 40 parameter situations when g ≡ u + 2 ≡ 0 (mod 4). The question of existence for transverse quadruple systems of type g⁴u¹ with index λ > 1 is completely solved for all λ ≥ 13 and λ ∈ {4, 6, 8, 9, 10, 12}. © 2006 Wiley Periodicals, Inc. J Combin Designs 15: 315–340, 2007     

Doubly resolvable Steiner quadruple systems and related designs

Two resolutions of the same \(\hbox {SQS}(v)\) are said to be orthogonal, when each parallel class of one resolution has at most one block in common with each parallel class of the other resolution. If an \(\hbox {SQS}(v)\) has two orthogonal resolutions, the \(\hbox {SQS}(v)\) is called a doubly resolvable \(\hbox {SQS}(v)\). In this paper, we use a quadrupling construction to obtain an infinite class of doubly resolvable Steiner quadruple systems. We also give some results of doubly resolvable H designs and doubly resolvable candelabra quadruple systems.     

Some New Infinite Classes of Candelabra Quadruple Systems

Candelabra quadruple systems (CQS) were first introduced by Hanani who used them to determine the existence of Steiner quadruple systems. In this paper, a new method has been developed by constructing partial candelabra quadruple systems with odd group size, which is a generalization of the even cases, to complete a design. New results of candelabra quadruple systems have been obtained, i.e. we show that for any , there exists a CQS for all , and .     

On the Steiner quadruple systems of small rank which are embeddable into extended perfect binary codes

The codewords of weight 4 of every extended perfect binary code that contains the all-zero vector are known to form a Steiner quadruple system. We propose a modification of the Lindner construction for the Steiner quadruple system of order N = 2 ^r which can be described by special switchings from the Hamming Steiner quadruple system. We prove that each of these Steiner quadruple systems is embedded into some extended perfect binary code constructed by the method of switching of ijkl-components from the binary extended Hamming code. We give the lower bound for the number of different Steiner quadruple systems of order N with rank at most N ? logN + 1 which are embedded into extended perfect codes of length N.     

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.     

Combinatorial constructions of fault-tolerant routings with levelled minimum optical indices

The design of fault-tolerant routings with levelled minimum optical indices plays an important role in the context of optical networks. However, not much is known about the existence of optimal routings with levelled minimum optical indices besides the results established by Dinitz, Ling and Stinson via the partitionable Steiner quadruple systems approach. In this paper, we introduce a new concept of a large set of even levelled -design of order v and index 2, denoted by -LELD, which is equivalent to an optimal, levelled (v−2)-fault-tolerant routing with levelled minimum optical indices of the complete network with v nodes. On the basis of the theory of three-wise balanced designs and partitionable candelabra systems, several infinite classes of -LELDs are constructed. As a consequence, the existence problem for optimal routings with levelled minimum optical indices is solved for nearly a third of the cases.     

The smallest non-derived steiner triple system is simple as a loop

The smallest non-derived triple system is simple as a loop. THEOREM.If A, B are Steiner loops, and f:A→B is a homomorphism, then if B and f ^?1 (1) are derivable from Steiner quadruple systems, then so is A.     

Multiple Recurrence in Quasirandom Groups

We establish a new mixing theorem for quasirandom groups (finite groups with no low-dimensional unitary representations) G which, informally speaking, asserts that if g, x are drawn uniformly at random from G, then the quadruple (g, x, gx, xg) behaves like a random tuple in G ⁴, subject to the obvious constraint that gx and xg are conjugate to each other. The proof is non-elementary, proceeding by first using an ultraproduct construction to replace the finitary claim on quasirandom groups with an infinitary analogue concerning a limiting group object that we call an ultra quasirandom group, and then using the machinery of idempotent ultrafilters to establish the required mixing property for such groups. Some simpler recurrence theorems (involving tuples such as (x, gx, xg)) are also presented, as well as some further discussion of specific examples of ultra quasirandom groups.     

Connectivity of graphs with given girth pair

Girth pairs were introduced by Harary and Kovács [Regular graphs with given girth pair, J. Graph Theory 7 (1983) 209-218]. The odd girth (even girth) of a graph is the length of a shortest odd (even) cycle. Let g denote the smaller of the odd and even girths, and let h denote the larger. Then (g,h) is called the girth pair of the graph. In this paper we prove that a graph with girth pair (g,h) such that g is odd and h?g+3 is even has high (vertex-)connectivity if its diameter is at most h-3. The edge version of all results is also studied.     

Chen’s Conjecture and Its Generalization

Let l1, l2, ..., lg be even integers and x be a sufficiently large number. In this paper, the authors prove that the number of positive odd integers k ≤ x such that （k ＋l1）^2, （k ＋l2）^2, ..., （k ＋lg）^2 can not be expressed as 2^n＋p^α is at least c（g）x, where p is an odd prime and the constant c（g） depends only on g.     

Nonnegative functions as squares or sums of squares

We prove that, for n?4, there are C^∞ nonnegative functions f of n variables (and even flat ones for n?5) which are not a finite sum of squares of C² functions. For n=1, where a decomposition in a sum of two squares is always possible, we investigate the possibility of writing f=g². We prove that, in general, one cannot require a better regularity than g∈C¹. Assuming that f vanishes at all its local minima, we prove that it is possible to get g∈C² but that one cannot require any additional regularity.     

Super-simple, pan-orientable and pan-decomposable GDDs with block size 4

In this paper we study (4,2μ)-GDDs of type gⁿ possessing both the pan-decomposable property introduced by Granville, Moisiadis, Rees, On complementary decompositions of the complete graph, Graphs and Combinatorics 5 (1989) 57-61 and the pan-orientable property introduced by Grüttmüller, Hartmann, Pan-orientable block designs, Australas. J. Combin. 40 (2008) 57-68. We show that the necessary condition for a (4,2μ)-GDD satisfying both of these properties, namely (1) n≥4, μg(n−1)≡0 (mod 3), and (2) g−1,n are not both even if μ is odd are sufficient. When λ=2, our designs are super-simple.We also determine the spectrum of (4,2)-GDDs which are super-simple and possess some of the decomposable/orientable conditions, but are not pan-decomposable or pan-orientable. In particular, we show that the necessary conditions for a super-simple directable (4,2)-GDD of type gⁿ are sufficient.     

Dirichlet and VMOA domains via Schwarzian derivative

Short proofs of the following results concerning a bounded conformal map g of the unit disc D are presented: (1) logg^′ belongs to the Dirichlet space if and only if the Schwarzian derivative Sg of g satisfies Sg(z)(1−²|z|)∈L²(D); (2) logg^′∈VMOA if and only if ²|Sg(z)|³(1−²|z|) is a vanishing Carleson measure on D. Analogous results for Besov and Qp,0 spaces are also given.     

On the Heegaard Floer homology of a surface times a circle

We make a detailed study of the Heegaard Floer homology of the product of a closed surface Σg of genus g with S¹. We determine HF⁺(Σg×S¹,s;C) completely in the case c₁(s)=0, which for g?3 was previously unknown. We show that in this case HF^∞ is closely related to the cohomology of the total space of a certain circle bundle over the Jacobian torus of Σg, and furthermore that HF⁺(Σg×S¹,s;Z) contains nontrivial 2-torsion whenever g?3 and c₁(s)=0. This is the first example known to the authors of torsion in Z-coefficient Heegaard Floer homology. Our methods also give new information on the action of H₁(Σg×S¹) on HF⁺(Σg×S¹,s) when c₁(s) is nonzero.     

On the fourier-vilenkin coefficients

In this article, we prove the following statement that is true for both unbounded and bounded Vilenkin systems: for any ε∈(0, 1), there exists a measurable set E [0, 1)of measure bigger than 1-ε such that for any function f ∈ L~1[0, 1), it is possible to find a function g ∈ L~1[0, 1) coinciding with f on E and the absolute values of non zero Fourier coefficients of g with respect to the Vilenkin system are monotonically decreasing.     

Approximations by convolutions and antiderivatives

Let g be a given function in L ¹ = L ¹(0, 1), and let B be one of the spaces L ^p (0, 1), 1 ≤ p < ∞, or C ₀[0, 1]. We prove that the set of all convolutions f * g, f ∈ B, is dense in B if and only if g is nontrivial in an arbitrary right neighborhood of zero. Under an additional restriction on g, we prove the equivalence in B of the systems f _n * g and I f _n , where f _n ∈ L ¹, n ∈ ?, and I f = f * 1 is the antiderivative of f. As a consequence, we obtain criteria for the completeness and basis property in B of subsystems of antiderivatives of g.