Paley type partial difference sets in abelian groups

Partial difference sets with parameters $\left(v,k,\lambda ,\mu \right)=\left(v,\left(v?1\right)/2,\left(v?5\right)/4,\left(v?1\right)/4\right)$ are called Paley type partial difference sets. In this note, we prove that if there exists a Paley type partial difference set in an abelian group of order v, where v is not a prime power, then $v=n^4$ or $9n^4$, $n>1$ an odd integer. In 2010, Polhill constructed Paley type partial difference sets in abelian groups with those orders. Thus, combining with the constructions of Polhill and the classical Paley construction using nonzero squares of a finite field, we completely answer the following question: “For which odd positive integers $v>1$, can we find a Paley type partial difference set in an abelian group of order $v$?”     

New necessary conditions on Paley‐type partial difference sets in abelian groups

Let be an abelian group of order , where are distinct odd prime numbers. In this paper, we prove that if contains a regular Paley‐type partial difference set (PDS), then for any is congruent to 3 modulo 4 whenever is odd. These new necessary conditions further limit the specific order of an abelian group in which there can exist a Paley‐type PDS. Our result is similar to a result on abelian Hadamard (Menon) difference sets proved by Ray‐Chaudhuri and Xiang in 1997.     

Strongly regular locally <Emphasis Type="Italic">GQ</Emphasis>(4,<Emphasis Type="Italic">t</Emphasis>)-graphs

Amply regular with parameters (v, k, λ, μ) we call an undirected graph with v vertices in which the degrees of all vertices are equal to k, every edge belongs to λ triangles, and the intersection of the neighborhoods of every pair of vertices at distance 2 contains exactly μ vertices. An amply regular diameter 2 graph is called strongly regular. We prove the nonexistence of amply regular locally GQ(4,t)-graphs with (t,μ) = (4, 10) and (8, 30). This reduces the classification problem for strongly regular locally GQ(4,t)-graphs to studying locally GQ(4, 6)-graphs with parameters (726, 125, 28, 20).     

The Cauchy Boundary Value Problems on Closed Piecewise Smooth Manifolds in <Emphasis Type="Italic">C</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

Suppose that D is a bounded domain with a piecewise C^1 smooth boundary in C^n. Let ψ∈C^1 α(δD). By using the Hadamard principal value of the higher order singular integral and solid angle coefficient method of points on the boundary, we give the Plemelj formula of the higher order singular integral with the Boehner-Martinelli kernel, which has integral density ψ. Moreover, by means of the Plemelj formula and methods of complex partial differential equations, we discuss the corresponding Cauehy boundary value problem with the Boehner-Martinelli kernel on a closed piecewise smooth manifold and obtain its unique branch complex harmonic solution.     

Fixed-point-free elements in <Emphasis Type="Italic">p</Emphasis>-groups

In this paper we prove that there exists no function F(m, p) (where the first argument is an integer and the second a prime) such that, if G is a finite permutation p-group with m orbits, each of size at least p ^F(m,p), then G contains a fixed-point-free element. In particular, this gives an answer to a conjecture of Peter Cameron; see [4], [6].     

New negative Latin square type partial difference sets in nonelementary abelian 2-groups and 3-groups

A partial difference set having parameters (n ², r(n − 1), n + r ² − 3r, r ² − r) is called a Latin square type partial difference set, while a partial difference set having parameters (n ², r(n + 1), − n + r ² + 3r, r ² + r) is called a negative Latin square type partial difference set. Nearly all known constructions of negative Latin square partial difference sets are in elementary abelian groups. In this paper, we develop three product theorems that construct negative Latin square type partial difference sets and Latin square type partial difference sets in direct products of abelian groups G and G′ when these groups have certain Latin square or negative Latin square type partial difference sets. Using these product theorems, we can construct negative Latin square type partial difference sets in groups of the form where the s _i are nonnegative integers and s ₀ + s ₁ ≥ 1. Another significant corollary to these theorems are constructions of two infinite families of negative Latin square type partial difference sets in 3-groups of the form for nonnegative integers s _i . Several constructions of Latin square type PDSs are also given in p-groups for all primes p. We will then briefly indicate how some of these results relate to amorphic association schemes. In particular, we construct amorphic association schemes with 4 classes using negative Latin square type graphs in many nonelementary abelian 2-groups; we also use negative Latin square type graphs whose underlying sets can be elementary abelian 3-groups or nonelementary abelian 3-groups to form 3-class amorphic association schemes.      

Non-inner automorphisms of order <Emphasis Type="Italic">p</Emphasis> in finite <Emphasis Type="Italic">p</Emphasis>-groups of coclass 3

In this paper we study the existence of at least one non-inner automorphism of order p of a non-abelian finite p-group of coclass 3, for any prime \(p\ne 3\).     

On subgroups of finite <Emphasis Type="Italic">p</Emphasis>-groups

In §2, we prove that if a 2-group G and all its nonabelian maximal sub-groups are two-generator, then G is either metacyclic or minimal non-abelian. In §3, we consider a similar question for p > 2. In §4 the 2-groups all of whose minimal nonabelian subgroups have order 16 and a cyclic subgroup of index 2, are classified. It is proved, in §5, that if G is a nonmetacyclic two-generator 2-group and A, B, C are all its maximal subgroups with d(A) ≤ d(B) ≤ d(C), then d(C) = 3 and either d(A) = d(B) = 3 (this occurs if and only if G/G′ has no cyclic subgroup of index 2) or else d(A) = d(B) = 2. Some information on the last case is obtained in Theorem 5.3.     

A cohomological property of <Emphasis Type="Italic">p</Emphasis>-groups

Let p be a prime, a finite p-group, any finite group with order divisible by p, and any action of on . We show that the cardinality of the set of all derivations with respect to this action is a multiple of p. This generalises theorems of Frobenius and Hall. Received: 16 June 2003     

Point sets with low <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-discrepancy

In this paper we study the L _p -discrepancy of digitally shifted Hammersley point sets. While it is known that the (unshifted) Hammersley point set (which is also known as Roth net) with N points has L _p -discrepancy (p an integer) of order (log N)/N, we show that there always exists a shift such that the digitally shifted Hammersley point set has L _p -discrepancy (p an even integer) of order which is best possible by a result of W. Schmidt. Further we concentrate on the case p = 2. We give very tight lower and upper bounds for the L ₂-discrepancy of digitally shifted Hammersley point sets which show that the value of the L ₂-discrepancy of such a point set mostly depends on the number of zero coordinates of the shift and not so much on the position of these. This work is supported by the Austrian Research Fund (FWF), Project P17022-N12 and Project S8305.     

<Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript> discrepancy of generalized two-dimensional Hammersley point sets

We determine the L _p discrepancy of the two-dimensional Hammersley point set in base b. These formulas show that the L _p discrepancy of the Hammersley point set is not of best possible order with respect to the general (best possible) lower bound on L _p discrepancies due to Roth and Schmidt. To overcome this disadvantage we introduce permutations in the construction of the Hammersley point set and show that there always exist permutations such that the L _p discrepancy of the generalized Hammersley point set is of best possible order. For the L ₂ discrepancy such permutations are given explicitly. F.P. is supported by the Austrian Science Foundation (FWF), Project S9609, that is part of the Austrian National Research Network “Analytic Combinatorics and Probabilistic Number Theory”.     

Any nilpotence degree occurs in mod-<Emphasis Type="Italic">p</Emphasis> cohomology rings of <Emphasis Type="Italic">p</Emphasis>-groups

Let p be an odd prime number and let n be an arbitrary positive integer. We prove that there exists a p-group whose mod-p cohomology ring has a nilpotent element H²() satisfying ⁿ0,^n+p–1=0. As a corollary, we exhibit a p-group whose mod-p cohomology ring contains an element of nilpotency degree n+1.Mathematical Subject Classification (2000): 20J06, 20D15, 55R40To Phuong and Nin     

Torsion-free constructive nilpotent <Emphasis Type="Italic">R</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-groups

We consider a torsion-free nilpotent R _p -group, the p-rank of whose quotient by the commutant is equal to 1 and either the rank of the center by the commutant is infinite or the rank of the group by the commutant is finite. We prove that the group is constructivizable if and only if it is isomorphic to the central extension of some divisible torsion-free constructive abelian group by some torsion-free constructive abelian R _p -group with a computably enumerable basis and a computable system of commutators. We obtain similar criteria for groups of that type as well as divisible groups to be positively defined. We also obtain sufficient conditions for the constructivizability of positively defined groups.     

Elementary abelian <Emphasis Type="Italic">p</Emphasis>-groups of rank 2<Emphasis Type="Italic">p</Emphasis>+3 are not CI-groups

For every prime p>2 we exhibit a Cayley graph on \mathbbZ_p^2p+3\mathbb{Z}_{p}^{2p+3} which is not a CI-graph. This proves that an elementary abelian p-group of rank greater than or equal to 2p+3 is not a CI-group. The proof is elementary and uses only multivariate polynomials and basic tools of linear algebra. Moreover, we apply our technique to give a uniform explanation for the recent works of Muzychuk and Spiga concerning the problem.     

Non-abelian sharp permutation<Emphasis Type="Italic">p</Emphasis>-groups

A permutation groupG of finite degreed is called a sharp permutation group of type {k},k a non-negative integer, if every non-identity element ofG hask fixed points and |G|=d−k. We characterize sharp non-abelianp-groups of type {k} for allk.     

<Emphasis Type="Italic">A</Emphasis><Subscript>1</Subscript> weights and <Emphasis Type="Italic">d</Emphasis>-homogeneous measures on ahlfors <Emphasis Type="Italic">d</Emphasis>-regular space

Let X be an Ahlfors d-regular space and mad-regular measure on X . We prove that a measure μ on X is d-homogeneous if and only if μ is mutually absolutely continuous with respect to m and the derivative Dmμ(x) is an A1 weight. Also, we show by an example that every Ahlfors d-regular space carries a measure which is d-homogeneous but not d-regular.     

A class of finite resistant <Emphasis Type="Italic">p</Emphasis>-groups

A finite p-group P is called resistant if, for any finite group G having P as a Sylow p-group, the normalizer N _G (P) controls p-fusion in G. Let P be a central extension as

$$1 \to {\mathbb{Z}_{{p^m}}} \to P \to {\mathbb{Z}_p} \times \cdots {\mathbb{Z}_p} \to 1,$$

and |P′| ≤ p, m ≥ 2. The purpose of this paper is to prove that P is resistant.

     

Paley type group schemes and planar Dembowski–Ostrom polynomials

In this paper we give some necessary and sufficient conditions for Dembowski–Ostrom polynomials to be planar. These conditions give a simple explanation of the Coulter–Matthews and Ding–Yin commutative semifields and enable us to obtain permutation polynomials from some of the Zha–Kyureghyan–Wang commutative semifields. We then give a generalization of Feng’s construction of Paley type group schemes in extra-special p-groups of exponent p and construct a family of Paley type group schemes in what we call the flag groups of finite fields. We also determine the strong multiplier groups of these group schemes. In the last section of this paper, we give a straightforward generalization of the twin prime power construction of difference sets to a construction of Hadamard designs from twin Paley type association schemes.     

<Emphasis Type="Italic">p</Emphasis>-groups having few almost-rational irreducible characters

We prove that a 2-group has exactly five rational irreducible characters if and only if it is dihedral, semidihedral or generalized quaternion. For an arbitrary prime p, we say that an irreducible character χ of a p-group G is “almost rational” if ℚ(χ) is contained in the cyclotomic field ℚ _p , and we write ar(G) to denote the number of almost-rational irreducible characters of G. For noncyclic p-groups, the two smallest possible values for ar(G) are p ² and p ² + p − 1, and we study p-groups G for which ar(G) is one of these two numbers. If ar(G) = p ² + p − 1, we say that G is “exceptional”. We show that for exceptional groups, |G: G′| = p ², and so the assertion about 2-groups with which we began follows from this. We show also that for each prime p, there are exceptional p-groups of arbitrarily large order, and for p ≥ 5, there is a pro-p-group with the property that all of its finite homomorphic images of order at least p ³ are exceptional.     

Pseudo-Paley graphs and skew Hadamard difference sets from presemifields

Let (K, + ,*) be an odd order presemifield with commutative multiplication. We show that the set of nonzero squares of (K, *) is a skew Hadamard difference set or a Paley type partial difference set in (K, +) according as q is congruent to 3 modulo 4 or q is congruent to 1 modulo 4. Applying this result to the Coulter–Matthews presemifield and the Ding–Yuan variation of it, we recover a recent construction of skew Hadamard difference sets by Ding and Yuan [7]. On the other hand, applying this result to the known presemifields with commutative multiplication and having order q congruent to 1 modulo 4, we construct several families of pseudo-Paley graphs. We compute the p-ranks of these pseudo-Paley graphs when q = 3⁴, 3⁶, 3⁸, 3¹⁰, 5⁴, and 7⁴. The p-rank results indicate that these graphs seem to be new. Along the way, we also disprove a conjecture of René Peeters [17, p. 47] which says that the Paley graphs of nonprime order are uniquely determined by their parameters and the minimality of their relevant p-ranks. Dedicated to Dan Hughes on the occasion of his 80th birthday.