Tactical decompositions and some configurationsv 4

The study of configurations or — more generally — finite incidence geometries is best accomplished by taking into account also their automorphism groups. These groups act on the geometry and in particular on points, blocks, flags and even anti-flags. The orbits of these groups lead to tactical decompositions of the incidence matrices of the geometries or of related geometries. We describe the general procedure and use these decompositions to study symmetric configurationsv ₄ for smallv. Tactical decompositions have also been used to construct all linear spaces on 12 points [2] and all proper linear spaces on 17 points [3].     

Spreads of nonsingular pairs in symplectic vector spaces

Let V be a vector space of dimension 2n, n even, over a field F, equipped with a nonsingular symplectic form. We define a new algebraic/combinatorial structure, a spread of nonsingular pairs, or nsp-spread, on V and show that nsp-spreads exist in considerable generality. We further examine in detail some particular cases.     

Holomorphic Operators Generating Dense Images

The existence of infinite dimensional closed linear spaces of holomorphic functions f on a domain G in the complex plane such that Tf has dense images on certain subsets of G, where T is a continuous linear operator, is analyzed. Necessary and sufficient conditions for T to have the latter property are provided and applied to obtain a number of concrete examples: infinite order differential operators, composition operators and multiplication operators, among others. This work was supported in part by the Plan Andaluz de Investigación de la Junta de Andalucía FQM-127 and by MEC DGES Grants MTM2006-13997-C02-01 and MTM2004-21420-E.     

An Alternative Way to Generalize the Pentagon

We introduce the concept of a pentagonal geometry as a generalization of the pentagon and the Desargues configuration, in the same vein that the generalized polygons share the fundamental properties of ordinary polygons. In short, a pentagonal geometry is a regular partial linear space in which for all points x, the points not collinear with the point x, form a line. We compute bounds on their parameters, give some constructions, obtain some nonexistence results for seemingly feasible parameters and suggest a cryptographic application related to identifying codes of partial linear spaces.     

A remark on partial linear spaces of girth 5 with an application to strongly regular graphs

We derive a lower bound on the number of points of a partial linear space of girth 5. As an application, certain strongly regular graphs with=2 are ruled out by observing that the first subconstituents are partial linear spaces.     

How many s-subspaces must miss a point set in PG(d, q)

The following result is well-known for finite projective spaces. The smallest cardinality of a set of points of PG(n, q) with the property that every s-subspace has a point in the set is (q ^n+1-s - 1)/(q - 1). We solve in finite projective spaces PG(n, q) the following problem. Given integers s and b with 0 ≤ s ≤ n - 1 and 1 ≤ b ≤ (q ^n+1-s - 1)/(q - 1), what is the smallest number of s-subspaces that must miss a set of b points. If d is the smallest integer such that b ≤ (q ^d+1 - 1)/(q - 1), then we shall see that the smallest number is obtained only when the b points generate a subspace of dimension d. We then also determine the smallest number of s-subspaces that must miss a set of b points of PG(n, q) which do not lie together in a subspace of dimension d. The results are obtained by geometrical and combinatorial arguments that rely on a strong algebraic result for projective planes by T. Szőnyi and Z. Weiner.     

Transfinite Hausdorff dimension

Making extensive use of small transfinite topological dimension trind, we ascribe to every metric space X an ordinal number (or −1 or Ω) tHD(X), and we call it the transfinite Hausdorff dimension of X. This ordinal number shares many common features with Hausdorff dimension. It is monotone with respect to subspaces, it is invariant under bi-Lipschitz maps (but in general not under homeomorphisms), in fact like Hausdorff dimension, it does not increase under Lipschitz maps, and it also satisfies the intermediate dimension property (Theorem 2.7). The primary goal of transfinite Hausdorff dimension is to classify metric spaces with infinite Hausdorff dimension. Indeed, if tHD(X)?ω₀, then HD(X)=+∞. We prove that tHD(X)?ω₁ for every separable metric space X, and, as our main theorem, we show that for every ordinal number α<ω₁ there exists a compact metric space Xα (a subspace of the Hilbert space l₂) with tHD(Xα)=α and which is a topological Cantor set, thus of topological dimension 0. In our proof we develop a metric version of Smirnov topological spaces and we establish several properties of transfinite Hausdorff dimension, including its relations with classical Hausdorff dimension.     

Metrical characterization of super-reflexivity and linear type of Banach spaces

We prove that a Banach space X is not super-reflexive if and only if the hyperbolic infinite tree embeds metrically into X. We improve one implication of J.Bourgain’s result who gave a metrical characterization of super-reflexivity in Banach spaces in terms of uniform embeddings of the finite trees. A characterization of the linear type for Banach spaces is given using the embedding of the infinite tree equipped with the metrics d _p induced by the ℓ _p norms. Received: 2 August 2006, Revised: 10 April 2007     

Optimal recovery from a finite set in Banach spaces of entire functions

We develop an approach to the problem of optimal recovery of continuous linear functionals in Banach spaces through information on a finite number of given functionals. The results obtained are applied to the problem of the best analytic continuation from a finite set in the complex space Cn, n?1, for classes of entire functions of exponential type which belong to the space Lp, 1<p<∞, on the real subspace of Cn. These latter are known as Wiener classes.     

Self-dual sets of type (m, n) in projective spaces

In this paper we introduce and analyze the notion of self-dual k-sets of type (m, n). We show that in a non-square order projective space such sets exist only if the dimension is odd. We prove that, in a projective space of odd dimension and order q, self-dual k-sets of type (m, n), with , are of elliptic and hyperbolic type, respectively. As a corollary we obtain a new characterization of the non-singular elliptic and hyperbolic quadrics.     

Factorizations of Möbius Gyrogroups

In this paper we consider a M?bius gyrogroup on a real Hilbert space (of finite or infinite dimension) and we obtain its factorization by gyrosubgroups and subgroups. It is shown that there is a duality relation between the quotient spaces and the orbits obtained. As an example we will present the factorization of the M?bius gyrogroup of the unit ball in \mathbbRⁿ{\mathbb{R}}^{n} linked to the proper Lorentz group Spin⁺(1, n).     

Der Richtungsabstand

In the study of chemical structural phenomena, the idea of mixedness appears to provide most valuable information if this notion is understood as a quantity that counts for a natural distinction between more or less mixed situations. The search for such a concept was initiated by the need of a corresponding valuation of chemical molecules that differ in the type-composition of a system of varying molecular parts at given molecular skeleton sites. In other words, an order relation for the partitions of a finite set was sought that explains the extent of mixing in a canonical way. This and related questions led to the concepts of themixing character andmixing distance. Success in applying these concepts to further chemical and physical problems, to graph theory, to representation theory of the symmetric group, and to probability theory confirmed the hope that there is a common background in some basic mathematics that allows a systematic treatment.The expected concept summarizing the above-mentioned experience is called thedirection distance and the mathematics concerned is linear geometry with a normspecific metric or structural analysis of normed vector spaces, respectively. Direction distance is defined as a map that represents the total metric information on any pair of directions (= pair of half-lines with a common vertex or a corresponding figure in normed vector spaces). Generally, that metrical figure changes when the half-lines are interchanged. As a consequence thereof, Hilbert's congruence axioms do not permit a metric criterion for the congruence of angles except in particular cases. The metric figures of direction pairs, however, may be classified according to metric congruence, and the normspecific metric induces an order in the set of congruence classes. This order, as a rule, is partial; it proves to be total if and only if the vector spaces are (pre-) Hilbert spaces (Lemma 8). A thorough comparison of the direction distance with the conventional distance deepens the understanding of the novel concept and justifies the terminology. The results are summarized in a number of lemmata. Furthermore, so-calledd-complete systems of order-homomorphic functional (so-calledd-functionals) establish an alternative formulation of the direction distance order. If and only if the order is total,d-complete systems can be represented by singled-functionals. Consequently, the case that normed vector spaces are (pre-) Hilbert spaces is pinpointed by the fact that the negative scalar product is already ad-complete system. These particular circumstances allow a metric congruence relation for angles.Another family of normed vector spaces is traced out by the conditions under which the direction distance takes the part of the mixing distance. Roughly speaking, a subset of vectors may be viewed as representing mixtures if it has two properties. First, with any two vectors of this subset all positive linear combinations are vectors of it as well. Second, the length of these vectors is an additive property. Correspondingly, the definition of the mentioned family, the family of so-calledmc-spaces, is based on the concepts of ameasure cone (Def. 5 and Def. 5) and an associated class ofmc- (= measure cone)norms being responsible for length additivity ofpositive vectors (= vectors of the measure cone) (Def. 6). Such norms provide congruence classes for positive vectors and positive direction pairs marked by the propertieslength andmixing distance, respectively. These congruence classes do not depend on the choice of the particularmc-norm within the class associated with a given measure cone, however, the mixing distance does. The consistency of the stipulated mathematical instrumentarium becomes apparent with Theorem 1 stating: The mixing distanceorder doesnot depend on the choice of a particular norm within the measure cone specific class; this order, together with the stipulated length of positive vectors, are properties necessary and sufficient for fixing the measure cone specific class ofmc-norms.Decreasing (or constant) mixing distance was found to describe a characteristic change in the relation between two probability distributions on a given set of classical events, a change in fact necessary and sufficient for the existence of alinear stochastic operator that maps a given pair of distributions into another given pair. This physically notable statement was originally proved for the space ofL ¹-functions on a compact -interval, it was expected to keep its validity for probability distributions in the range of classical physics and, as a consequence of that, for measures of any type. Theorem 2 presents the said statement in terms ofmc-endomorphisms ofmc-spaces; after an extension of the original proof to a more general family ofL ¹-spaces another method presented in a separate paper confirms Theorem 2 for bounded additive set functions and, accordingly, secures the expected range of validity. The discussion below is without reference to the validity range and primarily devoted to geometrical consequences without detailed speculations about physical applications.A few remarks on applications, however, illustrate the physical relevance of the mixing distance and its specialization, theq-character, in the particular context of Theorem 2. With reference to measure cones with such physical interpretations as statistical systems,mc-endomorphisms effect changes that can be described by linear stochastic operators and result physically either from an approach to some equilibrium state or from an adoption to a time-dependent influence on the system from outside. Theorem 2 provides a necessary and sufficient criterion for such changes. The discussion may concern phenomena of irreversible thermodynamics as well as evolving systems under the influence of a surrounding world summarized asorganization phenomena. Entropies and relative entropies of the Renyi-type ared-functionais which do not establishd-complete systems. The validity of Theorem 2 does not encompass the nonclassical case; the reason for it is of high physical interest. The full range of validity and its connection with symmetry arguments seems a promising mathematical problem in the sense of Klein'sErlanger Programm. From the point of mathematical history, the Hardy-Littlewood-Polya theorem should be quoted as a very special case of Theorem 2.

     

Blocking Subspaces By Lines In PG(<Emphasis Type="Italic">n,q</Emphasis>)

This paper studies the cardinality of a smallest set of t-subspaces of the finite projective spaces PG(n, q) such that every s-subspace is incident with at least one element of , where 0 t < s n. This is a very difficult problem and the solution is known only for very few families of triples (s, t, n). When the answer is known, the corresponding blocking configurations usually are partitions of a subspace of PG(n, q) by subspaces of dimension t. One of the exceptions is the solution in the case t = 1 and n = 2s. In this paper, we solve the case when t = 1 and 2s < n 3s-3 and q is sufficiently large.     

On an application of Hall's representatives theorem to a finite geometry problem

It is well-known thatn points not belonging to a hyperplane determine at leastn hyperplanes. The possible configurations of hyperplanes in the case when the number of hyperplanes is equal ton are known, too. In this paper we obtain these results by means of Hall's representatives theorem. The setting is that of a finite geometry.     

Vector-valued Modulation Spaces and Localization Operators with Operator-valued Symbols

We study the short-time Fourier transformation, modulation spaces, Gabor representations and time-frequency localization operators, for functions and tempered distributions that have as range space a Banach or a Hilbert space. In the Banach space case the theory of modulation spaces contains some modifications of the scalar-valued theory, depending on the Banach space. In the Hilbert space case the modulation spaces have properties similar to the scalar-valued case and the Gabor frame theory essentially works. For localization operators in this context symbols are operator-valued. We generalize two results from the scalar-valued theory on continuity on certain modulation spaces when the symbol belongs to an L^p,q space and M^∞, respectively. The first result is true for any Banach space as range space, and the second result is true for any Hilbert space as range space.     

The existence of howell designs of siden+1 and order 2n

AHowell design of side s andorder 2n, or more briefly, anH(s, 2n), is ans×s array in which each cell either is empty or contains an unordered pair of elements from some 2n-set, sayX, such that (a) each row and each column is Latin (that is, every element ofX is in precisely one cell of each row and each column) and (b) every unordered pair of elements fromX is in at most one cell of the array. Atrivial Howell design is anH(s, 0) havingX=? and consisting of ans×s array of empty cells. A necessary condition onn ands for the existence of a nontrivialH(s, 2n) is that 0<n≦s≦2n-1. AnH(n+t, 2n) is said to contain a maximum trivial subdesign if somet×t subarray is theH(t, 0). This paper describes a recursive construction for Howell designs containing maximum trivial subdesigns and applies it to settle the existence question forH(n+1, 2n)’s: forn+1 a positive integer, there is anH(n+1, 2n) if and only ifn+1 ∉ {2, 3, 5}.     

Maximal arcs in Desarguesian planes of odd order do not exist

Forq an odd prime power, and 1<n<q, the Desarguesian planePG(2,q) does not contain an(nq–q+n,n)-arc.Supported by Italian M.U.R.S.T. (Research Group onStrutture geometriche, combinatoria, loro applicazioni) and G.N.S.A.G.A. of C.N.R.     

Complete caps in projective spaces PG (n, q)

A computer search in the finite projective spaces PG(n, q) for the spectrum of possible sizes k of complete k-caps is done. Randomized greedy algorithms are applied. New upper bounds on the smallest size of a complete cap are given for many values of n and q. Many new sizes of complete caps are obtained.     

On resolvable primal spaces

A topological space is called resolvable if it is a union of two disjoint dense subsets, and is n-resolvable if it is a union of n mutually disjoint dense subsets. Clearly a resolvable space has no isolated points. If f is a selfmap on X, the sets A?X with f (A)?A are the closed sets of an Alexandroff topology called the primal topology 𝒫(f ) associated with f. We investigate resolvability for primal spaces (X, 𝒫(f)). Our main result is that an Alexandroff space is resolvable if and only if it has no isolated points. Moreover, n-resolvability and other related concepts are investigated for primal spaces.     

A linear boundary value problem for weakly quasiregular mappings in space

Given a number a weakly L-quasiregular map on a domain in space is a map u in a Sobolev space that satisfies almost everywhere in In this paper, we study the problem concerning linear boundary values of weakly L-quasiregular mappings in space with dimension It turns out this problem depends on the power p of the underlying Sobolev space. For p not too far below the dimension n we show that a weakly quasiregular map in can only assume a quasiregular linear boundary value; however, for all and , we prove a rather surprising existence result that every linear map can be the boundary value of a weakly L-quasiregular map in Received July 20, 2000 / Accepted September 22, 2000 / Published online December 8, 2000