The generating rank is determined for several GF(2)-embeddable geometries and it is demonstrated that their generating and embedding ranks are equal. Specifically, we prove that each of the two generalized hexagons of order (2, 2) has generating rank 14, that the central involution geometry of the Hall-Janko sporadic group has generating rank 28, and that the dual polar space DU(6,2) has genera...

A schema mapping is a declarative specification of the relationship between instances of a source schema and a target schema. The data exchange (or data translation) problem asks: given an instance over the source schema, materialize an instance (or solution) over the target schema that satisfies the schema mapping. In general, a given source instance may have numerous different solutions. Amon...

In this paper we propose an algorithm for computing large primes p and q such that q divides p4 + p3 + p2 + p+ 1 or p4 − p3 + p2 − p+ 1. Such primes are key parameters for the GiulianiGong Public Key System.

The main goal of this paper is to derive an alternative characterization of the multisymplectic form formula for classical field theories using the geometry of the space of boundary values. We review the concept of Type-I/II generating functionals defined on the space of boundary data of a Lagrangian field theory. On the Lagrangian side, we define an analogue of Jacobi’s solution to the Hamilto...

In this paper, we prove that every F ∗ space (i.e., Hausdorff topological vector space satisfying the first countable axiom) can be characterized by means of its “standard generating family of pseudo-norms”. By using the standard generating family of pseudo-norms P, the concepts of P-bounded set and γ-maxpseudo-norm-subadditive operator in F ∗ space are introduced. The uniform boundedness princ...