One (96,20,4)-symmetric Design and related Nonabelian Difference Sets

New (96,20,4)-symmetric design has been constructed, unique under the assumption of an automorphism group of order 576 action. The correspondence between a (96,20,4)-symmetric design having regular automorphism group and a difference set with the same parameters has been used to obtain difference sets in five nonabelian groups of order 96. None of them belongs to the class of groups that allow the application of so far known construction (McFarland, Dillon) for McFarland difference sets.AMS lassification: 05B05     

Constructions of Partial Difference Sets and Relative DifferenceSets Using Galois Rings

We use Galois rings to construct partial difference sets and relative difference sets in non-elementary abelianp-groups. As an example, we also use Galois ringG R(4, 2) to construct a (96,20,4) difference set in Z₄ × Z₄ × Z₆.Dedicated to Hanfried Lenz on the occasion of his 80th birthday     

Uniqueness of Polish group topology

We show the limits of Mackey's theorem applied to identity sets to prove that a given group has a unique Polish group topology.Verbal sets in Abelian Polish groups and full verbal sets in the infinite symmetric group are Borel. However this is not true in general.A Polish group with a neighborhood π-base at 1 of sets from the σ-algebra of identity and verbal sets has a unique Polish group topology. It follows that compact, connected, simple Lie groups, as well as finitely generated profinite groups, have a unique Polish group topology.     

Relative difference sets fixed by inversion and Cayley graphs

Using graph theoretical technique, we present a construction of a (30,2,29,14)-relative difference set fixed by inversion in the smallest finite simple group—the alternating group A₅. To our knowledge this is the first example known of relative difference sets in the finite simple groups with a non-trivial forbidden subgroup. A connection is then established between some relative difference sets fixed by inversion and certain antipodal distance-regular Cayley graphs. With the connection, several families of antipodal distance-regular Cayley graphs which are coverings of complete graphs are presented.     

New difference sets in nonabelian groups of order 100

In two groups of order 100 new difference sets are constructed. The existence of a difference set in one of them has not been known. The correspondence between a (100, 45, 20) symmetric design having regular automorphism group and a difference set with the same parameters has been used for the construction. © 2001 John Wiley & Sons, Inc. J Combin Designs 9: 424–434, 2001     

A note on difference sets in dihedral groups

It is proved that there are no nontrivial difference sets in dihedral groups of order 4p^t, where p is a prime, t > 0 is a positive integer. Received: 22 February 2002     

Countably infinite quasi-convex sets in some locally compact abelian groups

We produce a class of countably infinite quasi-convex sets (sequences converging to zero) in the circle group T and in the group J₂ of 2-adic integers determined by sequences of integers satisfying a mild lacunarity condition. We also extend our results to the group R of real numbers. All these quasi-convex sets have a stronger property: Every infinite (necessarily) symmetric subset containing 0 is still quasi-convex.     

Fuzzy implication operators for difference operations for fuzzy sets and cardinality-based measures of comparison

In this paper, we determine by means of fuzzy implication operators, two classes of difference operations for fuzzy sets and two classes of symmetric difference operations for fuzzy sets which preserve properties of the classical difference operation for crisp sets and the classical symmetric difference operation for crisp sets respectively. The obtained operations allow us to construct as in [B. De Baets, H. De Meyer, Transitivity-preserving fuzzification schemes for cardinality-based similarity measures, European Journal of Operational Research 160 (2005) 726–740], cardinality-based similarity measures which are reflexive, symmetric and transitive fuzzy relations and, to propose two classes of distances (metrics) which are fuzzy versions of the well-known distance of cardinality of the symmetric difference of crisp sets.     

Linking systems of difference sets

A linking system of difference sets is a collection of mutually related group difference sets, whose advantageous properties have been used to extend classical constructions of systems of linked symmetric designs. The central problems are to determine which groups contain a linking system of difference sets, and how large such a system can be. All previous constructive results for linking systems of difference sets are restricted to 2‐groups. We use an elementary projection argument to show that neither the McFarland/Dillon nor the Spence construction of difference sets can give rise to a linking system of difference sets in non‐2‐groups. We make a connection to Kerdock and bent sets, which provides large linking systems of difference sets in elementary abelian 2‐groups. We give a new construction for linking systems of difference sets in 2‐groups, taking advantage of a previously unrecognized connection with group difference matrices. This construction simplifies and extends prior results, producing larger linking systems than before in certain 2‐groups, new linking systems in other 2‐groups for which no system was previously known, and the first known examples in nonabelian groups.     

Partial vexillarity and bigrassmannian permutations

We define two closely related notions of degree for permutation patterns of type 2143. These give rise to classes of “m-vexillary elements” in the symmetric group. Using partitions, the Ehresmann–Bruhat partial order, and sets constructed from permutation inversions, we characterize the m-vexillary elements. We relate the maximal bigrassmannian permutations in the (Ehresmann–Bruhat) order ideal generated by any given m-vexillary element w to the maximal rectangles contained in the shape of w.     

Symmetric generation of Coxeter groups

We provide involutory symmetric generating sets of finitely generated Coxeter groups, fulfilling a suitable finiteness condition, which in particular is fulfilled in the finite, affine and compact hyperbolic cases.      

Lower Bounds in Minimum Rank Problems

The minimum rank of a graph is the smallest possible rank among all real symmetric matrices with the given graph. The minimum semidefinite rank of a graph is the minimum rank among Hermitian positive semidefinite matrices with the given graph. We explore connections between OS-sets and a lower bound for minimum rank related to zero forcing sets as well as exhibit graphs for which the difference between the minimum semidefinite rank and these lower bounds can be arbitrarily large.     

集合的对称差及其测度

集合的对称差是集合的基本运算之一,它在测度论及其应用中扮演着一个重要的角度,本文深入地对集合的对称差进行讨论,研究了它的性质,通过集合的不交分解揭示了若干个集合的对称差的本质,给出了关于集合的对称差的测度计算公式。     

Containment for c, s, t operators on a binary relation

The operators c, s and t are complement, symmetric and transitive closure of a binary relation. If u and v denote finite sequences of these operators then we define u v iff for every binary relation . We find the distinct representative and containment between these sequences. The asymmetric operator is not one of these. There are 54 representatives for binary relations, 20 for transitive relations, and 10 for symmetric relations. There are 26 component types of a binary relation, 10 for transitive relations, and 6 for symmetric relations. There are 16 connected types of a binary relation, 8 for transitive relations, and 4 for symmetric relations. We study well founded relations. Total relations may not be contractible but well founded ones are. The complement of (a Hasse diagram of) a non-empty partial order of arbitrary cardinality is contractible. Ordered sets are naturally homotopy equivalent to partially ordered sets. There are 10 relations which can have arbitrary polyhedral homotopy type and 42 are either contractible or the homotopy type of a wedge of n-spheres. The homotopy type of two relations is not determined.     

A sharp upper bound on the maximal entry in the principal eigenvector of symmetric nonnegative matrix

An upper bound on the maximal entry in the principal eigenvector of a symmetric nonnegative matrix with zero diagonal entries is investigated in [S. Zhao, Y. Hong, On the bounds of maximal entries in the principal eigenvector of symmetric nonnegative matrix, Linear Algebra Appl. 340 (2002) 245-252]. We obtain a sharp upper bound on the maximal entry y^max_p in the principal eigenvector of symmetric nonnegative matrix in terms of order, the spectral radius, the largest and the smallest diagonal entries of that matrix. Our bound is applicable for any symmetric nonnegative matrix and the upper bound of Zhao and Hong (2002) for the maximal entry y^max_p follows as a special case. Moreover, we find an upper bound on maximal entry in the principal eigenvector for the signless Laplacian matrix of a graph.     

Zonal spherical functions on the complex reflection groups and (n+1,m+1)-hypergeometric functions

The pair of groups, complex reflection group G(r,1,n) and symmetric group S_n, is a Gelfand pair. Its zonal spherical functions are expressed in terms of multivariate hypergeometric functions called (n+1,m+1)-hypergeometric functions. Since the zonal spherical functions have orthogonality, they form discrete orthogonal polynomials. Also shown is a relation between monomial symmetric functions and the (n+1,m+1)-hypergeometric functions.     

The toric ideal of a graphic matroid is generated by quadrics

Describing minimal generating sets of toric ideals is a well-studied and difficult problem. Neil White conjectured in 1980 that the toric ideal associated to a matroid is generated by quadrics corresponding to single element symmetric exchanges. We give a combinatorial proof of White’s conjecture for graphic matroids.     

Relative symmetric polynomials

In this article, we introduce the notion of a relative symmetric polynomial with respect to a permutation group and an irreducible character and we give answers for some natural questions about their structures. In order to study symmetric polynomials with respect to linear characters, we define the concept of relative Vandermonde polynomial. Finally, we present some interesting research problems concerning relative symmetric polynomials.     

Reversible relative difference sets

We investigate nontrivial (m, n, k, )-relative difference sets fixed by the inverse. Examples and necessary conditions on the existence of relative difference sets of this type are studied.