Split Orthogonal Arrays and Maximum Independent Resilient Systems of Functions

A system of (Boolean) functions in variables is called randomized if the functions preserve the property of their variables to be independent and uniformly distributed random variables. Such a system is referred to as -resilient if for any substitution of constants for any variables, where 0 i t, the derived system of functions in variables will be also randomized. We investigate the problem of finding the maximum number of functions in variables of which any form a -resilient system. This problem is reduced to the minimization of the size of certain combinatorial designs, which we call split orthogonal arrays. We extend some results of design and coding theory, in particular, a duality in bounding the optimal sizes of codes and designs, in order to obtain upper and lower bounds on . In some cases, these bounds turn out to be very tight. In particular, for some infinite subsequences of integers they allow us to prove that , , , , . We also find a connection of the problem considered with the construction of unequal-error-protection codes and superimposed codes for multiple access in the Hamming channel.     

On Complete Arcs Arising from Plane Curves

We point out an interplay between -Frobenius non-classical plane curves and complete -arcs in . A typical example that shows how this works is the one concerning an Hermitian curve. We present some other examples here which give rise to the existence of new complete -arcs with parameters and being a power of the characteristic. In addition, for q a square, new complete -arcs with either and or and are constructed by using certain reducible plane curves.     

Two New Infinite Families of 3-Designs from Kerdock Codes over Z4

In this paper we show that the support of the codewords of each type in the Kerdock code of length 2^m over Z₄ form 3-designs for any odd integer . In particular, twonew infinite families of 3-designs are obtained in this constructionfor any odd integer . In particular, twonew infinite families of 3-designs are obtained in this constructionfor any odd integer , whose parameters are ,and .     

Path-Integral Calculations for the First Excited State of Hydrogen Atom

Consider a path-integral which is the solution to a diffusion version of the generalized Schro¨dinger's equation . Here , where A is an infinitesimal generator of a strongly continuous Markov Semigroup corresponding to the diffusion process . For and V replaced by one obtains , which represents a quantum mechanical Hamiltonian corresponding to a particle of mass 1 (in atomic units) subject to interaction with potential V. This paper is concerned with computer calculations of the second eigenvalue of by generating a large number of trajectories of an ergodic diffusion process.     

Extremal Self-Dual Codes over \mathbb{F} 2 × \mathbb{F} 2

In this paper, it is shown that extremal (Hermitian) self-dual codes over ₂ × ₂ exist only for lengths 1, 2, 3, 4, 5, 8 and 10. All extremal self-dual codes over ₂ × ₂ are found. In particular, it is shown that there is a unique extremal self-dual code up to equivalence for lengths 8 and 10. Optimal self-dual codes are also investigated. A classification is given for binary [12, 7, 4] codes with dual distance 4, binary [13, 7, 4] codes with dual distance 4 and binary [13, 8, 4] codes with dual distance 4.     

Minihypers and Linear Codes Meeting the Griesmer Bound: Improvements to Results of Hamada, Helleseth and Maekawa

This article improves results of Hamada, Helleseth and Maekawa on minihypers in projective spaces and linear codes meeting the Griesmer bound.In [10,12],it was shown that any -minihyper, with , where , is the disjoint union of points, lines,..., -dimensional subspaces. For q large, we improve on this result by increasing the upper bound on non-square, to non-square, square, , and (4) for square, p prime, p<3, to . In the case q non-square, the conclusion is the same as written above; the minihyper is the disjoint union of subspaces. When q is square however, the minihyper is either the disjoint union of subspaces, or the disjoint union of subspaces and one subgeometry . For the coding-theoretical problem, our results classify the corresponding codes meeting the Griesmer bound.     

On the Nonexistence of q-ary Linear Codes of Dimension Five

There do not exist codes over the Galois field GF attaining the Griesmer bound for for andfor for .     

On posets with isomorphic interval posets

Let be a partially ordered set, Int the system of all (nonempty) intervals of partially ordered by the set-theoretical inclusion . We are interested in partially ordered sets with Int isomorphic to Int . We are going to show that they correspond to couples of binary relations on A satisfying some conditions. If is a directed partially ordered set, the only with Int isomorphic to Int are corresponding to direct decompositions of ( denotes the dual of . The present results include those presented in the paper [11] by V. Slavík. Systems of intervals, particularly of lattices, have been investigated by many authors, cf. [1]–[11].     

Varieties Defined by Permutations

We continue to study interrelations between permutative varieties and the cyclic varieties defined by cycles of the form . A criterion is given determining whether a cyclic variety is interpretable in . For a permutation without fixed elements, it is stated that a set of primes for which is interpretable in in the lattice is finite. It is also proved that for distinct primes , the Helly number of a type in coincides with dimension of the dual type and equals .     

On the Growth of Entire Functions of Exponential Type near a Straight Line

Let be a sequence of complex numbers such that as . For close to the imaginary axis, upper bounds of the indicator of a nonzero entire function of exponential type with minimal growth vanishing on is obtained. These bounds give sufficient conditions for the system of exponents to be incomplete in an unbounded domain in .     

The Xedni Calculus and the Elliptic Curve Discrete Logarithm Problem

Let be an elliptic curve defined over a finite field, and let be two points on E. The Elliptic Curve Discrete Logarithm Problem (ECDLP) asks that an integer m be found so that S=mT in . In this note we give a new algorithm, termed the Xedni Calculus, which might be used to solve the ECDLP. As remarked by Neal Koblitz, the Xedni method is also applicable to the classical discrete logarithm problem for and to the integer factorization problem.     

The Ingham Divisor Problem on the Set of Numbers without kth Powers

Suppose that k and l are integers such that and , M _k is a set of numbers without kth powers, and . In this paper, we obtain asymptotic estimates of the sums over      

A Version of the Ruh--Vilms Theorem for Surfaces of Constant Mean Curvature in S 3

We study a version of the Gauss map for a surface immersed in and prove an analog of the Ruh--Vilms theorem which states that this map is harmonic iff has a constant mean curvature. As a corollary, we conclude that an embedded flat torus with constant mean curvature is a spherical Delonay surface.     

Transversal Twistor Spaces of Foliations

The transversal twistor space of a foliation of an even codimension is the bundle of the complex structures of the fibers of the transversalbundle of . On there exists a foliation by covering spaces of the leaves of , and any Bottconnection of produces an ordered pair of transversal almost complex structures of . The existence of a Bott connection which yields a structure ₁ that is projectable to the space of leaves isequivalent to the fact that is a transversallyprojective foliation. A Bott connection which yields a projectablestructure ₂ exists iff isa transversally projective foliation which satisfies a supplementarycohomological condition, and, in this case, ₁is projectable as well. ₂ is never integrable.The essential integrability condition of ₁ isthe flatness of the transversal projective structure of .     

Application of Upper Hemi-Continuous Operators on Generalized Bi-quasi-variational Inequalities in Locally Convex Topological Vector Spaces

Let and be Hausdorff topological vector spaces over the field , let be a bilinear functional, and let be a non-empty subset of . Given a set-valued map and two set-valued maps , the generalized bi-quasi-variational inequality (GBQVI) problem is to find a point and a point such that and for all and for all or to find a point a point and a point such that and for all . The generalized bi-quasi-variational inequality was introduced first by Shih and Tan [8] in 1989. In this paper we shall obtain some existence theorems of generalized bi-quasi-variational inequalities as application of upper hemi-continuous operators [4] in locally convex topological vector spaces on compact sets.     

Basic subgroups in abelian group rings

Suppose is a commutative ring with identity of prime characteristic and is an arbitrary abelian -group. In the present paper, a basic subgroup and a lower basic subgroup of the -component and of the factor-group of the unit group in the modular group algebra are established, in the case when is weakly perfect. Moreover, a lower basic subgroup and a basic subgroup of the normed -component and of the quotient group are given when is perfect and is arbitrary whose is -divisible. These results extend and generalize a result due to Nachev (1996) published in Houston J. Math., when the ring is perfect and is -primary. Some other applications in this direction are also obtained for the direct factor problem and for a kind of an arbitrary basic subgroup.     

On Generalized Hamming Weights for Galois Ring Linear Codes

The definition of generalized Hamming weights (GHW) for linear codes over Galois rings is discussed. The properties of GHW for Galois ring linear codes are stated. Upper and existence bounds for GHW of – linear codes and a lower bound for GHW of the Kerdock code over – are derived. GHW of some – linear codes are determined.     

A Group Algebra for Inductive Limit Groups. Continuity Problems of the Canonical Commutation Relations

Given an inductive limit group where each is locally compact, and a continuous two-cocycle , we construct a C^*-algebra group algebra is imbedded in its multiplier algebra , and the representations of are identified with the strong operator continuous of G. If any of these representations are faithful, the above imbedding is faithful. When G is locally compact, is precisely , the twisted group algebra of G, and for these reasons we regard in the general case as a twisted group algebra for G. Applying this construction to the CCR-algebra over an infinite dimensional symplectic space (S,\,B),we realise the regular representations as the representation space of the C^*-algebra , and show that pointwise continuous symplectic group actions on (S,\, B) produce pointwise continuous actions on , though not on the CCR-algebra. We also develop the theory to accommodate and classify 'partially regular' representations, i.e. representations which are strong operator continuous on some subgroup H of G (of suitable type) but not necessarily on G, given that such representations occur in constrained quantum systems.     

Imprimitive Q-polynomial Association Schemes

It is well known that imprimitive P-polynomial association schemes with are either bipartite or antipodal, i.e., intersection numbers satisfy either for all for all . In this paper, we show that imprimitive -polynomial association schemes with are either dual bipartite or dual antipodal, i.e., dual intersection numbers satisfy either .     

Second-Order Subexponential Behavior of Subordinated Sequences

Suppose that , , and are three discrete probability distributions related by the equation (E): , where denotes the k-fold convolution of In this paper, we investigate the relation between the asymptotic behaviors of and . It turns out that, for wide classes of sequences and , relation (E) implies that , where is the mean of . The main object of this paper is to discuss the rate of convergence in this result. In our main results, we obtain O-estimates and exact asymptotic estimates for the difference .