Struttura delle fibrazioni di una classe di piani di André generalizzati finiti di ordineq 1+1

Every finite generalized André plane is associated with a spreadF′ of the projective spacePG(2t+1,q), which is obtained from a regular preadF replacing in a switching setU some of the subspaces ofF. The construction ofU is realized by an opportune setA of non-identical automorphisms of the fieldGF(q ^t+1). In this paper we characterize the irreducible components ofU, whenU is obtained by a setA consisting of two automorphisms. In the second paragraph we prove that such switching sets are only of two types. In the third paragraph we provide a constructive rule which is a necessary and sufficient condition for the existence of both the types. In such a way we describe the structure of the spreadF′ associated with any finite generalized André plane such that |A|=2.      

Disjoint edges in geometric graphs

Answering an old question in combinatorial geometry, we show that any configuration consisting of a setV ofn points in general position in the plane and a set of 6n – 5 closed straight line segments whose endpoints lie inV, contains three pairwise disjoint line segments.Research supported in part by an Allon Fellowship and by a Bat Sheva de-Rothschild grant.     

On Framed Instanton Bundles and Their Deformations

We consider a compact twistor space P and assume that there is a surface S ⊂ P, which has degree one on twistor fibres and contains a twistor fibre F, e.g. P a LeBrun twistor space ([20], [18]). Similar to [6] and [5] we examine the restriction of an instanton bundle V equipped with a fixed trivialization along F to a framed vector bundle over (S, F). First we develope inspired by [13] a suitable deformation theory for vector bundles over an analytic space framed by a vector bundle over a subspace of arbitrary codimension. In the second section we describe the restriction as a smooth natural transformation into a fine moduli space. By considering framed U(r)‐instanton bundles as a real structure on framed instanton bundles over P, we show that the bijection between isomorphism classes of framed U(r)‐instanton bundles and isomorphism classes of framed vector bundles over (S, F) due to [5] is actually an isomorphism of moduli spaces.     

On the mean value property of finely harmonic and finely hyperharmonic functions

Summary It is shown that a finely superharmonic function in a planar fine domainU is greater than or equal to its lower integral with respect to harmonic measure associated with any bounded finely open setV with fine closure contained inU. Examples are given showing that this result does not extend to dimension 3 or more (unlessf is supposed to be, e.g., lower bounded onV) and also that the integral need not exist.     

On the dynamics of composite entire functions

Letf andg be nonlinear entire functions. The relations between the dynamics off⊗g andg⊗f are discussed. Denote byℐ (·) andF(·) the Julia and Fatou sets. It is proved that ifz∈C, thenz∈ℐ8464 (f⊗g) if and only ifg(z)∈ℐ8464 (g⊗f); ifU is a component ofF(f○g) andV is the component ofF(g○g) that containsg(U), thenU is wandering if and only ifV is wandering; ifU is periodic, then so isV and moreover,V is of the same type according to the classification of periodic components asU. These results are used to show that certain new classes of entire functions do not have wandering domains. The second author was supported by Max-Planck-Gessellschaft ZFDW, and by Tian Yuan Foundation, NSFC.     

Construction of non-linear semi-groups using product formulas

Under certain circumstances, the Trotter-Lie formulaW _t=lim(U _t/nV_t/n) ⁿ is used to construct a non-linear semi-groupW _t on closed subsets ofL ^P, 1≦p<∞. In particular we consider the situation whereU _t=e ^tA is a positivity preservingC ₀ (linear) semi-group andV _t is generated by a (non-linear) functionF with certain monotonicity properties. In general,A andF are “singular” onL ^p and no requirement is made that one of them be “relatively bounded” with respect to the other. The generator of the resulting semi-groupW _t turns out to be an extension ofA +F restricted to a suitable domain. Research supported by a Danforth Graduate Fellowship and a Weizmann Postdoctoral Fellowship.     

Some properties of graph centroids

The concept of a branch weight centroid has been extended in [12] so that it can be defined for an arbitrary finite setX with a distinguished familyC of "convex" subsets ofX. In particular, the centroid of a graphG was defined forX to be the vertex setV(G) ofG andU V(G) is convex if it is the vertex set of a chordless path inG. In this paper, which is an extended version of [13], we give necessary and sufficient conditions for a graph to be a centroid of another graph as well as of itself. Then, we apply these results to some particular classes of graphs: chordal, Halin, series-parallel and outerplanar.This research has been partly supported by Grant RP.I.09 from the Institute of Computer Science, University of Warsaw. This paper was completed when the second author was at Fachbereich 3 -Mathematik, Technische Universität Berlin, supported also by the Alexander von Humboldt-Stiftung (Bonn).     

Un phénomène de Hartogsdans les variétés projectives

In this article, we study univalent open subsets , , assuming to be pseudoconcave in Andreotti's sense. We prove an Hartogs's Kugelsatz theorem for such open sets: Let U an open subset in V such that is a pseudoconcave domain in the sense of Andreotti. Then U contains a maximal compact hypersurface H. Moreover, any meromorphic section s, of a vector bundle F over V, defined on (a neighborhood of) extends on , and, if s is holomorphic then s extends meromorphically to U, with a polar set in H.

---

---

Received November 30, 1997; in final form July 23, 1998     

On the rank of 3×3×3-tensors

Let U, V and W be finite dimensional vector spaces over the same field. The rank of a tensor τ in U???V???W is the minimum dimension of a subspace of U???V???W containing τ and spanned by fundamental tensors, i.e. tensors of the form u???v???w for some u in U, v in V and w in W. We prove that if U, V and W have dimension three, then the rank of a tensor in U???V???W is at most six, and such a bound cannot be improved, in general. Moreover, we discuss how the techniques employed in the proof might be extended to prove upper bounds for the rank of a tensor in U???V???W when the dimensions of U, V and W are higher.     

Generic Idempotent Modules for a Finite Group

Let G be a finite group and k an algebraically closed field of characteristic p. Let F _U be the Rickard idempotent k G-module corresponding to the set U of subvarieties of the cohomology variety V _G which are not irreducible components. We show that F _U is a finite sum of generic modules corresponding to the irreducible components of V _G . In this context, a generic module is an indecomposable module of infinite length over k G but finite length as a module over its endomorphism ring.     

Ergodic group automorphisms are exponentially recurrent

We show that ergodic automorphisms of compact abelian groups have the property that for every nonempty open setU, the measure of the set first returning toU aftern iterates decays exponentially inn. This follows from a result about aperiodic automorphisms of countable abelian groups, whose proof employsp-adic analysis. Partially supported by NSF Grant MCS 7704915.     

Conductors and newforms for U(1,1)

Let F be a non-Archimedean local field whose residue characteristic is odd. In this paper we develop a theory of newforms forU (1, 1)(F), building on previous work onSL ₂(F). This theory is analogous to the results of Casselman forGL ₂(F) and Jacquet, Piatetski-Shapiro, and Shalika forGL _n(F). To a representation π ofU(1, 1)(F), we attach an integer c(π) called the conductor of π, which depends only on theL-packet π containing π. A newform is a vector in π which is essentially fixed by a congruence subgroup of level c(π). We show that our newforms are always test vectors for some standard Whittaker functionals, and, in doing so, we give various explicit formulae for newforms.     

Inequalities forf-vectors of 4-polytopes

LetV, E, S andF be the number of vertices, edges, subfacets and facets, respectively, of a 4-dimensional convex polytope. In this paper we derive new upper and lower bounds forS in terms ofF andV. Research supported by NSF grants GP-27963 and GP-19221.     

The monadic theory and the “next world”

Suppose thatV is a model of ZFC andU ∈ V is a topological space or a richer structure for which it makes sense to speak about the monadic theory. LetB be the Boolean algebra of regular open subsets ofU. If the monadic theory ofU allows one to speak in some sense about a family ofκ everywhere dense and almost disjoint sets, then the second-orderV ^B-theory of ϰ is interpretable in the monadicV-theory ofU; this is our Interpretation Theorem. Applying the Interpretation Theorem we strengthen some previous results on complexity of the monadic theories of the real line and some other topological spaces and linear orders. Here are our results about the real line. Letr be a Cohen real overV. The second-orderV[r]-theory of ℵ₀ is interpretable in the monadicV-theory of the real line. If CH holds inV then the second-orderV[r]-theory of the real line is interpretable in the monadicV-theory of the real line. Dedicated to the memory of Abraham Robinson on the tenth anniversary of his death The author thanks the United States-Israel Binational Science Foundation for supporting the research.     

Some excluded-minor theorems for a class of polymatroids

Problems involving representability are among the most frequently studied of all the problems in matroid theory. This paper considers the corresponding class of problems for polymatroids. A polymatroidh on the setS is representable over a free matroid or is Boolean if there is a map fromS into the set of subsets of a setV which preserves rank, that is for all subsetsA ofS, . The class of Boolean polymatroids is minor-closed and in this paper we investigate the excluded minors of this class. In particular, we determine all such Boolean excluded minors that are 2-polymatroids.This research was partially supported by a grant from the Louisiana Education Quality Support Fund Through the Board of RegentsThis research was supported by a grant from the Commonwealth of Australia through the Australian Research Council     

Integer programming and convex analysis: Intersection cuts from outer polars

Recently a new, geometrically motivated approach was proposed [1] for integer programming, based on generating intersection cuts from some convex setS whose interior contains the linear programming optimum but no feasible integer point. Larger sets tend to produce stronger cuts, and in this paper convex analysis is used to construct sets as large as possible within the above requirements. Information is generated from all problem constraints within a unit cubeK containing The key concept is that of outer polars, viewed as maximal convex extensions of the ballB circumscribingK, relative to the problem constraints. The outer polarF ^* of the feasible setF overB is shown to be a convex set whose boundary contains all feasible vertices ofK, and whose interior contains no feasible integer point. The existence of a dual correspondence betweenF andF ^*, and the fact that polarity is inclusion-reversing, leads to a dualization of operations onF. As one possible procedure based on this approach, we construct a generalized intersection cut, that can be strengthened whenever some vertex ofF is cut off. This makes it possible to fruitfully combine intersection cuts with implicit enumeration or branch-and-bound. While valid for arbitrary integer programs, the theory developed here is relevant primarily to (pure or mixed-integer) 0–1 problems. Other topics discussed include: generalized polars, intersection cuts from related problems, connections with asymptotic theory.This paper was presented at the 7th Mathematical Programming Symposium, 1970, The Hague, The Netherlands.The research underlying this paper was partially supported by the National Science Foundation under grant GP-31699 and by the Office of Naval Research under contract N00014-67-A-0314-0007 NR 047-048.     

Pfaffian structures and critical problems in finite symplectic spaces

Just as matroids abstract the algebraic properties of determinants in a vector space, Pfaffian structures abstract the algebraic properties of Pfaffians or skew-symmetric determinants in a symplectic space (that is, a vector space with an alternating bilinear form). This is done using an exchange-augmentation axiom which is a combinatorial version of a Laplace expansion or straightening identity for Pfaffians. Using Pfaffian structures, we study a symplectic analogue of the classical critical problem: given a setS of non-zero vectors in a non-singular symplectic spaceV of dimension2m, find its symplectic critical exponent, that is, the minimum of the set {m?dim(U):U∩S=0}, whereU ranges over all the (totally) isotropic subspaces disjoint fromS. In particular, we derive a formula for the number of isotropic subspaces of a given dimension disjoint from the setS by Möbius inversion over the order ideal of isotropic flats in the lattice of flats of the matroid onS given by linear dependence. This formula implies that the symplectic critical exponent ofS depends only on its matroid and Pfaffian structure; however, it may depend on the dimension of the symplectic spaceV.     

On approximation of affine Baire-one functions

It is known (G. Choquet, G. Mokobodzki) that a Baire-one affine function on a compact convex set satisfies the barycentric formula and can be expressed as a pointwise limit of a sequence of continuous affine functions. Moreover, the space of Baire-one affine functions is uniformly closed. The aim of this paper is to discuss to what extent analogous properties are true in the context of general function spaces. In particular, we investigate the function spaceH(U), consisting of the functions continuous on the closure of a bounded open setU⊂ℝ ^m and harmonic onU, which has been extensively studied in potential theory. We demonstrate that the barycentric formula does not hold for the spaceB ₁ ^b (H(U)) of bounded functions which are pointwise limits of functions from the spaceH(U) and thatB ₁ ^b (H(U)) is not uniformly closed. On the other hand, every Baire-oneH(U)-affine function (in particular a solution of the generalized Dirichlet problem for continuous boundary data) is a pointwise limit of a bounded sequence of functions belonging toH(U). It turns out that such a situation always occurs for simplicial spaces whereas it is not the case for general function spaces. The paper provides several characterizations of those Baire-one functions which can be approximated pointwise by bounded sequences of elements of a given function space. Research supported in part by grants GA ČR No. 201/00/0767 from the Grant Agency of the Czech Republic, GA UK 165/99 from the Grant Agency of Charles University, and in part by grant number MSM 113200007 from the Czech Ministry of Education.     

On 2‐factors of a bipartite graph

In this article, we consider the following problem: Given a bipartite graph G and a positive integer k, when does G have a 2‐factor with exactly k components? We will prove that if G = (V₁, V₂, E) is a bipartite graph with |V₁| = |V₂| = n ≥ 2k + 1 and δ (G) ≥ ⌈n/2⌉ + 1, then G contains a 2‐factor with exactly k components. We conjecture that if G = (V₁, V₂; E) is a bipartite graph such that |V₁| = |V₂| = n ≥ 2 and δ (G) ≥ ⌈n/2⌉ + 1, then, for any bipartite graph H = (U₁, U₂; F) with |U₁| ≤ n, |U₂| ≤ n and Δ (H) ≤ 2, G contains a subgraph isomorphic to H. © 1999 John Wiley & Sons, Inc. J Graph Theory 31: 101–106, 1999     

Multi-frame vectors for unitary systems

In this paper, the set of all complete multi-normalized tight frame vectors NF ^r (U) with multiplicity r and the set of all complete multi-frame vectors F ^r (U) with multiplicity r for a system U of unitary operators acting on a separable Hilbert space are characterized in terms of co-isometries and surjective operators in (U), the set of all operators which locally commute with U at Ψ ^r , a fixed complete wandering r-tuple for U. Then we study the linear combinations of multi-frame vectors for U and establish some conditions under which these combinations are still the same type of multi-frame vectors for U. Finally, we establish some interesting properties for multi-frame vectors when U is a unitary group. All these results have potential applications in the theory of multi-Gabor systems and multi-wavelet systems.