Generation of Uniformly Closed Algebras of Functions

For a linear sublattice of C(X), the set of all real continuous functions on the completely regular space X, we denote by A() the smallest uniformly closed and inverse-closed subalgebra of C(X) that contains . In this paper we study different methods to generate A() from . For that, we introduce some families of functions which are defined in terms of suprema or sums of certain countably many functions in . And we prove that A() is the uniform closure of each of these families. We obtain, in particular, a generalization of a known result about the generation of A() when is a uniformly closed linear sublattice of bounded functions.     

Conical flocks,partial flocks,derivation, and generalized quadrangles

L. Bader, G. Lunardon and J. A. Thas have shown that a flock ₀ of a quadratic cone in PG(3, q), q odd, determines a set ={⁰,₁,...,_q} of q+1 flocks. Each _j , 1jq, is said to be derived from ₀. We show that, by derivation, the flocks with q=3 ^e arising from the Ganley planes yield an inequivalent flock for q27. Further, we prove that the Fisher flocks (q odd, q5) are the unique nonlinear flocks for which (q–1)/2 planes of the flock contain a common line. This result is used to show that each of the flocks derived from a Fisher flock is again a Fisher flock. Finally, we prove that any set of q–1 pairwise disjoint nonsingular conics of a cone can be extended to a flock. All these results have implications for the theory of translation planes.     

Flowchart machines

Let denote a conventional flowchart. Any algorithm can be represented by a flowchart. If action nodes in call then is a recursive flowchart. We show how to decompose arbitrary non-self-modifying programs into structure and atomic parts. We specifically give the synthesis procedure for a controller . can serve as the only sequencer in an execution of . If is recursive then is a pushdown machine, otherwise is a finite state machine. The next-state functionf and the output functiong of represent respectively all of the structure-, i.e. the programmer-oriented-, and all of the atomic-, i.e. the data-oriented-, parts of .f defines the flow or pattern of computations andg the actual transformations or operations on data. Thus we construct and analyze programs by constructing and analyzing their sequencers .     

On spaces of Baire I functions over K-analytic spaces

Suppose that is a relatively countably compact subset of B₁(X), the space of Baire I functions over a K-analytic space X equipped with the pointwise convergence topology. It is proved that (1) the closure of is a strongly countably compact Frechét-Urysohn space; (2) if is ₁ -compact, is a bicompactum; (3) if X is a paracompact space, the closure of is a bicompactum.Translated from Matematicheskie Zametki, Vol. 52, No. 3, pp. 108–116, September, 1992.     

Set systems with no union of cardinality 0 modulom

Letq be a prime power. It is shown that for any hypergraph = {F ₁,...,F _d(q–1)+1} whose maximal degree isd, there exists Ø ₀ , such that 0 (modq).     

Superficie cubiche di\mathbb{A}_\mathbb{C}^3 a curve sottoinsieme intersezione completa

Summary In this paper we classify the algebraic cubic surfaces of the affine space is the complex field, whose algebraic curves are set-theoretic complete intersections of ; in other words surfaces such that every prime ideal of height 1in the coordinate ring [] of is the radical of a principal ideal; if is non singular in codimension 1this means that [] is semifactorial. We give the equations of such surfaces within linear isomorphisms of providing also methods by which one can construct the equations of the surfaces cutting on its curves as set-theoretic complete intersections. Moreover for each of these surfaces we determine the minimum positive number such that every algebraic curve of with multiplicity of intersection , is complete intersection of itself with another surface § 8where the results are summarized). We tackle also the problem of such a classification over algebraically closed fields k different from .

---

---

Lavoro eseguito nell'ambito del G.N.S.A.G.A. del C.N.R.     

Rate of convergence in the central limit theorem for empirical processes

Let _n and be an empirical process and a generalized Brownian bridge, respectively, indexed by a class of real measurable functions. From the central limit theorem for empirical processes it follows that for allr0. In this paper, assuming the class to be countably determined, under certain conditions we obtain an estimate for some constantC. Vapnik-ervonenkis class and the indicators of lower left orthants provide examples of classes considered here.     

Smoothing the function of the multiple-shooting equation

The multiple-shooting method for the solution of boundary-value problems is a modified Newton method for the solution of an equation(x) = 0, where is a special function which is differentiable in general, but may occasionally have discontinuities at some points which have to be passed during the iteration process. This is the case especially in optimal control problems and it is a severe handicap for the convergence of the Newton method which can be essentially reduced when replacing by a series of smooth functions _i dependent on the iteration process.     

Foliated control theory I

The main result is a control theorem for the space of stable pseudo-isotopies on E with control near the leaves of in M, where : E M is a fiber bundle over a Riemannian manifold M having a compact manifold for fiber and is a smooth foliation of M such that each leaf inherits a flat Riemannian geometry from M. A similar result has been proved by Farrell and Jones under the assumption that each leaf of inherits a geometry with strictly negative curvature from M.Both authors were supported in part by the National Science Foundation.     

A topological obstruction to the geodesibility of a foliation of odd dimension

Let M be a compact Riemannian manifold of dimension n, and let be a smooth foliation on M. A topological obstruction is obtained, similar to results of R. Bott and J. Pasternack, to the existence of a metric on M for which is totally geodesic. In this case, necessarily that portion of the Pontryagin algebra of the subbundle must vanish in degree n if is odd-dimensional. Using the same methods simple proofs of the theorems of Bott and Pasternack are given.     

Happy families and completely Ramsey sets

Summary We use games of Kastanas to obtain a new characterization of the classC of all sets that are completely Ramsey with respect to a given happy family . We then combine this with ideas of Plewik to give a uniform proof of various results of Ellentuck, Louveau, Mathias and Milliken concerning the extent ofC . We also study some cardinals that can be associated with the ideal of nowhere -Ramsey sets.Part of this research was done while the author was visiting I.V.I.C. in Caracas in September 1989. The author would like to thank Carlos Di Prisco for his hospitality.     

A short proof of the nonuniform Ray-Chaudhuri-Wilson inequality

LetL be a set ofs nonnegative integers and a family of subsets of ann-element setX. Suppose that for any two distinct membersA,B we have¦A B¦ L. Assuming in addition that, is uniform, i.e. each member of has the same cardinality, a celebrated theorem of D. K. Ray-Chaudhuri and R. M. Wilson asserts that ¦¦ P. Frankl and R. M. Wilson proved that without the uniformity assumption, we have.We give a short proof of this latter result.     

A Lévy Type Martingale Convergence Theorem for Random Sets with Unbounded Values

Given a nondecreasing sequence ( _n ) of sub--fields and a real or vector valued random variable f, the Lévy Martingale convergence Theorem (LMCT) asserts that E(f/ _n ) converges to E(f/) almost surely and in L ¹, where stands for the -field generated by the _n . In the present paper, we study the validity of the multivalued analog this theorem for a random set F whose values are members of (X), the space of nonempty closed sets of a Banach space X, when (X) is endowed either with the Painlevé–Kuratowski convergence or its infinite dimensional extensions. We deduce epi-convergence results for integrands via the epigraphical multifunctions. As it is known, these results are useful for approximating optimization problems. The method relies on countability supportness hypotheses which are shown to hold when the values of the random set E(F/ _n ) do not contain any line. On the other hand, since the values of F are not assumed to be bounded, conditions involving barrier and asymptotic cones are shown to be necessary. Moreover, we discuss the relations with other multivalued martingale convergence theorems and provide examples showing the role of the hypotheses. Even in the finite dimensional setting, our results are new or subsume already existing ones.     

A lifting procedure for the asymmetric traveling salesman polytope and a large new class of facets

Given any family of valid inequalities for the asymmetric traveling salesman polytopeP(G) defined on the complete digraphG, we show that all members of are facet defining if the primitive members of (usually a small subclass) are. Based on this result we then introduce a general procedure for identifying new classes of facet inducing inequalities forP(G) by lifting inequalities that are facet inducing forP(G), whereG is some induced subgraph ofG. Unlike traditional lifting, where the lifted coefficients are calculated one by one and their value depends on the lifting sequence, our lifting procedure replaces nodes ofG with cliques ofG and uses closed form expressions for calculating the coefficients of the new arcs, which are sequence-independent. We also introduce a new class of facet inducing inequalities, the class of SD (source-destination) inequalities, which subsumes as special cases most known families of facet defining inequalities.Research supported by Grant DDM-8901495 of the National Science Foundation and Contract N00014-85-K-0198 of the U.S. Office of Naval Research.Research supported by M.U.R.S.T., Italy.     

Shortest paths on convex hypersurfaces of Riemannian spaces

A convex hypersurface in a Riemannian space M^m is part of the boundary of an m-dimensional locally convex set. It is established that there exists an intrinsic metric of such a hypersurface and it has curvature which is bounded below in the sense of A. D. Aleksandrov; curves with bounded variation of rotation in are shortest paths in M^m. For surfaces in R^m these facts are well known; however, the constructions leading to them are in large part inapplicable to spaces M^m. Hence approximations to by smooth equidistant (not necessarily convex) ones and normal polygonal paths, introduced (in the case of R³) by Yu. F. Borisov are used.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 66, pp. 114–132, 1976.     

On some algebras diagonalized by M-bases of ℓ2

We study reflexive algebrasA whose invariant lattices LatA are generated by M-bases of ². Examples are given whereA differs from ( being the rank one subalgebra ofA), and where together with the identity I is not strongly dense inA. For M-bases in a special class, we characterize the cases when they are strong, and also when the identity I is the ultraweak limit of a sequence of contractions in . We show that this holds provided that I is approximable by compact operators inA at any two points of ². We show that the spaceA+^* (where is the annihilator of ) is ultraweakly dense in (²), and characterize the M-bases in this class for which the sum is direct. We give a class of automorphisms ofA which are strongly continuous but not spatial.     

Admissible subrings revisited

In this paper we consider a harmonic Riemannian foliation , and study the transversal infinitesimal automorphisms of with certain additional properties like being transversal conformal or Killing (= metric). Such automorphisms (modulo Killing automorphisms) are related to the stability of . A special study is made for the case of a foliation with constant transversal scalar curvature, and more particularly with transversal Ricci curvature proportional to the transversal metric (Einstein foliation).Work supported in part by a grant from the National Science Foundation.     

D λ -cycles in 3-cyclable graphs

Letk and be positive integers, andG a 2-connected graph of ordern with minimum degree and independence number. A cycleC ofG is called aD -cycle if every component ofG – V(C) has order smaller than. The graphG isk-cyclable if anyk vertices ofG lie on a common cycle. A previous result of the author is that if k 2, G isk-connected and every connected subgraphH ofG of order has at leastn +k ² + 1/k + 1 – vertices outsideH adjacent to at least one vertex ofH, thenG contains aD -cycle. Here it is conjectured that k-connected can be replaced by k-cyclable, and this is proved fork = 3. As a consequence it is shown that ifn 4 – 6, or ifG is triangle-free andn 8 – 10, thenG contains aD ₃-cycle orG , where denotes a well-known class of nonhamiltonian graphs of connectivity 2. As an analogue of a result of Nash-Williams it follows that ifn 4 – 6 and – 1, thenG is hamiltonian orG . The results are all best possible and compare favorably with recent results on hamiltonicity of graphs which are close to claw-free.     

Facets and lifting procedures for the set covering polytope

Given a family of subsets of an arbitrary groundsetE, acover of is any setC E having non-empty intersection with every subset in. In this paper we deal with thecovering polytope, i.e., the convex hull of the incidence vectors of all the covers of. In Section 2 we review all the known properties of the covering polytope. In Sections 3 and 4 we introduce two new classes of non-Boolean facets of such a polytope. In Sections 5 and 6 we describe some non-sequential lifting procedures. In Section 7 a generalization of the notion ofweb introduced by L.E. Trotter is presented together with the facets of the covering polytope produced by such a structure.Moreover, the strong connections between several combinatorial problems and the covering problem are pointed out and, exploiting those connections, some examples are presented of new facets for the Knapsack and Acyclic Subdigraph polytopes.     

Maximal Partial Spreads and Flocks

Denote by a flock of a quadratic cone of PG(3,q) by S() the spread of PG(3,q) associated with and by l the common line of the base reguli. Suppose that there are two lines not transversal to a base regulus which share the same lines of S() Then we prove that is either linear or a Kantor-Knuth semifield flock. Using this property we can extend the result of J3 on derivable flocks proving that, if a set of q + 1 lines of S() defines a derivable net different from a base regulus-net, then is either linear or a Kantor-Knuth semifield flock. Moreover if l is not a component of the derivable net, then is linear.