{2, 3}‐perfect m‐cycle systems are equationally defined for m = 5, 7, 8, 9, and 11 only

An m‐cycle system (S,C) of order n is said to be {2,3}‐perfect provided each pair of vertices is connected by a path of length 2 in an m‐cycle of C and a path of length 3 in an m‐cycle of C. The class of {2,3}‐perfect m‐cycle systems is said to be equationally defined provided, there exists a variety of quasigroups V with the property that a finite quasigroup (Q, , \, /) belongs to V if and only if its multiplicative (Q, ) part can be constructed from a {2,3}‐perfect m‐cycle system using the 2‐construction (a a = a for all a ∈ Q and if a ≠ b, a b = c and b a = d if and only if the m‐cycle (…, d, x, a, b, y, c, …) ∈ C). The object of this paper is to show that the class of {2,3}‐perfect m‐cycle systems cannot be equationally defined for all m ≥ 10, m ≠ 11. This combined with previous results shows that {2, 3}‐perfect m‐cycle systems are equationally defined for m = 5, 7, 8, 9, and 11 only. © 2004 Wiley Periodicals, Inc.     

Types of superregular matrices and the number of n‐arcs and complete n‐arcs in PG (r,q)

Based on the classification of superregular matrices, the numbers of non‐equivalent n‐arcs and complete n‐arcs in PG(r, q) are determined (i) for 4 ≤ q ≤ 19, 2 ≤ r ≤ q ? 2 and arbitrary n, (ii) for 23 ≤ q ≤ 32, r = 2 and n ≥ q ? 8<$>. The equivalence classes over both PGL (k, q) and PΓL(k, q) are considered throughout the examinations and computations. For the classification, an n‐arc is represented by the systematic generator matrix of the corresponding MDS code, without the identity matrix part of it. A rectangular matrix like this is superregular, i.e., it has only non‐singular square submatrices. Four types of superregular matrices are studied and the non‐equivalent superregular matrices of different types are stored in databases. Some particular results on t(r, q) and m′(r, q)—the smallest and the second largest size for complete arcs in PG(r, q)—are also reported, stating that m′(2, 31) = 22, m′(2, 32) = 24, t(3, 23) = 10, and m′(3, 23) = 16. © 2006 Wiley Periodicals, Inc. J Combin Designs 14: 363–390, 2006     

Group‐divisible designs with block size k having k + 1 groups,for k = 4, 5

We investigate the spectrum for k‐GDDs having k + 1 groups, where k = 4 or 5. We take advantage of new constructions introduced by R. S. Rees (Two new direct product‐type constructions for resolvable group‐divisible designs, J Combin Designs, 1 (1993), 15–26) to construct many new designs. For example, we show that a resolvable 4‐GDD of type g⁵ exists if and only if g ≡ 0 mod 12 and that a resolvable 5‐GDD of type g⁶ exists if and only if g ≡ 0 mod 20. We also show that a 4‐GDD of type g⁴m¹ exists (with m > 0) if and only if g ≡ m ≡ 0 mod 3 and 0 < m ≤ 3g/2, except possibly when (g,m) = (9,3) or (18,6), and that a 5‐GDD of type g⁵m¹ exists (with m > 0) if and only if g ≡ m ≡ 0 mod 4 and 0 < m ≤ 4g/3, with 32 possible exceptions. © 2000 John Wiley & Sons, Inc. J Combin Designs 8: 363–386, 2000     

Irreducible 2‐fold cycle systems

In this paper, it is shown that for any pair of integers (m,n) with 4 ≤ m ≤ n, if there exists an m‐cycle system of order n, then there exists an irreducible 2‐fold m‐cycle system of order n, except when (m,n) = (5,5). A similar result has already been established for the case of 3‐cycles. © 2005 Wiley Periodicals, Inc. J Combin Designs 14: 324–332, 2006     

Subquadrangle m‐regular systems on generalized quadrangles

We introduce the notion of subquadrangle regular system of a generalized quadrangle. A subquadrangle regular system of order m on a generalized quadrangle of order (s, t) is a set ? of embedded subquadrangles with the property that every point lies on exactly m subquadrangles of ?. If m is one half of the total number of subquadrangles on a point, we call ? a subquadrangle hemisystem. We construct two infinite families of symplectic subquadrangle hemisystems of the Hermitian surface ??(3, q²), q odd, and two infinite families of symplectic subquadrangle hemisystems of ??₃(q²), q even. Some sporadic examples of symplectic subquadrangle regular systems of ??(3, q²) are also presented. © 2010 Wiley Periodicals, Inc. J Combin Designs 19:28‐41, 2010     

On the mutually non isomorphic ℓp(ℓq) spaces

We extend a result of Pe?czyński showing that {?_p(?_q): 1 ≤ p, q ≤ ∞} is a family of mutually non isomorphic Banach spaces. Some results on complemented subspaces of ?_p(?_q) are also given.     

The crossing number of Cm × Cn is as conjectured for n ≥ m(m + 1)

It has been long conjectured that the crossing number of C_m × C_n is (m?2)n, for all m, n such that n ≥ m ≥ 3. In this paper, it is shown that if n ≥ m(m + 1) and m ≥ 3, then this conjecture holds. That is, the crossing number of C_m × C_n is as conjectured for all but finitely many n, for each m. The proof is largely based on techniques from the theory of arrangements, introduced by Adamsson and further developed by Adamsson and Richter. © 2004 Wiley Periodicals, Inc. J Graph Theory 47: 53–72, 2004     

Pointwise convergence along a tangential curve for the fractional Schrödinger equation with 0 < m < 1

In this article, we study the pointwise convergence problem about solution to the fractional Schrödinger equation with 0 < m < 1 along a tangential curve and estimate the capacitary dimension of the divergence set. We extend the results of Cho and Shiraki (2021) for the case m > 1 to the case 0 < m < 1, which is sharp up to the endpoint.     

A lower bound for the crossing number of Cm × Cn

We prove that the crossing number of C_m × C_n is at least (m − 2)n/3, for all m, n such that n ≥ m. This is the best general lower bound known for the crossing number of C_m × C_n, whose exact value has been long conjectured to be (m − 2)n, for 3 ≤ m ≤ n. © 2000 John Wiley & Sons, Inc. J Graph Theory 35: 222–226, 2000     

Infinite families of 2- and 3-designs with parameters v = p + 1, k = (p − 1)/2i + 1, where p odd prime, 2e T (p − 1), e ≥ 2, 1 ≤ i ≤ e

Let p be an odd prime number such that p − 1 = 2^em for some odd m and e ≥ 2. In this article, by using the special linear fractional group PSL(2, p), for each i, 1 ≤ i ≤ e, except particular cases, we construct a 2-design with parameters v = p + 1, k = (p − 1)/2ⁱ + 1 and λ = ((p − 1)/2ⁱ+1)(p − 1)/2 = k(p − 1)/2, and in the case i = e we show that some of these 2-designs are 3-designs. Likewise, by using the linear fractional group PGL(2,p) we construct an infinite family of 3-designs with the same v k and λ = k(k − 2). These supplement a part of [4], in which we gave an infinite family of 3-designs with parameters v = q + 1, k = (q + 1)/2 = (q − 1)/2 + 1 and λ = (q + 1)(q − 3)/8 = k(k − 2)/2, where q is a prime power such that q − 1 = 2m for some odd m and q > 7. Some of the designs given in this article and in [4] fill in a few blanks in the table of Chee, Colbourn, and Kreher [2]. © 1997 John Wiley & Sons, Inc.     

Some new BIBDS with λ = 1 and 6 ≤ k ≤ 10

This article is in two main parts. The first gives some (q,k, 1) difference families with q a prime power and 7 ≤ k ≤ 9; it also gives some GD(k, 1, k,kq)s which are extendable to resolvable (kq,k, 1) BIBDs for k E {6,8,10} and q a prime power equal to 1 mod 2(k − 1). The second uses some of these plus several recursive constructions to obtain some new (v,k,, 1) BIBDs with 7 ≤ k ≤ 9 and some new (v,8,1) resolvable BIBDs. © 1996 John Wiley & Sons, Inc.     

Correction to: “Exponential bounds on the number of designs with affine parameters”

It is well known that the number of designs with the parameters of a classical design having as blocks the hyperplanes in PG(n, q) or AG(n, q), n?3, grows exponentially. This result was extended recently [5] to designs having the same parameters as a projective geometry design whose blocks are the d‐subspaces of PG(n, q), for any 2?d?n ? 1. In this paper, exponential lower bounds are proved on the number of non‐isomorphic designs having the same parameters as an affine geometry design whose blocks are the d‐subspaces of AG(n, q), for any 2≤d≤n ? 1. Exponential bounds are also proved for the number of resolvable designs with these parameters. © 2011 Wiley Periodicals, Inc. J Combin Designs 19:156‐166, 2011     

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     

Transfer theorems and asymptotic distributional results for m‐ary search trees

We derive asymptotics of moments and identify limiting distributions, under the random permutation model on m‐ary search trees, for functionals that satisfy recurrence relations of a simple additive form. Many important functionals including the space requirement, internal path length, and the so‐called shape functional fall under this framework. The approach is based on establishing transfer theorems that link the order of growth of the input into a particular (deterministic) recurrence to the order of growth of the output. The transfer theorems are used in conjunction with the method of moments to establish limit laws. It is shown that: (i) for small toll sequences (t_n) [roughly, t_n = O(n^1/2)] we have asymptotic normality if m ≤ 26 and typically periodic behavior if m ≥ 27; (ii) for moderate toll sequences [roughly, t_n = ω(n^1/2) but t_n = o(n)] we have convergence to nonnormal distributions if m ≤ m₀ (where m₀ ≥ 26) and typically periodic behavior if m ≥ m₀ + 1; and (iii) for large toll sequences [roughly, t_n = ω(n)] we have convergence to nonnormal distributions for all values of m. © 2004 Wiley Periodicals, Inc. Random Struct. Alg., 2005     

An infinite series of regular edge‐ but not vertex‐transitive graphs

Let n be an integer and q be a prime power. Then for any 3 ≤ n ≤ q?1, or n=2 and q odd, we construct a connected q‐regular edge‐but not vertex‐transitive graph of order 2qⁿ⁺¹. This graph is defined via a system of equations over the finite field of q elements. For n=2 and q=3, our graph is isomorphic to the Gray graph. © 2002 Wiley Periodicals, Inc. J Graph Theory 41: 249–258, 2002     

Resolvable packings of Kv with K2 × Kc's

The study of resolvable packings of K_v with K_r × K_c's is motivated by the use of DNA library screening. We call such a packing a (v, K_r × K_c, 1)‐RP. As usual, a (v, K_r × K_c, 1)‐RP with the largest possible number of parallel classes (or, equivalently, the largest possible number of blocks) is called optimal. The resolvability implies v ≡ 0 (mod rc). Let ρ be the number of parallel classes of a (v, K_r × K_c, 1)‐RP. Then we have ρ ≤ ?(v‐1)/(r + c ? 2)?. In this article, we present a number of constructive methods to obtain optimal (v, K₂ × K_c, 1)‐RPs meeting the aforementioned bound and establish some existence results. In particular, we show that an optimal (v, K₂ × K₃, 1)‐RP meeting the bound exists if and only if v ≡ 0 (mod 6). © 2008 Wiley Periodicals, Inc. J Combin Designs 17: 177–189, 2009     

‐differential equations for ‐classical polynomials and ‐Jacobi–Stirling numbers

We introduce, characterise and provide a combinatorial interpretation for the so‐called q‐Jacobi–Stirling numbers. This study is motivated by their key role in the (reciprocal) expansion of any power of a second order q‐differential operator having the q‐classical polynomials as eigenfunctions in terms of other even order operators, which we explicitly construct in this work. The results here obtained can be viewed as the q‐version of those given by Everitt et al. and by the first author, whilst the combinatorics of this new set of numbers is a q‐version of the Jacobi–Stirling numbers given by Gelineau and the second author.     

The convergence of q ‐Bernstein polynomials (0 < q < 1) in the complex plane

The paper focuses at the estimates for the rate of convergence of the q ‐Bernstein polynomials (0 < q < 1) in the complex plane. In particular, a generalization of previously known results on the possibility of analytic continuation of the limit function and an elaboration of the theorem by Wang and Meng is presented (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Certain classes of potentials for p ‐Laplacian to be non‐degenerate

Given a positive integer n and an exponent 1 ≤ α ≤ ∞. We will find explicitly the optimal bound r_n such that if the L^α norm of a potential q (t ) satisfies ‖q ‖equation/tex2gif-inf-2.gif < r_n then the n ^th Dirichlet eigenvalue of the onedimensional p ‐Laplacian with the potential q (t ): (|u ′|^{p –2} u ′)′ + (λ + q (t )) |u |^{p –2}u = 0 (1 < p < ∞) will be positive. Using these bounds, we will construct, for the Dirichlet, the Neumann, the periodic or the antiperiodic boundary conditions, certain classes of potentials q (t ) so that the p ‐Laplacian with the potential q (t ) is non‐degenerate, which means that the above equation with λ = 0 has only the trivial solution verifying the corresponding boundary condition. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)